@hackage axiomatic-classes0.1.0.0

Specify axioms for type classes and quickCheck all available instances

Categories
- Testing
License
MIT
Maintainer
simon@cse.yorku.ca
Links
Versions
- 0.1.0.0 Fri, 28 Oct 2016

Installation
In your cabal file:
Dependencies (13)
- QuickCheck >=2.8.1 && <2.10
- base >=4.8 && <5
- containers >=0.5 && <0.6
- control-invariants
- lens >=4.12 && <4.15
- monad-loops
Dependents (1)
@hackage/acme-everything

Provides a way to specify axioms for type classes and to quickCheck all available instances against them