@hackage checkers0.6.0
Check properties on standard classes and data structures.
Installation
Tested Compilers
Dependencies (5)
- QuickCheck >=2.3
- array >=0.1
- base >=4.10 && <5
- random
- semigroupoids >=5 && <6.1 Show all…
Dependents (57)
@hackage/aip, @hackage/OpenGLCheck, @hackage/monad-actions, @hackage/free-operational, @hackage/exact-real, @hackage/multiset, Show all…
checkers is a library for reusable QuickCheck properties, particularly for standard type classes (class laws and class morphisms). Checkers also has lots of support for randomly generating data values (thanks to Thomas Davie).