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

Module documentation for

  • Data
    • Data.Constraint
      • Data.Constraint.Forall
      • Data.Constraint.Unsafe
Depends on 3 packages(full list with versions):


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