QuickCheck-2.6: 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.Arbitrary, Test.QuickCheck
A 
1 (Type/Class)Test.QuickCheck.Poly
2 (Data Constructor)Test.QuickCheck.Poly
abortTest.QuickCheck.Property
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
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
Blind 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
boldTest.QuickCheck.Text
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
chattyTest.QuickCheck.Test, Test.QuickCheck
chooseTest.QuickCheck.Gen, Test.QuickCheck
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
coverTest.QuickCheck.Property, Test.QuickCheck
discardTest.QuickCheck
disjoinTest.QuickCheck.Property, Test.QuickCheck
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
Fixed 
1 (Type/Class)Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor)Test.QuickCheck.Modifiers, Test.QuickCheck
forAllTest.QuickCheck.Property, Test.QuickCheck
forAllMTest.QuickCheck.Monadic
forAllPropertiesTest.QuickCheck.All
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
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
giveUpTest.QuickCheck.Test
growingElementsTest.QuickCheck.Gen, Test.QuickCheck
handleTest.QuickCheck.Text
interrupted 
1 (Function)Test.QuickCheck.Property
2 (Function)Test.QuickCheck.Test, Test.QuickCheck
IORoseTest.QuickCheck.Property
ioRoseTest.QuickCheck.Property
isOneLineTest.QuickCheck.Text
isSuccessTest.QuickCheck.Test
joinRoseTest.QuickCheck.Property
labelTest.QuickCheck.Property, Test.QuickCheck
labelsTest.QuickCheck.Test, 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
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
MkPropertyMTest.QuickCheck.Monadic
MkResultTest.QuickCheck.Property
MkRoseTest.QuickCheck.Property
MkStateTest.QuickCheck.State
MkStrTest.QuickCheck.Text, Test.QuickCheck
monadicTest.QuickCheck.Monadic
monadic'Test.QuickCheck.Monadic
monadicIOTest.QuickCheck.Monadic
monadicSTTest.QuickCheck.Monadic
monitorTest.QuickCheck.Monadic
monoTest.QuickCheck.All
morallyDubiousIOPropertyTest.QuickCheck.Property
newTerminalTest.QuickCheck.Text
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
NotCounterexampleTest.QuickCheck.Property
numberTest.QuickCheck.Text
numDiscardedTestsTest.QuickCheck.State
numRecentlyDiscardedTestsTest.QuickCheck.State
numShrinksTest.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
polyVerboseCheckTest.QuickCheck.All
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, Test.QuickCheck
PropTest.QuickCheck.Property, Test.QuickCheck
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
quickCheckTest.QuickCheck.Test, Test.QuickCheck
quickCheckAllTest.QuickCheck.All
quickCheckResultTest.QuickCheck.Test, Test.QuickCheck
quickCheckWithTest.QuickCheck.Test, Test.QuickCheck
quickCheckWithResultTest.QuickCheck.Test, Test.QuickCheck
randomSeedTest.QuickCheck.State
rangesTest.QuickCheck.Text, Test.QuickCheck
reason 
1 (Function)Test.QuickCheck.Property
2 (Function)Test.QuickCheck.Test, 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
safelyTest.QuickCheck.Test
sampleTest.QuickCheck.Gen, Test.QuickCheck
sample'Test.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
shrinkNothingTest.QuickCheck.Arbitrary, Test.QuickCheck
shrinkRealFracTest.QuickCheck.Arbitrary, Test.QuickCheck
ShrinkStateTest.QuickCheck.Modifiers, Test.QuickCheck
shrinkStateTest.QuickCheck.Modifiers, Test.QuickCheck
sizedTest.QuickCheck.Gen, 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
stopTest.QuickCheck.Monadic
StrTest.QuickCheck.Text, 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
unATest.QuickCheck.Poly
unBTest.QuickCheck.Poly
unCTest.QuickCheck.Poly
unGenTest.QuickCheck.Gen
unOrdATest.QuickCheck.Poly
unOrdBTest.QuickCheck.Poly
unOrdCTest.QuickCheck.Poly
unPropTest.QuickCheck.Property
unPropertyMTest.QuickCheck.Monadic
usedSeedTest.QuickCheck.Test, Test.QuickCheck
usedSizeTest.QuickCheck.Test, Test.QuickCheck
variantTest.QuickCheck.Gen, Test.QuickCheck
vectorTest.QuickCheck.Arbitrary, Test.QuickCheck
vectorOfTest.QuickCheck.Gen, Test.QuickCheck
verboseTest.QuickCheck.Property, Test.QuickCheck
verboseCheckTest.QuickCheck.Test, Test.QuickCheck
verboseCheckAllTest.QuickCheck.All
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