QuickCheck-2.1.0.3: Automatic testing of Haskell programs Source code Contents Index

Test.QuickCheck.Test

Contents Running tests

Synopsis

data Args = Args { replay :: Maybe (StdGen, Int) maxSuccess :: Int maxDiscard :: Int maxSize :: Int } data Result = Success { labels :: [(String, Int)] } | GaveUp { numTests :: Int labels :: [(String, Int)] } | Failure { usedSeed :: StdGen usedSize :: Int reason :: String labels :: [(String, Int)] } | NoExpectedFailure { labels :: [(String, Int)] } 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 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 -> Result -> [Rose (IO Result)] -> IO () localMin :: State -> Result -> [Rose (IO Result)] -> IO () localMinFound :: State -> Result -> IO () callbackPostTest :: State -> Result -> IO () callbackPostFinalFailure :: State -> Result -> IO ()

Running tests

data Args Source

Args specifies arguments to the QuickCheck driver Constructors Args replay :: Maybe (StdGen, Int) should we replay a previous test? maxSuccess :: Int maximum number of successful tests before succeeding maxDiscard :: Int maximum number of discarded tests before giving up maxSize :: Int size to use for the biggest test cases

data Result Source

Result represents the test result Constructors Success labels :: [(String, Int)] labels and frequencies found during all tests GaveUp numTests :: Int number of successful tests performed labels :: [(String, Int)] labels and frequencies found during all tests Failure usedSeed :: StdGen what seed was used usedSize :: Int what was the test size reason :: String what was the reason labels :: [(String, Int)] labels and frequencies found during all tests NoExpectedFailure labels :: [(String, Int)] labels and frequencies found during all tests

isSuccess :: Result -> Bool Source

isSuccess checks if the test run result was a success

stdArgs :: Args Source

stdArgs are the default test arguments used

quickCheck :: Testable prop => prop -> IO () Source

Tests a property and prints the results to stdout.

quickCheckWith :: Testable prop => Args -> prop -> IO () Source

Tests a property, using test arguments, and prints the results to stdout.

quickCheckResult :: Testable prop => prop -> IO Result Source

Tests a property, produces a test result, and prints the results to stdout.

quickCheckWithResult :: Testable prop => Args -> prop -> IO Result Source

Tests a property, using test arguments, produces a test result, and prints the results to stdout.

test :: State -> (StdGen -> Int -> Prop) -> IO Result Source

doneTesting :: State -> (StdGen -> Int -> Prop) -> IO Result Source

giveUp :: State -> (StdGen -> Int -> Prop) -> IO Result Source

runATest :: State -> (StdGen -> Int -> Prop) -> IO Result Source

summary :: State -> [(String, Int)] Source

success :: State -> IO () Source

foundFailure :: State -> Result -> [Rose (IO Result)] -> IO () Source

localMin :: State -> Result -> [Rose (IO Result)] -> IO () Source

localMinFound :: State -> Result -> IO () Source

callbackPostTest :: State -> Result -> IO () Source

callbackPostFinalFailure :: State -> Result -> IO () Source

Produced by Haddock version 2.6.0