uuagc-bootstrap

Safe HaskellSafe-Infered

AG2AspectAG

Documentation

newtype T_Expression

Constructors

T_Expression (PP_Doc -> PP_Doc -> [String] -> Identifier -> [(Identifier, Type)] -> [Identifier] -> PP_Doc) 

newtype T_HsToken

Constructors

T_HsToken () 

data Inh_HsToken

Constructors

Inh_HsToken 

data Syn_HsToken

Constructors

Syn_HsToken 

newtype T_HsTokens

Constructors

T_HsTokens () 

data Inh_HsTokens

Constructors

Inh_HsTokens 

data Syn_HsTokens

Constructors

Syn_HsTokens 

newtype T_HsTokensRoot

Constructors

T_HsTokensRoot () 

newtype T_Pattern

data Inh_Pattern

Constructors

Inh_Pattern 

newtype T_Patterns

Constructors

T_Patterns Patterns 

data Inh_Patterns

Constructors

Inh_Patterns 

newtype T_Rule

Constructors

T_Rule (Maybe String -> [String] -> Bool -> [String] -> PP_Doc -> PP_Doc -> [String] -> ([Identifier], [PPRule])) 

data Syn_Rule

Constructors

Syn_Rule 

newtype T_Rules

Constructors

T_Rules (Maybe String -> [String] -> Bool -> [String] -> PP_Doc -> PP_Doc -> [String] -> ([Identifier], [PPRule])) 

newtype T_TypeSig

Constructors

T_TypeSig () 

data Inh_TypeSig

Constructors

Inh_TypeSig 

data Syn_TypeSig

Constructors

Syn_TypeSig 

newtype T_TypeSigs

Constructors

T_TypeSigs () 

data Inh_TypeSigs

Constructors

Inh_TypeSigs 

data Syn_TypeSigs

Constructors

Syn_TypeSigs 

ppName :: PP a => [a] -> PP_Doc

defAttRec :: (Ord a1, Show x, PP a1, PP a) => a -> a -> Map a1 x -> Map a1 b -> PP_Doc

groupAtts :: Ord k => Map k a -> Map k b -> [(k, a)]

defLocalAtts :: PP a => PP_Doc -> Int -> Int -> [a] -> PP_Doc

ntsList :: [Char] -> [(PP_Doc, b)] -> PP_Doc

filterNts :: String -> [(a1, Map Identifier a)] -> [(a1, Map Identifier a)]

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

lines2PP :: PP a => [(Pos, a)] -> [PP_Doc]

token2PP :: Show a => PP_Doc -> PP_Doc -> t -> [(Identifier, a)] -> [Identifier] -> [String] -> HsToken -> (Pos, PP_Doc)

line2PP :: (Position p, PP a) => [(p, a)] -> PP_Doc

ruleName :: PP a => a -> a -> PP_Doc

elemNT :: t -> t1 -> Bool

attTypes :: (Show x, PP a) => Map a x -> [PP_Doc]

attVars :: PP a => Map a t -> [PP_Doc]