ExecutionPlan
Documentation
data EChild
Constructors
EChild Identifier Type ChildKind Bool (Maybe [Identifier]) Bool | |
ETerm Identifier Type |
data ENonterminal
type ENonterminals = [ENonterminal]
data EProduction
Constructors
EProduction ConstructorIdent [Identifier] [Type] ERules EChildren Visits |
type EProductions = [EProduction]
data ExecutionPlan
Constructors
ExecutionPlan ENonterminals TypeSyns (Set NontermIdent) Derivings |
data Visit
Constructors
Visit VisitIdentifier StateIdentifier StateIdentifier (Set Identifier) (Set Identifier) VisitSteps VisitKind |
data VisitStep
type VisitSteps = [VisitStep]