Constraint manipulation

Version on this page:
LTS Haskell 18.0:0.13
Stackage Nightly 2021-06-21:0.13
Latest on Hackage:0.13

See all snapshots constraints appears in

BSD-3-Clause licensed by Edward A. Kmett
Maintained by Edward A. Kmett
This version can be pinned in stack with:constraints-,1364

Module documentation for


This package provides data types and classes for manipulating the ‘ConstraintKinds’ exposed by GHC in 7.4.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on

-Edward Kmett