ContentsIndex
Type.Exp
Documentation
data Type
Constructors
TVar Var
TFunEE Type Type Effect [Env]
TCon Var [Type]
TForall [(Var, Kind)] Type
TProj Type TProj
TRegion Region
TEffect Effect
TFetters [Fetter] Type
TClass ClassId
TSeed Var
TFetter Fetter
TInstLet Var
TApp Type
TLambda SourcePos Type
TInst Var Var Type
TField Var Type
TCaseObj [Type]
TCaseAlt [Type]
TLiteral Const Type
TIfObj Type
TSig Var Type
TNil
TError
TFunF [(Type, Effect, [Env])]
TFunV Type Type (Maybe Var)
show/hide Instances
data ClassId
Constructors
ClassIdT Int
ClassIdR Int
ClassIdE Int
show/hide Instances
data TProj
Constructors
TJField Var
TJFieldR Var
show/hide Instances
Data TProj
Eq TProj
Pretty TProj
Show TProj
Typeable TProj
data Region
Constructors
RVar Var
RCon Var
RSum [Region]
RPort Var
RFetter Fetter
RClass ClassId
show/hide Instances
data Fetter
Constructors
FClassT Var Type
FClassE Var Effect
FClassR Var Region
FField Type Var Type
FEffect Effect Effect
FFunInfo Var Effect [Env]
show/hide Instances
data TypeSource
Constructors
TSNil
TSLambda SourcePos
TSApp Var
TSInst Var Var
TSSynth Var
TSIfObj
TSLiteral Const
TSCaseMatch SourcePos
TSProj ClassId ClassId TProj
TSSig Var
TSCaseObj
TSCaseAlt
TSPattern
TSCode
show/hide Instances
data Kind
Constructors
KFun Kind Kind
KType
KRegion
KEffect
show/hide Instances
Data Kind
Eq Kind
Pretty Kind
Show Kind
Typeable Kind
data Effect
Constructors
ENil
EVar Var
ECon Var [Type]
ESum [Effect]
EClass ClassId
EFetter Fetter
EPort Var
EPipe Var
EEnd Var
ESink Var
ECase SourcePos Effect
show/hide Instances
data Env
Constructors
NNil
NVar Var
NVarType Var Type
show/hide Instances
Data Env
Eq Env
Free Env
Lint Env
Pretty Env
Rename Env
Show Env
Typeable Env
Produced by Haddock version 0.7