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).
robertjlooby / checkers Goto Github PK
View Code? Open in Web Editor NEWThis project forked from haskell-checkers/checkers
Check properties on standard classes and data structures
License: Other