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.

Contributions from: Thomas Davie.

Versions [faq] 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
Dependencies array (>=0.1), base (<5), QuickCheck (>=2.3 && <2.7), random [details]
License BSD-3-Clause
Copyright (c) 2008-2013 by Conal Elliott
Author Conal Elliott
Maintainer conal@conal.net
Category Testing
Source repo head: git clone git://github.com/conal/checkers.git
Uploaded by ConalElliott at Wed Apr 2 17:35:33 UTC 2014
Distributions Arch:0.5.0, FreeBSD:0.4.3, LTSHaskell:0.4.14, NixOS:0.5.1, Stackage:0.5.0
Downloads 19801 total (799 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees