Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class MonadFail m => MonadScenario m where
- scenario :: ClevelandT m () -> Scenario' m
- data Scenario' m where
- ScenarioEmulated :: EmulatedT PureM () -> Scenario' PureM
- ScenarioNetwork :: NetworkT ClientM () -> Scenario' ClientM
- type Scenario m = MonadScenario m => Scenario' m
- scenarioEmulated :: EmulatedT PureM () -> Scenario' PureM
- scenarioNetwork :: NetworkT ClientM () -> Scenario' ClientM
- withModifiedState :: (PureState -> PureState) -> Scenario' PureM -> Scenario' PureM
- withInitialNow :: Timestamp -> Scenario' PureM -> Scenario' PureM
- withInitialLevel :: Natural -> Scenario' PureM -> Scenario' PureM
- withMinBlockTime :: Natural -> Scenario' PureM -> Scenario' PureM
- withChainId :: ChainId -> Scenario' PureM -> Scenario' PureM
Documentation
class MonadFail m => MonadScenario m where Source #
Typeclass for base monads that can implement a scenario.
scenario :: ClevelandT m () -> Scenario' m Source #
Finalize a generic cleveland scenario.
Instances
MonadScenario ClientM Source # | |
Defined in Test.Cleveland.Internal.Scenario | |
MonadScenario PureM Source # | |
Defined in Test.Cleveland.Internal.Scenario |
data Scenario' m where Source #
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.
ScenarioEmulated :: EmulatedT PureM () -> Scenario' PureM | |
ScenarioNetwork :: NetworkT ClientM () -> Scenario' ClientM |
type Scenario m = MonadScenario m => Scenario' m Source #
A convenience type synonym for Scenario
` that has MonadScenario
constraint baked in.
scenarioEmulated :: EmulatedT PureM () -> Scenario' PureM Source #
Finalize a scenario that needs emulator-only features.
scenarioNetwork :: NetworkT ClientM () -> Scenario' ClientM Source #
Finalize a scenario that needs network-only features.
withInitialLevel :: Natural -> Scenario' PureM -> Scenario' PureM Source #
Similar to withInitialNow
but for the initial level
withMinBlockTime :: Natural -> Scenario' PureM -> Scenario' PureM Source #
Similar to withInitialNow
but for the MINIMAL_BLOCK_DELAY
protocol constant.
withChainId :: ChainId -> Scenario' PureM -> Scenario' PureM Source #
Similar to withInitialNow
but for the chain id