 | QuickCheck-2.1.1.1: Automatic testing of Haskell programs | Contents | Index |
|
|
|
|
|
|
Synopsis |
|
|
|
|
Running tests
|
|
data Args |
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
|
|
| Instances | |
|
|
data Result |
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
|
|
| Instances | |
|
|
isSuccess :: Result -> Bool |
isSuccess checks if the test run result was a success
|
|
stdArgs :: Args |
stdArgs are the default test arguments used
|
|
quickCheck :: Testable prop => prop -> IO () |
Tests a property and prints the results to stdout.
|
|
quickCheckWith :: Testable prop => Args -> prop -> IO () |
Tests a property, using test arguments, and prints the results to stdout.
|
|
quickCheckResult :: Testable prop => prop -> IO Result |
Tests a property, produces a test result, and prints the results to stdout.
|
|
quickCheckWithResult :: Testable prop => Args -> prop -> IO Result |
Tests a property, using test arguments, produces a test result, and prints the results to stdout.
|
|
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 () |
|
Produced by Haddock version 2.7.2 |