Test.QuickCheck.Test
data Args
data Result
isSuccess
stdArgs
quickCheck
quickCheckWith
quickCheckResult
quickCheckWithResult
verboseCheck
verboseCheckWith
verboseCheckResult
verboseCheckWithResult
test
doneTesting
giveUp
runATest
summary
success
foundFailure
localMin
localMin'
localMinFound
callbackPostTest
callbackPostFinalFailure
safely