constraints: Constraint manipulation

[ bsd2, constraints, library ] [ Propose Tags ]
Versions 0.1, 0.2, 0.3,, 0.3.1, 0.3.2, 0.3.3, 0.3.4,,, 0.3.5, 0.4, 0.4.1,,,, 0.6, 0.8, 0.9, 0.9.1, 0.10
Dependencies base (>=4.5 && <5), ghc‑prim (<0.5), newtype (==0.2.*) [details]
License BSD-3-Clause
Copyright Copyright (C) 2011-2013 Edward A. Kmett
Author Edward A. Kmett
Maintainer Edward A. Kmett <>
Revised Revision 1 made by HerbertValerioRiedel at Tue Dec 27 09:14:12 UTC 2016
Category Constraints
Home page
Bug tracker
Source repo head: git clone git://
Uploaded by EdwardKmett at Mon Oct 28 04:53:02 UTC 2013
Distributions Arch:0.10, Debian:0.6, FreeBSD:, LTSHaskell:0.10, NixOS:0.10, Stackage:0.10, openSUSE:0.9.1
Downloads 33480 total (283 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI

Constraint manipulation

[Skip to Readme]




Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees

Readme for constraints-

[back to package description]


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