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

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) # 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 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 #

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 #