The latest version of unification-fd is 0.12.0.1-0.
lib:unification-fd
Modules
- Control.Monad.EitherK
- Control.Monad.MaybeK
- 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.Fixedpoint
Dependencies
- base lib:base <3.0 && >=3.0 && <4 && (>=4 && <5) && >=2.0
- containers lib:containers >=0
- logict lib:logict >=0.4
- mtl lib:mtl >=2.0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- autoapply lib:autoapply
- llvm-data-interop lib:llvm-data-interop