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
State represents QuickCheck's internal state while testing a property. | The state is made visible to callback functions.
Constructors
Fields
- 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
- 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