ExecutionPlan2Hs
Documentation
sem_EChild_ETerm :: Identifier -> Type -> T_EChild
newtype T_EChildren
Constructors
T_EChildren (Map NontermIdent Int -> ConstructorIdent -> PP_Doc -> String -> String -> (String -> String -> String -> Bool -> String) -> NontermIdent -> Options -> String -> PP_Doc -> ([PP_Doc], [PP_Doc], [PP_Doc], Map Identifier Type, Map Identifier (VisitKind -> FormatMode -> Either Error (PP_Doc, Set String, Map String (Maybe NonLocalAttr))), [PP_Doc], Set String)) |
data Inh_EChildren
Constructors
data Syn_EChildren
Constructors
Syn_EChildren | |
Fields
|
sem_EChildren_Cons :: T_EChild -> T_EChildren -> T_EChildren
newtype T_ENonterminal
Constructors
T_ENonterminal (Map VisitIdentifier (Int, Int) -> Map NontermIdent Int -> Map VisitIdentifier VisitKind -> Map VisitIdentifier (Identifier -> VisitKind -> Either Error (PP_Doc, PP_Doc)) -> Map VisitIdentifier (Set Identifier) -> Map VisitIdentifier (Set Identifier) -> Derivings -> PP_Doc -> Map NontermIdent Attributes -> Map NontermIdent (Map ConstructorIdent (Map Identifier Type)) -> String -> String -> (String -> String -> String -> Bool -> String) -> Options -> String -> Map NontermIdent Attributes -> PP_Doc -> TypeSyns -> Set NontermIdent -> (PP_Doc, PP_Doc, Map VisitIdentifier (Identifier -> VisitKind -> Either Error (PP_Doc, PP_Doc)), Seq Error, Map VisitIdentifier (Int, Int), IO (), [PP_Doc], Map NontermIdent Int, PP_Doc, Seq PP_Doc, Seq PP_Doc, Map VisitIdentifier VisitKind, Map VisitIdentifier (Set Identifier), Map VisitIdentifier (Set Identifier))) |
data Inh_ENonterminal
Constructors
data Syn_ENonterminal
Constructors
sem_ENonterminal_ENonterminal :: NontermIdent -> [Identifier] -> ClassContext -> StateIdentifier -> Maybe VisitIdentifier -> Map StateIdentifier StateCtx -> Map StateIdentifier StateCtx -> T_EProductions -> Bool -> HigherOrderInfo -> T_ENonterminal
newtype T_ENonterminals
Constructors
T_ENonterminals (Map VisitIdentifier (Int, Int) -> Map NontermIdent Int -> Map VisitIdentifier VisitKind -> Map VisitIdentifier (Identifier -> VisitKind -> Either Error (PP_Doc, PP_Doc)) -> Map VisitIdentifier (Set Identifier) -> Map VisitIdentifier (Set Identifier) -> Derivings -> PP_Doc -> Map NontermIdent Attributes -> Map NontermIdent (Map ConstructorIdent (Map Identifier Type)) -> String -> String -> (String -> String -> String -> Bool -> String) -> Options -> String -> Map NontermIdent Attributes -> PP_Doc -> TypeSyns -> Set NontermIdent -> ([PP_Doc], [PP_Doc], Map VisitIdentifier (Identifier -> VisitKind -> Either Error (PP_Doc, PP_Doc)), Seq Error, Map VisitIdentifier (Int, Int), IO (), [PP_Doc], Map NontermIdent Int, PP_Doc, Seq PP_Doc, Seq PP_Doc, Map VisitIdentifier VisitKind, Map VisitIdentifier (Set Identifier), Map VisitIdentifier (Set Identifier))) |
data Inh_ENonterminals
Constructors
data Syn_ENonterminals
Constructors
newtype T_EProduction
Constructors
data Inh_EProduction
Constructors
data Syn_EProduction
Constructors
sem_EProduction_EProduction :: ConstructorIdent -> [Identifier] -> [Type] -> T_ERules -> T_EChildren -> T_Visits -> T_EProduction
newtype T_EProductions
Constructors
data Inh_EProductions
Constructors
data Syn_EProductions
Constructors
newtype T_ERule
Constructors
T_ERule (Map NontermIdent Attributes -> Map NontermIdent Attributes -> Map Identifier Type -> ConstructorIdent -> PP_Doc -> Attributes -> Set String -> Map Identifier Type -> String -> String -> (String -> String -> String -> Bool -> String) -> NontermIdent -> Options -> String -> Map Identifier (Set VisitKind) -> Attributes -> PP_Doc -> Map Identifier Int -> (Seq Error, Map Identifier (VisitKind -> FormatMode -> Either Error PP_Doc), Map Identifier (Set String), Map Identifier (Map String (Maybe NonLocalAttr)), PP_Doc)) |
data Inh_ERule
Constructors
data Syn_ERule
Constructors
Syn_ERule | |
Fields
|
wrap_ERule :: T_ERule -> Inh_ERule -> Syn_ERule
sem_ERule_ERule :: Identifier -> T_Pattern -> T_Expression -> Bool -> String -> Bool -> Bool -> Maybe Error -> T_ERule
sem_ERules :: ERules -> T_ERules
newtype T_ERules
Constructors
T_ERules (Map NontermIdent Attributes -> Map NontermIdent Attributes -> Map Identifier Type -> ConstructorIdent -> PP_Doc -> Attributes -> Set String -> Map Identifier Type -> String -> String -> (String -> String -> String -> Bool -> String) -> NontermIdent -> Options -> String -> Map Identifier (Set VisitKind) -> Attributes -> PP_Doc -> Map Identifier Int -> (Seq Error, Map Identifier (VisitKind -> FormatMode -> Either Error PP_Doc), Map Identifier (Set String), Map Identifier (Map String (Maybe NonLocalAttr)), PP_Doc)) |
data Inh_ERules
Constructors
data Syn_ERules
Constructors
Syn_ERules | |
Fields |
wrap_ERules :: T_ERules -> Inh_ERules -> Syn_ERules
sem_ERules_Cons :: T_ERule -> T_ERules -> T_ERules
newtype T_ExecutionPlan
Constructors
T_ExecutionPlan (PP_Doc -> Map NontermIdent Attributes -> Map NontermIdent (Map ConstructorIdent (Map Identifier Type)) -> PP_Doc -> String -> String -> (String -> String -> String -> Bool -> String) -> Options -> String -> Map NontermIdent Attributes -> Map BlockInfo PP_Doc -> PP_Doc -> (Seq Error, IO (), PP_Doc)) |
data Inh_ExecutionPlan
Constructors
data Syn_ExecutionPlan
Constructors
Syn_ExecutionPlan | |
sem_ExecutionPlan_ExecutionPlan :: T_ENonterminals -> TypeSyns -> Set NontermIdent -> Derivings -> T_ExecutionPlan
newtype T_Expression
Constructors
T_Expression (Map String (Maybe NonLocalAttr), Pos, PP_Doc, [HsToken]) |
data Inh_Expression
Constructors
Inh_Expression | |
data Syn_Expression
Constructors
Syn_Expression | |
Fields |
sem_Expression_Expression :: Pos -> [HsToken] -> T_Expression
sem_HsToken :: HsToken -> T_HsToken
data Inh_HsToken
Constructors
Inh_HsToken | |
data Syn_HsToken
Constructors
Syn_HsToken | |
Fields
|
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 [(Pos, String)] |
data Inh_HsTokens
Constructors
Inh_HsTokens | |
data Syn_HsTokens
Constructors
Syn_HsTokens | |
Fields
|
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 | |
sem_Pattern :: Pattern -> T_Pattern
newtype T_Pattern
Constructors
T_Pattern (Map NontermIdent Attributes -> Map NontermIdent Attributes -> Bool -> Attributes -> Map Identifier Type -> Options -> Attributes -> (PP_Doc, Set String, Pattern, Bool, PP_Doc)) |
data Inh_Pattern
Constructors
Inh_Pattern | |
data Syn_Pattern
Constructors
Syn_Pattern | |
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 (Map NontermIdent Attributes -> Map NontermIdent Attributes -> Bool -> Attributes -> Map Identifier Type -> Options -> Attributes -> (PP_Doc, Set String, Patterns, [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_Visit
Constructors
data Inh_Visit
Constructors
data Syn_Visit
Constructors
wrap_Visit :: T_Visit -> Inh_Visit -> Syn_Visit
sem_Visit_Visit :: VisitIdentifier -> StateIdentifier -> StateIdentifier -> Set Identifier -> Set Identifier -> T_VisitSteps -> VisitKind -> T_Visit
newtype T_VisitStep
Constructors
T_VisitStep (Map VisitIdentifier (Int, Int) -> Map NontermIdent Int -> Map VisitIdentifier VisitKind -> Map VisitIdentifier (Identifier -> VisitKind -> Either Error (PP_Doc, PP_Doc)) -> Map VisitIdentifier (Set Identifier) -> Map VisitIdentifier (Set Identifier) -> Map Identifier Type -> Map Identifier (VisitKind -> FormatMode -> Either Error (PP_Doc, Set String, Map String (Maybe NonLocalAttr))) -> FormatMode -> Int -> Bool -> VisitKind -> Map Identifier (VisitKind -> FormatMode -> Either Error PP_Doc) -> Options -> Int -> Map Identifier (Set String) -> Map Identifier (Map String (Maybe NonLocalAttr)) -> Bool -> (Set String, Seq Error, Int, Bool, Set String, Int, Map Identifier (Set VisitKind), Map Identifier Int, PP_Doc, PP_Doc, Map String (Maybe NonLocalAttr), Map VisitIdentifier VisitKind)) |
data Inh_VisitStep
Constructors
data Syn_VisitStep
Constructors
newtype T_VisitSteps
Constructors
T_VisitSteps (Map VisitIdentifier (Int, Int) -> Map NontermIdent Int -> Map VisitIdentifier VisitKind -> Map VisitIdentifier (Identifier -> VisitKind -> Either Error (PP_Doc, PP_Doc)) -> Map VisitIdentifier (Set Identifier) -> Map VisitIdentifier (Set Identifier) -> Map Identifier Type -> Map Identifier (VisitKind -> FormatMode -> Either Error (PP_Doc, Set String, Map String (Maybe NonLocalAttr))) -> FormatMode -> Int -> VisitKind -> Map Identifier (VisitKind -> FormatMode -> Either Error PP_Doc) -> Options -> Int -> Map Identifier (Set String) -> Map Identifier (Map String (Maybe NonLocalAttr)) -> Bool -> (Set String, Seq Error, Int, Bool, Set String, Int, Map Identifier (Set VisitKind), Map Identifier Int, PP_Doc, Int, PP_Doc, Map String (Maybe NonLocalAttr), Map VisitIdentifier VisitKind)) |
data Inh_VisitSteps
Constructors
data Syn_VisitSteps
Constructors
sem_Visits :: Visits -> T_Visits
newtype T_Visits
Constructors
data Inh_Visits
Constructors
data Syn_Visits
Constructors
wrap_Visits :: T_Visits -> Inh_Visits -> Syn_Visits
sem_Visits_Cons :: T_Visit -> T_Visits -> T_Visits
sem_EChild :: EChild -> T_EChild
newtype T_EChild
Constructors
T_EChild (Map NontermIdent Int -> ConstructorIdent -> PP_Doc -> String -> String -> (String -> String -> String -> Bool -> String) -> NontermIdent -> Options -> String -> PP_Doc -> (PP_Doc, PP_Doc, PP_Doc, Map Identifier Type, Map Identifier (VisitKind -> FormatMode -> Either Error (PP_Doc, Set String, Map String (Maybe NonLocalAttr))), PP_Doc, Set String)) |
data Inh_EChild
Constructors
data Syn_EChild
Constructors
wrap_EChild :: T_EChild -> Inh_EChild -> Syn_EChild
sem_EChild_EChild :: Identifier -> Type -> ChildKind -> Bool -> Maybe [Identifier] -> Bool -> T_EChild
classCtxsToDocs :: ClassContext -> [PP_Doc]
classConstrsToDocs :: [Type] -> [PP_Doc]
ppQuants :: [Identifier] -> PP_Doc
ppConFields :: Bool -> [PP_Doc] -> PP_Doc
ppMonadType :: Options -> PP_Doc
nextStName :: String
fmtDecl :: PP a => Bool -> FormatMode -> a -> PP_Doc
stname :: Identifier -> Int -> String
compatibleAttach :: VisitKind -> NontermIdent -> Options -> Bool
mkNonLocalAttr :: Bool -> Identifier -> Identifier -> NonLocalAttr
lookupAttrType :: NonLocalAttr -> Map Identifier Attributes -> Map Identifier Attributes -> Map Identifier Type -> Maybe PP_Doc
lookupType :: Identifier -> Identifier -> Map Identifier Attributes -> Map Identifier Type -> Maybe PP_Doc
noParameters :: Type -> Bool
compatibleKind :: VisitKind -> VisitKind -> Bool
compatibleRule :: VisitKind -> Bool -> Bool
renderDocs :: [PP_Doc] -> String
writeModule :: FilePath -> [PP_Doc] -> IO ()
ppNoInline :: PP a => a -> PP_Doc
ppInlinable :: PP a => a -> PP_Doc
ppPragmaBinding :: (PP a, PP b) => a -> b -> PP_Doc
ppCostCentre :: PP a => a -> PP_Doc
warrenFlagsPP :: Options -> PP_Doc