QuickCheck-2.14.2: 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
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
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
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
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
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
generate Test.QuickCheck.Gen , Test.QuickCheck
genericCoarbitrary Test.QuickCheck.Arbitrary , Test.QuickCheck
genericShrink Test.QuickCheck.Arbitrary , Test.QuickCheck
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
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
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
within Test.QuickCheck
withMaxSuccess Test.QuickCheck
wp Test.QuickCheck.Monadic