Module Test.QuickCheckState

Imports

import frege.Prelude as Prelude
import Prelude.PreludeArrays as PreludeArrays
import Prelude.PreludeBase as PreludeBase
import Prelude.PreludeDecimal as PreludeDecimal
import Prelude.PreludeIO as PreludeIO
import Prelude.PreludeList as PreludeList
import Prelude.PreludeMonad as PreludeMonad
import Prelude.PreludeText as PreludeText
import Test.QuickCheckText as QuickCheckText
import System.Random as Random
import Java.util.Regex as Regexp

Definitions

data State

Constructors

MkState {terminal ∷ Terminal, maxSuccessTests ∷ Int, maxDiscardedTests ∷ Int, computeSize ∷ Int → Int → Int, numSuccessTests ∷ Int, numDiscardedTests ∷ Int, numRecentlyDiscardedTests ∷ Int, collected ∷ [[(String, Int)]], expectedFailure ∷ Bool, randomSeed ∷ StdGen, numSuccessShrinks ∷ Int, numTryShrinks ∷ Int, numTotTryShrinks ∷ Int}

Member Functions

collected ∷ State → [[(String, Int)]]: access field collected
computeSize ∷ State → Int → Int → Int: access field computeSize
expectedFailure ∷ State → Bool: access field expectedFailure
maxDiscardedTests ∷ State → Int: access field maxDiscardedTests
maxSuccessTests ∷ State → Int: access field maxSuccessTests
numDiscardedTests ∷ State → Int: access field numDiscardedTests
numRecentlyDiscardedTests ∷ State → Int: access field numRecentlyDiscardedTests
numSuccessShrinks ∷ State → Int: access field numSuccessShrinks
numSuccessTests ∷ State → Int: access field numSuccessTests
numTotTryShrinks ∷ State → Int: access field numTotTryShrinks
numTryShrinks ∷ State → Int: access field numTryShrinks
randomSeed ∷ State → StdGen: access field randomSeed
terminal ∷ State → Terminal: access field terminal

Functions and Values by Type

State → (-> Int (Int→Int)→Int→Int→Int) → State: State.chg$computeSize
State → ([[(String, Int)]]→[[(String, Int)]]) → State: State.chg$collected
State → (Bool→Bool) → State: State.chg$expectedFailure
State → (Int→Int→Int) → State: State.upd$computeSize
State → (Int→Int) → State: State.chg$numTryShrinks, State.chg$numSuccessTests, State.chg$numTotTryShrinks, State.chg$numRecentlyDiscardedTests, State.chg$maxSuccessTests, State.chg$maxDiscardedTests, State.chg$numDiscardedTests, State.chg$numSuccessShrinks
State → (StdGen→StdGen) → State: State.chg$randomSeed
State → (Terminal→Terminal) → State: State.chg$terminal
State → [[(String, Int)]] → State: State.upd$collected
State → Bool → State: State.upd$expectedFailure
State → Int → Int → Int: State.computeSize
State → Int → State: State.upd$numTryShrinks, State.upd$numSuccessTests, State.upd$numRecentlyDiscardedTests, State.upd$numSuccessShrinks, State.upd$numTotTryShrinks, State.upd$maxSuccessTests, State.upd$maxDiscardedTests, State.upd$numDiscardedTests
State → StdGen → State: State.upd$randomSeed
State → Terminal → State: State.upd$terminal
State → [[(String, Int)]]: State.collected
State → Bool: State.expectedFailure
State → Int: State.numTotTryShrinks, State.numSuccessShrinks, State.numSuccessTests, State.numDiscardedTests, State.maxDiscardedTests, State.maxSuccessTests, State.numRecentlyDiscardedTests, State.numTryShrinks
State → StdGen: State.randomSeed
State → Terminal: State.terminal
Terminal → Int → Int → (Int → Int → Int) → Int → Int → Int → [[(String, Int)]] → Bool → StdGen → Int → Int → Int → State: State.MkState
𝖆 → Bool: State.has$randomSeed, State.has$numTotTryShrinks, State.has$numTryShrinks, State.has$numSuccessShrinks, State.has$numDiscardedTests, State.has$numRecentlyDiscardedTests, State.has$numSuccessTests, State.has$terminal, State.has$maxDiscardedTests, State.has$expectedFailure, State.has$collected, State.has$computeSize, State.has$maxSuccessTests