Contents Index

Core.Unify

Documentation

unifyT2 :: Type -> Type -> [(Type, Type)]

unifyE2 :: [Effect] -> [Effect] -> [(Type, Type)]

unifyVarT2 :: Type -> Type -> [(Var, Var)]

unifyVarE2 :: Effect -> Effect -> [(Var, Var)]

Produced by Haddock version 0.7