Safe Haskell	Safe-Infered

Curry.Module.AbstractCurry

Documentation

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

type C_CTVarIName = T2 C_Int (List C_Char)Source

type C_CVarIName = T2 C_Int (List C_Char)Source

data C_CurryProg Source

Constructors

C_CurryProg (List C_Char) (List (List C_Char)) (List C_CTypeDecl) (List C_CFuncDecl) (List C_COpDecl)
C_CurryProgFail C_Exceptions
C_CurryProgOr OrRef (Branches C_CurryProg)

Instances

Read C_CurryProg
Show C_CurryProg
BaseCurry C_CurryProg
Curry C_CurryProg

data C_CVisibility Source

Constructors

C_Public
C_Private
C_CVisibilityFail C_Exceptions
C_CVisibilityOr OrRef (Branches C_CVisibility)

Instances

Read C_CVisibility
Show C_CVisibility
BaseCurry C_CVisibility
Curry C_CVisibility

data C_CTypeDecl Source

Constructors

C_CType (T2 (List C_Char) (List C_Char)) C_CVisibility (List (T2 C_Int (List C_Char))) (List C_CConsDecl)
C_CTypeSyn (T2 (List C_Char) (List C_Char)) C_CVisibility (List (T2 C_Int (List C_Char))) C_CTypeExpr
C_CTypeDeclFail C_Exceptions
C_CTypeDeclOr OrRef (Branches C_CTypeDecl)

Instances

Read C_CTypeDecl
Show C_CTypeDecl
BaseCurry C_CTypeDecl
Curry C_CTypeDecl

data C_CConsDecl Source

Constructors

C_CCons (T2 (List C_Char) (List C_Char)) C_Int C_CVisibility (List C_CTypeExpr)
C_CConsDeclFail C_Exceptions
C_CConsDeclOr OrRef (Branches C_CConsDecl)

Instances

Read C_CConsDecl
Show C_CConsDecl
BaseCurry C_CConsDecl
Curry C_CConsDecl

data C_CTypeExpr Source

Constructors

C_CTVar (T2 C_Int (List C_Char))
C_CFuncType C_CTypeExpr C_CTypeExpr
C_CTCons (T2 (List C_Char) (List C_Char)) (List C_CTypeExpr)
C_CTypeExprFail C_Exceptions
C_CTypeExprOr OrRef (Branches C_CTypeExpr)

Instances

Read C_CTypeExpr
Show C_CTypeExpr
BaseCurry C_CTypeExpr
Curry C_CTypeExpr

data C_COpDecl Source

Constructors

C_COp (T2 (List C_Char) (List C_Char)) C_CFixity C_Int
C_COpDeclFail C_Exceptions
C_COpDeclOr OrRef (Branches C_COpDecl)

Instances

Read C_COpDecl
Show C_COpDecl
BaseCurry C_COpDecl
Curry C_COpDecl

data C_CFixity Source

Constructors

C_CInfixOp
C_CInfixlOp
C_CInfixrOp
C_CFixityFail C_Exceptions
C_CFixityOr OrRef (Branches C_CFixity)

Instances

Read C_CFixity
Show C_CFixity
BaseCurry C_CFixity
Curry C_CFixity

data C_CFuncDecl Source

Constructors

C_CFunc (T2 (List C_Char) (List C_Char)) C_Int C_CVisibility C_CTypeExpr C_CRules
C_CmtFunc (List C_Char) (T2 (List C_Char) (List C_Char)) C_Int C_CVisibility C_CTypeExpr C_CRules
C_CFuncDeclFail C_Exceptions
C_CFuncDeclOr OrRef (Branches C_CFuncDecl)

Instances

Read C_CFuncDecl
Show C_CFuncDecl
BaseCurry C_CFuncDecl
Curry C_CFuncDecl

data C_CRules Source

Constructors

C_CRules C_CEvalAnnot (List C_CRule)
C_CExternal (List C_Char)
C_CRulesFail C_Exceptions
C_CRulesOr OrRef (Branches C_CRules)

Instances

Read C_CRules
Show C_CRules
BaseCurry C_CRules
Curry C_CRules

data C_CEvalAnnot Source

Constructors

C_CFlex
C_CRigid
C_CChoice
C_CEvalAnnotFail C_Exceptions
C_CEvalAnnotOr OrRef (Branches C_CEvalAnnot)

Instances

Read C_CEvalAnnot
Show C_CEvalAnnot
BaseCurry C_CEvalAnnot
Curry C_CEvalAnnot

data C_CRule Source

Constructors

C_CRule (List C_CPattern) (List (T2 C_CExpr C_CExpr)) (List C_CLocalDecl)
C_CRuleFail C_Exceptions
C_CRuleOr OrRef (Branches C_CRule)

Instances

Read C_CRule
Show C_CRule
BaseCurry C_CRule
Curry C_CRule

data C_CLocalDecl Source

Constructors

C_CLocalFunc C_CFuncDecl
C_CLocalPat C_CPattern C_CExpr (List C_CLocalDecl)
C_CLocalVar (T2 C_Int (List C_Char))
C_CLocalDeclFail C_Exceptions
C_CLocalDeclOr OrRef (Branches C_CLocalDecl)

Instances

Read C_CLocalDecl
Show C_CLocalDecl
BaseCurry C_CLocalDecl
Curry C_CLocalDecl

data C_CExpr Source

Constructors

C_CVar (T2 C_Int (List C_Char))
C_CLit C_CLiteral
C_CSymbol (T2 (List C_Char) (List C_Char))
C_CApply C_CExpr C_CExpr
C_CLambda (List C_CPattern) C_CExpr
C_CLetDecl (List C_CLocalDecl) C_CExpr
C_CDoExpr (List C_CStatement)
C_CListComp C_CExpr (List C_CStatement)
C_CCase C_CExpr (List C_CBranchExpr)
C_CExprFail C_Exceptions
C_CExprOr OrRef (Branches C_CExpr)

Instances

Read C_CExpr
Show C_CExpr
BaseCurry C_CExpr
Curry C_CExpr

data C_CStatement Source

Constructors

C_CSExpr C_CExpr
C_CSPat C_CPattern C_CExpr
C_CSLet (List C_CLocalDecl)
C_CStatementFail C_Exceptions
C_CStatementOr OrRef (Branches C_CStatement)

Instances

Read C_CStatement
Show C_CStatement
BaseCurry C_CStatement
Curry C_CStatement

data C_CPattern Source

Constructors

C_CPVar (T2 C_Int (List C_Char))
C_CPLit C_CLiteral
C_CPComb (T2 (List C_Char) (List C_Char)) (List C_CPattern)
C_CPAs (T2 C_Int (List C_Char)) C_CPattern
C_CPFuncComb (T2 (List C_Char) (List C_Char)) (List C_CPattern)
C_CPatternFail C_Exceptions
C_CPatternOr OrRef (Branches C_CPattern)

Instances

Read C_CPattern
Show C_CPattern
BaseCurry C_CPattern
Curry C_CPattern

data C_CBranchExpr Source

Constructors

C_CBranch C_CPattern C_CExpr
C_CBranchExprFail C_Exceptions
C_CBranchExprOr OrRef (Branches C_CBranchExpr)

Instances

Read C_CBranchExpr
Show C_CBranchExpr
BaseCurry C_CBranchExpr
Curry C_CBranchExpr

data C_CLiteral Source

Constructors

C_CIntc C_Int
C_CFloatc C_Float
C_CCharc C_Char
C_CLiteralFail C_Exceptions
C_CLiteralOr OrRef (Branches C_CLiteral)

Instances

Read C_CLiteral
Show C_CLiteral
BaseCurry C_CLiteral
Curry C_CLiteral

c_readCurry :: List C_Char -> State -> C_IO C_CurryProg Source

c_readUntypedCurry :: List C_Char -> State -> C_IO C_CurryProg Source

c_readCurryWithParseOptions :: List C_Char -> C_FrontendParams -> State -> C_IO C_CurryProg Source

c_readCurryWithParseOptions'46_'35lambda2 :: C_FrontendParams -> List C_Char -> C_Bool -> State -> C_IO C_CurryProg Source

c_readCurryWithParseOptions'46_'35lambda2'46_'35lambda3 :: C_Bool -> C_FrontendParams -> List C_Char -> C_Bool -> State -> C_IO C_CurryProg Source

c_readCurryWithParseOptions'46_'35lambda2'46_'35lambda3'46_'35lambda4 :: List C_Char -> State -> C_IO C_CurryProg Source

c_readUntypedCurryWithParseOptions :: List C_Char -> C_FrontendParams -> State -> C_IO C_CurryProg Source

c_readUntypedCurryWithParseOptions'46_'35lambda5 :: C_FrontendParams -> List C_Char -> C_Bool -> State -> C_IO C_CurryProg Source

c_readUntypedCurryWithParseOptions'46_'35lambda5'46_'35lambda6 :: C_Bool -> C_FrontendParams -> List C_Char -> C_Bool -> State -> C_IO C_CurryProg Source

c_readUntypedCurryWithParseOptions'46_'35lambda5'46_'35lambda6'46_'35lambda7 :: List C_Char -> State -> C_IO C_CurryProg Source

c_abstractCurryFileName :: List C_Char -> State -> List C_Char Source

c_untypedAbstractCurryFileName :: List C_Char -> State -> List C_Char Source

c_readAbstractCurryFile :: List C_Char -> State -> C_IO C_CurryProg Source

c_readAbstractCurryFile'46readExistingACY'4621 :: Curry t0 => List C_Char -> State -> C_IO t0Source

c_readAbstractCurryFile'46readExistingACY'4621'46_'35lambda8 :: Curry t1 => List C_Char -> State -> C_IO t1Source

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

c_readAbstractCurryFile'46_'35lambda9'46_'35lambda10 :: Curry t3 => List C_Char -> List C_Char -> C_Bool -> State -> C_IO t3Source

c_writeAbstractCurryFile :: List C_Char -> C_CurryProg -> State -> C_IO T0 Source

c_readUntypedCurryWithParseOptions'46_'35lambda5'46_'35lambda6_case_0 :: t -> C_FrontendParams -> List C_Char -> t1 -> C_Bool -> State -> C_IO T0 Source

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