Curry.FlatCurry.Type

Representation of qualified names and (type) variables

type QName

type VarIndex

type TVarIndex

Data types for FlatCurry

data Visibility

data Prog

data TypeDecl

data TypeExpr

data ConsDecl

data OpDecl

data Fixity

data FuncDecl

data Rule

data Expr

data Literal

data CombType

data CaseType

data BranchExpr

data Pattern