Package0.3.2.1Constraints
constraints-extras
Utility package for constraints
- Version0.3.2.1
- CategoryConstraints
- LicenceBSD-3-Clause
- AuthorCale Gibbard, Ali Abrar
- Maintainermaintainer@obsidian.systems
- Homepagegithub.com/obsidiansystems/constraints-extras
- Pinned byhackage constraints-extras 0.3.2.1
- Sourcehackage.haskell.org/package/constraints-extras-0.3.2.1
Modules
4 modules- Data.Constraint.Compose1
- Data.Constraint.Extras14Throughout this module, we use the following GADT and ArgDict instance
- Data.Constraint.Extras.TH3
- Data.Constraint.Flip1
Description
Convenience functions and TH for working with constraints. See README.md for example usage.
Depends on
3 packages- base-4.22.0.0with GHC
- constraints-0.14.4in this set
- template-haskell-2.24.0.0with GHC