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

Please see the README on GitHub at https://github.com/nbloomf/tasty-quickcheck-laws#readme

tasty-quickcheck-laws

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.