SmallCheck properties for common laws

Latest on Hackage:0.3

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow to host generated Haddocks.

BSD-3-Clause licensed by Danny Navarro
Maintained by

SmallCheck Laws

Hackage Version Build Status

smallcheck properties for testing the following laws:

  • Monoid
  • Functor
  • Applicative
  • Monad

Use this package to create your own fine tuned smallcheck tests. For preassembled test runners with minimal setup and sensible defaults, you can use tasty-laws.


Contributions and bug reports are welcome!

Please feel free to contact jdnavarro on the #haskell IRC channel on


Change Log

All notable changes to this project will be documented in this file. This file follows the formatting recommendations from Keep a CHANGELOG. This project adheres to Semantic Versioning.

0.3 - 2015-09-07


  • Exhaustive property testing using Series product. Previous properties renamed appending Sum.


  • Rename mconcat Monoid property.

0.2 - 2015-09-04


  • Move Tasty modules to a separate package tasty-laws.

0.1 - 2015-08-05


  • Functor laws.
  • Applicative laws.
  • Monoid Laws.
  • Monad laws.
Depends on 3 packages:
Used by 1 package:
comments powered byDisqus