Test.Lawful.QuickCheck

Support code to check lawful-classes laws using QuickCheck and, optionally, Tasty.

Tasty integration

testLaws :: TestName -> (forall a. m a -> PropertyM IO a) -> Laws m -> TestTree

Given Laws for m and a way to evaluate an m a in PropertyM IO, create a tasty TestTree.

testLawsWith :: (Property -> Property) -> TestName -> (forall a. m a -> PropertyM IO a) -> Laws m -> TestTree

Given Laws for m and a way to evaluate an m a in PropertyT IO, create a tasty TestTree, modifying all created Propertys with the given function.

As an example, once could be used to run every test only once, e.g., because m is not a transformer so there's no way to generate multiple test exemplars using some generator, except for the trivial constant generator.

Since: 0.1.1.0

Plumbing

toProperty :: (forall a. m a -> PropertyM IO a) -> Law m -> Property

Given a way to evaluate an m a into a base Monad, turn a Law into a Property.