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

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

Show UseColor

Defined in Hedgehog.Internal.Config

Methods

showsPrec :: Int -> UseColor -> ShowS

show :: UseColor -> String

showList :: [UseColor] -> ShowS

Lift UseColor

Defined in Hedgehog.Internal.Config

Methods

lift :: UseColor -> Q Exp

liftTyped :: UseColor -> Q (TExp 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

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

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

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 :: Seed -> Q Exp

liftTyped :: Seed -> Q (TExp 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

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

Show Verbosity

Defined in Hedgehog.Internal.Config

Methods

showsPrec :: Int -> Verbosity -> ShowS

show :: Verbosity -> String

showList :: [Verbosity] -> ShowS

Lift Verbosity

Defined in Hedgehog.Internal.Config

Methods

lift :: Verbosity -> Q Exp

liftTyped :: Verbosity -> Q (TExp 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]

Eq WorkerCount

Defined in Hedgehog.Internal.Config

Methods

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

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

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

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

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

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

Lift WorkerCount

Defined in Hedgehog.Internal.Config

Methods

lift :: WorkerCount -> Q Exp

liftTyped :: WorkerCount -> Q (TExp WorkerCount)

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

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