QuickCheck-2.15: Automatic testing of Haskell programs

Index

.&&. | Test.QuickCheck
.&. | Test.QuickCheck
.||. | Test.QuickCheck
:-> | Test.QuickCheck.Function
=/= | Test.QuickCheck
=== | Test.QuickCheck
==> | Test.QuickCheck
>< | Test.QuickCheck.Arbitrary, Test.QuickCheck
A |
1 (Type/Class) | Test.QuickCheck.Poly
2 (Data Constructor) | Test.QuickCheck.Poly
again | Test.QuickCheck
allProperties | Test.QuickCheck.All, Test.QuickCheck
apply | Test.QuickCheck.Function
applyArbitrary2 | Test.QuickCheck.Arbitrary, Test.QuickCheck
applyArbitrary3 | Test.QuickCheck.Arbitrary, Test.QuickCheck
applyArbitrary4 | Test.QuickCheck.Arbitrary, Test.QuickCheck
applyFun | Test.QuickCheck.Function, Test.QuickCheck
applyFun2 | Test.QuickCheck.Function, Test.QuickCheck
applyFun3 | Test.QuickCheck.Function, Test.QuickCheck
Arbitrary | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitrary | Test.QuickCheck.Arbitrary, Test.QuickCheck
Arbitrary1 | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitrary1 | Test.QuickCheck.Arbitrary, Test.QuickCheck
Arbitrary2 | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitrary2 | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryASCIIChar | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryBoundedEnum | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryBoundedIntegral | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryBoundedRandom | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryPrintableChar | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitrarySizedBoundedIntegral | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitrarySizedFractional | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitrarySizedIntegral | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitrarySizedNatural | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryUnicodeChar | Test.QuickCheck.Arbitrary, Test.QuickCheck
Args |
1 (Type/Class) | Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck
ASCIIString |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
assert | Test.QuickCheck.Monadic
assertDeepException | Test.QuickCheck.Monadic
assertDeepExceptionIO | Test.QuickCheck.Monadic
assertException | Test.QuickCheck.Monadic
assertExceptionIO | Test.QuickCheck.Monadic
assertWith | Test.QuickCheck.Monadic
B |
1 (Type/Class) | Test.QuickCheck.Poly
2 (Data Constructor) | Test.QuickCheck.Poly
Blind |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
C |
1 (Type/Class) | Test.QuickCheck.Poly
2 (Data Constructor) | Test.QuickCheck.Poly
Capture |
1 (Type/Class) | Test.QuickCheck.Gen.Unsafe
2 (Data Constructor) | Test.QuickCheck.Gen.Unsafe
capture | Test.QuickCheck.Gen.Unsafe
castWitness | Test.QuickCheck
certainty | Test.QuickCheck
chatty | Test.QuickCheck
checkCoverage | Test.QuickCheck
checkCoverageWith | Test.QuickCheck
choose | Test.QuickCheck.Gen, Test.QuickCheck
chooseAny | Test.QuickCheck.Gen, Test.QuickCheck
chooseBoundedIntegral | Test.QuickCheck.Gen, Test.QuickCheck
chooseEnum | Test.QuickCheck.Gen, Test.QuickCheck
chooseInt | Test.QuickCheck.Gen, Test.QuickCheck
chooseInt64 | Test.QuickCheck.Gen
chooseInteger | Test.QuickCheck.Gen, Test.QuickCheck
chooseUpTo | Test.QuickCheck.Gen
chooseWord64 | Test.QuickCheck.Gen
classes | Test.QuickCheck
classify | Test.QuickCheck
CoArbitrary | Test.QuickCheck.Arbitrary, Test.QuickCheck
coarbitrary | Test.QuickCheck.Arbitrary, Test.QuickCheck
coarbitraryEnum | Test.QuickCheck.Arbitrary, Test.QuickCheck
coarbitraryIntegral | Test.QuickCheck.Arbitrary, Test.QuickCheck
coarbitraryReal | Test.QuickCheck.Arbitrary, Test.QuickCheck
coarbitraryShow | Test.QuickCheck.Arbitrary, Test.QuickCheck
coerceWitness | Test.QuickCheck
collect | Test.QuickCheck
Confidence |
1 (Type/Class) | Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck
conjoin | Test.QuickCheck
counterexample | Test.QuickCheck
cover | Test.QuickCheck
coverTable | Test.QuickCheck
delay | Test.QuickCheck.Gen.Unsafe
Discard |
1 (Type/Class) | Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck
discard | Test.QuickCheck
discardAfter | Test.QuickCheck
disjoin | Test.QuickCheck
elements | Test.QuickCheck.Gen, Test.QuickCheck
expectFailure | Test.QuickCheck
failingClasses | Test.QuickCheck
failingLabels | Test.QuickCheck
failingTestCase | Test.QuickCheck
Failure | Test.QuickCheck
Fixed |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
Fn | Test.QuickCheck.Function, Test.QuickCheck
Fn2 | Test.QuickCheck.Function, Test.QuickCheck
Fn3 | Test.QuickCheck.Function, Test.QuickCheck
forAll | Test.QuickCheck
forAllBlind | Test.QuickCheck
forAllM | Test.QuickCheck.Monadic
forAllProperties | Test.QuickCheck.All, Test.QuickCheck
forAllShow | Test.QuickCheck
forAllShrink | Test.QuickCheck
forAllShrinkBlind | Test.QuickCheck
forAllShrinkShow | Test.QuickCheck
frequency | Test.QuickCheck.Gen, Test.QuickCheck
Fun |
1 (Type/Class) | Test.QuickCheck.Function, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Function, Test.QuickCheck
Function | Test.QuickCheck.Function, Test.QuickCheck
function | Test.QuickCheck.Function, Test.QuickCheck
functionBoundedEnum | Test.QuickCheck.Function, Test.QuickCheck
functionEitherWith | Test.QuickCheck.Function
functionElements | Test.QuickCheck.Function
functionIntegral | Test.QuickCheck.Function, Test.QuickCheck
functionMap | Test.QuickCheck.Function, Test.QuickCheck
functionMapWith | Test.QuickCheck.Function
functionPairWith | Test.QuickCheck.Function
functionRealFrac | Test.QuickCheck.Function, Test.QuickCheck
functionShow | Test.QuickCheck.Function, Test.QuickCheck
functionVoid | Test.QuickCheck.Function, Test.QuickCheck
GaveUp | Test.QuickCheck
Gen | Test.QuickCheck.Gen, Test.QuickCheck
genDouble | Test.QuickCheck.Gen
generate | Test.QuickCheck.Gen, Test.QuickCheck
genericCoarbitrary | Test.QuickCheck.Arbitrary, Test.QuickCheck
genericShrink | Test.QuickCheck.Arbitrary, Test.QuickCheck
genFloat | Test.QuickCheck.Gen
getASCIIString | Test.QuickCheck.Modifiers, Test.QuickCheck
getBlind | Test.QuickCheck.Modifiers, Test.QuickCheck
getFixed | Test.QuickCheck.Modifiers, Test.QuickCheck
getInfiniteList | Test.QuickCheck.Modifiers, Test.QuickCheck
getLarge | Test.QuickCheck.Modifiers, Test.QuickCheck
getNegative | Test.QuickCheck.Modifiers, Test.QuickCheck
getNonEmpty | Test.QuickCheck.Modifiers, Test.QuickCheck
getNonNegative | Test.QuickCheck.Modifiers, Test.QuickCheck
getNonPositive | Test.QuickCheck.Modifiers, Test.QuickCheck
getNonZero | Test.QuickCheck.Modifiers, Test.QuickCheck
getOrdered | Test.QuickCheck.Modifiers, Test.QuickCheck
getPositive | Test.QuickCheck.Modifiers, Test.QuickCheck
getPrintableString | Test.QuickCheck.Modifiers, Test.QuickCheck
getShrink2 | Test.QuickCheck.Modifiers, Test.QuickCheck
getSize | Test.QuickCheck.Gen, Test.QuickCheck
getSmall | Test.QuickCheck.Modifiers, Test.QuickCheck
getSorted | Test.QuickCheck.Modifiers, Test.QuickCheck
getUnicodeString | Test.QuickCheck.Modifiers, Test.QuickCheck
growingElements | Test.QuickCheck.Gen, Test.QuickCheck
GSubterms | Test.QuickCheck.Arbitrary
idempotentIOProperty | Test.QuickCheck
InfiniteList |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
infiniteList | Test.QuickCheck.Arbitrary, Test.QuickCheck
infiniteListInternalData | Test.QuickCheck.Modifiers, Test.QuickCheck
infiniteListOf | Test.QuickCheck.Gen, Test.QuickCheck
ioProperty | Test.QuickCheck
isSuccess | Test.QuickCheck
label | Test.QuickCheck
labelledExamples | Test.QuickCheck
labelledExamplesResult | Test.QuickCheck
labelledExamplesWith | Test.QuickCheck
labelledExamplesWithResult | Test.QuickCheck
labels | Test.QuickCheck
Large |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
liftArbitrary | Test.QuickCheck.Arbitrary, Test.QuickCheck
liftArbitrary2 | Test.QuickCheck.Arbitrary, Test.QuickCheck
liftShrink | Test.QuickCheck.Arbitrary, Test.QuickCheck
liftShrink2 | Test.QuickCheck.Arbitrary, Test.QuickCheck
listOf | Test.QuickCheck.Gen, Test.QuickCheck
listOf1 | Test.QuickCheck.Gen, Test.QuickCheck
mapSize | Test.QuickCheck
maxDiscardRatio | Test.QuickCheck
maxShrinks | Test.QuickCheck
maxSize | Test.QuickCheck
maxSuccess | Test.QuickCheck
MkGen | Test.QuickCheck.Gen
MkPropertyM | Test.QuickCheck.Monadic
monadic | Test.QuickCheck.Monadic
monadic' | Test.QuickCheck.Monadic
monadicIO | Test.QuickCheck.Monadic
monadicST | Test.QuickCheck.Monadic
monitor | Test.QuickCheck.Monadic
monomorphic | Test.QuickCheck.All, Test.QuickCheck
Negative |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
NoExpectedFailure | Test.QuickCheck
NonEmpty | Test.QuickCheck.Modifiers, Test.QuickCheck
NonEmptyList | Test.QuickCheck.Modifiers, Test.QuickCheck
NonNegative |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
NonPositive |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
NonZero |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
noShrinking | Test.QuickCheck
numDiscarded | Test.QuickCheck
numShrinkFinal | Test.QuickCheck
numShrinks | Test.QuickCheck
numShrinkTries | Test.QuickCheck
numTests | Test.QuickCheck
once | Test.QuickCheck
oneof | Test.QuickCheck.Gen, Test.QuickCheck
OrdA |
1 (Type/Class) | Test.QuickCheck.Poly
2 (Data Constructor) | Test.QuickCheck.Poly
OrdB |
1 (Type/Class) | Test.QuickCheck.Poly
2 (Data Constructor) | Test.QuickCheck.Poly
OrdC |
1 (Type/Class) | Test.QuickCheck.Poly
2 (Data Constructor) | Test.QuickCheck.Poly
Ordered | Test.QuickCheck.Modifiers, Test.QuickCheck
OrderedList | Test.QuickCheck.Modifiers, Test.QuickCheck
orderedList | Test.QuickCheck.Arbitrary, Test.QuickCheck
output | Test.QuickCheck
pick | Test.QuickCheck.Monadic
polyQuickCheck | Test.QuickCheck.All, Test.QuickCheck
polyVerboseCheck | Test.QuickCheck.All, Test.QuickCheck
Positive |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
pre | Test.QuickCheck.Monadic
PrintableString |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
printTestCase | Test.QuickCheck
promote | Test.QuickCheck.Gen.Unsafe
Property | Test.QuickCheck
property | Test.QuickCheck
propertyForAllShrinkShow | Test.QuickCheck
PropertyM | Test.QuickCheck.Monadic
quickCheck | Test.QuickCheck
quickCheckAll | Test.QuickCheck.All, Test.QuickCheck
quickCheckResult | Test.QuickCheck
quickCheckWith | Test.QuickCheck
quickCheckWithResult | Test.QuickCheck
reason | Test.QuickCheck
recheck | Test.QuickCheck
RecursivelyShrink | Test.QuickCheck.Arbitrary
recursivelyShrink | Test.QuickCheck.Arbitrary, Test.QuickCheck
replay | Test.QuickCheck
resize | Test.QuickCheck.Gen, Test.QuickCheck
Result | Test.QuickCheck
run | Test.QuickCheck.Monadic
runSTGen | Test.QuickCheck.Monadic
sample | Test.QuickCheck.Gen, Test.QuickCheck
sample' | Test.QuickCheck.Gen, Test.QuickCheck
scale | Test.QuickCheck.Gen, Test.QuickCheck
shrink | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrink1 | Test.QuickCheck.Arbitrary, Test.QuickCheck
Shrink2 |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
shrink2 | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkBoundedEnum | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkDecimal | Test.QuickCheck.Arbitrary, Test.QuickCheck
Shrinking |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
shrinking | Test.QuickCheck
shrinkInit | Test.QuickCheck.Modifiers, Test.QuickCheck
shrinkIntegral | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkList | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkMap | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkMapBy | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkNothing | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkRealFrac | Test.QuickCheck.Arbitrary, Test.QuickCheck
ShrinkState | Test.QuickCheck.Modifiers, Test.QuickCheck
shrinkState | Test.QuickCheck.Modifiers, Test.QuickCheck
shuffle | Test.QuickCheck.Gen, Test.QuickCheck
sized | Test.QuickCheck.Gen, Test.QuickCheck
Small |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
Smart |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
Sorted | Test.QuickCheck.Modifiers, Test.QuickCheck
SortedList | Test.QuickCheck.Modifiers, Test.QuickCheck
stdArgs | Test.QuickCheck
stdConfidence | Test.QuickCheck
stop | Test.QuickCheck.Monadic
sublistOf | Test.QuickCheck.Gen, Test.QuickCheck
subterms | Test.QuickCheck.Arbitrary, Test.QuickCheck
Success | Test.QuickCheck
suchThat | Test.QuickCheck.Gen, Test.QuickCheck
suchThatMap | Test.QuickCheck.Gen, Test.QuickCheck
suchThatMaybe | Test.QuickCheck.Gen, Test.QuickCheck
tables | Test.QuickCheck
tabulate | Test.QuickCheck
Testable | Test.QuickCheck
theException | Test.QuickCheck
tolerance | Test.QuickCheck
total | Test.QuickCheck
unA | Test.QuickCheck.Poly
unB | Test.QuickCheck.Poly
unC | Test.QuickCheck.Poly
unGen | Test.QuickCheck.Gen
UnicodeString |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
unOrdA | Test.QuickCheck.Poly
unOrdB | Test.QuickCheck.Poly
unOrdC | Test.QuickCheck.Poly
unPropertyM | Test.QuickCheck.Monadic
usedSeed | Test.QuickCheck
usedSize | Test.QuickCheck
variant | Test.QuickCheck.Gen, Test.QuickCheck
vector | Test.QuickCheck.Arbitrary, Test.QuickCheck
vectorOf | Test.QuickCheck.Gen, Test.QuickCheck
verbose | Test.QuickCheck
verboseCheck | Test.QuickCheck
verboseCheckAll | Test.QuickCheck.All, Test.QuickCheck
verboseCheckResult | Test.QuickCheck
verboseCheckWith | Test.QuickCheck
verboseCheckWithResult | Test.QuickCheck
verboseShrinking | Test.QuickCheck
whenFail | Test.QuickCheck
whenFail' | Test.QuickCheck
Wit | Test.QuickCheck
withDiscardRatio | Test.QuickCheck
within | Test.QuickCheck
withMaxShrinks | Test.QuickCheck
withMaxSize | Test.QuickCheck
withMaxSuccess | Test.QuickCheck
Witness | Test.QuickCheck
witness | Test.QuickCheck
witnesses | Test.QuickCheck
wp | Test.QuickCheck.Monadic