curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formats Source code Contents Index

Curry.AbstractCurry

Documentation

data CurryProg Source

Constructors CurryProg String [String] [CTypeDecl] [CFuncDecl] [COpDecl] Instances Read CurryProg Show CurryProg

type QName = (String, String) Source

type CLabel = String Source

data CVisibility Source

Constructors Public Private Instances Eq CVisibility Read CVisibility Show CVisibility

type CTVarIName = (Int, String) Source

data CTypeDecl Source

Constructors CType QName CVisibility [CTVarIName] [CConsDecl] CTypeSyn QName CVisibility [CTVarIName] CTypeExpr Instances Read CTypeDecl Show CTypeDecl

data CConsDecl Source

Constructors CCons QName Int CVisibility [CTypeExpr] Instances Read CConsDecl Show CConsDecl

data CTypeExpr Source

Constructors CTVar CTVarIName CFuncType CTypeExpr CTypeExpr CTCons QName [CTypeExpr] CRecordType [CField CTypeExpr] (Maybe CTVarIName) Instances Read CTypeExpr Show CTypeExpr

data COpDecl Source

Constructors COp QName CFixity Integer Instances Read COpDecl Show COpDecl

data CFixity Source

Constructors CInfixOp CInfixlOp CInfixrOp Instances Eq CFixity Read CFixity Show CFixity

type CVarIName = (Int, String) Source

data CFuncDecl Source

Constructors CFunc QName Int CVisibility CTypeExpr CRules Instances Read CFuncDecl Show CFuncDecl

data CRules Source

Constructors CRules CEvalAnnot [CRule] CExternal String Instances Read CRules Show CRules

data CEvalAnnot Source

Constructors CFlex CRigid CChoice Instances Eq CEvalAnnot Read CEvalAnnot Show CEvalAnnot

data CRule Source

Constructors CRule [CPattern] [(CExpr, CExpr)] [CLocalDecl] Instances Read CRule Show CRule

data CLocalDecl Source

Constructors CLocalFunc CFuncDecl CLocalPat CPattern CExpr [CLocalDecl] CLocalVar CVarIName Instances Read CLocalDecl Show CLocalDecl

data CExpr Source

Constructors CVar CVarIName CLit CLiteral CSymbol QName CApply CExpr CExpr CLambda [CPattern] CExpr CLetDecl [CLocalDecl] CExpr CDoExpr [CStatement] CListComp CExpr [CStatement] CCase CExpr [CBranchExpr] CRecConstr [CField CExpr] CRecSelect CExpr CLabel CRecUpdate [CField CExpr] CExpr Instances Read CExpr Show CExpr

data CStatement Source

Constructors CSExpr CExpr CSPat CPattern CExpr CSLet [CLocalDecl] Instances Read CStatement Show CStatement

data CPattern Source

Constructors CPVar CVarIName CPLit CLiteral CPComb QName [CPattern] CPAs CVarIName CPattern CPFuncComb QName [CPattern] CPLazy CPattern CPRecord [CField CPattern] (Maybe CPattern) Instances Read CPattern Show CPattern

data CBranchExpr Source

Constructors CBranch CPattern CExpr Instances Read CBranchExpr Show CBranchExpr

data CLiteral Source

Constructors CIntc Integer CFloatc Double CCharc Char Instances Eq CLiteral Read CLiteral Show CLiteral

type CField a = (CLabel, a) Source

readCurry :: String -> IO CurryProg Source

writeCurry :: String -> CurryProg -> IO () Source

Produced by Haddock version 2.4.2