checkers (hackage): '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.
Keywords: bsd3|library|testing