AspectAG-0.6.0.0: Strongly typed Attribute Grammars implemented using type-level programming.

An EDSL implementing strongly typed -and strongly kinded!- attribute grammars implemented using type-level programming. We make an effort to encode precise EDSL type errors.

Signatures

Modules

Language
Submodules
- Grammars
  Submodules
  - Language.Grammars.AspectAG Main module, First-class attribute grammars
    Submodules
    Language.Grammars.AspectAG.HList Heterogeneous Lists for AAG, inspired on HList
    Language.Grammars.AspectAG.RecordInstances
    Language.Grammars.AspectAG.TH Boilerplate generation