Curry.FlatCurry.Type

Documentation

Constructors

Prog String [String] [TypeDecl] [FuncDecl] [OpDecl]

Instances

Eq Prog
Read Prog
Show Prog

type QName = (String, String)Source

data Visibility Source

Constructors

Public
Private

Instances

Eq Visibility
Read Visibility
Show Visibility

type TVarIndex = Int Source

data TypeDecl Source

Constructors

Type QName Visibility [TVarIndex] [ConsDecl]
TypeSyn QName Visibility [TVarIndex] TypeExpr

Instances

Eq TypeDecl
Read TypeDecl
Show TypeDecl

data ConsDecl Source

Constructors

Cons QName Int Visibility [TypeExpr]

Instances

Eq ConsDecl
Read ConsDecl
Show ConsDecl

data TypeExpr Source

Constructors

TVar TVarIndex
FuncType TypeExpr TypeExpr
TCons QName [TypeExpr]

Instances

Eq TypeExpr
Read TypeExpr
Show TypeExpr

data OpDecl Source

Constructors

Op QName Fixity Integer

Instances

Eq OpDecl
Read OpDecl
Show OpDecl

data Fixity Source

Constructors

InfixOp
InfixlOp
InfixrOp

Instances

Eq Fixity
Read Fixity
Show Fixity

type VarIndex = Int Source

data FuncDecl Source

Constructors

Func QName Int Visibility TypeExpr Rule

Instances

Eq FuncDecl
Read FuncDecl
Show FuncDecl

data Rule Source

Constructors

Rule [VarIndex] Expr
External String

Instances

Eq Rule
Read Rule
Show Rule

data CaseType Source

Constructors

Rigid
Flex

Instances

Eq CaseType
Read CaseType
Show CaseType

data CombType Source

Constructors

FuncCall
ConsCall
FuncPartCall Int
ConsPartCall Int

Instances

Eq CombType
Read CombType
Show CombType

data Expr Source

Constructors

Var VarIndex
Lit Literal
Comb CombType QName [Expr]
Free [VarIndex] Expr
Let [(VarIndex, Expr)] Expr
Or Expr Expr
Case CaseType Expr [BranchExpr]

Instances

Eq Expr
Read Expr
Show Expr

data BranchExpr Source

Constructors

Branch Pattern Expr

Instances

Eq BranchExpr
Read BranchExpr
Show BranchExpr

data Pattern Source

Constructors

Pattern QName [VarIndex]
LPattern Literal

Instances

Eq Pattern
Read Pattern
Show Pattern

data Literal Source

Constructors

Intc Integer
Floatc Double
Charc Char

Instances

Eq Literal
Read Literal
Show Literal

readFlatCurry :: FilePath -> IO (Maybe Prog)Source

readFlatInterface :: String -> IO (Maybe Prog)Source

readFlat :: FilePath -> IO (Maybe Prog)Source

writeFlatCurry :: String -> Prog -> IO ()Source