checkers: Check properties on standard classes and data structures.

[ bsd3, library, testing ] [ Propose Tags ] [ Report a vulnerability ]

'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

Contributions from: Thomas Davie.

[Skip to Readme]

Modules

[Last Documentation]

Test
- QuickCheck
  - Test.QuickCheck.Applicative
  - Test.QuickCheck.Bottoms
  - Test.QuickCheck.Checkers
  - Test.QuickCheck.Classes
  - Test.QuickCheck.Instances
    - Test.QuickCheck.Instances.Array
    - Test.QuickCheck.Instances.Char
    - Test.QuickCheck.Instances.Eq
    - Test.QuickCheck.Instances.Int
    - Test.QuickCheck.Instances.List
    - Test.QuickCheck.Instances.Maybe
    - Test.QuickCheck.Instances.Num
    - Test.QuickCheck.Instances.Ord
    - Test.QuickCheck.Instances.Tuple
    - Test.QuickCheck.Instances.Word
  - Test.QuickCheck.Later
  - Test.QuickCheck.Utils

Downloads

checkers-0.2.2.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

ConalElliott, sjakobi

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	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.9.2, 0.4.9.3, 0.4.9.4, 0.4.9.5, 0.4.10, 0.4.11, 0.4.13, 0.4.14, 0.5.0, 0.5.1, 0.5.2, 0.5.4, 0.5.5, 0.5.6, 0.5.7, 0.6.0 (info)
Dependencies	array (>=0.1), base (<=4), QuickCheck (>=2), random [details]
License	BSD-3-Clause
Copyright	(c) 2008 by Conal Elliott
Author	Conal Elliott
Maintainer	conal@conal.net
Category	Testing
Home page	http://haskell.org/haskellwiki/checkers
Uploaded	by ConalElliott at 2009-09-25T21:44:58Z
Distributions	Arch:0.6.0, FreeBSD:0.4.3, LTSHaskell:0.6.0, NixOS:0.6.0, Stackage:0.6.0
Reverse Dependencies	7 direct, 7 indirect [details]
Downloads	38538 total (47 in the last 30 days)
Rating	2.0 (votes: 1) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2016-12-31 [all 7 reports]

Readme for checkers-0.2.2

[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
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