constraints: Constraint manipulation

[ bsd2, constraints, library ] [ Propose Tags ]

Constraint manipulation

[Skip to Readme]
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 (>1 && <1), ghc-prim, newtype (==0.2.*) [details]
License BSD-3-Clause
Copyright Copyright (C) 2011 Edward A. Kmett
Author Edward A. Kmett
Maintainer Edward A. Kmett <>
Revised Revision 1 made by HerbertValerioRiedel at Tue Dec 27 09:17:52 UTC 2016
Category Constraints
Home page
Bug tracker
Source repo head: git clone git://
Uploaded by EdwardKmett at Fri Oct 11 17:51:42 UTC 2013
Distributions Arch:0.10, Debian:0.6, FreeBSD:, LTSHaskell:0.10, NixOS:0.10, Stackage:0.10, openSUSE:0.10
Downloads 34179 total (244 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-20 [all 7 reports]
Hackage Matrix CI


  • Data
    • Data.Constraint
      • Data.Constraint.Forall
      • Data.Constraint.Unsafe


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-0.3.4

[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