constraints

GHC 7.4 gave us the ability to talk about ConstraintKinds. They stopped crashing the compiler in GHC 7.6. This package provides a vocabulary for working with them.


Keywords
constraints, library, Propose Tags, Skip to Readme, , Index, Quick Jump, Data.Constraint, Data.Constraint.Char, Data.Constraint.Deferrable, Data.Constraint.Forall, Data.Constraint.Lifting, Data.Constraint.Nat, Data.Constraint.Symbol, Data.Constraint.Unsafe, constraints-0.14.1.tar.gz, browse, Package description, Package maintainers, CaleGibbard, EdwardKmett, ryanglscott, edit package information
License
BSD-2-Clause
Install
cabal install constraints-0.14.1

Documentation

constraints

Hackage Build Status

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