Safe Haskell | Safe-Infered |
---|
AG2AspectAG
Documentation
sem_Children :: Children -> T_Children
newtype T_Children
Constructors
T_Children (Maybe String -> Map Identifier Attributes -> [String] -> [String] -> Bool -> PP_Doc -> PP_Doc -> Map Identifier Attributes -> [String] -> ([(Identifier, Type)], [(Identifier, (PP_Doc, PP_Doc))], [PP_Doc], PP_Doc, [PP_Doc], PP_Doc, Attributes)) |
data Inh_Children
Constructors
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 -> PP_Doc -> [String] -> Identifier -> [(Identifier, Type)] -> [Identifier] -> PP_Doc) |
data Inh_Expression
Constructors
Inh_Expression | |
Fields |
data Syn_Expression
Constructors
Syn_Expression | |
Fields
|
sem_Expression_Expression :: Pos -> [HsToken] -> T_Expression
sem_Grammar :: Grammar -> T_Grammar
newtype T_Grammar
Constructors
T_Grammar ((Set NontermIdent, DataTypes, Map NontermIdent (Attributes, Attributes)) -> Maybe String -> Options -> (PP_Doc, PP_Doc)) |
data Inh_Grammar
Constructors
Inh_Grammar | |
Fields |
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
sem_HsToken :: HsToken -> T_HsToken
data Inh_HsToken
Constructors
Inh_HsToken | |
data Syn_HsToken
Constructors
Syn_HsToken | |
wrap_HsToken :: T_HsToken -> Inh_HsToken -> Syn_HsToken
sem_HsToken_AGField :: Identifier -> Identifier -> Pos -> Maybe String -> T_HsToken
sem_HsToken_AGLocal :: Identifier -> Pos -> Maybe String -> T_HsToken
sem_HsToken_CharToken :: String -> Pos -> T_HsToken
sem_HsToken_Err :: String -> Pos -> T_HsToken
sem_HsToken_HsToken :: String -> Pos -> T_HsToken
sem_HsToken_StrToken :: String -> Pos -> T_HsToken
sem_HsTokens :: HsTokens -> T_HsTokens
newtype T_HsTokens
Constructors
T_HsTokens () |
data Inh_HsTokens
Constructors
Inh_HsTokens | |
data Syn_HsTokens
Constructors
Syn_HsTokens | |
wrap_HsTokens :: T_HsTokens -> Inh_HsTokens -> Syn_HsTokens
sem_HsTokens_Cons :: T_HsToken -> T_HsTokens -> T_HsTokens
newtype T_HsTokensRoot
Constructors
T_HsTokensRoot () |
data Inh_HsTokensRoot
Constructors
Inh_HsTokensRoot | |
data Syn_HsTokensRoot
Constructors
Syn_HsTokensRoot | |
newtype T_Nonterminal
Constructors
T_Nonterminal (Derivings -> Maybe String -> Map Identifier Attributes -> Attributes -> Set NontermIdent -> DataTypes -> [String] -> Bool -> Map Identifier Attributes -> TypeSyns -> (Set NontermIdent, Map Identifier Attributes, PP_Doc, [PP_Doc], PP_Doc, PP_Doc, [PP_Doc], PP_Doc, [PP_Doc], [(PP_Doc, Attributes)], PP_Doc, PP_Doc, PP_Doc, Map Identifier Attributes)) |
data Inh_Nonterminal
Constructors
data Syn_Nonterminal
Constructors
sem_Nonterminal_Nonterminal :: NontermIdent -> [Identifier] -> Attributes -> Attributes -> T_Productions -> T_Nonterminal
newtype T_Nonterminals
Constructors
T_Nonterminals (Derivings -> Maybe String -> Map Identifier Attributes -> Attributes -> Set NontermIdent -> DataTypes -> [String] -> Bool -> Map Identifier Attributes -> TypeSyns -> (Set NontermIdent, Map Identifier Attributes, PP_Doc, [PP_Doc], PP_Doc, PP_Doc, [PP_Doc], PP_Doc, [PP_Doc], [(PP_Doc, Attributes)], PP_Doc, PP_Doc, PP_Doc, Map Identifier Attributes)) |
data Inh_Nonterminals
Constructors
data Syn_Nonterminals
Constructors
sem_Pattern :: Pattern -> T_Pattern
newtype T_Pattern
Constructors
T_Pattern (Pattern, (Identifier, Identifier)) |
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 |
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 (Maybe String -> Attributes -> Map Identifier Attributes -> [String] -> Attributes -> Bool -> Map ConstructorIdent FieldMap -> [String] -> Bool -> PP_Doc -> Attributes -> Map Identifier Attributes -> [String] -> (Bool, PP_Doc, PP_Doc, PP_Doc, [PP_Doc], PP_Doc, [PP_Doc], PP_Doc, [PP_Doc], PP_Doc, PP_Doc, Attributes)) |
data Inh_Production
Constructors
data Syn_Production
Constructors
sem_Production_Production :: ConstructorIdent -> [Identifier] -> [Type] -> T_Children -> T_Rules -> T_TypeSigs -> MaybeMacro -> T_Production
newtype T_Productions
Constructors
T_Productions (Maybe String -> Attributes -> Map Identifier Attributes -> [String] -> Attributes -> Bool -> Map ConstructorIdent FieldMap -> [String] -> Bool -> PP_Doc -> Attributes -> Map Identifier Attributes -> [String] -> (Bool, PP_Doc, PP_Doc, [PP_Doc], PP_Doc, [PP_Doc], PP_Doc, [PP_Doc], PP_Doc, PP_Doc, Attributes)) |
data Inh_Productions
Constructors
data Syn_Productions
Constructors
newtype T_Rule
data Inh_Rule
Constructors
Inh_Rule | |
Fields
|
data Syn_Rule
Constructors
Syn_Rule | |
Fields
|
sem_Rule_Rule :: Maybe Identifier -> T_Pattern -> T_Expression -> Bool -> String -> Bool -> Bool -> Bool -> Maybe Error -> Bool -> T_Rule
newtype T_Rules
data Inh_Rules
Constructors
Inh_Rules | |
Fields
|
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 | |
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 () |
data Inh_TypeSigs
Constructors
Inh_TypeSigs | |
data Syn_TypeSigs
Constructors
Syn_TypeSigs | |
wrap_TypeSigs :: T_TypeSigs -> Inh_TypeSigs -> Syn_TypeSigs
sem_TypeSigs_Cons :: T_TypeSig -> T_TypeSigs -> T_TypeSigs
newtype T_Child
Constructors
T_Child (Maybe String -> Map Identifier Attributes -> [String] -> [String] -> Bool -> PP_Doc -> PP_Doc -> Map Identifier Attributes -> [String] -> ([(Identifier, Type)], [(Identifier, (PP_Doc, PP_Doc))], [PP_Doc], PP_Doc, [PP_Doc], PP_Doc, Attributes)) |
data Syn_Child
Constructors
Syn_Child | |
Fields
|
wrap_Child :: T_Child -> Inh_Child -> Syn_Child
sem_Child_Child :: Identifier -> Type -> ChildKind -> T_Child
type FieldMap = [(Identifier, Type)]
type DataTypes = Map NontermIdent (Map ConstructorIdent FieldMap)
filterAtts :: Map Identifier a -> [String] -> [String]
filterNotAtts :: Map Identifier a -> [String] -> [String]
filterNts :: String -> [(a1, Map Identifier a)] -> [(a1, Map Identifier a)]
data PPRule
Constructors
PPRule Identifier Identifier Bool ([(Identifier, Type)] -> [Identifier] -> PP_Doc) |
ppRule :: (Identifier, Identifier) -> Bool -> ([(Identifier, Type)] -> [Identifier] -> PP_Doc) -> PPRule
ruleField :: PPRule -> Identifier
ruleAttr :: PPRule -> Identifier
ruleDef :: PPRule -> [(Identifier, Type)] -> [Identifier] -> PP_Doc
defInhGRule :: PP a => t -> PP_Doc -> Bool -> Bool -> a -> [PPRule] -> [String] -> [String] -> [(Identifier, Type)] -> [Identifier] -> (PP_Doc, [PP_Doc])
chGRule :: t -> PP_Doc -> [PPRule] -> [String] -> [String] -> [(Identifier, Type)] -> [Identifier] -> (Identifier, Type) -> PP_Doc
defSynGRule :: (PP a1, PP a) => PP_Doc -> a -> Bool -> Bool -> a1 -> [PPRule] -> [String] -> [String] -> [(Identifier, Type)] -> [Identifier] -> (PP_Doc, [PP_Doc])
defLocRule :: (PP a1, PP a) => PP_Doc -> a -> t -> t1 -> a1 -> [PPRule] -> t2 -> t3 -> [(Identifier, Type)] -> [Identifier] -> (PP_Doc, [PP_Doc])
defInstRules :: (PP a1, PP a) => PP_Doc -> a -> t -> t1 -> a1 -> [PPRule] -> [(Identifier, Type)] -> [Identifier] -> (PP_Doc, [PP_Doc])
defInstRule :: (PP a1, PP a) => PP_Doc -> a -> a1 -> [(Identifier, Type)] -> [Identifier] -> PPRule -> PP_Doc
defSynRules :: (PP a1, PP a2) => PP_Doc -> a1 -> Bool -> Bool -> Map Identifier a -> a2 -> [PPRule] -> t -> [String] -> [(Identifier, Type)] -> [Identifier] -> (PP_Doc, [PP_Doc])
modSynRules :: (PP a1, PP a2) => PP_Doc -> a1 -> Bool -> Bool -> Map Identifier a -> a2 -> [PPRule] -> t -> [String] -> [(Identifier, Type)] -> [Identifier] -> (PP_Doc, [PP_Doc])
defSynRule :: (PP a2, PP a1) => Bool -> PP_Doc -> a1 -> Bool -> Bool -> Map Identifier a -> a2 -> [(Identifier, Type)] -> [Identifier] -> PPRule -> (PP_Doc, [PP_Doc])
defInhRules :: PP a1 => t -> PP_Doc -> Bool -> Bool -> Map Identifier a -> a1 -> [PPRule] -> [String] -> t1 -> [(Identifier, Type)] -> [Identifier] -> (PP_Doc, [PP_Doc])
modInhRules :: PP a1 => t -> PP_Doc -> Bool -> Bool -> Map Identifier a -> a1 -> [PPRule] -> [String] -> t1 -> [(Identifier, Type)] -> [Identifier] -> (PP_Doc, [PP_Doc])
defInhRule :: PP a1 => Bool -> t -> PP_Doc -> Bool -> Bool -> Map Identifier a -> a1 -> [PPRule] -> [String] -> t1 -> [(Identifier, Type)] -> [Identifier] -> String -> (PP_Doc, [PP_Doc])
chRule :: Bool -> t -> PP_Doc -> String -> [PPRule] -> [String] -> t1 -> [(Identifier, Type)] -> [Identifier] -> (Identifier, Type) -> Maybe PP_Doc
mapLRuleDefs :: [PPRule] -> t -> t1 -> [(Identifier, Type)] -> [Identifier] -> [PP_Doc]
mapGRuleDefs :: (Identifier -> Bool) -> [PPRule] -> [String] -> [String] -> [(Identifier, Type)] -> [Identifier] -> [PP_Doc]
inhRuleDef :: Bool -> (Identifier -> Bool) -> (String -> Bool) -> [PPRule] -> [String] -> t -> [(Identifier, Type)] -> [Identifier] -> [PP_Doc]
defRule :: (Eq a2, Show a1, Show a2, PP b, PP a) => a -> (a2, Identifier) -> [String] -> ([String] -> a2 -> [(a2, a1)] -> t -> b) -> [(a2, a1)] -> t -> PP_Doc
rhsRule :: Show a => PP_Doc -> PP_Doc -> [HsToken] -> [String] -> t -> [(Identifier, a)] -> [Identifier] -> PP_Doc
token2PP :: Show a => PP_Doc -> PP_Doc -> t -> [(Identifier, a)] -> [Identifier] -> [String] -> HsToken -> (Pos, PP_Doc)
ppNoGroupAtts :: Map Identifier a -> [String] -> [PP_Doc]
attFields :: Map Identifier t -> Map Identifier t1 -> PP_Doc -> PP_Doc