018 pattern path semantics#24

Merged

akollegger merged 28 commits intomainfrom

018-pattern-path-semantics

Nov 29, 2025

Commits on Nov 29, 2025

design: exploration of semantics for pattern and path expressions
akollegger
committed
018-pattern-path-semantics: initial specification
akollegger
committed
feat: setup validation module structure
akollegger
committed
feat: define validation types
akollegger
committed
feat: implement basic pattern validation
akollegger
committed
feat: implement path notation validation
akollegger
committed
feat: implement mixed notation validation
akollegger
committed
feat: polish validation and docs
akollegger
committed
feat: polish validation and docs
akollegger
committed
Initial plan
Copilot
committed
Update specs/018-pattern-path-semantics/research.md

akollegger
and
Copilot
authored
Update libs/gram/src/Gram.hs

akollegger
and
Copilot
authored
Update libs/gram/src/Gram/Validate.hs

akollegger
and
Copilot
authored
Update libs/gram/tests/SemanticsSpec.hs

akollegger
and
Copilot
authored
docs: Update Gram.hs module documentation to include Gram.Validate

Copilot
and
akollegger
committed
Merge pull request #25 from gram-data/copilot/sub-pr-24
akollegger
authored
Initial plan
Copilot
committed
fix: path-pattern mixing logic in registerRelationship to distinguish definitions from references

Copilot
and
akollegger
committed
fix: improve comments in registerRelationship for clarity

Copilot
and
akollegger
committed
Merge pull request #26 from gram-data/copilot/sub-pr-24
akollegger
authored
Initial plan
Copilot
committed
Update libs/gram/gram.cabal

akollegger
and
Copilot
authored
fix: relationship validation now tracks endpoints to allow reuse with same source/target nodes

Copilot
and
akollegger
committed
docs: improve documentation for helper functions in Validate.hs

Copilot
and
akollegger
committed
Merge pull request #27 from gram-data/copilot/sub-pr-24
akollegger
authored
Initial plan
Copilot
committed
docs: fix quickstart example to use parse function from Megaparsec

Copilot
and
akollegger
committed
Merge pull request #28 from gram-data/copilot/sub-pr-24
akollegger
authored

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

018 pattern path semantics#24

018 pattern path semantics#24
akollegger merged 28 commits intomainfrom
018-pattern-path-semantics

Commits on Nov 29, 2025

design: exploration of semantics for pattern and path expressions

018-pattern-path-semantics: initial specification

feat: setup validation module structure

feat: define validation types

feat: implement basic pattern validation

feat: implement path notation validation

feat: implement mixed notation validation

feat: polish validation and docs

feat: polish validation and docs

Initial plan

Update specs/018-pattern-path-semantics/research.md

Update libs/gram/src/Gram.hs

Update libs/gram/src/Gram/Validate.hs

Update libs/gram/tests/SemanticsSpec.hs

docs: Update Gram.hs module documentation to include Gram.Validate

Merge pull request #25 from gram-data/copilot/sub-pr-24

Initial plan

fix: path-pattern mixing logic in registerRelationship to distinguish definitions from references

fix: improve comments in registerRelationship for clarity

Merge pull request #26 from gram-data/copilot/sub-pr-24

Initial plan

Update libs/gram/gram.cabal

fix: relationship validation now tracks endpoints to allow reuse with same source/target nodes

docs: improve documentation for helper functions in Validate.hs

Merge pull request #27 from gram-data/copilot/sub-pr-24

Initial plan

docs: fix quickstart example to use parse function from Megaparsec

Merge pull request #28 from gram-data/copilot/sub-pr-24