Safe Haskell | Safe-Infered |
---|
CodeSyntaxDump
Documentation
newtype T_CInterface
Constructors
T_CInterface PP_Doc |
data Inh_CInterface
Constructors
Inh_CInterface | |
data Syn_CInterface
Constructors
Syn_CInterface | |
Fields |
newtype T_CNonterminal
Constructors
T_CNonterminal PP_Doc |
data Inh_CNonterminal
Constructors
Inh_CNonterminal | |
data Syn_CNonterminal
Constructors
Syn_CNonterminal | |
Fields |
sem_CNonterminal_CNonterminal :: NontermIdent -> [Identifier] -> Attributes -> Attributes -> T_CProductions -> T_CInterface -> T_CNonterminal
newtype T_CNonterminals
Constructors
T_CNonterminals (PP_Doc, [PP_Doc]) |
data Inh_CNonterminals
Constructors
Inh_CNonterminals | |
data Syn_CNonterminals
Constructors
Syn_CNonterminals | |
Fields |
newtype T_CProduction
Constructors
T_CProduction PP_Doc |
data Inh_CProduction
Constructors
Inh_CProduction | |
data Syn_CProduction
Constructors
Syn_CProduction | |
Fields |
sem_CProduction_CProduction :: ConstructorIdent -> T_CVisits -> [(Identifier, Type, ChildKind)] -> [Identifier] -> T_CProduction
newtype T_CProductions
Constructors
T_CProductions (PP_Doc, [PP_Doc]) |
data Inh_CProductions
Constructors
Inh_CProductions | |
data Syn_CProductions
Constructors
Syn_CProductions | |
Fields |
wrap_CRule :: T_CRule -> Inh_CRule -> Syn_CRule
sem_CRule_CChildVisit :: Identifier -> NontermIdent -> Int -> Attributes -> Attributes -> Bool -> T_CRule
sem_CRule_CRule :: Identifier -> Bool -> Bool -> NontermIdent -> ConstructorIdent -> Identifier -> Maybe NontermIdent -> Maybe Type -> T_Pattern -> [String] -> Map Int (Identifier, Identifier, Maybe Type) -> Bool -> String -> Set (Identifier, Identifier) -> Bool -> Maybe Identifier -> T_CRule
sem_CSegment :: CSegment -> T_CSegment
newtype T_CSegment
Constructors
T_CSegment PP_Doc |
data Inh_CSegment
Constructors
Inh_CSegment | |
data Syn_CSegment
Constructors
Syn_CSegment | |
Fields |
wrap_CSegment :: T_CSegment -> Inh_CSegment -> Syn_CSegment
newtype T_CSegments
Constructors
T_CSegments (PP_Doc, [PP_Doc]) |
data Inh_CSegments
Constructors
Inh_CSegments | |
data Syn_CSegments
Constructors
Syn_CSegments | |
Fields |
sem_CVisit :: CVisit -> T_CVisit
data Inh_CVisit
Constructors
Inh_CVisit | |
data Syn_CVisit
Constructors
Syn_CVisit | |
Fields |
wrap_CVisit :: T_CVisit -> Inh_CVisit -> Syn_CVisit
sem_CVisit_CVisit :: Attributes -> Attributes -> T_Sequence -> T_Sequence -> Bool -> T_CVisit
sem_CVisits :: CVisits -> T_CVisits
data Inh_CVisits
Constructors
Inh_CVisits | |
data Syn_CVisits
Constructors
Syn_CVisits | |
Fields
|
wrap_CVisits :: T_CVisits -> Inh_CVisits -> Syn_CVisits
sem_CVisits_Cons :: T_CVisit -> T_CVisits -> T_CVisits
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
sem_Sequence :: Sequence -> T_Sequence
newtype T_Sequence
Constructors
T_Sequence [PP_Doc] |
data Inh_Sequence
Constructors
Inh_Sequence | |
data Syn_Sequence
Constructors
Syn_Sequence | |
Fields
|
wrap_Sequence :: T_Sequence -> Inh_Sequence -> Syn_Sequence
sem_Sequence_Cons :: T_CRule -> T_Sequence -> T_Sequence
sem_CGrammar :: CGrammar -> T_CGrammar
newtype T_CGrammar
Constructors
T_CGrammar PP_Doc |
data Inh_CGrammar
Constructors
Inh_CGrammar | |
data Syn_CGrammar
Constructors
Syn_CGrammar | |
Fields |
wrap_CGrammar :: T_CGrammar -> Inh_CGrammar -> Syn_CGrammar
sem_CGrammar_CGrammar :: TypeSyns -> Derivings -> Set NontermIdent -> T_CNonterminals -> PragmaMap -> ParamMap -> ContextMap -> QuantMap -> Map NontermIdent (Map ConstructorIdent (Set Identifier)) -> Map NontermIdent (Map ConstructorIdent (Map Identifier (Identifier, [Identifier]))) -> Bool -> T_CGrammar
ppChild :: (Identifier, Type, ChildKind) -> PP_Doc
ppVertexMap :: Map Int (Identifier, Identifier, Maybe Type) -> PP_Doc
ppAttr :: (Identifier, Identifier, Maybe Type) -> PP_Doc
ppMaybeShow :: Show a => Maybe a -> PP_Doc