Hedgehog.Internal.Config

Documentation

data UseColor

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

Show UseColor

Defined in Hedgehog.Internal.Config

Methods

showsPrec :: Int -> UseColor -> ShowS

show :: UseColor -> String

showList :: [UseColor] -> ShowS

Eq UseColor

Defined in Hedgehog.Internal.Config

Methods

(==) :: UseColor -> UseColor -> Bool

(/=) :: UseColor -> UseColor -> Bool

Ord UseColor

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

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

data Seed

A splittable random number generator.

Constructors

Seed

Fields

• seedValue :: !Word64
• seedGamma :: !Word64

  must be an odd number

Instances

Read Seed

Defined in Hedgehog.Internal.Seed

Methods

readsPrec :: Int -> ReadS Seed

readList :: ReadS [Seed]

readPrec :: ReadPrec Seed

readListPrec :: ReadPrec [Seed]

Show Seed

Defined in Hedgehog.Internal.Seed

Methods

showsPrec :: Int -> Seed -> ShowS

show :: Seed -> String

showList :: [Seed] -> ShowS

Eq Seed

Defined in Hedgehog.Internal.Seed

Methods

(==) :: Seed -> Seed -> Bool

(/=) :: Seed -> Seed -> Bool

Ord Seed

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

Defined in Hedgehog.Internal.Seed

Methods

next :: Seed -> (Int, Seed)

genWord8 :: Seed -> (Word8, Seed)

genWord16 :: Seed -> (Word16, Seed)

genWord32 :: Seed -> (Word32, Seed)

genWord64 :: Seed -> (Word64, Seed)

genWord32R :: Word32 -> Seed -> (Word32, Seed)

genWord64R :: Word64 -> Seed -> (Word64, Seed)

genShortByteString :: Int -> Seed -> (ShortByteString, Seed)

genRange :: Seed -> (Int, Int)

split :: Seed -> (Seed, Seed)

Lift Seed

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

data Verbosity

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

Show Verbosity

Defined in Hedgehog.Internal.Config

Methods

showsPrec :: Int -> Verbosity -> ShowS

show :: Verbosity -> String

showList :: [Verbosity] -> ShowS

Eq Verbosity

Defined in Hedgehog.Internal.Config

Methods

(==) :: Verbosity -> Verbosity -> Bool

(/=) :: Verbosity -> Verbosity -> Bool

Ord Verbosity

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

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

newtype WorkerCount

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

Constructors

WorkerCount Int

Instances

Enum WorkerCount

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

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

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

Defined in Hedgehog.Internal.Config

Methods

toRational :: WorkerCount -> Rational

Show WorkerCount

Defined in Hedgehog.Internal.Config

Methods

showsPrec :: Int -> WorkerCount -> ShowS

show :: WorkerCount -> String

showList :: [WorkerCount] -> ShowS

Eq WorkerCount

Defined in Hedgehog.Internal.Config

Methods

(==) :: WorkerCount -> WorkerCount -> Bool

(/=) :: WorkerCount -> WorkerCount -> Bool

Ord WorkerCount

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

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

data Skip

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

IsString Skip

We use this instance to support usage like

  withSkip "3:aB"

It throws an error if the input is not a valid compressed Skip.

Defined in Hedgehog.Internal.Property

Methods

fromString :: String -> Skip

Show Skip

Defined in Hedgehog.Internal.Property

Methods

showsPrec :: Int -> Skip -> ShowS

show :: Skip -> String

showList :: [Skip] -> ShowS

Eq Skip

Defined in Hedgehog.Internal.Property

Methods

(==) :: Skip -> Skip -> Bool

(/=) :: Skip -> Skip -> Bool

Ord Skip

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

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

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