QuickCheck-2.8: 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
AnExceptionTest.QuickCheck.Exception
applyTest.QuickCheck.Function
ArbitraryTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryBoundedEnumTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryBoundedIntegralTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryBoundedRandomTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitrarySizedBoundedIntegralTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitrarySizedFractionalTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitrarySizedIntegralTest.QuickCheck.Arbitrary, Test.QuickCheck
arbitrarySizedNaturalTest.QuickCheck.Arbitrary, Test.QuickCheck
Args 
1 (Type/Class)Test.QuickCheck.Test, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Test, 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
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
exceptionTest.QuickCheck.Property
exhaustiveTest.QuickCheck.Property, Test.QuickCheck
expectTest.QuickCheck.Property
expectedFailureTest.QuickCheck.State
expectFailureTest.QuickCheck.Property, Test.QuickCheck
failedTest.QuickCheck.Property
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
forAllTest.QuickCheck.Property, Test.QuickCheck
forAllMTest.QuickCheck.Monadic
forAllPropertiesTest.QuickCheck.All, Test.QuickCheck
forAllShrinkTest.QuickCheck.Property, Test.QuickCheck
formatExceptionTest.QuickCheck.Property
foundFailureTest.QuickCheck.Test
frequencyTest.QuickCheck.Gen, Test.QuickCheck
Fun 
1 (Type/Class)Test.QuickCheck.Function
2 (Data Constructor)Test.QuickCheck.Function
FunctionTest.QuickCheck.Function
functionTest.QuickCheck.Function
functionMapTest.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
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
getShrink2Test.QuickCheck.Modifiers, Test.QuickCheck
getSmallTest.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
insufficientCoverageTest.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
labelPercentageTest.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
liftBoolTest.QuickCheck.Property
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
maxSizeTest.QuickCheck.Test, Test.QuickCheck
maxSuccessTest.QuickCheck.Test, Test.QuickCheck
maxSuccessTestsTest.QuickCheck.State
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
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
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
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
resultTest.QuickCheck.Property
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
showErrTest.QuickCheck.Text
shrinkTest.QuickCheck.Arbitrary, Test.QuickCheck
Shrink2 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, 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
shrinkNothingTest.QuickCheck.Arbitrary, Test.QuickCheck
shrinkRealFracTest.QuickCheck.Arbitrary, Test.QuickCheck
shrinkRealFracToIntegerTest.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
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
theException 
1 (Function)Test.QuickCheck.Property
2 (Function)Test.QuickCheck.Test, Test.QuickCheck
tryEvaluateTest.QuickCheck.Exception
tryEvaluateIOTest.QuickCheck.Exception
unATest.QuickCheck.Poly
unBTest.QuickCheck.Poly
unCTest.QuickCheck.Poly
unGenTest.QuickCheck.Gen
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
withNullTerminalTest.QuickCheck.Text
withStdioTerminalTest.QuickCheck.Text
wpTest.QuickCheck.Monadic