BSD-3-Clause licensed by Conal Elliott
Maintained by
This version can be pinned in stack with:checkers-0.5.6@sha256:c9d35082c25d0e4b350077084318b0931ec47aa923b8f382ef16f0b3bbb51b93,2160

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