| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Hedgehog.Internal.Config
Synopsis
- data UseColor
- resolveColor :: MonadIO m => Maybe UseColor -> m UseColor
- data Seed = Seed { }
- resolveSeed :: MonadIO m => Maybe Seed -> m Seed
- data Verbosity
- resolveVerbosity :: MonadIO m => Maybe Verbosity -> m Verbosity
- newtype WorkerCount = WorkerCount Int
- resolveWorkers :: MonadIO m => Maybe WorkerCount -> m WorkerCount
- data Skip
- resolveSkip :: MonadIO m => Maybe Skip -> m Skip
- detectMark :: MonadIO m => m Bool
- detectColor :: MonadIO m => m UseColor
- detectSeed :: MonadIO m => m Seed
- detectVerbosity :: MonadIO m => m Verbosity
- detectWorkers :: MonadIO m => m WorkerCount
- detectSkip :: MonadIO m => m Skip
Documentation
Whether to render output using ANSI colors or not.
Constructors
| DisableColor |
Disable ANSI colors in report output. |
| EnableColor |
Enable ANSI colors in report output. |
Instances
| Eq UseColor Source # | |
| Ord UseColor Source # | |
|
Defined in Hedgehog.Internal.Config |
|
| Show UseColor Source # | |
| Lift UseColor Source # | |
A splittable random number generator.
Instances
| Eq Seed Source # | |
| Ord Seed Source # | |
|
Defined in Hedgehog.Internal.Seed |
|
| Read Seed Source # | |
| Show Seed Source # | |
| RandomGen Seed Source # | |
|
Defined in Hedgehog.Internal.Seed Methods next :: Seed -> ( Int , Seed ) Source # genWord8 :: Seed -> ( Word8 , Seed ) Source # genWord16 :: Seed -> ( Word16 , Seed ) Source # genWord32 :: Seed -> ( Word32 , Seed ) Source # genWord64 :: Seed -> ( Word64 , Seed ) Source # genWord32R :: Word32 -> Seed -> ( Word32 , Seed ) Source # genWord64R :: Word64 -> Seed -> ( Word64 , Seed ) Source # genShortByteString :: Int -> Seed -> ( ShortByteString , Seed ) Source # |
|
| Lift Seed Source # | |
How verbose should the report output be.
Constructors
| Quiet |
Only display the summary of the test run. |
| Normal |
Display each property as it is running, as well as the summary. |
Instances
| Eq Verbosity Source # | |
| Ord Verbosity Source # | |
|
Defined in Hedgehog.Internal.Config Methods compare :: Verbosity -> Verbosity -> Ordering Source # (<) :: Verbosity -> Verbosity -> Bool Source # (<=) :: Verbosity -> Verbosity -> Bool Source # (>) :: Verbosity -> Verbosity -> Bool Source # (>=) :: Verbosity -> Verbosity -> Bool Source # |
|
| Show Verbosity Source # | |
| Lift Verbosity Source # | |
newtype WorkerCount Source #
The number of workers to use when running properties in parallel.
Constructors
| WorkerCount Int |
Instances
resolveWorkers :: MonadIO m => Maybe WorkerCount -> m WorkerCount Source #
Where to start running a property's tests.
Constructors
| SkipNothing |
Don't skip anything. |
| SkipToTest TestCount |
Skip to a specific test number. If it fails, shrink as normal. If it passes, move on to the next test. Coverage checks are disabled. |
| SkipToShrink TestCount ShrinkPath |
Skip to a specific test number and shrink state. If it fails, stop without shrinking further. If it passes, the property will pass without running any more tests. Due to implementation details, all intermediate shrink states - those on the direct path from the original test input to the target state - will be tested too, and their results discarded. |
Instances
| Eq Skip Source # | |
| Ord Skip Source # | |
|
Defined in Hedgehog.Internal.Property |
|
| Show Skip Source # | |
| IsString Skip Source # |
We use this instance to support usage like withSkip "3:aB"
It throws an error if the input is not a valid compressed
|
|
Defined in Hedgehog.Internal.Property Methods fromString :: String -> Skip Source # |
|
| Lift Skip Source # | |
detectMark :: MonadIO m => m Bool Source #
detectColor :: MonadIO m => m UseColor Source #
detectSeed :: MonadIO m => m Seed Source #
detectVerbosity :: MonadIO m => m Verbosity Source #
detectWorkers :: MonadIO m => m WorkerCount Source #
detectSkip :: MonadIO m => m Skip Source #