thih-1.0: Typing Haskell In Haskell

Type

Documentation

data Type Source

Constructors

TVar Tyvar
TCon Tycon
TAp Type Type
TGen Int

Instances

Eq Type
PPrint Type
HasKind Type
Types Type
Match Type
Unify Type
Instantiate Type

data Tyvar Source

Constructors

Instances

Eq Tyvar
PPrint Tyvar
HasKind Tyvar

data Tycon Source

Constructors

Instances

Eq Tycon
HasKind Tycon

tString :: Type Source

fn :: Type -> Type -> Type Source

list :: Type -> Type Source

pair :: Type -> Type -> Type Source

class HasKind t whereSource

Methods

kind :: t -> Kind Source

Instances

HasKind Tycon
HasKind Tyvar
HasKind Type