uuagc

Transform

Documentation

data Syn_Elem

Constructors

Syn_Elem 

Fields

attrDecls_Syn_Elem :: !(Map NontermIdent (Attributes, Attributes))
 
attrOrderCollect_Syn_Elem :: !AttrOrderMap
 
attrs_Syn_Elem :: !(Map NontermIdent (Attributes, Attributes))
 
blocks_Syn_Elem :: !Blocks
 
collectedArounds_Syn_Elem :: ![(NontermIdent, ConstructorIdent, [AroundInfo])]
 
collectedAugments_Syn_Elem :: ![(NontermIdent, ConstructorIdent, [AugmentInfo])]
 
collectedConParams_Syn_Elem :: ![(NontermIdent, ConstructorIdent, Set Identifier)]
 
collectedConstraints_Syn_Elem :: ![(NontermIdent, ConstructorIdent, [Type])]
 
collectedConstructorsMap_Syn_Elem :: !(Map NontermIdent (Set ConstructorIdent))
 
collectedFields_Syn_Elem :: ![(NontermIdent, ConstructorIdent, FieldMap)]
 
collectedInsts_Syn_Elem :: ![(NontermIdent, ConstructorIdent, [Identifier])]
 
collectedMacros_Syn_Elem :: ![(NontermIdent, ConstructorIdent, MaybeMacro)]
 
collectedMerges_Syn_Elem :: ![(NontermIdent, ConstructorIdent, [MergeInfo])]
 
collectedNames_Syn_Elem :: !(Set Identifier)
 
collectedRules_Syn_Elem :: ![(NontermIdent, ConstructorIdent, RuleInfo)]
 
collectedSetNames_Syn_Elem :: !(Set Identifier)
 
collectedSigs_Syn_Elem :: ![(NontermIdent, ConstructorIdent, SigInfo)]
 
collectedUniques_Syn_Elem :: ![(NontermIdent, ConstructorIdent, [UniqueInfo])]
 
ctxCollect_Syn_Elem :: !ContextMap
 
defSets_Syn_Elem :: !(Map Identifier (Set NontermIdent, Set Identifier))
 
derivings_Syn_Elem :: !Derivings
 
errors_Syn_Elem :: !(Seq Error)
 
moduleDecl_Syn_Elem :: !(Maybe (String, String, String))
 
paramsCollect_Syn_Elem :: !ParamMap
 
pragmas_Syn_Elem :: !(Options -> Options)
 
quantCollect_Syn_Elem :: !QuantMap
 
semPragmasCollect_Syn_Elem :: !PragmaMap
 
typeSyns_Syn_Elem :: !TypeSyns
 
useMap_Syn_Elem :: !(Map NontermIdent (Map Identifier (String, String, String)))
 
wrappers_Syn_Elem :: !(Set NontermIdent)
 

data Syn_Elems

Constructors

Syn_Elems 

Fields

attrDecls_Syn_Elems :: !(Map NontermIdent (Attributes, Attributes))
 
attrOrderCollect_Syn_Elems :: !AttrOrderMap
 
attrs_Syn_Elems :: !(Map NontermIdent (Attributes, Attributes))
 
blocks_Syn_Elems :: !Blocks
 
collectedArounds_Syn_Elems :: ![(NontermIdent, ConstructorIdent, [AroundInfo])]
 
collectedAugments_Syn_Elems :: ![(NontermIdent, ConstructorIdent, [AugmentInfo])]
 
collectedConParams_Syn_Elems :: ![(NontermIdent, ConstructorIdent, Set Identifier)]
 
collectedConstraints_Syn_Elems :: ![(NontermIdent, ConstructorIdent, [Type])]
 
collectedConstructorsMap_Syn_Elems :: !(Map NontermIdent (Set ConstructorIdent))
 
collectedFields_Syn_Elems :: ![(NontermIdent, ConstructorIdent, FieldMap)]
 
collectedInsts_Syn_Elems :: ![(NontermIdent, ConstructorIdent, [Identifier])]
 
collectedMacros_Syn_Elems :: ![(NontermIdent, ConstructorIdent, MaybeMacro)]
 
collectedMerges_Syn_Elems :: ![(NontermIdent, ConstructorIdent, [MergeInfo])]
 
collectedNames_Syn_Elems :: !(Set Identifier)
 
collectedRules_Syn_Elems :: ![(NontermIdent, ConstructorIdent, RuleInfo)]
 
collectedSetNames_Syn_Elems :: !(Set Identifier)
 
collectedSigs_Syn_Elems :: ![(NontermIdent, ConstructorIdent, SigInfo)]
 
collectedUniques_Syn_Elems :: ![(NontermIdent, ConstructorIdent, [UniqueInfo])]
 
ctxCollect_Syn_Elems :: !ContextMap
 
defSets_Syn_Elems :: !(Map Identifier (Set NontermIdent, Set Identifier))
 
derivings_Syn_Elems :: !Derivings
 
errors_Syn_Elems :: !(Seq Error)
 
moduleDecl_Syn_Elems :: !(Maybe (String, String, String))
 
paramsCollect_Syn_Elems :: !ParamMap
 
pragmas_Syn_Elems :: !(Options -> Options)
 
quantCollect_Syn_Elems :: !QuantMap
 
semPragmasCollect_Syn_Elems :: !PragmaMap
 
typeSyns_Syn_Elems :: !TypeSyns
 
useMap_Syn_Elems :: !(Map NontermIdent (Map Identifier (String, String, String)))
 
wrappers_Syn_Elems :: !(Set NontermIdent)
 

newtype T_Field

Constructors

T_Field (Set NontermIdent -> ([Type], [(Identifier, Type)])) 

newtype T_Fields

Constructors

T_Fields (Set NontermIdent -> ([Type], [(Identifier, Type)])) 

newtype T_Pattern

Constructors

T_Pattern (Pattern, [AttrName], [Identifier], [AttrName] -> Pattern, Pos) 

data Inh_Pattern

Constructors

Inh_Pattern 

newtype T_Patterns

data Inh_Patterns

Constructors

Inh_Patterns 

data Inh_SemDef

Constructors

Inh_SemDef 

data Inh_SemDefs

Constructors

Inh_SemDefs 

sem_AG :: AG -> T_AG

data Inh_AG

Constructors

Inh_AG