Check a property.
Modulehedgehog-1.7Haskell2010
Hedgehog.Internal.Runner
- 1 type
- 9 values
- Packagehedgehog-1.7
- Exports10
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceRunner.hs
Running Individual Properties
3 declarationsCheck a property using a specific size and seed.
Running Groups of Properties
4 declarationsConfiguration for a property test run.
Constructors
RunnerConfigrunnerWorkers :: !Maybe WorkerCountThe number of property tests to run concurrently. Nothing means use one worker per processor.
runnerColor :: !Maybe UseColorWhether to use colored output or not. Nothing means detect from the environment.
runnerSeed :: !Maybe SeedThe seed to use. Nothing means detect from the environment.
runnerVerbosity :: !Maybe VerbosityHow verbose to be in the runner output. Nothing means detect from the environment.
Instances4Eq, Ord, Show, Lift
Eq RunnerConfigDefined in hedgehog-1.7 · Hedgehog.Internal.RunnerOrd RunnerConfigDefined in hedgehog-1.7 · Hedgehog.Internal.RunnerShow RunnerConfigDefined in hedgehog-1.7 · Hedgehog.Internal.RunnerLift RunnerConfigDefined in hedgehog-1.7 · Hedgehog.Internal.Runner
Check a group of properties in parallel.
Warning: although this check function runs tests faster than checkSequential, it should be noted that it may cause problems with properties that are not self-contained. For example, if you have a group of tests which all use the same database table, you may find that they interfere with each other when being run in parallel.
Using Template Haskell for property discovery:
tests :: IO Bool
tests =
checkParallel $$(discover)With manually specified properties:
tests :: IO Bool
tests =
checkParallel $ Group "Test.Example" [
("prop_reverse", prop_reverse)
]Check a group of properties sequentially.
Using Template Haskell for property discovery:
tests :: IO Bool
tests =
checkSequential $$(discover)With manually specified properties:
tests :: IO Bool
tests =
checkSequential $ Group "Test.Example" [
("prop_reverse", prop_reverse)
]Check a group of properties using the specified runner config.