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