Package0.4.0.2Constraints
constraints-extras
Utility package for constraints
- Version0.4.0.2
- CategoryConstraints
- LicenceBSD-3-Clause
- AuthorCale Gibbard, Ali Abrar
- Maintainermaintainer@obsidian.systems
- Homepagegithub.com/obsidiansystems/constraints-extras
- Pinned byhackage constraints-extras 0.4.0.2
- Sourcehackage.haskell.org/package/constraints-extras-0.4.0.2
Modules
4 modules- Data.Constraint.Compose1
- Data.Constraint.Extras9Throughout 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.20.2.0with GHC
- constraints-0.14.2in this set
- template-haskell-2.22.0.0with GHC