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 >=4.12 && <4.21
• containers lib:containers >=0.6.0 && <0.8
• data-fix lib:data-fix >=0.3.2 && <0.4
• logict lib:logict >=0.4 && <0.8.3
• mtl lib:mtl >=2.2.2 && <2.4

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• autoapply lib:autoapply
• llvm-data-interop lib:llvm-data-interop