thih-1.0: Typing Haskell In Haskell

Unify

Documentation

class Unify t whereSource

Methods

mgu :: Monad m => t -> t -> m Subst Source

Instances

Unify Type
Unify Pred
(Unify t, Types t) => Unify [t]

varBind :: Monad m => Tyvar -> Type -> m Subst Source

class Match t whereSource

Methods

match :: Monad m => t -> t -> m Subst Source

Instances

Match Type
Match Pred
Match t => Match [t]