ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Test

Synopsis

value allCoverage
value callbackPostFinalFailure
value callbackPostTest
value checkingCoverage
value clamp
value computeSize
value coverageKnownInsufficient
value coverageKnownSufficient
value doneTesting
value failCoverage
value failureReason
value failureSummary
value failureSummaryAndReason
value finishedInsufficientCoverage
value finishedSuccessfully
value formatTestCount
value foundFailure
value giveUp
value insufficientlyCovered
value invnormcdf
value isSuccess
value labelsAndTables
value localMin
value localMin'
value localMinFound
value quickCheck
value quickCheckResult
value quickCheckWith
value quickCheckWithResult
value recheck
value runATest
value showTable
value showTestCount
value stdArgs
value success
value sufficientlyCovered
value test
value timeToCheckCoverage
value tooManyDiscards
value verboseCheck
value verboseCheckResult
value verboseCheckWith
value verboseCheckWithResult
value wilson
value wilsonHigh
value wilsonLow
value withState
data Args
data Result

PackageQuickCheck-2.19.0.0
Exports49
LicenceBSD-3-Clause

valueallCoverage :: State -> [(Maybe String, String, Int, Int, Double)]

valuecallbackPostFinalFailure :: State -> Result -> IO ()

valuecallbackPostTest :: State -> Result -> IO Result

valuecheckingCoverage :: State -> Bool

valueclamp :: Ord a => a -> (a, a) -> a

valuecomputeSize :: State -> Int

valuecoverageKnownInsufficient :: State -> Bool

valuecoverageKnownSufficient :: State -> Bool

valuedoneTesting :: State -> IO Result

valuefailCoverage :: State -> IO Result

valuefailureReason :: State -> Result -> [String]

valuefailureSummary :: State -> Result -> String

valuefailureSummaryAndReason :: State -> Result -> (String, [String])

valuefinishedInsufficientCoverage :: State -> Bool

valuefinishedSuccessfully :: State -> Bool

valueformatTestCount :: Int -> Int -> String

valuefoundFailure

:: State
-> Result
-> [Rose Result]
-> IO (Int, Int, Int, Result)

valuegiveUp :: State -> IO Result

valueinsufficientlyCovered :: Maybe Integer -> Int -> Int -> Double -> Bool

valueinvnormcdf :: Double -> Double

valueisSuccess :: Result -> Bool

valuelabelsAndTables :: State -> ([String], [String])

valuelocalMin :: State -> Result -> [Rose Result] -> IO (Int, Int, Int, Result)

valuelocalMin' :: State -> Result -> [Rose Result] -> IO (Int, Int, Int, Result)

valuelocalMinFound :: State -> Result -> IO (Int, Int, Int, Result)

valuequickCheck :: Testable prop => prop -> IO ()

valuequickCheckResult :: Testable prop => prop -> IO Result

valuequickCheckWith :: Testable prop => Args -> prop -> IO ()

valuequickCheckWithResult :: Testable prop => Args -> prop -> IO Result

valuerecheck :: Testable prop => Result -> prop -> IO ()

valuerunATest :: State -> Property -> IO Result

valueshowTable :: Int -> Maybe String -> Map String Int -> [String]

valueshowTestCount :: State -> String

valuestdArgs :: Args

valuesuccess :: State -> IO ()

valuesufficientlyCovered :: Confidence -> Int -> Int -> Double -> Bool

valuetest :: State -> Property -> IO Result

valuetimeToCheckCoverage :: State -> Bool

valuetooManyDiscards :: State -> Bool

valueverboseCheck :: Testable prop => prop -> IO ()

valueverboseCheckResult :: Testable prop => prop -> IO Result

valueverboseCheckWith :: Testable prop => Args -> prop -> IO ()

valueverboseCheckWithResult :: Testable prop => Args -> prop -> IO Result

valuewilson :: Integer -> Integer -> Double -> Double

valuewilsonHigh :: Integer -> Integer -> Double -> Double

valuewilsonLow :: Integer -> Integer -> Double -> Double

valuewithState :: Args -> (State -> IO a) -> IO a

datadata Args

Constructors

Args
- replay :: Maybe (QCGen, Int)
- maxSuccess :: Int
- maxDiscardRatio :: Int
- maxSize :: Int
- chatty :: Bool
- maxShrinks :: Int

Instances2Read, Show

Read ArgsDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Test
Show ArgsDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Test

datadata Result

Constructors

Success
- numTests :: Int
- numDiscarded :: Int
- labels :: !Map [String] Int
- classes :: !Map String Int
- tables :: !Map String (Map String Int)
- output :: String
GaveUp
- numTests :: Int
- numDiscarded :: Int
- labels :: !Map [String] Int
- classes :: !Map String Int
- tables :: !Map String (Map String Int)
- output :: String
Failure
- numTests :: Int
- numDiscarded :: Int
- numShrinks :: Int
- numShrinkTries :: Int
- numShrinkFinal :: Int
- usedSeed :: QCGen
- usedSize :: Int
- reason :: String
- theException :: Maybe AnException
- output :: String
- failingTestCase :: [String]
- failingLabels :: [String]
- failingClasses :: Set String
- witnesses :: [Witness]
NoExpectedFailure
- numTests :: Int
- numDiscarded :: Int
- labels :: !Map [String] Int
- classes :: !Map String Int
- tables :: !Map String (Map String Int)
- output :: String

Instances1Show

Show ResultDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Test