AbstractSyntaxDump
Documentation
sem_Children :: Children -> T_Children
newtype T_Children
Constructors
| T_Children (PP_Doc, [PP_Doc]) |
data Inh_Children
Constructors
| Inh_Children | |
data Syn_Children
Constructors
| Syn_Children | |
Fields
| |
wrap_Children :: T_Children -> Inh_Children -> Syn_Children
sem_Children_Cons :: T_Child -> T_Children -> T_Children
newtype T_Expression
Constructors
| T_Expression PP_Doc |
data Inh_Expression
Constructors
| Inh_Expression | |
data Syn_Expression
Constructors
| Syn_Expression | |
Fields | |
sem_Expression_Expression :: Pos -> [HsToken] -> T_Expression
sem_Grammar :: Grammar -> T_Grammar
data Inh_Grammar
Constructors
| Inh_Grammar | |
data Syn_Grammar
Constructors
| Syn_Grammar | |
Fields | |
wrap_Grammar :: T_Grammar -> Inh_Grammar -> Syn_Grammar
sem_Grammar_Grammar :: TypeSyns -> UseMap -> Derivings -> Set NontermIdent -> T_Nonterminals -> PragmaMap -> AttrOrderMap -> ParamMap -> ContextMap -> QuantMap -> UniqueMap -> Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression])) -> Map NontermIdent (Map ConstructorIdent (Map Identifier [Expression])) -> Map NontermIdent (Map ConstructorIdent (Map Identifier (Identifier, [Identifier], Expression))) -> T_Grammar
newtype T_Nonterminal
Constructors
| T_Nonterminal PP_Doc |
data Inh_Nonterminal
Constructors
| Inh_Nonterminal | |
data Syn_Nonterminal
Constructors
| Syn_Nonterminal | |
Fields | |
sem_Nonterminal_Nonterminal :: NontermIdent -> [Identifier] -> Attributes -> Attributes -> T_Productions -> T_Nonterminal
newtype T_Nonterminals
Constructors
| T_Nonterminals (PP_Doc, [PP_Doc]) |
data Inh_Nonterminals
Constructors
| Inh_Nonterminals | |
data Syn_Nonterminals
Constructors
| Syn_Nonterminals | |
Fields | |
sem_Pattern :: Pattern -> T_Pattern
data Inh_Pattern
Constructors
| Inh_Pattern | |
data Syn_Pattern
Constructors
| Syn_Pattern | |
Fields | |
wrap_Pattern :: T_Pattern -> Inh_Pattern -> Syn_Pattern
sem_Pattern_Alias :: Identifier -> Identifier -> T_Pattern -> T_Pattern
sem_Pattern_Product :: Pos -> T_Patterns -> T_Pattern
sem_Patterns :: Patterns -> T_Patterns
newtype T_Patterns
Constructors
| T_Patterns (Patterns, PP_Doc, [PP_Doc]) |
data Inh_Patterns
Constructors
| Inh_Patterns | |
data Syn_Patterns
Constructors
| Syn_Patterns | |
Fields | |
wrap_Patterns :: T_Patterns -> Inh_Patterns -> Syn_Patterns
sem_Patterns_Cons :: T_Pattern -> T_Patterns -> T_Patterns
newtype T_Production
Constructors
| T_Production PP_Doc |
data Inh_Production
Constructors
| Inh_Production | |
data Syn_Production
Constructors
| Syn_Production | |
Fields | |
sem_Production_Production :: ConstructorIdent -> [Identifier] -> [Type] -> T_Children -> T_Rules -> T_TypeSigs -> MaybeMacro -> T_Production
newtype T_Productions
Constructors
| T_Productions (PP_Doc, [PP_Doc]) |
data Inh_Productions
Constructors
| Inh_Productions | |
data Syn_Productions
Constructors
| Syn_Productions | |
Fields | |
sem_Rule_Rule :: Maybe Identifier -> T_Pattern -> T_Expression -> Bool -> String -> Bool -> Bool -> Bool -> Maybe Error -> Bool -> T_Rule
data Syn_Rules
Constructors
| Syn_Rules | |
Fields
| |
wrap_Rules :: T_Rules -> Inh_Rules -> Syn_Rules
sem_Rules_Cons :: T_Rule -> T_Rules -> T_Rules
sem_TypeSig :: TypeSig -> T_TypeSig
data Inh_TypeSig
Constructors
| Inh_TypeSig | |
data Syn_TypeSig
Constructors
| Syn_TypeSig | |
Fields | |
wrap_TypeSig :: T_TypeSig -> Inh_TypeSig -> Syn_TypeSig
sem_TypeSig_TypeSig :: Identifier -> Type -> T_TypeSig
sem_TypeSigs :: TypeSigs -> T_TypeSigs
newtype T_TypeSigs
Constructors
| T_TypeSigs (PP_Doc, [PP_Doc]) |
data Inh_TypeSigs
Constructors
| Inh_TypeSigs | |
data Syn_TypeSigs
Constructors
| Syn_TypeSigs | |
Fields
| |
wrap_TypeSigs :: T_TypeSigs -> Inh_TypeSigs -> Syn_TypeSigs
sem_TypeSigs_Cons :: T_TypeSig -> T_TypeSigs -> T_TypeSigs
wrap_Child :: T_Child -> Inh_Child -> Syn_Child
sem_Child_Child :: Identifier -> Type -> ChildKind -> T_Child