unification-fd

Simple generic unification algorithms.

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

Version on this page:	0.10.0.1
LTS Haskell 24.18:	0.12.0.2
Stackage Nightly 2025-11-04:	0.12.0.2
Latest on Hackage:	0.12.0.2

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
Data
- Data.Functor
  - Data.Functor.Fixedpoint

Depends on 4 packages(full list with versions):

base, containers, logict, mtl

Simple generic unification algorithms.