Test.QuickCheck.Counterexamples

The PropertyOf type and Testable typeclass

data PropertyOf cex

type Property

type PropertyFrom prop

class Testable prop

New functionality which is not in QuickCheck

data a :&: b

typedCounterexample

onProperty

The standard QuickCheck combinators, updated to return counterexamples

quickCheck

quickCheckWith

quickCheckResult

quickCheckWithResult

verboseCheck

verboseCheckWith

verboseCheckResult

verboseCheckWithResult

polyQuickCheck

polyVerboseCheck

forAll

forAllShrink

shrinking

(==>)

(===)

ioProperty

verbose

once

again

within

noShrinking

counterexample

whenFail

whenFail'

expectFailure

label

collect

classify

cover

mapSize