Hedgehog.Internal.Runner

Runner

data RunnerConfig

Configuration for a property test run.

Constructors

RunnerConfig

Fields

• runnerWorkers :: !(Maybe Int)

  The number of property tests to run concurrently. Nothing means use one worker per processor.

Instances

Eq RunnerConfig

Methods

(==) :: RunnerConfig -> RunnerConfig -> Bool

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

Ord RunnerConfig

Methods

compare :: RunnerConfig -> RunnerConfig -> Ordering

(<) :: RunnerConfig -> RunnerConfig -> Bool

(<=) :: RunnerConfig -> RunnerConfig -> Bool

(>) :: RunnerConfig -> RunnerConfig -> Bool

(>=) :: RunnerConfig -> RunnerConfig -> Bool

max :: RunnerConfig -> RunnerConfig -> RunnerConfig

min :: RunnerConfig -> RunnerConfig -> RunnerConfig

Show RunnerConfig

Methods

showsPrec :: Int -> RunnerConfig -> ShowS

show :: RunnerConfig -> String

showList :: [RunnerConfig] -> ShowS

Lift RunnerConfig

Methods

lift :: RunnerConfig -> Q Exp

check :: MonadIO m => Property -> m Bool

Check a property.

checkGroupWith :: MonadIO m => RunnerConfig -> GroupName -> [(PropertyName, Property)] -> m Bool

Check a group of properties using the specified runner config.

recheck :: MonadIO m => Size -> Seed -> Property -> m ()

Check a property using a specific size and seed.

Internal

checkReport :: forall m. MonadIO m => MonadCatch m => PropertyConfig -> Size -> Seed -> Test m () -> (Report -> m ()) -> m Report

checkConsoleRegion :: MonadIO m => Console.ConsoleRegion -> Maybe PropertyName -> Size -> Seed -> Property -> m Report

checkNamed :: MonadIO m => Console.ConsoleRegion -> Maybe PropertyName -> Property -> m Bool