Control.Unification.Types

Unification terms

data UTerm t v

freeze

unfreeze

Errors

class Fallible t v a

data UFailure t v

Basic type classes

class Unifiable t

class Variable v

class BindingMonad t v m

Weighted path compression

data Rank t v

class RankedBindingMonad t v m