PrintOcamlCode
Documentation
sem_CaseAlts :: CaseAlts -> T_CaseAlts
newtype T_CaseAlts
Constructors
T_CaseAlts (Options -> PP_Docs) |
data Inh_CaseAlts
Constructors
Inh_CaseAlts | |
Fields |
data Syn_CaseAlts
Constructors
Syn_CaseAlts | |
Fields |
wrap_CaseAlts :: T_CaseAlts -> Inh_CaseAlts -> Syn_CaseAlts
sem_CaseAlts_Cons :: T_CaseAlt -> T_CaseAlts -> T_CaseAlts
data Syn_Chunk
Constructors
Syn_Chunk | |
Fields
|
wrap_Chunk :: T_Chunk -> Inh_Chunk -> Syn_Chunk
sem_Chunk_Chunk :: String -> T_Decl -> T_Decls -> T_Decls -> T_Decls -> T_Decls -> T_Decls -> T_Decls -> [String] -> T_Chunk
sem_Chunks :: Chunks -> T_Chunks
data Inh_Chunks
Constructors
Inh_Chunks | |
Fields |
data Syn_Chunks
Constructors
Syn_Chunks | |
Fields |
wrap_Chunks :: T_Chunks -> Inh_Chunks -> Syn_Chunks
sem_Chunks_Cons :: T_Chunk -> T_Chunks -> T_Chunks
sem_DataAlt :: DataAlt -> T_DataAlt
data Inh_DataAlt
Constructors
Inh_DataAlt | |
data Syn_DataAlt
Constructors
Syn_DataAlt | |
Fields
|
wrap_DataAlt :: T_DataAlt -> Inh_DataAlt -> Syn_DataAlt
sem_DataAlt_DataAlt :: String -> T_Types -> T_DataAlt
sem_DataAlt_Record :: String -> T_NamedTypes -> T_DataAlt
sem_DataAlts :: DataAlts -> T_DataAlts
newtype T_DataAlts
Constructors
T_DataAlts PP_Docs |
data Inh_DataAlts
Constructors
Inh_DataAlts | |
data Syn_DataAlts
Constructors
Syn_DataAlts | |
Fields |
wrap_DataAlts :: T_DataAlts -> Inh_DataAlts -> Syn_DataAlts
sem_DataAlts_Cons :: T_DataAlt -> T_DataAlts -> T_DataAlts
data Syn_Decl
Constructors
Syn_Decl | |
Fields
|
sem_Decl_Bind :: T_Lhs -> T_Expr -> T_Decl
sem_Decl_BindLet :: T_Lhs -> T_Expr -> T_Decl
sem_Decl_Comment :: String -> T_Decl
sem_Decl_Data :: String -> [String] -> T_DataAlts -> Bool -> [String] -> T_Decl
sem_Decl_EvalDecl :: String -> T_Lhs -> T_Expr -> T_Decl
sem_Decl_PragmaDecl :: String -> T_Decl
sem_Decl_TSig :: String -> T_Type -> T_Decl
sem_Decl_Type :: String -> [String] -> T_Type -> T_Decl
data Syn_Decls
Constructors
Syn_Decls | |
Fields
|
wrap_Decls :: T_Decls -> Inh_Decls -> Syn_Decls
sem_Decls_Cons :: T_Decl -> T_Decls -> T_Decls
data Syn_Expr
Constructors
Syn_Expr | |
Fields
|
sem_Expr_App :: String -> T_Exprs -> T_Expr
sem_Expr_Case :: T_Expr -> T_CaseAlts -> T_Expr
sem_Expr_Do :: T_Decls -> T_Expr -> T_Expr
sem_Expr_InvokeExpr :: String -> T_Expr -> T_Exprs -> T_Expr
sem_Expr_Lambda :: T_Exprs -> T_Expr -> T_Expr
sem_Expr_Let :: T_Decls -> T_Expr -> T_Expr
sem_Expr_LineExpr :: T_Expr -> T_Expr
sem_Expr_ResultExpr :: String -> T_Expr -> T_Expr
sem_Expr_SemFun :: String -> T_Exprs -> T_Expr -> T_Expr
sem_Expr_SimpleExpr :: String -> T_Expr
sem_Expr_TextExpr :: [String] -> T_Expr
sem_Expr_Trace :: String -> T_Expr -> T_Expr
sem_Expr_TupleExpr :: T_Exprs -> T_Expr
sem_Expr_TypedExpr :: T_Expr -> T_Type -> T_Expr
data Syn_Exprs
Constructors
Syn_Exprs | |
Fields
|
wrap_Exprs :: T_Exprs -> Inh_Exprs -> Syn_Exprs
sem_Exprs_Cons :: T_Expr -> T_Exprs -> T_Exprs
data Syn_Lhs
Constructors
Syn_Lhs | |
Fields
|
sem_Lhs_Fun :: String -> T_Exprs -> T_Lhs
sem_Lhs_Pattern3 :: T_Pattern -> T_Lhs
sem_Lhs_Pattern3SM :: T_Pattern -> T_Lhs
sem_Lhs_TupleLhs :: [String] -> T_Lhs
sem_Lhs_UnboxedTupleLhs :: [String] -> T_Lhs
sem_Lhs_Unwrap :: String -> T_Lhs -> T_Lhs
newtype T_NamedType
Constructors
T_NamedType PP_Doc |
data Inh_NamedType
Constructors
Inh_NamedType | |
data Syn_NamedType
Constructors
Syn_NamedType | |
Fields |
sem_NamedType_Named :: Bool -> String -> T_Type -> T_NamedType
newtype T_NamedTypes
Constructors
T_NamedTypes PP_Docs |
data Inh_NamedTypes
Constructors
Inh_NamedTypes | |
data Syn_NamedTypes
Constructors
Syn_NamedTypes | |
Fields |
sem_Pattern :: Pattern -> T_Pattern
data Inh_Pattern
Constructors
Inh_Pattern | |
Fields |
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 (Options -> (Patterns, PP_Docs)) |
data Inh_Patterns
Constructors
Inh_Patterns | |
Fields |
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_Program :: Program -> T_Program
data Inh_Program
Constructors
Inh_Program | |
Fields |
data Syn_Program
Constructors
Syn_Program | |
Fields |
wrap_Program :: T_Program -> Inh_Program -> Syn_Program
sem_Program_Program :: T_Chunks -> Bool -> T_Program
data Syn_Type
Constructors
Syn_Type | |
Fields
|
sem_Type_Arr :: T_Type -> T_Type -> T_Type
sem_Type_CtxApp :: [(String, [String])] -> T_Type -> T_Type
sem_Type_List :: T_Type -> T_Type
sem_Type_NontermType :: String -> [String] -> Bool -> T_Type
sem_Type_QuantApp :: String -> T_Type -> T_Type
sem_Type_SimpleType :: String -> T_Type
sem_Type_TEither :: T_Type -> T_Type -> T_Type
sem_Type_TIntMap :: T_Type -> T_Type
sem_Type_TMap :: T_Type -> T_Type -> T_Type
sem_Type_TMaybe :: T_Type -> T_Type
sem_Type_TupleType :: T_Types -> T_Type
sem_Type_TypeApp :: T_Type -> T_Types -> T_Type
data Syn_Types
Constructors
Syn_Types | |
Fields
|
wrap_Types :: T_Types -> Inh_Types -> Syn_Types
sem_Types_Cons :: T_Type -> T_Types -> T_Types
sem_CaseAlt :: CaseAlt -> T_CaseAlt
data Inh_CaseAlt
Constructors
Inh_CaseAlt | |
Fields |
data Syn_CaseAlt
Constructors
Syn_CaseAlt | |
Fields
|
wrap_CaseAlt :: T_CaseAlt -> Inh_CaseAlt -> Syn_CaseAlt
sem_CaseAlt_CaseAlt :: T_Lhs -> T_Expr -> T_CaseAlt
mkTupleExpr :: Bool -> Bool -> Exprs -> Expr
mkTupleType :: Bool -> Bool -> Types -> Type
mkTupleLhs :: Bool -> Bool -> [String] -> Lhs
ppMultiSeqH :: [PP_Doc] -> PP_Doc -> PP_Doc
ppMultiSeqV :: [PP_Doc] -> PP_Doc -> PP_Doc