@hackage smallcheck-laws0.1

SmallCheck properties for standard type classes

SmallCheck Laws

Hackage Version Build Status

Automatic smallcheck properties and tasty runners for:

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

Installation

Make sure you have stack installed. Then type:

$ stack build

To run the test suite type:

$ stack test