@hackage AspectAG0.5.0.0
Strongly typed Attribute Grammars implemented using type-level programming.
Installation
Dependencies (7)
- base >=4.11 && <4.13
- containers >=0.5
- ghc-prim >=0.5
- mtl >=2.0
- tagged >=0.8
- template-haskell >=2.13 Show all…
Dependents (5)
@hackage/acme-everything, @hackage/expand, @hackage/oberon0, @hackage/SyntaxMacros, @hackage/murder
An EDSL implementing strongly typed -and strongly kinded!- attribute grammars using type-level programming. We make an effort to encode precise EDSL type errors.