Curry.ExtendedFlat.Type

Representation of qualified names and variables

data SrcRef

data QName

qnOf

mkQName

data VarIndex

mkIdx

incVarIndex

Data types for FlatCurry

data Visibility

data Prog

data TypeDecl

data TypeExpr

type TVarIndex

data ConsDecl

data OpDecl

data Fixity

data FuncDecl

data Rule

data Expr

data Literal

data CombType

data CaseType

data BranchExpr

data Pattern

Functions for reading and writing FlatCurry terms

readFlatCurry

readFlatInterface

readExtFlatCurry

readFlat

writeFlatCurry

writeExtendedFlat