HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulehedgehog-1.7Haskell2010

Hedgehog.Internal.Config

  • 5 types
  • 11 values
  • Packagehedgehog-1.7
  • Exports16
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceConfig.hs
datadata UseColor
#

Whether to render output using ANSI colors or not.

Constructors

Instances4Eq, Ord, Show, Lift
  • Eq UseColorDefined in hedgehog-1.7 · Hedgehog.Internal.Config
  • Ord UseColorDefined in hedgehog-1.7 · Hedgehog.Internal.Config
  • Show UseColorDefined in hedgehog-1.7 · Hedgehog.Internal.Config
  • Lift UseColorDefined in hedgehog-1.7 · Hedgehog.Internal.Config
datadata Seed
#

A splittable random number generator.

Constructors

Instances6Eq, Ord, Read, Show, RandomGen, Lift
  • Eq SeedDefined in hedgehog-1.7 · Hedgehog.Internal.Seed
  • Ord SeedDefined in hedgehog-1.7 · Hedgehog.Internal.Seed
  • Read SeedDefined in hedgehog-1.7 · Hedgehog.Internal.Seed
  • Show SeedDefined in hedgehog-1.7 · Hedgehog.Internal.Seed
  • RandomGen SeedDefined in hedgehog-1.7 · Hedgehog.Internal.Seed
  • Lift SeedDefined in hedgehog-1.7 · Hedgehog.Internal.Seed
datadata 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.

Instances4Eq, Ord, Show, Lift
  • Eq VerbosityDefined in hedgehog-1.7 · Hedgehog.Internal.Config
  • Ord VerbosityDefined in hedgehog-1.7 · Hedgehog.Internal.Config
  • Show VerbosityDefined in hedgehog-1.7 · Hedgehog.Internal.Config
  • Lift VerbosityDefined in hedgehog-1.7 · Hedgehog.Internal.Config
newtypenewtype WorkerCount
#

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

Constructors

Instances8Enum, Eq, Integral, Num, Ord, Real, …
datadata 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.

Instances5Eq, Ord, Show, IsString, Lift
  • Eq SkipDefined in hedgehog-1.7 · Hedgehog.Internal.Property
  • Ord SkipDefined in hedgehog-1.7 · Hedgehog.Internal.Property
  • Show SkipDefined in hedgehog-1.7 · Hedgehog.Internal.Property
  • IsString SkipDefined in hedgehog-1.7 · Hedgehog.Internal.Property

    We use this instance to support usage like

      withSkip "3:aB"

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

  • Lift SkipDefined in hedgehog-1.7 · Hedgehog.Internal.Property