==> | Test.QuickCheck, Debug.QuickCheck |
ALPHA | Test.QuickCheck.Poly, Debug.QuickCheck.Poly |
Arbitrary | Test.QuickCheck, Debug.QuickCheck |
arbitrary | Test.QuickCheck, Debug.QuickCheck |
arguments | Test.QuickCheck, Debug.QuickCheck |
BETA | Test.QuickCheck.Poly, Debug.QuickCheck.Poly |
bottom | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
check | Test.QuickCheck, Debug.QuickCheck |
choose | Test.QuickCheck, Debug.QuickCheck |
classify | Test.QuickCheck, Debug.QuickCheck |
coarbitrary | Test.QuickCheck, Debug.QuickCheck |
collect | Test.QuickCheck, Debug.QuickCheck |
Config |
1 (Type/Class) | Test.QuickCheck, Debug.QuickCheck |
2 (Data Constructor) | Test.QuickCheck, Debug.QuickCheck |
configEvery | Test.QuickCheck, Debug.QuickCheck |
configMaxFail | Test.QuickCheck, Debug.QuickCheck |
configMaxTest | Test.QuickCheck, Debug.QuickCheck |
configSize | Test.QuickCheck, Debug.QuickCheck |
debug_tests | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
defaultConfig | Test.QuickCheck, Debug.QuickCheck |
defOpt | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
elements | Test.QuickCheck, Debug.QuickCheck |
evaluate | Test.QuickCheck, Debug.QuickCheck |
forAll | Test.QuickCheck, Debug.QuickCheck |
four | Test.QuickCheck, Debug.QuickCheck |
frequency | Test.QuickCheck, Debug.QuickCheck |
GAMMA | Test.QuickCheck.Poly, Debug.QuickCheck.Poly |
Gen | Test.QuickCheck, Debug.QuickCheck |
generate | Test.QuickCheck, Debug.QuickCheck |
isAssociative | Test.QuickCheck.Utils, Debug.QuickCheck.Utils |
isAssociativeBy | Test.QuickCheck.Utils, Debug.QuickCheck.Utils |
isBottom | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
isCommutable | Test.QuickCheck.Utils, Debug.QuickCheck.Utils |
isCommutableBy | Test.QuickCheck.Utils, Debug.QuickCheck.Utils |
isTotalOrder | Test.QuickCheck.Utils, Debug.QuickCheck.Utils |
label | Test.QuickCheck, Debug.QuickCheck |
length_of_tests | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
no_of_tests | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
ok | Test.QuickCheck, Debug.QuickCheck |
oneof | Test.QuickCheck, Debug.QuickCheck |
OrdALPHA | Test.QuickCheck.Poly, Debug.QuickCheck.Poly |
OrdBETA | Test.QuickCheck.Poly, Debug.QuickCheck.Poly |
OrdGAMMA | Test.QuickCheck.Poly, Debug.QuickCheck.Poly |
promote | Test.QuickCheck, Debug.QuickCheck |
Property | Test.QuickCheck, Debug.QuickCheck |
property | Test.QuickCheck, Debug.QuickCheck |
quickCheck | Test.QuickCheck, Debug.QuickCheck |
rand | Test.QuickCheck, Debug.QuickCheck |
resize | Test.QuickCheck, Debug.QuickCheck |
Result |
1 (Type/Class) | Test.QuickCheck, Debug.QuickCheck |
2 (Data Constructor) | Test.QuickCheck, Debug.QuickCheck |
run | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
runTests | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
sized | Test.QuickCheck, Debug.QuickCheck |
stamp | Test.QuickCheck, Debug.QuickCheck |
test | Test.QuickCheck, Debug.QuickCheck |
Testable | Test.QuickCheck, Debug.QuickCheck |
TestAborted | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
TestExausted | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
TestFailed | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
TestOk | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
TestOptions |
1 (Type/Class) | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
2 (Data Constructor) | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
TestResult | Test.QuickCheck.Batch, Debug.QuickCheck.Batch |
three | Test.QuickCheck, Debug.QuickCheck |
trivial | Test.QuickCheck, Debug.QuickCheck |
two | Test.QuickCheck, Debug.QuickCheck |
variant | Test.QuickCheck, Debug.QuickCheck |
vector | Test.QuickCheck, Debug.QuickCheck |
verboseCheck | Test.QuickCheck, Debug.QuickCheck |