QuickCheck-2.1.1.1: Automatic testing of Haskell programsSource codeContentsIndex
Test.QuickCheck.State
Synopsis
data State = MkState {
terminal :: Terminal
maxSuccessTests :: Int
maxDiscardedTests :: Int
computeSize :: Int -> Int -> Int
numSuccessTests :: Int
numDiscardedTests :: Int
collected :: [[(String, Int)]]
expectedFailure :: Bool
randomSeed :: StdGen
isShrinking :: Bool
numSuccessShrinks :: Int
numTryShrinks :: Int
}
Documentation
data State Source
State represents QuickCheck's internal state while testing a property. | The state is made visible to callback functions.
Constructors
MkState
terminal :: Terminalthe current terminal
maxSuccessTests :: Intmaximum number of successful tests needed
maxDiscardedTests :: Intmaximum number of tests that can be discarded
computeSize :: Int -> Int -> Inthow to compute the size of test cases from discarded tests
numSuccessTests :: Intthe current number of tests that have succeeded
numDiscardedTests :: Intthe current number of discarded tests
collected :: [[(String, Int)]]all labels that have been collected so far
expectedFailure :: Boolindicates if the property is expected to fail
randomSeed :: StdGenthe current random seed
isShrinking :: Boolare we in a shrinking phase?
numSuccessShrinks :: Intnumber of successful shrinking steps so far
numTryShrinks :: Intnumber of failed shrinking steps since the last successful shrink
Produced by Haddock version 2.4.2