Repository navigation

test: check the Cosmos SQL printer by laws on generated syntax trees - #55

Open

xperiandri wants to merge 22 commits into

mainfrom

test/cosmos-sql-printer-laws

Commits on Oct 11, 2026
- test: port the framework-neutral Hedgehog adapter sources
  
  xperiandri
  and
  claude
  committed
  e76bbbf
- test: add the Hedgehog MSTest property attribute
  
  xperiandri
  and
  claude
  committed
  e26fe40
- feat: add `FSharp.Azure.Cosmos.Sql` with `EquatableArray` and the `ImmutableArray` patterns
  
  xperiandri
  and
  claude
  committed
  2cc6691
- feat: add the FSharp.Azure.Cosmos.Sql syntax tree
  
  xperiandri
  and
  claude
  committed
  c6fd556
- feat: print Cosmos SQL deterministically
  
  xperiandri
  and
  claude
  committed
  8786bbf
- feat: add the Cosmos SQL function catalog
  
  xperiandri
  and
  claude
  committed
  40dff58
- feat: validate Cosmos SQL beyond the grammar
  
  xperiandri
  and
  claude
  committed
  2464182
- chore(build): package FSharp.Azure.Cosmos.Sql
  
  xperiandri
  and
  claude
  committed
  56e98c7
- docs: list the files of FSharp.Azure.Cosmos.Sql in the agent instructions
  
  xperiandri
  and
  claude
  committed
  82913d4
- test: apply the repository's conventions to the Hedgehog MSTest adapter
  
  xperiandri
  and
  claude
  committed
  0d04071
- test: add the Hedgehog MSTest adapter suite
  
  xperiandri
  and
  claude
  committed
  e300bc4
- test: add `DateOnly` and `TimeOnly` generator attributes to the Hedgehog MSTest adapter
  
  xperiandri
  and
  claude
  committed
  943b24e
- test: generate `DateOnly` and `TimeOnly` for a property without an attribute
  
  xperiandri
  and
  claude
  committed
  9736d79
- chore(build): list the tests of every test application before running them
  
  xperiandri
  and
  claude
  committed
  240fd46
- docs: document the Hedgehog MSTest adapter in the agent instructions
  
  xperiandri
  and
  claude
  committed
  ed8c41e
- Merge the Hedgehog MSTest adapter (#43) into the Cosmos SQL model (#42)
  xperiandri
  committed
  323165e
- test: add `Cosmos.Sql.Hedgehog` with the generator helpers
  
  xperiandri
  and
  claude
  committed
  8d9327f
- test: cover the generator helpers
  
  xperiandri
  and
  claude
  committed
  be3e581
- docs: describe the generator helpers in the agent instructions
  
  xperiandri
  and
  claude
  committed
  017a7b2
- test: add Hedgehog generators of the Cosmos SQL syntax tree
  
  xperiandri
  and
  claude
  committed
  2a29040
- test: check the laws of the Cosmos SQL printer on generated trees
  
  xperiandri
  and
  claude
  committed
  e3acf84
- docs: say how a property gets a generated syntax tree
  
  xperiandri
  and
  claude
  committed
  d0bc2d4

Navigation Menu

Repository navigation

test: check the Cosmos SQL printer by laws on generated syntax trees - #55

test: check the Cosmos SQL printer by laws on generated syntax trees#55
xperiandri wants to merge 22 commits into
mainfrom
test/cosmos-sql-printer-laws

Commits on Oct 11, 2026

test: port the framework-neutral Hedgehog adapter sources

test: add the Hedgehog MSTest property attribute

feat: add `FSharp.Azure.Cosmos.Sql` with `EquatableArray` and the `ImmutableArray` patterns

feat: add the FSharp.Azure.Cosmos.Sql syntax tree

feat: print Cosmos SQL deterministically

feat: add the Cosmos SQL function catalog

feat: validate Cosmos SQL beyond the grammar

chore(build): package FSharp.Azure.Cosmos.Sql

docs: list the files of FSharp.Azure.Cosmos.Sql in the agent instructions

test: apply the repository's conventions to the Hedgehog MSTest adapter

test: add the Hedgehog MSTest adapter suite

test: add `DateOnly` and `TimeOnly` generator attributes to the Hedgehog MSTest adapter

test: generate `DateOnly` and `TimeOnly` for a property without an attribute

chore(build): list the tests of every test application before running them

docs: document the Hedgehog MSTest adapter in the agent instructions

Merge the Hedgehog MSTest adapter (#43) into the Cosmos SQL model (#42)

test: add `Cosmos.Sql.Hedgehog` with the generator helpers

test: cover the generator helpers

docs: describe the generator helpers in the agent instructions

test: add Hedgehog generators of the Cosmos SQL syntax tree

test: check the laws of the Cosmos SQL printer on generated trees

docs: say how a property gets a generated syntax tree