Module Test.QuickCheckTest

Imports

import Data.List as List
import Test.QuickCheckProperty as P
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.QuickCheckException as QuickCheckException
import Test.QuickCheckGen as QuickCheckGen
import Test.QuickCheckState as QuickCheckState
import Test.QuickCheckText as QuickCheckText
import System.Random as Random
import Java.util.Regex as Regexp

Table of Content

Definitions

data Args

data Result

isSuccess ∷ Result → Bool

stdArgs ∷ Args

quickCheck ∷ Testable prop ⇒ prop → IO ()

quickCheckWith ∷ Testable prop ⇒ Args → prop → IO ()

quickCheckResult ∷ Testable prop ⇒ prop → IO Result

quickCheckWithResult ∷ Testable prop ⇒ Args → prop → IO Result

verboseCheck ∷ Testable prop ⇒ prop → IO ()

verboseCheckWith ∷ Testable prop ⇒ Args → prop → IO ()

verboseCheckResult ∷ Testable prop ⇒ prop → IO Result

verboseCheckWithResult ∷ Testable prop ⇒ Args → prop → IO Result

test ∷ State → (StdGen → Int → Prop) → IO Result

doneTesting ∷ State → (StdGen → Int → Prop) → IO Result

giveUp ∷ State → (StdGen → Int → Prop) → IO Result

runATest ∷ State → (StdGen → Int → Prop) → IO Result

summary ∷ State → [(String, Int)]

success ∷ State → IO ()

foundFailure ∷ State → P.Result → [Rose P.Result] → IO Int

localMin ∷ State → P.Result → [Rose P.Result] → IO Int

localMin' ∷ State → P.Result → [Rose P.Result] → IO Int

localMinFound ∷ State → P.Result → IO Int

callbackPostTest ∷ State → P.Result → IO ()

callbackPostFinalFailure ∷ State → P.Result → IO ()

safely ∷ State → IO () → IO ()
Instances

instance Show Args

instance Show Result

instance Show StdGen
Functions and Values by Type

Definitions

data Args

----------------------------------------------------------------------

Constructors

Args {replay ∷ Maybe (StdGen, Int), maxSuccess ∷ Int, maxDiscardRatio ∷ Int, maxSize ∷ Int, chatty ∷ Bool}

Member Functions

chatty ∷ Args → Bool: whether to print anything
maxDiscardRatio ∷ Args → Int: maximum number of discarded tests per successful test before giving up
maxSize ∷ Args → Int: size to use for the biggest test cases
maxSuccess ∷ Args → Int: maximum number of successful tests before succeeding
replay ∷ Args → Maybe (StdGen, Int): should we replay a previous test?

data Result

Result represents the test result

Constructors

Failure {numTests ∷ Int, numShrinks ∷ Int, usedSeed ∷ StdGen, usedSize ∷ Int, reason ∷ String, interrupted ∷ Bool, labels ∷ [(String, Int)], output ∷ String}
GaveUp {numTests ∷ Int, labels ∷ [(String, Int)], output ∷ String}
NoExpectedFailure {numTests ∷ Int, labels ∷ [(String, Int)], output ∷ String}
Success {numTests ∷ Int, labels ∷ [(String, Int)], output ∷ String}: a successful test run

Member Functions

interrupted ∷ Result → Bool: access field interrupted
labels ∷ Result → [(String, Int)]: labels and frequencies found during all tests
numShrinks ∷ Result → Int: access field numShrinks
numTests ∷ Result → Int: number of successful tests performed
output ∷ Result → String: printed output
reason ∷ Result → String: access field reason
usedSeed ∷ Result → StdGen: access field usedSeed
usedSize ∷ Result → Int: access field usedSize

isSuccess ∷ Result → Bool