QuickCheck-2.1.0.2: Automatic testing of Haskell programsContentsIndex
Search:
.&.
:->
==>
><
A
1 (Type/Class)
2 (Data Constructor)
apply
Arbitrary
arbitrary
arbitraryBoundedIntegral
arbitraryBoundedRandom
arbitrarySizedFractional
arbitrarySizedIntegral
Args
1 (Type/Class)
2 (Data Constructor)
assert
B
1 (Type/Class)
2 (Data Constructor)
bin
bind'
Blind
1 (Type/Class)
2 (Data Constructor)
bold
C
1 (Type/Class)
2 (Data Constructor)
Callback
callback
callbackPostFinalFailure
callbackPostTest
callbacks
choose
classify
CoArbitrary
coarbitrary
coarbitraryIntegral
coarbitraryReal
coarbitraryShow
collect
collected
computeSize
cover
doneTesting
elements
exception
expect
expectedFailure
expectFailure
failed
Failure
Fixed
1 (Type/Class)
2 (Data Constructor)
forAll
forAllM
forAllShrink
foundFailure
frequency
Fun
1 (Type/Class)
2 (Data Constructor)
FunArbitrary
funArbitrary
funArbitraryMap
funArbitraryShow
GaveUp
Gen
giveUp
growingElements
IdM
isShrinking
isSuccess
join
label
labels
liftBool
liftIOResult
liftResult
liftRoseIOResult
listOf
listOf1
localMin
mapIOResult
mapProp
mapResult
mapRoseIOResult
mapSize
maxDiscard
maxDiscardedTests
maxSize
maxSuccess
maxSuccessTests
MkGen
MkIdM
MkMonadS
MkProp
MkPropertyM
MkResult
MkRose
MkState
MkStr
monadic
monadicIO
MonadS
MonadS'
monitor
newTerminal
NoExpectedFailure
NonEmpty
NonEmptyList
NonNegative
1 (Type/Class)
2 (Data Constructor)
NonZero
1 (Type/Class)
2 (Data Constructor)
number
numDiscardedTests
numSuccessShrinks
numSuccessTests
numTests
numTryShrinks
ok
oneof
OrdA
1 (Type/Class)
2 (Data Constructor)
OrdB
1 (Type/Class)
2 (Data Constructor)
OrdC
1 (Type/Class)
2 (Data Constructor)
Ordered
OrderedList
orderedList
pick
Positive
1 (Type/Class)
2 (Data Constructor)
PostFinalFailure
PostTest
pre
promote
Prop
Property
property
PropertyM
putLine
putPart
putTemp
quickCheck
quickCheckResult
quickCheckWith
quickCheckWithResult
randomSeed
ranges
reason
1 (Function)
2 (Function)
rejected
replay
resize
Result
1 (Type/Class)
2 (Type/Class)
result
ret
return'
Rose
run
1 (Function)
2 (Function)
runATest
sample
sample'
short
showErr
shrink
Shrink2
1 (Type/Class)
2 (Data Constructor)
Shrinking
1 (Type/Class)
2 (Data Constructor)
shrinking
shrinkInit
shrinkIntegral
shrinkList
shrinkNothing
shrinkRealFrac
ShrinkState
shrinkState
sized
Smart
1 (Type/Class)
2 (Data Constructor)
stamp
State
stdArgs
Str
succeeded
Success
success
suchThat
suchThatMaybe
summary
Terminal
terminal
test
Testable
unA
unB
unC
unGen
unIdM
unOrdA
unOrdB
unOrdC
unProp
unPropertyM
usedSeed
usedSize
variant
vector
vectorOf
whenFail
whenFail'
within
wp