Module gluon_check::unify

Structs

UnifierState

Enums

Error

Traits

Unifiable	A type which can be unified by checking for equivalence between the top level of two instances of the type and then recursively calling into the unifier on all sub-terms
Unifier	A Unifier is a type which implements a unifying strategy between two values.

Functions

unify

Unify l and r taking into account and updating the substitution subs using the Union-Find algorithm to resolve which types must be equal. If the unification is successful the returned type is the unified type with as much sharing as possible which lets further computions be more efficient.