smallcheck-laws: SmallCheck properties for standard type classes
This version is deprecated.
Automatic smallcheck properties and tasty runners for:
Monoid laws.
Functor laws.
Applicative laws.
Monad laws.
Use the Tasty modules for
preassembled tasty runners, your data types need to be instances of
Serial.
For more granular control on how the
SmallCheck
Series
are created use the modules under Test.SmallCheck.Laws.
[Skip to Readme]
Modules
[Index]
Downloads
- smallcheck-laws-0.1.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
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
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1, 0.2, 0.3 (info) |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.6 && <4.9), smallcheck (>=1.1.1), smallcheck-series (>=0.3), tagged (>=0.7.2), tasty (>=0.10), tasty-smallcheck (>=0.8), transformers (>=0.3.0.0) [details] |
| License | BSD-3-Clause |
| Author | Danny Navarro |
| Maintainer | j@dannynavarro.net |
| Revised | Revision 1 made by jdnavarro at 2015-08-05T16:12:36Z |
| Category | Testing |
| Source repo | head: git clone git://github.com/jdnavarro/smallcheck-laws.git |
| Uploaded | by jdnavarro at 2015-08-05T16:09:51Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 1 indirect [details] |
| Downloads | 1722 total (11 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |
Readme for smallcheck-laws-0.1
[back to package description]SmallCheck Laws
Automatic smallcheck properties and tasty runners for:
- Monoid laws.
- Functor laws.
- Applicative laws.
- Monad laws.
Installation
Make sure you have stack
installed. Then type:
$ stack build
To run the test suite type:
$ stack test