Test common laws https://github.com/jdnavarro/tasty-laws

Latest on Hackage:0.3.1

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 stackage.org to host generated Haddocks.

BSD-3-Clause licensed by Danny Navarro
Maintained by j@dannynavarro.net

Tasty Laws

Hackage Version Build Status

Preassembled tasty TestTrees for property testing the following laws:

  • Monoids
  • Functors
  • Applicatives
  • Monads

It uses smallcheck-laws under the hood. If you don’t find any runners that suite you, you can use this package as a reference to implement your own smallcheck-laws test runners.


Contributions and bug reports are welcome!

Please feel free to contact jdnavarro on the #haskell IRC channel on irc.freenode.net.


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.1][0.3.1] - 2015-09-07


  • Serial instances instead Proxy where possible.


  • Default tests for type constructors parametrized with ().
  • Exhaustive TestTrees.

0.2 - 2015-09-04


  • smallcheck specific modules from smallcheck-laws-0.1. This package now contains Tasty specific modules.


  • Simplify module hierarchy: Test.Tasty.SmallCheck.Laws -> Test.Tasty.Laws
comments powered byDisqus