Test.Cleveland.Internal.Scenario

Documentation

type Scenario m = MonadScenario m => Scenario' m

A convenience type synonym for Scenario` that has MonadScenario constraint baked in.

data Scenario' m where

A type representing a finalized scenario. Usually, when using this type with a polymorphic argument, an additional MonadScenario constraint on the argument is required.

To avoid annotating with MonadScenario everywhere, consider using Scenario instead when possible.

Constructors

ScenarioEmulated :: EmulatedT PureM () -> Scenario' PureM

ScenarioNetwork :: NetworkT ClientM () -> Scenario' ClientM

class MonadFail m => MonadScenario m where

Typeclass for base monads that can implement a scenario.

Methods

scenario :: ClevelandT m () -> Scenario' m

Finalize a generic cleveland scenario.

Instances

MonadScenario ClientM

Defined in Test.Cleveland.Internal.Scenario

Methods

scenario :: ClevelandT ClientM () -> Scenario' ClientM

MonadScenario PureM

Defined in Test.Cleveland.Internal.Scenario

Methods

scenario :: ClevelandT PureM () -> Scenario' PureM

scenarioEmulated :: EmulatedT PureM () -> Scenario' PureM

Finalize a scenario that needs emulator-only features.

scenarioNetwork :: NetworkT ClientM () -> Scenario' ClientM

Finalize a scenario that needs network-only features.

withInitialNow :: Timestamp -> Scenario' PureM -> Scenario' PureM

Use with an emulated Scenario to configure the initial now value in tests.

Example : > testScenarioOnEmulator Testname $ withInitialNow (Timestamp 10000000) $ scenarioEmulated $ tests > testScenarioOnEmulator Testname $ withInitialNow (Timestamp 10000000) $ scenario $ tests

withInitialLevel :: Natural -> Scenario' PureM -> Scenario' PureM

Similar to withInitialNow but for the initial level

withMinBlockTime :: Natural -> Scenario' PureM -> Scenario' PureM

Similar to withInitialNow but for the MINIMAL_BLOCK_DELAY protocol constant.

withChainId :: ChainId -> Scenario' PureM -> Scenario' PureM

Similar to withInitialNow but for the chain id