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.

© 2008-2013 by Conal Elliott; BSD3 license.


[Skip to Readme]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

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)
Change log CHANGELOG.md
Dependencies array (>=0.1), base (>=4.10 && <5), QuickCheck (>=2.3), random, semigroupoids (>=5 && <6.1) [details]
License BSD-3-Clause
Copyright (c) 2008-2013 by Conal Elliott
Author Conal Elliott
Maintainer conal@conal.net
Revised Revision 1 made by sjakobi at 2023-03-13T23:23:33Z
Category Testing
Home page https://github.com/haskell-checkers/checkers
Source repo head: git clone git://github.com/haskell-checkers/checkers.git
Uploaded by sjakobi at 2022-03-08T18:13:59Z
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 37088 total (203 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-03-08 [all 1 reports]

Readme for checkers-0.6.0

[back to package description]

checkers is a library for reusable QuickCheck properties, particularly for standard type classes (class laws and class morphisms). Checkers also has lots of support for randomly generating data values (thanks to Thomas Davie).