smallcheck-laws

Property testing for common type classes

BSD-3-CLAUSE License

Downloads
1.8K
Stars
1
Committers
1
View Code on GitHub
Ecosystems: Haskell

SmallCheck Laws

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.

Contact

Contributions and bug reports are welcome!

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

Package Rankings
Top 38.81% on Hackage.haskell.org
Badges
Extracted from project README
Hackage Version Build Status
Related Projects
awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...

13 Jul 2014 3,021
articles

Miscellaneous articles. The readme is the table of contents.

07 Feb 2013 1,239
write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

05 Jan 2015 3,341
free-est

06 Mar 2017 5
smallcheck-series

Orphan Series/CoSeries instances for common types

24 Apr 2015 4
tasty-html

HTML test reporter for the Tasty test framework

23 Feb 2014 7
tasty-lens

Tasty TestTrees for Lens validation

08 Sep 2015 3
monad-classes

A more flexible mtl

08 Jun 2014 64
smallcheck-lens

SmallCheck properties for Lens

05 May 2015 1
tasty-laws

Tasty test runners for checking common laws

02 Sep 2015 1
effects

An implementation of "Freer Monads, More Extensible Effects".

09 Aug 2016 20
Hustle

Haskell implementation of the KDL Document Language

16 Oct 2021 8
tasty

Modern and extensible testing framework for Haskell

22 Apr 2013 637
quickcheck-dynamic

A library for stateful property-based testing

09 Jun 2022 27
cooked-pi

What if we built the same frustrating type checker over and over again? For science.

29 Nov 2014 7