constraints

Constraint manipulation

http://github.com/ekmett/constraints/

Version on this page:0.4@rev:2
LTS Haskell 24.24:0.14.2@rev:1
Stackage Nightly 2025-12-18:0.14.2@rev:1
Latest on Hackage:0.14.2@rev:1

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-0.4@sha256:271a82e2293a1a08a90d2fe17a824d1e2b30fc95190cd564817b09ea017c073f,1244

Module documentation for 0.4

  • Data
    • Data.Constraint
      • Data.Constraint.Forall
      • Data.Constraint.Unsafe
Depends on 3 packages(full list with versions):
base, ghc-prim, newtype

constraints

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 irc.freenode.net.

-Edward Kmett