lvmlib-1.1: The Lazy Virtual Machine (LVM).

Safe HaskellNone
LanguageHaskell98

Lvm.Core.Type

Documentation

data Type Source

Constructors

TFun Type Type 
TAp Type Type 
TForall Id Type 
TExist Id Type 
TStrict Type 
TVar Id 
TCon Id 
TAny 
TString String 

Instances

data Kind Source

Constructors

KFun 

Fields

kind1 :: Kind
 
kind2 :: Kind
 
KStar 
KString 

Fields

kindString :: String
 

Instances

addForall :: Type -> Type Source

arityFromType :: Type -> Int Source