smallcheck-laws: SmallCheck properties for standard type classes

[ bsd3, library, testing ] [ Propose Tags ]

Automatic smallcheck properties and tasty runners for:

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]
Versions [RSS] [faq] 0.1, 0.2, 0.3 (info)
Change log
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 (>= [details]
License BSD-3-Clause
Author Danny Navarro
Revised Revision 1 made by jdnavarro at 2015-08-05T16:12:36Z
Category Testing
Source repo head: git clone git://
Uploaded by jdnavarro at 2015-08-05T16:09:51Z
Distributions NixOS:0.3
Downloads 1502 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




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


Readme for smallcheck-laws-0.1

[back to package description]

SmallCheck Laws

Hackage Version Build Status

Automatic smallcheck properties and tasty runners for:

  • Monoid laws.
  • Functor laws.
  • Applicative laws.
  • Monad laws.


Make sure you have stack installed. Then type:

$ stack build

To run the test suite type:

$ stack test