ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Test

2 types
47 values

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