thih-1.0: Typing Haskell In Haskell

TIMonad

Documentation

newtype TI a Source

Constructors

TI (Subst -> Int -> (Subst, Int, a))

Instances

runTI :: TI a -> aSource

getSubst :: TI Subst Source

unify :: Type -> Type -> TI ()Source

trim :: [Tyvar] -> TI ()Source

extSubst :: Subst -> TI ()Source

newTVar :: Kind -> TI Type Source

freshInst :: Scheme -> TI (Qual Type)Source

class Instantiate t whereSource

Methods

inst :: [Type] -> t -> tSource

Instances

Instantiate Type
Instantiate Pred
Instantiate a => Instantiate [a]
Instantiate t => Instantiate (Qual t)