Test.QuickCheck.State

| QuickCheck-2.1.1.1: Automatic testing of Haskell programs | Contents | Index
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
State represents QuickCheck's internal state while testing a property. | The state is made visible to callback functions.
Constructors
MkState |
terminal :: Terminal | the current terminal
maxSuccessTests :: Int | maximum number of successful tests needed
maxDiscardedTests :: Int | maximum number of tests that can be discarded
computeSize :: Int -> Int -> Int | how to compute the size of test cases from discarded tests
numSuccessTests :: Int | the current number of tests that have succeeded
numDiscardedTests :: Int | the current number of discarded tests
collected :: [[(String, Int)]] | all labels that have been collected so far
expectedFailure :: Bool | indicates if the property is expected to fail
randomSeed :: StdGen | the current random seed
isShrinking :: Bool | are we in a shrinking phase?
numSuccessShrinks :: Int | number of successful shrinking steps so far
numTryShrinks :: Int | number of failed shrinking steps since the last successful shrink
Produced by Haddock version 2.7.2