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

Hydra.Unification

Description

Hindley-Milner style type unification

Documentation

type Constraint = (Type, Type) Source #

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