thih-1.0: Typing Haskell In Haskell
Unify
class Unify t whereSource
Methods
mgu :: Monad m => t -> t -> m SubstSource
Instances
varBind :: Monad m => Tyvar -> Type -> m SubstSource
class Match t whereSource
match :: Monad m => t -> t -> m SubstSource