unification-fd-0.10.0.1: Simple generic unification algorithms.

Signatures

Modules

• Control
  • Monad
    • Control.Monad.EitherK
    • Control.Monad.MaybeK
    • State
      • Control.Monad.State.UnificationExtras
  •  Control.Unification
    • Control.Unification.IntVar
    •  Control.Unification.Ranked
      • Control.Unification.Ranked.IntVar
      • Control.Unification.Ranked.STVar
    • Control.Unification.STVar
    • Control.Unification.Types
• Data
  • Functor
    • Data.Functor.Fixedpoint