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

Maintainer's Corner

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) [details]
License BSD-3-Clause
Copyright (c) 2008-2013 by Conal Elliott
Author Conal Elliott
Maintainer conal@conal.net
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
Downloads 34799 total (259 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).