Safe Haskell | None |
---|
QuickCheck's internal state. Internal QuickCheck module.
- data State = MkState {
- terminal :: Terminal
- maxSuccessTests :: Int
- maxDiscardedTests :: Int
- computeSize :: Int -> Int -> Int
- numSuccessTests :: Int
- numDiscardedTests :: Int
- numRecentlyDiscardedTests :: Int
- collected :: [[(String, Int)]]
- expectedFailure :: Bool
- randomSeed :: QCGen
- numSuccessShrinks :: Int
- numTryShrinks :: Int
- numTotTryShrinks :: Int
Documentation
State represents QuickCheck's internal state while testing a property. The state is made visible to callback functions.
MkState | |
|