@hackage / tasty-quickcheck-laws

Pre-built tasty trees for checking lawful class properties using QuickCheck

Latest0.0.3

About

Metadata

  • Last updated , by nbloomf
  • License BSD-3-Clause

  • Maintained by: nathan.bloomfield@a8c.com

  • Lottery factor: 0

Links

Installation

Readme

tasty-quickcheck-laws

Build Status

Pre-built tasty trees for checking your lawful class instances with QuickCheck.

Currently includes laws for the following type classes:

  • Eq
  • Semigroup
  • Monoid
  • Functor
  • Applicative
  • Monad
  • Identity Monad
  • State Monad
  • Reader Monad
  • Writer Monad
  • Error Monad
  • Maybe Monad