'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.

Used by 1 package in nightly-2019-06-05(full list with versions):
comments powered byDisqus