Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
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
- labels :: !(Map String Int)
- collected :: ![Set String]
- 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 | |
|