The checkers package
'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.
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 |
|---|---|
| Dependencies | array (≥0.1), base (<5), QuickCheck (≥2.3), random |
| License | BSD3 |
| Copyright | (c) 2008-2013 by Conal Elliott |
| Author | Conal Elliott |
| Maintainer | conal@conal.net |
| Stability | experimental |
| Category | Testing |
| Source repository | git clone git://github.com/conal/checkers.git |
| Upload date | Thu Jan 3 19:37:25 UTC 2013 |
| Uploaded by | ConalElliott |
| Built on | ghc-7.6 |
| Distributions | NixOS: 0.3.1, FreeBSD: 0.3.1 |
Modules
Downloads
- checkers-0.3.1.tar.gz (Cabal source package)
- package description (included in the package)