Documentation

testLawsGroup ∷ TestName → [Laws] → TestTree Source #

testPropertyN ∷ Testable prop ⇒ Int → TestName → prop → TestTree Source #

withMaxTimesSuccess ∷ Testable prop ⇒ Int → prop → Property Source #

module Test.Tasty.QuickCheck

module Test.Tasty

module Test.QuickCheck.Classes.Base

module Data.Proxy