Safe Haskell	None
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

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 #
Show UseColor Source #
Instance details Defined in Hedgehog.Internal.Config Methods showsPrec :: Int -> UseColor -> ShowS # show :: UseColor -> String # showList :: [UseColor] -> ShowS #
Lift UseColor Source #
Instance details Defined in Hedgehog.Internal.Config Methods lift :: UseColor -> Q Exp # liftTyped :: UseColor -> Q (TExp 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

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

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 #
Show Verbosity Source #
Instance details Defined in Hedgehog.Internal.Config Methods showsPrec :: Int -> Verbosity -> ShowS # show :: Verbosity -> String # showList :: [Verbosity] -> ShowS #
Lift Verbosity Source #
Instance details Defined in Hedgehog.Internal.Config Methods lift :: Verbosity -> Q Exp # liftTyped :: Verbosity -> Q (TExp 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] #
Eq WorkerCount Source #
Instance details Defined in Hedgehog.Internal.Config Methods (==) :: WorkerCount -> WorkerCount -> Bool # (/=) :: WorkerCount -> WorkerCount -> Bool #
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 #
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 #
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 #
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 #
Lift WorkerCount Source #
Instance details Defined in Hedgehog.Internal.Config Methods lift :: WorkerCount -> Q Exp # liftTyped :: WorkerCount -> Q (TExp 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 #