Module gluon_check::unify
[−]
[src]
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 |
A |
Functions
intersection |
Calculates the intersection between two types. The intersection between two types is the most specialized type which both types can sucessfully unify to. |
unify |
Unify |