Hedgehog.Internal.Options

Definitions

data NumTest : Type

Totality: total
Visibility: public export
Constructors:

Relaxed : TestLimit -> NumTest

Forced : TestLimit -> NumTest

record Config : Type

Totality: total
Visibility: public export
Constructor: 

MkConfig : Bool -> Maybe NumTest -> Maybe ShrinkLimit -> Maybe Confidence -> Config

Projections:

.confidence : Config -> Maybe Confidence

.numShrinks : Config -> Maybe ShrinkLimit

.numTests : Config -> Maybe NumTest

.printHelp : Config -> Bool

.printHelp : Config -> Bool

Totality: total
Visibility: public export

printHelp : Config -> Bool

Totality: total
Visibility: public export

.numTests : Config -> Maybe NumTest

Totality: total
Visibility: public export

numTests : Config -> Maybe NumTest

Totality: total
Visibility: public export

.numShrinks : Config -> Maybe ShrinkLimit

Totality: total
Visibility: public export

numShrinks : Config -> Maybe ShrinkLimit

Totality: total
Visibility: public export

.confidence : Config -> Maybe Confidence

Totality: total
Visibility: public export

confidence : Config -> Maybe Confidence

Totality: total
Visibility: public export

init : Config

Totality: total
Visibility: export

info : String

Totality: total
Visibility: export

applyArgs : List String -> Either (List String) Config

Totality: total
Visibility: export

applyConfig : Config -> Group -> Group

Totality: total
Visibility: export