|
|
|
|
|
|
Synopsis |
|
|
|
|
Running tests
|
|
|
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
|
|
|
|
|
|
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 checks if the test run result was a success
|
|
|
stdArgs are the default test arguments used
|
|
|
Tests a property and prints the results to stdout.
|
|
|
Tests a property, using test arguments, and prints the results to stdout.
|
|
|
Tests a property, produces a test result, and prints the results to stdout.
|
|
|
Tests a property, using test arguments, produces a test result, and prints the results to stdout.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.0 |