cardano-ledger-byron-test-1.5.2.0: Test helpers from cardano-ledger exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Options

Synopsis

Documentation

data TestScenario Source #

Constructors

ContinuousIntegration 
Development 
QualityAssurance 

Instances

Instances details
Read TestScenario Source # 
Instance details

Defined in Test.Options

Methods

readsPrec ∷ Int → ReadS TestScenario Source #

readList ∷ ReadS [TestScenario] Source #

readPrec ∷ ReadPrec TestScenario Source #

readListPrec ∷ ReadPrec [TestScenario] Source #

Show TestScenario Source # 
Instance details

Defined in Test.Options

Methods

showsPrec ∷ Int → TestScenario → ShowS Source #

show ∷ TestScenario → String Source #

showList ∷ [TestScenario] → ShowS Source #

IsOption TestScenario Source # 
Instance details

Defined in Test.Options

Methods

defaultValue ∷ TestScenario Source #

parseValue ∷ String → Maybe TestScenario Source #

optionName ∷ Tagged TestScenario String Source #

optionHelp ∷ Tagged TestScenario String Source #

showDefaultValue ∷ TestScenario → Maybe String Source #

optionCLParser ∷ Parser TestScenario Source #

mainWithTestScenario ∷ TestTree → IO () Source #

scenarioScaled ∷ TestLimit → TestScenario → TestLimit Source #

Multiply the default scenario values by a scalar

scenarioScaleDefault ∷ TestScenario → Ratio TestLimit Source #

Return an Int number of tests, using the above-defined defaults

eachOfTS ∷ (Show a, HasCallStack) ⇒ TestLimit → Gen a → (a → PropertyT IO ()) → TestScenario → Property Source #

A modified eachOf which uses the default TestScenario values, multiplied by a scalar

withTestsTS ∷ TestLimit → Property → TestScenario → Property Source #

A modified withTests which uses the default TestScenario values, multiplied by a scalar

type TSProperty = TestScenario → Property Source #

Convenient alias for TestScenario-dependent Propertys

type TSGroup = TestScenario → Group Source #

Convenient alias for TestScenario-dependent Groups

concatGroups ∷ [Group] → Group Source #

concatTSGroups ∷ [TSGroup] → TSGroup Source #

tsGroupToTree ∷ TSGroup → TestTree Source #

data ShouldAssertNF Source #

Constructors

AssertNF 
NoAssertNF 

Instances

Instances details
Show ShouldAssertNF Source # 
Instance details

Defined in Test.Options

Methods

showsPrec ∷ Int → ShouldAssertNF → ShowS Source #

show ∷ ShouldAssertNF → String Source #

showList ∷ [ShouldAssertNF] → ShowS Source #

Eq ShouldAssertNF Source # 
Instance details

Defined in Test.Options

Methods

(==) ∷ ShouldAssertNF → ShouldAssertNF → Bool Source #

(/=) ∷ ShouldAssertNF → ShouldAssertNF → Bool Source #