unification-fd

Simple generic unification algorithms.

http://code.haskell.org/~wren/

Version on this page:0.10.0.1
LTS Haskell 21.25:0.11.2@rev:1
Stackage Nightly 2023-06-21:0.11.2
Latest on Hackage:0.11.2@rev:1

See all snapshots unification-fd appears in

BSD-3-Clause licensed by wren gayle romano
Maintained by [email protected]
This version can be pinned in stack with:unification-fd-0.10.0.1@sha256:6f4e01d9d5dc01db56e1dc9e2380d7d8d17488ab810dd94aea1966ea60aa6200,3259

Module documentation for 0.10.0.1

  • Control
    • Control.Monad
      • Control.Monad.EitherK
      • Control.Monad.MaybeK
      • Control.Monad.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
    • Data.Functor
      • Data.Functor.Fixedpoint

Simple generic unification algorithms.