checkers: Check properties on standard classes and data structures.

[ bsd3, library, testing ] [ Propose Tags ]

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

Project wiki page:

© 2008 by Conal Elliott; BSD3 license.

Contributions from: Thomas Davie.

[Skip to Readme]
Versions 0.1, 0.1.1, 0.1.2, 0.1.3, 0.1.4, 0.2, 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.2.6, 0.2.7, 0.2.8, 0.2.9, 0.3.0, 0.3.1, 0.3.2, 0.4.0, 0.4.1, 0.4.2, 0.4.3, 0.4.4, 0.4.5, 0.4.6, 0.4.7, 0.4.8, 0.4.9,,,,, 0.4.10
Dependencies array (>=0.1), base, QuickCheck (<2.0), random [details]
License BSD-3-Clause
Copyright (c) 2008 by Conal Elliott
Author Conal Elliott
Category Testing
Home page
Uploaded by ConalElliott at Mon Dec 15 01:12:30 UTC 2008
Distributions Arch:0.4.10, FreeBSD:0.4.3, LTSHaskell:0.4.10, NixOS:0.4.10, Stackage:0.4.10, openSUSE:0.4.10
Downloads 13758 total (119 in the last 30 days)
Rating 2.0 (votes: 2) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees

Readme for checkers-0.1.3

[back to package description]
Checkers [1] is a library for reusable QuickCheck properties, particularly
for standard type classes (class laws and class morphisms [2]).  Most of
Reactive [3] can be specified and tested using just these properties.
Also lots of support for randomly generating data values (thanks to Thomas

Please share any comments & suggestions on the discussion (talk) page at

You can configure, build, and install all in the usual way with Cabal

  runhaskell Setup.lhs configure
  runhaskell Setup.lhs build
  runhaskell Setup.lhs install