@hackage smallcheck-laws0.1

SmallCheck properties for standard type classes

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.