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

Hydra.Types.Unification

Documentation

type Constraint m = (Type m, Type m) Source #

solveConstraints :: (Eq m, Show m) => [Constraint m] -> GraphFlow m (Subst m) Source #