curry-base-0.2.7: Functions for manipulating Curry programs

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 Int

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 :: Bool -> String -> CurryProg -> IO ()Source