Pinchot.SyntaxTree

Grower - grows the types to hold a syntax tree

Documentation

syntaxTrees

Arguments

:: [Name]

What to derive, e.g. [''Eq, ''Ord, ''Show]

-> Seq (Rule t)

-> DecsQ

Makes the top-level declarations for each given Rule and for all ancestors of the given Rules. Since ancestors are included, you can get the entire tree of types that you need by applying this function to a single start symbol. Example: Pinchot.Examples.SyntaxTrees.

branchConstructor :: Branch t -> ConQ

ruleToType

Arguments

:: [Name]

What to derive

-> Rule t

-> Q Dec

Makes the top-level declaration for a given rule.