https://github.com/ekmett/constraints

Tools for programming with ConstraintKinds in GHC
https://github.com/ekmett/constraints

Last synced: 7 days ago
JSON representation

Tools for programming with ConstraintKinds in GHC

• Host: GitHub
• URL: https://github.com/ekmett/constraints
• Owner: ekmett
• License: other
• Created: 2011-11-03T07:09:49.000Z (about 13 years ago)
• Default Branch: main
• Last Pushed: 2024-10-18T10:50:41.000Z (18 days ago)
• Last Synced: 2024-10-18T17:13:04.707Z (18 days ago)
• Language: Haskell
• Homepage: http://hackage.haskell.org/package/constraints
• Size: 326 KB
• Stars: 71
• Watchers: 9
• Forks: 32
• Open Issues: 19
• Metadata Files:
  • Readme: README.markdown
  • Changelog: CHANGELOG.markdown
  • License: LICENSE

Awesome Lists containing this project

README

        
constraints

===========

[![Hackage](https://img.shields.io/hackage/v/constraints.svg)](https://hackage.haskell.org/package/constraints) [![Build Status](https://github.com/ekmett/constraints/workflows/Haskell-CI/badge.svg)](https://github.com/ekmett/constraints/actions?query=workflow%3AHaskell-CI)

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