Tools for programming with ConstraintKinds in GHC
Haskell
Latest commit 786b9d3 May 20, 2017 @SkorikGG SkorikGG committed with RyanGlScott Reordering of the type variables (#58)
The order of the variable types in associative axioms is changed. Also, the `axiom` is replaced by the `Dict` in some trivial cases.

README.markdown

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