QuickCheck-2.9.2: Automatic testing of Haskell programs

Safe Haskell | Safe
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
  - labels :: !(Map String Int)
  - collected :: ![Set String]
  - 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 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 labels :: !(Map String Int) all labels that have been defined so far collected :: ![Set String] 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