Test.QuickCheck.State

QuickCheck-2.4.1.1: Automatic testing of Haskell programs

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
  - 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 |
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 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 numSuccessShrinks :: Int number of successful shrinking steps so far numTryShrinks :: Int number of failed shrinking steps since the last successful shrink