QuickCheck-2.8.2: 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
abort | Test.QuickCheck.Property
AnException | Test.QuickCheck.Exception
apply | Test.QuickCheck.Function
Arbitrary | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitrary | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryBoundedEnum | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryBoundedIntegral | Test.QuickCheck.Arbitrary, Test.QuickCheck
arbitraryBoundedRandom | 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
Args |
1 (Type/Class) | Test.QuickCheck.Test, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Test, Test.QuickCheck
assert | Test.QuickCheck.Monadic
B |
1 (Type/Class) | Test.QuickCheck.Poly
2 (Data Constructor) | Test.QuickCheck.Poly
bigNatVariant | Test.QuickCheck.Random
bits | Test.QuickCheck.Random
Blind |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
bold | Test.QuickCheck.Text
boolVariant | Test.QuickCheck.Random
C |
1 (Type/Class) | Test.QuickCheck.Poly
2 (Data Constructor) | Test.QuickCheck.Poly
Callback | Test.QuickCheck.Property
callback | Test.QuickCheck.Property
CallbackKind | Test.QuickCheck.Property
callbackPostFinalFailure | Test.QuickCheck.Test
callbackPostTest | Test.QuickCheck.Test
callbacks | Test.QuickCheck.Property
Capture |
1 (Type/Class) | Test.QuickCheck.Gen.Unsafe
2 (Data Constructor) | Test.QuickCheck.Gen.Unsafe
capture | Test.QuickCheck.Gen.Unsafe
chatty | Test.QuickCheck.Test, Test.QuickCheck
chip | Test.QuickCheck.Random
choose | Test.QuickCheck.Gen, Test.QuickCheck
chop | Test.QuickCheck.Random
classify | Test.QuickCheck.Property, 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.Property, Test.QuickCheck
collected | Test.QuickCheck.State
computeSize | Test.QuickCheck.State
conjoin | Test.QuickCheck.Property, Test.QuickCheck
Counterexample | Test.QuickCheck.Property
counterexample | Test.QuickCheck.Property, Test.QuickCheck
cover | Test.QuickCheck.Property, Test.QuickCheck
delay | Test.QuickCheck.Gen.Unsafe
Discard |
1 (Type/Class) | Test.QuickCheck.Property, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Property, Test.QuickCheck
discard | Test.QuickCheck.Exception, Test.QuickCheck
disjoin | Test.QuickCheck.Property, Test.QuickCheck
doneBit | Test.QuickCheck.Random
doneTesting | Test.QuickCheck.Test
elements | Test.QuickCheck.Gen, Test.QuickCheck
evaluate | Test.QuickCheck.Exception
exception | Test.QuickCheck.Property
exhaustive | Test.QuickCheck.Property, Test.QuickCheck
expect | Test.QuickCheck.Property
expectedFailure | Test.QuickCheck.State
expectFailure | Test.QuickCheck.Property, Test.QuickCheck
failed | Test.QuickCheck.Property
Failure | Test.QuickCheck.Test, Test.QuickCheck
finally | Test.QuickCheck.Exception
Fixed |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
Fn | Test.QuickCheck.Function
forAll | Test.QuickCheck.Property, Test.QuickCheck
forAllM | Test.QuickCheck.Monadic
forAllProperties | Test.QuickCheck.All, Test.QuickCheck
forAllShrink | Test.QuickCheck.Property, Test.QuickCheck
formatException | Test.QuickCheck.Property
foundFailure | Test.QuickCheck.Test
frequency | Test.QuickCheck.Gen, Test.QuickCheck
Fun |
1 (Type/Class) | Test.QuickCheck.Function
2 (Data Constructor) | Test.QuickCheck.Function
Function | Test.QuickCheck.Function
function | Test.QuickCheck.Function
functionMap | Test.QuickCheck.Function
functionShow | Test.QuickCheck.Function
GaveUp | Test.QuickCheck.Test, 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
getBlind | Test.QuickCheck.Modifiers, Test.QuickCheck
getFixed | Test.QuickCheck.Modifiers, Test.QuickCheck
getLarge | Test.QuickCheck.Modifiers, Test.QuickCheck
getNonEmpty | Test.QuickCheck.Modifiers, Test.QuickCheck
getNonNegative | Test.QuickCheck.Modifiers, Test.QuickCheck
getNonZero | Test.QuickCheck.Modifiers, Test.QuickCheck
getOrdered | Test.QuickCheck.Modifiers, Test.QuickCheck
getPositive | Test.QuickCheck.Modifiers, Test.QuickCheck
getShrink2 | Test.QuickCheck.Modifiers, Test.QuickCheck
getSmall | Test.QuickCheck.Modifiers, Test.QuickCheck
giveUp | Test.QuickCheck.Test
growingElements | Test.QuickCheck.Gen, Test.QuickCheck
handle | Test.QuickCheck.Text
infiniteList | Test.QuickCheck.Arbitrary, Test.QuickCheck
infiniteListOf | Test.QuickCheck.Gen, Test.QuickCheck
InsufficientCoverage | Test.QuickCheck.Test, Test.QuickCheck
insufficientCoverage | Test.QuickCheck.Test
ioProperty | Test.QuickCheck.Property, Test.QuickCheck
IORose | Test.QuickCheck.Property
ioRose | Test.QuickCheck.Property
isDiscard | Test.QuickCheck.Exception
isInterrupt | Test.QuickCheck.Exception
isOneLine | Test.QuickCheck.Text
isSuccess | Test.QuickCheck.Test
joinRose | Test.QuickCheck.Property
label | Test.QuickCheck.Property, Test.QuickCheck
labelPercentage | Test.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
liftBool | Test.QuickCheck.Property
listOf | Test.QuickCheck.Gen, Test.QuickCheck
listOf1 | Test.QuickCheck.Gen, Test.QuickCheck
localMin | Test.QuickCheck.Test
localMin' | Test.QuickCheck.Test
localMinFound | Test.QuickCheck.Test
mapProp | Test.QuickCheck.Property
mapResult | Test.QuickCheck.Property
mapRoseResult | Test.QuickCheck.Property
mapSize | Test.QuickCheck.Property, Test.QuickCheck
mapTotalResult | Test.QuickCheck.Property
mask | Test.QuickCheck.Random
maxDiscardedTests | Test.QuickCheck.State
maxDiscardRatio | Test.QuickCheck.Test, Test.QuickCheck
maxSize | Test.QuickCheck.Test, Test.QuickCheck
maxSuccess | Test.QuickCheck.Test, Test.QuickCheck
maxSuccessTests | Test.QuickCheck.State
MkGen | Test.QuickCheck.Gen
MkProp | Test.QuickCheck.Property
MkProperty | Test.QuickCheck.Property
MkPropertyM | Test.QuickCheck.Monadic
mkQCGen | Test.QuickCheck.Random
MkResult | Test.QuickCheck.Property
MkRose | Test.QuickCheck.Property
MkState | Test.QuickCheck.State
MkStr | Test.QuickCheck.Text
mkTheGen | Test.QuickCheck.Random
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
morallyDubiousIOProperty | Test.QuickCheck.Property
natVariant | Test.QuickCheck.Random
newQCGen | Test.QuickCheck.Random
newTerminal | Test.QuickCheck.Text
newTheGen | Test.QuickCheck.Random
NoExpectedFailure | Test.QuickCheck.Test, 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
NonZero |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
noShrinking | Test.QuickCheck.Property, Test.QuickCheck
NotCounterexample | Test.QuickCheck.Property
number | Test.QuickCheck.Text
numDiscardedTests | Test.QuickCheck.State
numRecentlyDiscardedTests | Test.QuickCheck.State
numShrinkFinal | Test.QuickCheck.Test, Test.QuickCheck
numShrinks | Test.QuickCheck.Test, Test.QuickCheck
numShrinkTries | Test.QuickCheck.Test, Test.QuickCheck
numSuccessShrinks | Test.QuickCheck.State
numSuccessTests | Test.QuickCheck.State
numTests | Test.QuickCheck.Test, Test.QuickCheck
numTotTryShrinks | Test.QuickCheck.State
numTryShrinks | Test.QuickCheck.State
ok | Test.QuickCheck.Property
once | Test.QuickCheck.Property, Test.QuickCheck
oneLine | Test.QuickCheck.Text
oneof | Test.QuickCheck.Gen, Test.QuickCheck
onRose | Test.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
Ordered | Test.QuickCheck.Modifiers, Test.QuickCheck
OrderedList | Test.QuickCheck.Modifiers, Test.QuickCheck
orderedList | Test.QuickCheck.Arbitrary, Test.QuickCheck
output | Test.QuickCheck.Test, 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
PostFinalFailure | Test.QuickCheck.Property
PostTest | Test.QuickCheck.Property
pre | Test.QuickCheck.Monadic
printTestCase | Test.QuickCheck.Property, Test.QuickCheck
promote | Test.QuickCheck.Gen.Unsafe
Prop | Test.QuickCheck.Property
Property | Test.QuickCheck.Property, Test.QuickCheck
property | Test.QuickCheck.Property, Test.QuickCheck
PropertyM | Test.QuickCheck.Monadic
protect | Test.QuickCheck.Property
protectResult | Test.QuickCheck.Property
protectResults | Test.QuickCheck.Property
protectRose | Test.QuickCheck.Property
putLine | Test.QuickCheck.Text
putPart | Test.QuickCheck.Text
putTemp | Test.QuickCheck.Text
QCGen |
1 (Type/Class) | Test.QuickCheck.Random
2 (Data Constructor) | Test.QuickCheck.Random
quickCheck | Test.QuickCheck.Test, Test.QuickCheck
quickCheckAll | Test.QuickCheck.All, Test.QuickCheck
quickCheckResult | Test.QuickCheck.Test, Test.QuickCheck
quickCheckWith | Test.QuickCheck.Test, Test.QuickCheck
quickCheckWithResult | Test.QuickCheck.Test, Test.QuickCheck
randomSeed | Test.QuickCheck.State
ranges | Test.QuickCheck.Text
reason |
1 (Function) | Test.QuickCheck.Property
2 (Function) | Test.QuickCheck.Test, Test.QuickCheck
recursivelyShrink | Test.QuickCheck.Arbitrary, Test.QuickCheck
reduceRose | Test.QuickCheck.Property
rejected | Test.QuickCheck.Property
replay | Test.QuickCheck.Test, Test.QuickCheck
resize | Test.QuickCheck.Gen, Test.QuickCheck
Result |
1 (Type/Class) | Test.QuickCheck.Property
2 (Type/Class) | Test.QuickCheck.Test, Test.QuickCheck
Rose | Test.QuickCheck.Property
run | Test.QuickCheck.Monadic
runATest | Test.QuickCheck.Test
runSTGen | Test.QuickCheck.Monadic
sample | Test.QuickCheck.Gen, Test.QuickCheck
sample' | Test.QuickCheck.Gen, Test.QuickCheck
scale | Test.QuickCheck.Gen, Test.QuickCheck
short | Test.QuickCheck.Text
showErr | Test.QuickCheck.Text
shrink | Test.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
shrinking | Test.QuickCheck.Property, Test.QuickCheck
shrinkInit | Test.QuickCheck.Modifiers, Test.QuickCheck
shrinkIntegral | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkList | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkNothing | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkRealFrac | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkRealFracToInteger | 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
stamp | Test.QuickCheck.Property
State | Test.QuickCheck.State
stdArgs | Test.QuickCheck.Test, Test.QuickCheck
stop |
1 (Function) | Test.QuickCheck.Random
2 (Function) | Test.QuickCheck.Monadic
Str | Test.QuickCheck.Text
sublistOf | Test.QuickCheck.Gen, Test.QuickCheck
subterms | Test.QuickCheck.Arbitrary, Test.QuickCheck
succeeded | Test.QuickCheck.Property
Success | Test.QuickCheck.Test, Test.QuickCheck
success | Test.QuickCheck.Test
suchThat | Test.QuickCheck.Gen, Test.QuickCheck
suchThatMaybe | Test.QuickCheck.Gen, Test.QuickCheck
summary | Test.QuickCheck.Test
Terminal | Test.QuickCheck.Text
terminal | Test.QuickCheck.State
terminalOutput | Test.QuickCheck.Text
test | Test.QuickCheck.Test
Testable | Test.QuickCheck.Property, Test.QuickCheck
theException |
1 (Function) | Test.QuickCheck.Property
2 (Function) | Test.QuickCheck.Test, Test.QuickCheck
tryEvaluate | Test.QuickCheck.Exception
tryEvaluateIO | Test.QuickCheck.Exception
unA | Test.QuickCheck.Poly
unB | Test.QuickCheck.Poly
unC | Test.QuickCheck.Poly
unGen | Test.QuickCheck.Gen
unOrdA | Test.QuickCheck.Poly
unOrdB | Test.QuickCheck.Poly
unOrdC | Test.QuickCheck.Poly
unProp | Test.QuickCheck.Property
unProperty | Test.QuickCheck.Property
unPropertyM | Test.QuickCheck.Monadic
usedSeed | Test.QuickCheck.Test, Test.QuickCheck
usedSize | Test.QuickCheck.Test, Test.QuickCheck
variant | Test.QuickCheck.Gen, Test.QuickCheck
variantQCGen | Test.QuickCheck.Random
variantTheGen | Test.QuickCheck.Random
vector | Test.QuickCheck.Arbitrary, Test.QuickCheck
vectorOf | Test.QuickCheck.Gen, Test.QuickCheck
verbose | Test.QuickCheck.Property, Test.QuickCheck
verboseCheck | Test.QuickCheck.Test, Test.QuickCheck
verboseCheckAll | Test.QuickCheck.All, Test.QuickCheck
verboseCheckResult | Test.QuickCheck.Test, Test.QuickCheck
verboseCheckWith | Test.QuickCheck.Test, Test.QuickCheck
verboseCheckWithResult | Test.QuickCheck.Test, Test.QuickCheck
whenFail | Test.QuickCheck.Property, Test.QuickCheck
whenFail' | Test.QuickCheck.Property, Test.QuickCheck
within | Test.QuickCheck.Property, Test.QuickCheck
withNullTerminal | Test.QuickCheck.Text
withStdioTerminal | Test.QuickCheck.Text
wp | Test.QuickCheck.Monadic