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
abort | Test.QuickCheck.Property
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
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
Blind |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
bold | Test.QuickCheck.Text
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
chatty | Test.QuickCheck.Test, Test.QuickCheck
choose | Test.QuickCheck.Gen, Test.QuickCheck
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
cover | Test.QuickCheck.Property, Test.QuickCheck
discard | Test.QuickCheck
disjoin | Test.QuickCheck.Property, Test.QuickCheck
doneTesting | Test.QuickCheck.Test
elements | Test.QuickCheck.Gen, Test.QuickCheck
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
Fixed |
1 (Type/Class) | Test.QuickCheck.Modifiers, Test.QuickCheck
2 (Data Constructor) | Test.QuickCheck.Modifiers, Test.QuickCheck
forAll | Test.QuickCheck.Property, Test.QuickCheck
forAllM | Test.QuickCheck.Monadic
forAllProperties | Test.QuickCheck.All
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
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
giveUp | Test.QuickCheck.Test
growingElements | Test.QuickCheck.Gen, Test.QuickCheck
handle | Test.QuickCheck.Text
interrupted |
1 (Function) | Test.QuickCheck.Property
2 (Function) | Test.QuickCheck.Test, Test.QuickCheck
IORose | Test.QuickCheck.Property
ioRose | Test.QuickCheck.Property
isOneLine | Test.QuickCheck.Text
isSuccess | Test.QuickCheck.Test
joinRose | Test.QuickCheck.Property
label | Test.QuickCheck.Property, Test.QuickCheck
labels | Test.QuickCheck.Test, 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
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
MkPropertyM | Test.QuickCheck.Monadic
MkResult | Test.QuickCheck.Property
MkRose | Test.QuickCheck.Property
MkState | Test.QuickCheck.State
MkStr | Test.QuickCheck.Text, Test.QuickCheck
monadic | Test.QuickCheck.Monadic
monadic' | Test.QuickCheck.Monadic
monadicIO | Test.QuickCheck.Monadic
monadicST | Test.QuickCheck.Monadic
monitor | Test.QuickCheck.Monadic
mono | Test.QuickCheck.All
morallyDubiousIOProperty | Test.QuickCheck.Property
newTerminal | Test.QuickCheck.Text
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
NotCounterexample | Test.QuickCheck.Property
number | Test.QuickCheck.Text
numDiscardedTests | Test.QuickCheck.State
numRecentlyDiscardedTests | Test.QuickCheck.State
numShrinks | 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
polyVerboseCheck | Test.QuickCheck.All
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, Test.QuickCheck
Prop | Test.QuickCheck.Property, Test.QuickCheck
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
quickCheck | Test.QuickCheck.Test, Test.QuickCheck
quickCheckAll | Test.QuickCheck.All
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, Test.QuickCheck
reason |
1 (Function) | Test.QuickCheck.Property
2 (Function) | Test.QuickCheck.Test, 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
result | Test.QuickCheck.Property
Rose | Test.QuickCheck.Property
run | Test.QuickCheck.Monadic
runATest | Test.QuickCheck.Test
runSTGen | Test.QuickCheck.Monadic
safely | Test.QuickCheck.Test
sample | Test.QuickCheck.Gen, Test.QuickCheck
sample' | 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
shrinkNothing | Test.QuickCheck.Arbitrary, Test.QuickCheck
shrinkRealFrac | Test.QuickCheck.Arbitrary, Test.QuickCheck
ShrinkState | Test.QuickCheck.Modifiers, Test.QuickCheck
shrinkState | Test.QuickCheck.Modifiers, Test.QuickCheck
sized | Test.QuickCheck.Gen, 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 | Test.QuickCheck.Monadic
Str | Test.QuickCheck.Text, 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
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
unPropertyM | Test.QuickCheck.Monadic
usedSeed | Test.QuickCheck.Test, Test.QuickCheck
usedSize | Test.QuickCheck.Test, Test.QuickCheck
variant | Test.QuickCheck.Gen, Test.QuickCheck
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
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