Hedgehog.Internal.Config

Definitions

data UseColor : Type

  Whether to render output using ANSI colors or not.

Totality: total
Visibility: public export
Constructors:

DisableColor : UseColor

EnableColor : UseColor

Hints:

Eq UseColor

Ord UseColor

Show UseColor

data Verbosity : Type

  How verbose should the report output be.

Totality: total
Visibility: public export
Constructors:

Quiet : Verbosity

Normal : Verbosity

Hints:

Eq Verbosity

Ord Verbosity

Show Verbosity

interface HasConfig : (Type -> Type) -> Type

  Defines points of an global configuration for a Hedgehog run

Parameters: m
Constructor: 

MkHasConfig

Methods:

detectColor : m UseColor

detectVerbosity : m Verbosity

Implementation: 

HasIO io => HasConfig io

detectColor : HasConfig m => m UseColor

Totality: total
Visibility: public export

detectVerbosity : HasConfig m => m Verbosity

Totality: total
Visibility: public export

resolveColor : HasConfig m => Applicative m => Maybe UseColor -> m UseColor

Totality: total
Visibility: export

resolveVerbosity : HasConfig m => Applicative m => Maybe Verbosity -> m Verbosity

Totality: total
Visibility: export

DefaultConfig : Applicative m => HasConfig m

  Uses the most conservative configuration
  
  This implementation is applicable for any applicative context,
  including pure ones.

Totality: total
Visibility: export