hydra-0.8.0: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Unification

Description

Hindley-Milner style type unification

Documentation

solveConstraints :: [TypeConstraint] -> Flow s Subst Source #