Safe Haskell	Safe-Inferred
Language	Haskell2010

Hedgehog.Internal.Config

Synopsis

data UseColor
- = DisableColor
- | EnableColor
resolveColor :: MonadIO m => Maybe UseColor -> m UseColor
data Seed = Seed {
- seedValue :: !Word64
- seedGamma :: !Word64
}
resolveSeed :: MonadIO m => Maybe Seed -> m Seed
data Verbosity
- = Quiet
- | Normal
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

data UseColor Source #

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

Instances details

Show UseColor Source #
Instance details Defined in Hedgehog.Internal.Config Methods showsPrec :: Int -> UseColor -> ShowS # show :: UseColor -> String # showList :: [UseColor] -> ShowS #
Eq UseColor Source #
Instance details Defined in Hedgehog.Internal.Config Methods (==) :: UseColor -> UseColor -> Bool # (/=) :: UseColor -> UseColor -> Bool #
Ord UseColor Source #
Instance details Defined in Hedgehog.Internal.Config Methods compare :: UseColor -> UseColor -> Ordering # (<) :: UseColor -> UseColor -> Bool # (<=) :: UseColor -> UseColor -> Bool # (>) :: UseColor -> UseColor -> Bool # (>=) :: UseColor -> UseColor -> Bool # max :: UseColor -> UseColor -> UseColor # min :: UseColor -> UseColor -> UseColor #
Lift UseColor Source #
Instance details Defined in Hedgehog.Internal.Config Methods lift :: Quote m => UseColor -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => UseColor -> Code m UseColor #

resolveColor :: MonadIO m => Maybe UseColor -> m UseColor Source #

data Seed Source #

A splittable random number generator.

Constructors

Seed
Fields seedValue :: !Word64 seedGamma :: !Word64 must be an odd number

Instances

Instances details

Read Seed Source #
Instance details Defined in Hedgehog.Internal.Seed Methods readsPrec :: Int -> ReadS Seed # readList :: ReadS [Seed] # readPrec :: ReadPrec Seed # readListPrec :: ReadPrec [Seed] #
Show Seed Source #
Instance details Defined in Hedgehog.Internal.Seed Methods showsPrec :: Int -> Seed -> ShowS # show :: Seed -> String # showList :: [Seed] -> ShowS #
Eq Seed Source #
Instance details Defined in Hedgehog.Internal.Seed Methods (==) :: Seed -> Seed -> Bool # (/=) :: Seed -> Seed -> Bool #
Ord Seed Source #
Instance details Defined in Hedgehog.Internal.Seed Methods compare :: Seed -> Seed -> Ordering # (<) :: Seed -> Seed -> Bool # (<=) :: Seed -> Seed -> Bool # (>) :: Seed -> Seed -> Bool # (>=) :: Seed -> Seed -> Bool # max :: Seed -> Seed -> Seed # min :: Seed -> Seed -> Seed #
RandomGen Seed Source #
Instance details 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 # genRange :: Seed -> (Int, Int) Source # split :: Seed -> (Seed, Seed) Source #
Lift Seed Source #
Instance details Defined in Hedgehog.Internal.Seed Methods lift :: Quote m => Seed -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Seed -> Code m Seed #

resolveSeed :: MonadIO m => Maybe Seed -> m Seed Source #

data Verbosity 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

Instances details

Show Verbosity Source #
Instance details Defined in Hedgehog.Internal.Config Methods showsPrec :: Int -> Verbosity -> ShowS # show :: Verbosity -> String # showList :: [Verbosity] -> ShowS #
Eq Verbosity Source #
Instance details Defined in Hedgehog.Internal.Config Methods (==) :: Verbosity -> Verbosity -> Bool # (/=) :: Verbosity -> Verbosity -> Bool #
Ord Verbosity Source #
Instance details Defined in Hedgehog.Internal.Config Methods compare :: Verbosity -> Verbosity -> Ordering # (<) :: Verbosity -> Verbosity -> Bool # (<=) :: Verbosity -> Verbosity -> Bool # (>) :: Verbosity -> Verbosity -> Bool # (>=) :: Verbosity -> Verbosity -> Bool # max :: Verbosity -> Verbosity -> Verbosity # min :: Verbosity -> Verbosity -> Verbosity #
Lift Verbosity Source #
Instance details Defined in Hedgehog.Internal.Config Methods lift :: Quote m => Verbosity -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Verbosity -> Code m Verbosity #

resolveVerbosity :: MonadIO m => Maybe Verbosity -> m Verbosity Source #

newtype WorkerCount Source #

The number of workers to use when running properties in parallel.

Constructors

WorkerCount Int

Instances

Instances details

Enum WorkerCount Source #
Instance details Defined in Hedgehog.Internal.Config Methods succ :: WorkerCount -> WorkerCount # pred :: WorkerCount -> WorkerCount # toEnum :: Int -> WorkerCount # fromEnum :: WorkerCount -> Int # enumFrom :: WorkerCount -> [WorkerCount] # enumFromThen :: WorkerCount -> WorkerCount -> [WorkerCount] # enumFromTo :: WorkerCount -> WorkerCount -> [WorkerCount] # enumFromThenTo :: WorkerCount -> WorkerCount -> WorkerCount -> [WorkerCount] #
Num WorkerCount Source #
Instance details Defined in Hedgehog.Internal.Config Methods (+) :: WorkerCount -> WorkerCount -> WorkerCount # (-) :: WorkerCount -> WorkerCount -> WorkerCount # (*) :: WorkerCount -> WorkerCount -> WorkerCount # negate :: WorkerCount -> WorkerCount # abs :: WorkerCount -> WorkerCount # signum :: WorkerCount -> WorkerCount # fromInteger :: Integer -> WorkerCount #
Integral WorkerCount Source #
Instance details Defined in Hedgehog.Internal.Config Methods quot :: WorkerCount -> WorkerCount -> WorkerCount # rem :: WorkerCount -> WorkerCount -> WorkerCount # div :: WorkerCount -> WorkerCount -> WorkerCount # mod :: WorkerCount -> WorkerCount -> WorkerCount # quotRem :: WorkerCount -> WorkerCount -> (WorkerCount, WorkerCount) # divMod :: WorkerCount -> WorkerCount -> (WorkerCount, WorkerCount) # toInteger :: WorkerCount -> Integer #
Real WorkerCount Source #
Instance details Defined in Hedgehog.Internal.Config Methods toRational :: WorkerCount -> Rational #
Show WorkerCount Source #
Instance details Defined in Hedgehog.Internal.Config Methods showsPrec :: Int -> WorkerCount -> ShowS # show :: WorkerCount -> String # showList :: [WorkerCount] -> ShowS #
Eq WorkerCount Source #
Instance details Defined in Hedgehog.Internal.Config Methods (==) :: WorkerCount -> WorkerCount -> Bool # (/=) :: WorkerCount -> WorkerCount -> Bool #
Ord WorkerCount Source #
Instance details Defined in Hedgehog.Internal.Config Methods compare :: WorkerCount -> WorkerCount -> Ordering # (<) :: WorkerCount -> WorkerCount -> Bool # (<=) :: WorkerCount -> WorkerCount -> Bool # (>) :: WorkerCount -> WorkerCount -> Bool # (>=) :: WorkerCount -> WorkerCount -> Bool # max :: WorkerCount -> WorkerCount -> WorkerCount # min :: WorkerCount -> WorkerCount -> WorkerCount #
Lift WorkerCount Source #
Instance details Defined in Hedgehog.Internal.Config Methods lift :: Quote m => WorkerCount -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => WorkerCount -> Code m WorkerCount #

resolveWorkers :: MonadIO m => Maybe WorkerCount -> m WorkerCount Source #

data Skip Source #

Where to start running a property's tests.

Constructors

SkipNothing

Don't skip anything.

SkipToTest TestCount DiscardCount

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.

We also need to count discards, since failing "after 7 tests" points at a different generated value than failing "after 7 tests and 5 discards".

SkipToShrink TestCount DiscardCount 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

Instances details

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 `Skip`.
Instance details Defined in Hedgehog.Internal.Property Methods fromString :: String -> Skip #
Show Skip Source #
Instance details Defined in Hedgehog.Internal.Property Methods showsPrec :: Int -> Skip -> ShowS # show :: Skip -> String # showList :: [Skip] -> ShowS #
Eq Skip Source #
Instance details Defined in Hedgehog.Internal.Property Methods (==) :: Skip -> Skip -> Bool # (/=) :: Skip -> Skip -> Bool #
Ord Skip Source #
Instance details Defined in Hedgehog.Internal.Property Methods compare :: Skip -> Skip -> Ordering # (<) :: Skip -> Skip -> Bool # (<=) :: Skip -> Skip -> Bool # (>) :: Skip -> Skip -> Bool # (>=) :: Skip -> Skip -> Bool # max :: Skip -> Skip -> Skip # min :: Skip -> Skip -> Skip #
Lift Skip Source #
Instance details Defined in Hedgehog.Internal.Property Methods lift :: Quote m => Skip -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Skip -> Code m Skip #

resolveSkip :: MonadIO m => Maybe Skip -> m 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 #