QuickCheck-2.13.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
againTest.QuickCheck
allPropertiesTest.QuickCheck.All, Test.QuickCheck
applyTest.QuickCheck.Function
applyArbitrary2Test.QuickCheck.Arbitrary, Test.QuickCheck
applyArbitrary3Test.QuickCheck.Arbitrary, Test.QuickCheck
applyArbitrary4Test.QuickCheck.Arbitrary, Test.QuickCheck
applyFunTest.QuickCheck.Function, Test.QuickCheck
applyFun2Test.QuickCheck.Function, Test.QuickCheck
applyFun3Test.QuickCheck.Function, Test.QuickCheck
ArbitraryTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryTest.QuickCheck.Arbitrary, Test.QuickCheck
Arbitrary1Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitrary1Test.QuickCheck.Arbitrary, Test.QuickCheck
Arbitrary2Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitrary2Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryASCIICharTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryBoundedEnumTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryBoundedIntegralTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryBoundedRandomTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryPrintableCharTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitrarySizedBoundedIntegralTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitrarySizedFractionalTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitrarySizedIntegralTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitrarySizedNaturalTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryUnicodeCharTest.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
assertTest.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
captureTest.QuickCheck.Gen.Unsafe
certaintyTest.QuickCheck
chattyTest.QuickCheck
checkCoverageTest.QuickCheck
checkCoverageWithTest.QuickCheck
chooseTest.QuickCheck.Gen, Test.QuickCheck
chooseAnyTest.QuickCheck.Gen
classesTest.QuickCheck
classifyTest.QuickCheck
CoArbitraryTest.QuickCheck.Arbitrary, Test.QuickCheck
coarbitraryTest.QuickCheck.Arbitrary, Test.QuickCheck
coarbitraryEnumTest.QuickCheck.Arbitrary, Test.QuickCheck
coarbitraryIntegralTest.QuickCheck.Arbitrary, Test.QuickCheck
coarbitraryRealTest.QuickCheck.Arbitrary, Test.QuickCheck
coarbitraryShowTest.QuickCheck.Arbitrary, Test.QuickCheck
collectTest.QuickCheck
Confidence 
1 (Type/Class)Test.QuickCheck
2 (Data Constructor)Test.QuickCheck
conjoinTest.QuickCheck
counterexampleTest.QuickCheck
coverTest.QuickCheck
coverTableTest.QuickCheck
delayTest.QuickCheck.Gen.Unsafe
Discard 
1 (Type/Class)Test.QuickCheck
2 (Data Constructor)Test.QuickCheck
discardTest.QuickCheck
disjoinTest.QuickCheck
elementsTest.QuickCheck.Gen, Test.QuickCheck
expectFailureTest.QuickCheck
failingClassesTest.QuickCheck
failingLabelsTest.QuickCheck
failingTestCaseTest.QuickCheck
FailureTest.QuickCheck
Fixed 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
FnTest.QuickCheck.Function, Test.QuickCheck
Fn2Test.QuickCheck.Function, Test.QuickCheck
Fn3Test.QuickCheck.Function, Test.QuickCheck
forAllTest.QuickCheck
forAllBlindTest.QuickCheck
forAllMTest.QuickCheck.Monadic
forAllPropertiesTest.QuickCheck.All, Test.QuickCheck
forAllShowTest.QuickCheck
forAllShrinkTest.QuickCheck
forAllShrinkBlindTest.QuickCheck
forAllShrinkShowTest.QuickCheck
frequencyTest.QuickCheck.Gen, Test.QuickCheck
Fun 
1 (Type/Class)Test.QuickCheck.Function, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Function, Test.QuickCheck
FunctionTest.QuickCheck.Function, Test.QuickCheck
functionTest.QuickCheck.Function, Test.QuickCheck
functionBoundedEnumTest.QuickCheck.Function, Test.QuickCheck
functionIntegralTest.QuickCheck.Function, Test.QuickCheck
functionMapTest.QuickCheck.Function, Test.QuickCheck
functionRealFracTest.QuickCheck.Function, Test.QuickCheck
functionShowTest.QuickCheck.Function, Test.QuickCheck
functionVoidTest.QuickCheck.Function, Test.QuickCheck
GaveUpTest.QuickCheck
GenTest.QuickCheck.Gen, Test.QuickCheck
generateTest.QuickCheck.Gen, Test.QuickCheck
genericCoarbitraryTest.QuickCheck.Arbitrary, Test.QuickCheck
genericShrinkTest.QuickCheck.Arbitrary, Test.QuickCheck
getASCIIStringTest.QuickCheck.Modifiers, Test.QuickCheck
getBlindTest.QuickCheck.Modifiers, Test.QuickCheck
getFixedTest.QuickCheck.Modifiers, Test.QuickCheck
getInfiniteListTest.QuickCheck.Modifiers, Test.QuickCheck
getLargeTest.QuickCheck.Modifiers, Test.QuickCheck
getNegativeTest.QuickCheck.Modifiers, Test.QuickCheck
getNonEmptyTest.QuickCheck.Modifiers, Test.QuickCheck
getNonNegativeTest.QuickCheck.Modifiers, Test.QuickCheck
getNonPositiveTest.QuickCheck.Modifiers, Test.QuickCheck
getNonZeroTest.QuickCheck.Modifiers, Test.QuickCheck
getOrderedTest.QuickCheck.Modifiers, Test.QuickCheck
getPositiveTest.QuickCheck.Modifiers, Test.QuickCheck
getPrintableStringTest.QuickCheck.Modifiers, Test.QuickCheck
getShrink2Test.QuickCheck.Modifiers, Test.QuickCheck
getSizeTest.QuickCheck.Gen, Test.QuickCheck
getSmallTest.QuickCheck.Modifiers, Test.QuickCheck
getSortedTest.QuickCheck.Modifiers, Test.QuickCheck
getUnicodeStringTest.QuickCheck.Modifiers, Test.QuickCheck
growingElementsTest.QuickCheck.Gen, Test.QuickCheck
idempotentIOPropertyTest.QuickCheck
InfiniteList 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
infiniteListTest.QuickCheck.Arbitrary, Test.QuickCheck
infiniteListInternalDataTest.QuickCheck.Modifiers, Test.QuickCheck
infiniteListOfTest.QuickCheck.Gen, Test.QuickCheck
ioPropertyTest.QuickCheck
isSuccessTest.QuickCheck
labelTest.QuickCheck
labelledExamplesTest.QuickCheck
labelledExamplesResultTest.QuickCheck
labelledExamplesWithTest.QuickCheck
labelledExamplesWithResultTest.QuickCheck
labelsTest.QuickCheck
Large 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
liftArbitraryTest.QuickCheck.Arbitrary, Test.QuickCheck
liftArbitrary2Test.QuickCheck.Arbitrary, Test.QuickCheck
liftShrinkTest.QuickCheck.Arbitrary, Test.QuickCheck
liftShrink2Test.QuickCheck.Arbitrary, Test.QuickCheck
listOfTest.QuickCheck.Gen, Test.QuickCheck
listOf1Test.QuickCheck.Gen, Test.QuickCheck
mapSizeTest.QuickCheck
maxDiscardRatioTest.QuickCheck
maxShrinksTest.QuickCheck
maxSizeTest.QuickCheck
maxSuccessTest.QuickCheck
MkGenTest.QuickCheck.Gen
MkPropertyMTest.QuickCheck.Monadic
monadicTest.QuickCheck.Monadic
monadic'Test.QuickCheck.Monadic
monadicIOTest.QuickCheck.Monadic
monadicSTTest.QuickCheck.Monadic
monitorTest.QuickCheck.Monadic
monomorphicTest.QuickCheck.All, Test.QuickCheck
Negative 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
NoExpectedFailureTest.QuickCheck
NonEmptyTest.QuickCheck.Modifiers, Test.QuickCheck
NonEmptyListTest.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
noShrinkingTest.QuickCheck
numDiscardedTest.QuickCheck
numShrinkFinalTest.QuickCheck
numShrinksTest.QuickCheck
numShrinkTriesTest.QuickCheck
numTestsTest.QuickCheck
onceTest.QuickCheck
oneofTest.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
OrderedTest.QuickCheck.Modifiers, Test.QuickCheck
OrderedListTest.QuickCheck.Modifiers, Test.QuickCheck
orderedListTest.QuickCheck.Arbitrary, Test.QuickCheck
outputTest.QuickCheck
pickTest.QuickCheck.Monadic
polyQuickCheckTest.QuickCheck.All, Test.QuickCheck
polyVerboseCheckTest.QuickCheck.All, Test.QuickCheck
Positive 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
preTest.QuickCheck.Monadic
PrintableString 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
printTestCaseTest.QuickCheck
promoteTest.QuickCheck.Gen.Unsafe
PropertyTest.QuickCheck
propertyTest.QuickCheck
propertyForAllShrinkShowTest.QuickCheck
PropertyMTest.QuickCheck.Monadic
quickCheckTest.QuickCheck
quickCheckAllTest.QuickCheck.All, Test.QuickCheck
quickCheckResultTest.QuickCheck
quickCheckWithTest.QuickCheck
quickCheckWithResultTest.QuickCheck
reasonTest.QuickCheck
recursivelyShrinkTest.QuickCheck.Arbitrary, Test.QuickCheck
replayTest.QuickCheck
resizeTest.QuickCheck.Gen, Test.QuickCheck
ResultTest.QuickCheck
runTest.QuickCheck.Monadic
runSTGenTest.QuickCheck.Monadic
sampleTest.QuickCheck.Gen, Test.QuickCheck
sample'Test.QuickCheck.Gen, Test.QuickCheck
scaleTest.QuickCheck.Gen, Test.QuickCheck
shrinkTest.QuickCheck.Arbitrary, Test.QuickCheck
shrink1Test.QuickCheck.Arbitrary, Test.QuickCheck
Shrink2 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
shrink2Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkDecimalTest.QuickCheck.Arbitrary, Test.QuickCheck
Shrinking 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
shrinkingTest.QuickCheck
shrinkInitTest.QuickCheck.Modifiers, Test.QuickCheck
shrinkIntegralTest.QuickCheck.Arbitrary, Test.QuickCheck
shrinkListTest.QuickCheck.Arbitrary, Test.QuickCheck
shrinkMapTest.QuickCheck.Arbitrary, Test.QuickCheck
shrinkMapByTest.QuickCheck.Arbitrary, Test.QuickCheck
shrinkNothingTest.QuickCheck.Arbitrary, Test.QuickCheck
shrinkRealFracTest.QuickCheck.Arbitrary, Test.QuickCheck
ShrinkStateTest.QuickCheck.Modifiers, Test.QuickCheck
shrinkStateTest.QuickCheck.Modifiers, Test.QuickCheck
shuffleTest.QuickCheck.Gen, Test.QuickCheck
sizedTest.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
SortedTest.QuickCheck.Modifiers, Test.QuickCheck
SortedListTest.QuickCheck.Modifiers, Test.QuickCheck
stdArgsTest.QuickCheck
stdConfidenceTest.QuickCheck
stopTest.QuickCheck.Monadic
sublistOfTest.QuickCheck.Gen, Test.QuickCheck
subtermsTest.QuickCheck.Arbitrary, Test.QuickCheck
SuccessTest.QuickCheck
suchThatTest.QuickCheck.Gen, Test.QuickCheck
suchThatMapTest.QuickCheck.Gen, Test.QuickCheck
suchThatMaybeTest.QuickCheck.Gen, Test.QuickCheck
tablesTest.QuickCheck
tabulateTest.QuickCheck
TestableTest.QuickCheck
theExceptionTest.QuickCheck
toleranceTest.QuickCheck
totalTest.QuickCheck
unATest.QuickCheck.Poly
unBTest.QuickCheck.Poly
unCTest.QuickCheck.Poly
unGenTest.QuickCheck.Gen
UnicodeString 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
unOrdATest.QuickCheck.Poly
unOrdBTest.QuickCheck.Poly
unOrdCTest.QuickCheck.Poly
unPropertyMTest.QuickCheck.Monadic
usedSeedTest.QuickCheck
usedSizeTest.QuickCheck
variantTest.QuickCheck.Gen, Test.QuickCheck
vectorTest.QuickCheck.Arbitrary, Test.QuickCheck
vectorOfTest.QuickCheck.Gen, Test.QuickCheck
verboseTest.QuickCheck
verboseCheckTest.QuickCheck
verboseCheckAllTest.QuickCheck.All, Test.QuickCheck
verboseCheckResultTest.QuickCheck
verboseCheckWithTest.QuickCheck
verboseCheckWithResultTest.QuickCheck
verboseShrinkingTest.QuickCheck
whenFailTest.QuickCheck
whenFail'Test.QuickCheck
withinTest.QuickCheck
withMaxSuccessTest.QuickCheck
wpTest.QuickCheck.Monadic