Module documentation for 0.4.6
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.
© 2008-2013 by Conal Elliott; BSD3 license.
Contributions from: Thomas Davie.