Safe Haskell	Safe-Infered

Curry.Module.FlatCurry

Documentation

type C_QName = T2 (List C_Char) (List C_Char)Source

type C_TVarIndex = C_Int Source

type C_VarIndex = C_Int Source

data C_Prog Source

Constructors

C_Prog (List C_Char) (List (List C_Char)) (List C_TypeDecl) (List C_FuncDecl) (List C_OpDecl)
C_ProgFail C_Exceptions
C_ProgOr OrRef (Branches C_Prog)

Instances

Read C_Prog
Show C_Prog
BaseCurry C_Prog
Curry C_Prog

data C_Visibility Source

Constructors

C_Public
C_Private
C_VisibilityFail C_Exceptions
C_VisibilityOr OrRef (Branches C_Visibility)

Instances

Read C_Visibility
Show C_Visibility
BaseCurry C_Visibility
Curry C_Visibility

data C_TypeDecl Source

Constructors

C_Type (T2 (List C_Char) (List C_Char)) C_Visibility (List C_Int) (List C_ConsDecl)
C_TypeSyn (T2 (List C_Char) (List C_Char)) C_Visibility (List C_Int) C_TypeExpr
C_TypeDeclFail C_Exceptions
C_TypeDeclOr OrRef (Branches C_TypeDecl)

Instances

Read C_TypeDecl
Show C_TypeDecl
BaseCurry C_TypeDecl
Curry C_TypeDecl

data C_ConsDecl Source

Constructors

C_Cons (T2 (List C_Char) (List C_Char)) C_Int C_Visibility (List C_TypeExpr)
C_ConsDeclFail C_Exceptions
C_ConsDeclOr OrRef (Branches C_ConsDecl)

Instances

Read C_ConsDecl
Show C_ConsDecl
BaseCurry C_ConsDecl
Curry C_ConsDecl

data C_TypeExpr Source

Constructors

C_TVar C_Int
C_FuncType C_TypeExpr C_TypeExpr
C_TCons (T2 (List C_Char) (List C_Char)) (List C_TypeExpr)
C_TypeExprFail C_Exceptions
C_TypeExprOr OrRef (Branches C_TypeExpr)

Instances

Read C_TypeExpr
Show C_TypeExpr
BaseCurry C_TypeExpr
Curry C_TypeExpr

data C_OpDecl Source

Constructors

C_Op (T2 (List C_Char) (List C_Char)) C_Fixity C_Int
C_OpDeclFail C_Exceptions
C_OpDeclOr OrRef (Branches C_OpDecl)

Instances

Read C_OpDecl
Show C_OpDecl
BaseCurry C_OpDecl
Curry C_OpDecl

data C_Fixity Source

Constructors

C_InfixOp
C_InfixlOp
C_InfixrOp
C_FixityFail C_Exceptions
C_FixityOr OrRef (Branches C_Fixity)

Instances

Read C_Fixity
Show C_Fixity
BaseCurry C_Fixity
Curry C_Fixity

data C_FuncDecl Source

Constructors

C_Func (T2 (List C_Char) (List C_Char)) C_Int C_Visibility C_TypeExpr C_Rule
C_FuncDeclFail C_Exceptions
C_FuncDeclOr OrRef (Branches C_FuncDecl)

Instances

Read C_FuncDecl
Show C_FuncDecl
BaseCurry C_FuncDecl
Curry C_FuncDecl

data C_Rule Source

Constructors

C_Rule (List C_Int) C_Expr
C_External (List C_Char)
C_RuleFail C_Exceptions
C_RuleOr OrRef (Branches C_Rule)

Instances

Read C_Rule
Show C_Rule
BaseCurry C_Rule
Curry C_Rule

data C_CaseType Source

Constructors

C_Rigid
C_Flex
C_CaseTypeFail C_Exceptions
C_CaseTypeOr OrRef (Branches C_CaseType)

Instances

Read C_CaseType
Show C_CaseType
BaseCurry C_CaseType
Curry C_CaseType

data C_CombType Source

Constructors

C_FuncCall
C_ConsCall
C_FuncPartCall C_Int
C_ConsPartCall C_Int
C_CombTypeFail C_Exceptions
C_CombTypeOr OrRef (Branches C_CombType)

Instances

Read C_CombType
Show C_CombType
BaseCurry C_CombType
Curry C_CombType

data C_Expr Source

Constructors

C_Var C_Int
C_Lit C_Literal
C_Comb C_CombType (T2 (List C_Char) (List C_Char)) (List C_Expr)
C_Let (List (T2 C_Int C_Expr)) C_Expr
C_Free (List C_Int) C_Expr
C_Or C_Expr C_Expr
C_Case C_CaseType C_Expr (List C_BranchExpr)
C_ExprFail C_Exceptions
C_ExprOr OrRef (Branches C_Expr)

Instances

Read C_Expr
Show C_Expr
BaseCurry C_Expr
Curry C_Expr

data C_BranchExpr Source

Constructors

C_Branch C_Pattern C_Expr
C_BranchExprFail C_Exceptions
C_BranchExprOr OrRef (Branches C_BranchExpr)

Instances

Read C_BranchExpr
Show C_BranchExpr
BaseCurry C_BranchExpr
Curry C_BranchExpr

data C_Pattern Source

Constructors

C_Pattern (T2 (List C_Char) (List C_Char)) (List C_Int)
C_LPattern C_Literal
C_PatternFail C_Exceptions
C_PatternOr OrRef (Branches C_Pattern)

Instances

Read C_Pattern
Show C_Pattern
BaseCurry C_Pattern
Curry C_Pattern

data C_Literal Source

Constructors

C_Intc C_Int
C_Floatc C_Float
C_Charc C_Char
C_LiteralFail C_Exceptions
C_LiteralOr OrRef (Branches C_Literal)

Instances

Read C_Literal
Show C_Literal
BaseCurry C_Literal
Curry C_Literal

c_readFlatCurry :: List C_Char -> State -> C_IO C_Prog Source

c_readFlatCurryWithParseOptions :: List C_Char -> C_FrontendParams -> State -> C_IO C_Prog Source

c_readFlatCurryWithParseOptions'46_'35lambda2 :: C_FrontendParams -> List C_Char -> C_Maybe (List C_Char) -> State -> C_IO C_Prog Source

c_readFlatCurryWithParseOptions'46_'35lambda2'46_'35lambda3 :: C_Maybe (List C_Char) -> C_FrontendParams -> List C_Char -> C_Maybe (List C_Char) -> State -> C_IO C_Prog Source

c_readFlatCurryWithParseOptions'46_'35lambda2'46_'35lambda3'46_'35lambda4 :: List C_Char -> State -> C_IO C_Prog Source

c_flatCurryFileName :: List C_Char -> State -> List C_Char Source

c_flatCurryIntName :: List C_Char -> State -> List C_Char Source

c_readFlatCurryFile :: List C_Char -> State -> C_IO C_Prog Source

c_readFlatCurryFile'46readExistingFCY'4614 :: Curry t0 => List C_Char -> State -> C_IO t0Source

c_readFlatCurryFile'46readExistingFCY'4614'46_'35lambda5 :: Curry t1 => List C_Char -> State -> C_IO t1Source

c_readFlatCurryFile'46_'35lambda6 :: Curry t2 => List C_Char -> C_Bool -> State -> C_IO t2Source

c_readFlatCurryFile'46_'35lambda6'46_'35lambda7 :: Curry t3 => List C_Char -> List C_Char -> C_Bool -> State -> C_IO t3Source

c_readFlatCurryInt :: List C_Char -> State -> C_IO C_Prog Source

c_readFlatCurryInt'46_'35lambda8 :: List C_Char -> C_Bool -> State -> C_IO C_Prog Source

c_readFlatCurryInt'46_'35lambda8'46_'35lambda9 :: C_Bool -> List C_Char -> C_Bool -> State -> C_IO C_Prog Source

c_readFlatCurryInt'46_'35lambda8'46_'35lambda9'46_'35lambda10 :: List C_Char -> State -> C_IO C_Prog Source

c_writeFCY :: List C_Char -> C_Prog -> State -> C_IO T0 Source

c_showQNameInModule :: List C_Char -> T2 (List C_Char) (List C_Char) -> State -> List C_Char Source

c_showQNameInModule_case_0 :: t -> List C_Char -> List C_Char -> C_Bool -> State -> List C_Char Source

c_readFlatCurryInt'46_'35lambda8'46_'35lambda9_case_1 :: t -> List C_Char -> t1 -> C_Bool -> State -> C_IO T0 Source

c_readFlatCurryWithParseOptions'46_'35lambda2'46_'35lambda3_case_2 :: t -> C_FrontendParams -> List C_Char -> t1 -> C_Bool -> State -> C_IO T0 Source