thih-1.0: Typing Haskell In Haskell

Subst

Documentation

type Subst = [(Tyvar, Type)]Source

nullSubst :: Subst Source

(+->) :: Tyvar -> Type -> Subst Source

class Types t whereSource

Methods

apply :: Subst -> t -> tSource

tv :: t -> [Tyvar]Source

Instances

Types Type
Types Pred
Types Scheme
Types Assump
Types a => Types [a]
Types t => Types (Qual t)

(@@) :: Subst -> Subst -> Subst Source

merge :: Monad m => Subst -> Subst -> m Subst Source