Curry.ExtendedFlat.Type

Documentation

Instances

Eq SrcRef
Data SrcRef
Ord SrcRef
Read SrcRef
Show SrcRef
Typeable SrcRef

data Prog Source

Constructors

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

Instances

Eq Prog
Data Prog
Read Prog
Show Prog
Typeable Prog

data QName Source

Constructors

QName
Fields srcRef :: Maybe SrcRef typeofQName :: Maybe TypeExpr modName :: String localName :: String

Instances

Eq QName
Data QName
Ord QName
Read QName
Show QName
Typeable QName

qnOf :: QName -> (String, String)Source

mkQName :: (String, String) -> QName Source

data Visibility Source

Constructors

Public
Private

Instances

Eq Visibility
Data Visibility
Read Visibility
Show Visibility
Typeable Visibility

type TVarIndex = Int Source

data TypeDecl Source

Constructors

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

Instances

Eq TypeDecl
Data TypeDecl
Read TypeDecl
Show TypeDecl
Typeable TypeDecl

data ConsDecl Source

Constructors

Cons QName Int Visibility [TypeExpr]

Instances

Eq ConsDecl
Data ConsDecl
Read ConsDecl
Show ConsDecl
Typeable ConsDecl

data TypeExpr Source

Constructors

TVar !TVarIndex
FuncType TypeExpr TypeExpr
TCons QName [TypeExpr]

Instances

Eq TypeExpr
Data TypeExpr
Read TypeExpr
Show TypeExpr
Typeable TypeExpr

data OpDecl Source

Constructors

Op QName Fixity Integer

Instances

Eq OpDecl
Data OpDecl
Read OpDecl
Show OpDecl
Typeable OpDecl

data Fixity Source

Constructors

InfixOp
InfixlOp
InfixrOp

Instances

Eq Fixity
Data Fixity
Read Fixity
Show Fixity
Typeable Fixity

data VarIndex Source

Constructors

VarIndex
Fields typeofVar :: Maybe TypeExpr idxOf :: Int

Instances

Eq VarIndex
Data VarIndex
Num VarIndex
Ord VarIndex
Read VarIndex
Show VarIndex
Typeable VarIndex

mkIdx :: Int -> VarIndex Source

incVarIndex :: VarIndex -> Int -> VarIndex Source

data FuncDecl Source

Constructors

Func QName Int Visibility TypeExpr Rule

Instances

Eq FuncDecl
Data FuncDecl
Read FuncDecl
Show FuncDecl
Typeable FuncDecl

data Rule Source

Constructors

Rule [VarIndex] Expr
External String

Instances

Eq Rule
Data Rule
Read Rule
Show Rule
Typeable Rule

data CaseType Source

Constructors

Rigid
Flex

Instances

Eq CaseType
Data CaseType
Read CaseType
Show CaseType
Typeable CaseType

data CombType Source

Constructors

FuncCall
ConsCall
FuncPartCall Int
ConsPartCall Int

Instances

Eq CombType
Data CombType
Read CombType
Show CombType
Typeable CombType

data Expr Source

Constructors

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

Instances

Eq Expr
Data Expr
Read Expr
Show Expr
Typeable Expr

data BranchExpr Source

Constructors

Branch Pattern Expr

Instances

Eq BranchExpr
Data BranchExpr
Read BranchExpr
Show BranchExpr
Typeable BranchExpr

data Pattern Source

Constructors

Pattern QName [VarIndex]
LPattern Literal

Instances

Eq Pattern
Data Pattern
Read Pattern
Show Pattern
Typeable Pattern

data Literal Source

Constructors

Intc SrcRef Integer
Floatc SrcRef Double
Charc SrcRef Char

Instances

Eq Literal
Data Literal
Read Literal
Show Literal
Typeable Literal

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

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

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

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

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

gshowsPrec :: Data a => Bool -> Bool -> a -> ShowS Source