QuickCheck-2.10: Automatic testing of Haskell programs

Index

.&&.Test.QuickCheck.Property, Test.QuickCheck
.&.Test.QuickCheck.Property, Test.QuickCheck
.||.Test.QuickCheck.Property, Test.QuickCheck
:->Test.QuickCheck.Function
===Test.QuickCheck.Property, Test.QuickCheck
==>Test.QuickCheck.Property, Test.QuickCheck
><Test.QuickCheck.Arbitrary, Test.QuickCheck
A 
1 (Type/Class)Test.QuickCheck.Poly
2 (Data Constructor)Test.QuickCheck.Poly
abortTest.QuickCheck.Property
againTest.QuickCheck.Property, Test.QuickCheck
AnExceptionTest.QuickCheck.Exception
applyTest.QuickCheck.Function
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.Test, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Test, 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
bigNatVariantTest.QuickCheck.Random
bitsTest.QuickCheck.Random
Blind 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
boldTest.QuickCheck.Text
boolVariantTest.QuickCheck.Random
C 
1 (Type/Class)Test.QuickCheck.Poly
2 (Data Constructor)Test.QuickCheck.Poly
CallbackTest.QuickCheck.Property
callbackTest.QuickCheck.Property
CallbackKindTest.QuickCheck.Property
callbackPostFinalFailureTest.QuickCheck.Test
callbackPostTestTest.QuickCheck.Test
callbacksTest.QuickCheck.Property
Capture 
1 (Type/Class)Test.QuickCheck.Gen.Unsafe
2 (Data Constructor)Test.QuickCheck.Gen.Unsafe
captureTest.QuickCheck.Gen.Unsafe
chattyTest.QuickCheck.Test, Test.QuickCheck
chipTest.QuickCheck.Random
chooseTest.QuickCheck.Gen, Test.QuickCheck
chooseAnyTest.QuickCheck.Gen
chopTest.QuickCheck.Random
classifyTest.QuickCheck.Property, Test.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.Property, Test.QuickCheck
collectedTest.QuickCheck.State
computeSizeTest.QuickCheck.State
conjoinTest.QuickCheck.Property, Test.QuickCheck
CounterexampleTest.QuickCheck.Property
counterexampleTest.QuickCheck.Property, Test.QuickCheck
coverTest.QuickCheck.Property, Test.QuickCheck
delayTest.QuickCheck.Gen.Unsafe
Discard 
1 (Type/Class)Test.QuickCheck.Property, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Property, Test.QuickCheck
discardTest.QuickCheck.Exception, Test.QuickCheck
disjoinTest.QuickCheck.Property, Test.QuickCheck
doneBitTest.QuickCheck.Random
doneTestingTest.QuickCheck.Test
elementsTest.QuickCheck.Gen, Test.QuickCheck
evaluateTest.QuickCheck.Exception
exceptionTest.QuickCheck.Property
expectTest.QuickCheck.Property
expectedFailureTest.QuickCheck.State
expectFailureTest.QuickCheck.Property, Test.QuickCheck
failedTest.QuickCheck.Property
failingTestCaseTest.QuickCheck.Test, Test.QuickCheck
FailureTest.QuickCheck.Test, Test.QuickCheck
finallyTest.QuickCheck.Exception
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.Property, Test.QuickCheck
forAllMTest.QuickCheck.Monadic
forAllPropertiesTest.QuickCheck.All, Test.QuickCheck
forAllShrinkTest.QuickCheck.Property, Test.QuickCheck
formatExceptionTest.QuickCheck.Property
formatLabelTest.QuickCheck.Test
foundFailureTest.QuickCheck.Test
frequencyTest.QuickCheck.Gen, Test.QuickCheck
Fun 
1 (Type/Class)Test.QuickCheck.Function, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Function
FunctionTest.QuickCheck.Function, Test.QuickCheck
functionTest.QuickCheck.Function, Test.QuickCheck
functionBoundedEnumTest.QuickCheck.Function
functionIntegralTest.QuickCheck.Function
functionMapTest.QuickCheck.Function, Test.QuickCheck
functionRealFracTest.QuickCheck.Function
functionShowTest.QuickCheck.Function
GaveUpTest.QuickCheck.Test, Test.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
getLargeTest.QuickCheck.Modifiers, Test.QuickCheck
getNonEmptyTest.QuickCheck.Modifiers, Test.QuickCheck
getNonNegativeTest.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
getUnicodeStringTest.QuickCheck.Modifiers, Test.QuickCheck
giveUpTest.QuickCheck.Test
growingElementsTest.QuickCheck.Gen, Test.QuickCheck
handleTest.QuickCheck.Text
infiniteListTest.QuickCheck.Arbitrary, Test.QuickCheck
infiniteListOfTest.QuickCheck.Gen, Test.QuickCheck
InsufficientCoverageTest.QuickCheck.Test, Test.QuickCheck
insufficientlyCoveredTest.QuickCheck.Test
ioPropertyTest.QuickCheck.Property, Test.QuickCheck
IORoseTest.QuickCheck.Property
ioRoseTest.QuickCheck.Property
isDiscardTest.QuickCheck.Exception
isInterruptTest.QuickCheck.Exception
isOneLineTest.QuickCheck.Text
isSuccessTest.QuickCheck.Test
joinRoseTest.QuickCheck.Property
labelTest.QuickCheck.Property, Test.QuickCheck
labelCountTest.QuickCheck.Test
labels 
1 (Function)Test.QuickCheck.State
2 (Function)Test.QuickCheck.Property
3 (Function)Test.QuickCheck.Test, Test.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
liftBoolTest.QuickCheck.Property
liftShrinkTest.QuickCheck.Arbitrary, Test.QuickCheck
liftShrink2Test.QuickCheck.Arbitrary, Test.QuickCheck
listOfTest.QuickCheck.Gen, Test.QuickCheck
listOf1Test.QuickCheck.Gen, Test.QuickCheck
localMinTest.QuickCheck.Test
localMin'Test.QuickCheck.Test
localMinFoundTest.QuickCheck.Test
mapPropTest.QuickCheck.Property
mapResultTest.QuickCheck.Property
mapRoseResultTest.QuickCheck.Property
mapSizeTest.QuickCheck.Property, Test.QuickCheck
mapTotalResultTest.QuickCheck.Property
maskTest.QuickCheck.Random
maxDiscardedTestsTest.QuickCheck.State
maxDiscardRatioTest.QuickCheck.Test, Test.QuickCheck
maxShrinksTest.QuickCheck.Test, Test.QuickCheck
maxSizeTest.QuickCheck.Test, Test.QuickCheck
maxSuccessTest.QuickCheck.Test, Test.QuickCheck
maxSuccessTestsTest.QuickCheck.State
maybeNumTestsTest.QuickCheck.Property
MkGenTest.QuickCheck.Gen
MkPropTest.QuickCheck.Property
MkPropertyTest.QuickCheck.Property
MkPropertyMTest.QuickCheck.Monadic
mkQCGenTest.QuickCheck.Random
MkResultTest.QuickCheck.Property
MkRoseTest.QuickCheck.Property
MkStateTest.QuickCheck.State
MkStrTest.QuickCheck.Text
mkTheGenTest.QuickCheck.Random
monadicTest.QuickCheck.Monadic
monadic'Test.QuickCheck.Monadic
monadicIOTest.QuickCheck.Monadic
monadicSTTest.QuickCheck.Monadic
monitorTest.QuickCheck.Monadic
monomorphicTest.QuickCheck.All, Test.QuickCheck
morallyDubiousIOPropertyTest.QuickCheck.Property
natVariantTest.QuickCheck.Random
newQCGenTest.QuickCheck.Random
newTerminalTest.QuickCheck.Text
newTheGenTest.QuickCheck.Random
NoExpectedFailureTest.QuickCheck.Test, Test.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
NonZero 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
noShrinkingTest.QuickCheck.Property, Test.QuickCheck
NotCounterexampleTest.QuickCheck.Property
numberTest.QuickCheck.Text
numDiscardedTestsTest.QuickCheck.State
numRecentlyDiscardedTestsTest.QuickCheck.State
numShrinkFinalTest.QuickCheck.Test, Test.QuickCheck
numShrinksTest.QuickCheck.Test, Test.QuickCheck
numShrinkTriesTest.QuickCheck.Test, Test.QuickCheck
numSuccessShrinksTest.QuickCheck.State
numSuccessTestsTest.QuickCheck.State
numTestsTest.QuickCheck.Test, Test.QuickCheck
numTotMaxShrinksTest.QuickCheck.State
numTotTryShrinksTest.QuickCheck.State
numTryShrinksTest.QuickCheck.State
okTest.QuickCheck.Property
onceTest.QuickCheck.Property, Test.QuickCheck
oneLineTest.QuickCheck.Text
oneofTest.QuickCheck.Gen, Test.QuickCheck
onRoseTest.QuickCheck.Property
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.Test, Test.QuickCheck
percentageTest.QuickCheck.Test
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
PostFinalFailureTest.QuickCheck.Property
PostTestTest.QuickCheck.Property
preTest.QuickCheck.Monadic
PrintableString 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
printTestCaseTest.QuickCheck.Property, Test.QuickCheck
promoteTest.QuickCheck.Gen.Unsafe
PropTest.QuickCheck.Property
PropertyTest.QuickCheck.Property, Test.QuickCheck
propertyTest.QuickCheck.Property, Test.QuickCheck
PropertyMTest.QuickCheck.Monadic
protectTest.QuickCheck.Property
protectResultTest.QuickCheck.Property
protectResultsTest.QuickCheck.Property
protectRoseTest.QuickCheck.Property
putLineTest.QuickCheck.Text
putPartTest.QuickCheck.Text
putTempTest.QuickCheck.Text
QCGen 
1 (Type/Class)Test.QuickCheck.Random
2 (Data Constructor)Test.QuickCheck.Random
quickCheckTest.QuickCheck.Test, Test.QuickCheck
quickCheckAllTest.QuickCheck.All, Test.QuickCheck
quickCheckResultTest.QuickCheck.Test, Test.QuickCheck
quickCheckWithTest.QuickCheck.Test, Test.QuickCheck
quickCheckWithResultTest.QuickCheck.Test, Test.QuickCheck
randomSeedTest.QuickCheck.State
rangesTest.QuickCheck.Text
reason 
1 (Function)Test.QuickCheck.Property
2 (Function)Test.QuickCheck.Test, Test.QuickCheck
recursivelyShrinkTest.QuickCheck.Arbitrary, Test.QuickCheck
reduceRoseTest.QuickCheck.Property
rejectedTest.QuickCheck.Property
replayTest.QuickCheck.Test, Test.QuickCheck
resizeTest.QuickCheck.Gen, Test.QuickCheck
Result 
1 (Type/Class)Test.QuickCheck.Property
2 (Type/Class)Test.QuickCheck.Test, Test.QuickCheck
RoseTest.QuickCheck.Property
runTest.QuickCheck.Monadic
runATestTest.QuickCheck.Test
runSTGenTest.QuickCheck.Monadic
sampleTest.QuickCheck.Gen, Test.QuickCheck
sample'Test.QuickCheck.Gen, Test.QuickCheck
scaleTest.QuickCheck.Gen, Test.QuickCheck
shortTest.QuickCheck.Text
showCounterexampleTest.QuickCheck.Property
showErrTest.QuickCheck.Text
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
Shrinking 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
shrinkingTest.QuickCheck.Property, Test.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
stampTest.QuickCheck.Property
StateTest.QuickCheck.State
stdArgsTest.QuickCheck.Test, Test.QuickCheck
stop 
1 (Function)Test.QuickCheck.Random
2 (Function)Test.QuickCheck.Monadic
StrTest.QuickCheck.Text
sublistOfTest.QuickCheck.Gen, Test.QuickCheck
subtermsTest.QuickCheck.Arbitrary, Test.QuickCheck
succeededTest.QuickCheck.Property
SuccessTest.QuickCheck.Test, Test.QuickCheck
successTest.QuickCheck.Test
suchThatTest.QuickCheck.Gen, Test.QuickCheck
suchThatMapTest.QuickCheck.Gen, Test.QuickCheck
suchThatMaybeTest.QuickCheck.Gen, Test.QuickCheck
summaryTest.QuickCheck.Test
TerminalTest.QuickCheck.Text
terminalTest.QuickCheck.State
terminalOutputTest.QuickCheck.Text
testTest.QuickCheck.Test
TestableTest.QuickCheck.Property, Test.QuickCheck
testCaseTest.QuickCheck.Property
theException 
1 (Function)Test.QuickCheck.Property
2 (Function)Test.QuickCheck.Test, Test.QuickCheck
totalTest.QuickCheck.Property, Test.QuickCheck
tryEvaluateTest.QuickCheck.Exception
tryEvaluateIOTest.QuickCheck.Exception
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
unPropTest.QuickCheck.Property
unPropertyTest.QuickCheck.Property
unPropertyMTest.QuickCheck.Monadic
usedSeedTest.QuickCheck.Test, Test.QuickCheck
usedSizeTest.QuickCheck.Test, Test.QuickCheck
variantTest.QuickCheck.Gen, Test.QuickCheck
variantQCGenTest.QuickCheck.Random
variantTheGenTest.QuickCheck.Random
vectorTest.QuickCheck.Arbitrary, Test.QuickCheck
vectorOfTest.QuickCheck.Gen, Test.QuickCheck
verboseTest.QuickCheck.Property, Test.QuickCheck
verboseCheckTest.QuickCheck.Test, Test.QuickCheck
verboseCheckAllTest.QuickCheck.All, Test.QuickCheck
verboseCheckResultTest.QuickCheck.Test, Test.QuickCheck
verboseCheckWithTest.QuickCheck.Test, Test.QuickCheck
verboseCheckWithResultTest.QuickCheck.Test, Test.QuickCheck
whenFailTest.QuickCheck.Property, Test.QuickCheck
whenFail'Test.QuickCheck.Property, Test.QuickCheck
withinTest.QuickCheck.Property, Test.QuickCheck
withMaxSuccessTest.QuickCheck.Property, Test.QuickCheck
withNullTerminalTest.QuickCheck.Text
withStdioTerminalTest.QuickCheck.Text
wpTest.QuickCheck.Monadic