Test.QuickCheck.State

QuickCheck-2.7.3: Automatic testing of Haskell programs

Safe Haskell | Safe-Inferred
Language | Haskell98

Test.QuickCheck.State

Description

QuickCheck's internal state. Internal QuickCheck module.

Synopsis

- 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

data State

State represents QuickCheck's internal state while testing a property. The state is made visible to callback functions.

Constructors

MkState |
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 how to compute the size of test cases from #tests and #discarded tests numSuccessTests :: Int the current number of tests that have succeeded numDiscardedTests :: Int the current number of discarded tests numRecentlyDiscardedTests :: Int the number of discarded tests since the last successful test collected :: [[(String, Int)]] all labels that have been collected so far expectedFailure :: Bool indicates if the property is expected to fail randomSeed :: QCGen the current random seed numSuccessShrinks :: Int number of successful shrinking steps so far numTryShrinks :: Int number of failed shrinking steps since the last successful shrink numTotTryShrinks :: Int total number of failed shrinking steps