| <:= | Control.Unification |
| =:= | |
| 1 (Function) | Control.Unification |
| 2 (Function) | Control.Unification.Ranked |
| === | Control.Unification, Control.Unification.Ranked |
| =~= | Control.Unification, Control.Unification.Ranked |
| ana | Data.Functor.Fixedpoint |
| anaM | Data.Functor.Fixedpoint |
| applyBindings | Control.Unification, Control.Unification.Ranked |
| applyBindingsAll | Control.Unification, Control.Unification.Ranked |
| BindingMonad | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| bindVar | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| build | Data.Functor.Fixedpoint |
| cata | Data.Functor.Fixedpoint |
| cataM | Data.Functor.Fixedpoint |
| catchEitherK | Control.Monad.EitherK |
| catchEitherKT | Control.Monad.EitherK |
| EitherK | Control.Monad.EitherK |
| eitherK | Control.Monad.EitherK |
| EitherKT | Control.Monad.EitherK |
| equals | Control.Unification, Control.Unification.Ranked |
| equiv | Control.Unification, Control.Unification.Ranked |
| evalIntBindingT | Control.Unification.IntVar |
| evalIntRBindingT | Control.Unification.Ranked.IntVar |
| execIntBindingT | Control.Unification.IntVar |
| execIntRBindingT | Control.Unification.Ranked.IntVar |
| Fallible | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| Fix | |
| 1 (Type/Class) | Data.Functor.Fixedpoint |
| 2 (Data Constructor) | Data.Functor.Fixedpoint |
| freeVar | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| freeze | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| freshen | Control.Unification, Control.Unification.Ranked |
| freshenAll | Control.Unification, Control.Unification.Ranked |
| fullprune | Control.Unification |
| getFreeVars | Control.Unification, Control.Unification.Ranked |
| getFreeVarsAll | Control.Unification, Control.Unification.Ranked |
| getVarID | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| hmap | Data.Functor.Fixedpoint |
| hmapM | Data.Functor.Fixedpoint |
| hylo | Data.Functor.Fixedpoint |
| hyloM | Data.Functor.Fixedpoint |
| incrementBindVar | Control.Unification.Types, Control.Unification.Ranked |
| incrementRank | Control.Unification.Types, Control.Unification.Ranked |
| IntBindingState | Control.Unification.IntVar |
| IntBindingT | Control.Unification.IntVar |
| IntRBindingState | Control.Unification.Ranked.IntVar |
| IntRBindingT | Control.Unification.Ranked.IntVar |
| IntVar | |
| 1 (Type/Class) | Control.Unification.IntVar, Control.Unification.Ranked.IntVar |
| 2 (Data Constructor) | Control.Unification.IntVar, Control.Unification.Ranked.IntVar |
| liftEitherK | Control.Monad.EitherK |
| liftMaybeK | Control.Monad.MaybeK |
| liftReader | Control.Monad.State.UnificationExtras |
| liftReaderT | Control.Monad.State.UnificationExtras |
| localState | Control.Monad.State.UnificationExtras |
| lookupRankVar | Control.Unification.Types, Control.Unification.Ranked |
| lookupVar | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| lowerEitherK | Control.Monad.EitherK |
| lowerMaybeK | Control.Monad.MaybeK |
| MaybeK | Control.Monad.MaybeK |
| maybeK | Control.Monad.MaybeK |
| MaybeKT | Control.Monad.MaybeK |
| MismatchFailure | Control.Unification.Types, Control.Unification.Ranked |
| mismatchFailure | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| modify' | Control.Monad.State.UnificationExtras |
| newVar | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| OccursFailure | Control.Unification.Types, Control.Unification.Ranked |
| occursFailure | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| occursIn | Control.Unification |
| Rank | |
| 1 (Type/Class) | Control.Unification.Types, Control.Unification.Ranked |
| 2 (Data Constructor) | Control.Unification.Types, Control.Unification.Ranked |
| RankedBindingMonad | Control.Unification.Types, Control.Unification.Ranked |
| runEitherK | Control.Monad.EitherK |
| runEitherKT | Control.Monad.EitherK |
| runIntBindingT | Control.Unification.IntVar |
| runIntRBindingT | Control.Unification.Ranked.IntVar |
| runMaybeK | Control.Monad.MaybeK |
| runMaybeKT | Control.Monad.MaybeK |
| runSTBinding | Control.Unification.STVar |
| runSTRBinding | Control.Unification.Ranked.STVar |
| semiprune | Control.Unification |
| STBinding | Control.Unification.STVar |
| STRBinding | Control.Unification.Ranked.STVar |
| STRVar | Control.Unification.Ranked.STVar |
| STVar | Control.Unification.STVar |
| subsumes | Control.Unification |
| throwEitherK | Control.Monad.EitherK |
| throwEitherKT | Control.Monad.EitherK |
| toEitherK | Control.Monad.EitherK |
| toEitherKT | Control.Monad.EitherK |
| toMaybeK | Control.Monad.MaybeK |
| toMaybeKT | Control.Monad.MaybeK |
| UFailure | Control.Unification.Types, Control.Unification.Ranked |
| unFix | Data.Functor.Fixedpoint |
| unfreeze | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| Unifiable | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| unify | |
| 1 (Function) | Control.Unification |
| 2 (Function) | Control.Unification.Ranked |
| unifyOccurs | Control.Unification |
| UTerm | |
| 1 (Type/Class) | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| 2 (Data Constructor) | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| UVar | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| Variable | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |
| ycata | Data.Functor.Fixedpoint |
| ycataM | Data.Functor.Fixedpoint |
| ymap | Data.Functor.Fixedpoint |
| ymapM | Data.Functor.Fixedpoint |
| zipMatch | Control.Unification.Types, Control.Unification, Control.Unification.Ranked |