May 26, 2018
Check properties on standard classes and data structures
‘Checkers’ wraps up the expected properties associated with various standard type classes as QuickCheck properties. Also some morphism properties. It also provides arbitrary instances and generator combinators for common data types.