AbstractSyntax
Documentation
data Child
Constructors
| Child Identifier Type ChildKind |
data Grammar
Constructors
data Nonterminal
Constructors
| Nonterminal NontermIdent [Identifier] Attributes Attributes Productions |
type Nonterminals = [Nonterminal]
data Production
Constructors
| Production ConstructorIdent [Identifier] [Type] Children Rules TypeSigs MaybeMacro |
type Productions = [Production]
data Rule
data TypeSig
Constructors
| TypeSig Identifier Type |