scalus.testing.Scenario
See theScenario companion object
A non-deterministic, state-threading monad for testing Cardano transaction scenarios.
Scenario is a sealed ADT:
- Scenario.Done — terminal value with state
- Scenario.Leaf — state-dependent continuation
- Scenario.Branches — non-deterministic branching (independent states per branch)
- Scenario.WaitFuture — async suspension
- Scenario.ScenarioError — error
- Scenario.FromStream — already-evaluated stream (from fsplit/msplit)
Use async[Scenario] (from dotty-cps-async) for imperative-looking syntax.
Type parameters
- A
-
the result type
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class Branches[A]class Done[A]class FromStream[A]class Leaf[A]class ScenarioError[A]class WaitFuture[A]
In this article