The checkers package

[Tags:bsd3, library]

'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: http://haskell.org/haskellwiki/checkers

The module documentation pages have links to colorized source code and to wiki pages where you can read and contribute user comments. Enjoy!

© 2008 by Conal Elliott; BSD3 license.

Contributions from: Thomas Davie.


[Skip to Readme]

Properties

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
Dependencies array (>=0.1), base, QuickCheck (<2.0), random [details]
License BSD3
Copyright (c) 2008 by Conal Elliott
Author Conal Elliott
Maintainer conal@conal.net
Stability experimental
Category Testing
Home page http://haskell.org/haskellwiki/checkers
Uploaded Wed Oct 29 18:32:01 UTC 2008 by ConalElliott
Distributions FreeBSD:0.4.3, LTSHaskell:0.4.6, NixOS:0.4.6, Stackage:0.4.6, Tumbleweed:0.4.6
Downloads 6025 total (213 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for checkers

Readme for checkers-0.1

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
Davie).

Please share any comments & suggestions on the discussion (talk) page at
[1].

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

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

References:

[1] http://haskell.org/haskellwiki/checkers
[2] http://conal.net/papers/simply-reactive
[3] http://haskell.org/haskellwiki/reactive