Documentation

testLawsGroup ∷ String → [Laws] → Spec Source #

testPropertyN ∷ Testable prop ⇒ Int → String → prop → Spec Source #

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

module Data.Proxy

module Test.Hspec

module Test.Hspec.QuickCheck

module Test.QuickCheck

module Test.QuickCheck.Classes.Base