| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hydra.Types.Unification
Description
Hindley-Milner style type unification
Documentation
type Constraint m = (Type m, Type m) Source #
solveConstraints :: (Eq m, Show m) => [Constraint m] -> GraphFlow m (Subst m) Source #