docs
API
Generated with
docs/scalus/scalus.testing/ImmutableEmulator

ImmutableEmulator

scalus.testing.ImmutableEmulator
See theImmutableEmulator companion object
case class ImmutableEmulator(state: State, env: UtxoEnv, slotConfig: SlotConfig = ..., evaluatorMode: EvaluatorMode = ..., validators: Iterable[Validator] = ..., mutators: Iterable[Mutator] = ..., appliedTxLog: Vector[AppliedTx] = ..., appliedTxIndex: Map[TransactionHash, AppliedTx] = ..., datums: Map[DataHash, Data] = ...)

An immutable emulator for Cardano transactions.

Unlike scalus.cardano.node.Emulator, this emulator is fully immutable: every state-changing operation (submit, advanceSlot) returns a new ImmutableEmulator instance, leaving the original unchanged.

This makes it suitable for use in functional state-threading patterns such as the Scenario monad, where branching and backtracking require independent state copies.

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def advanceSlot(n: Long): ImmutableEmulator

Advance the slot by the given number of slots.

Advance the slot by the given number of slots.

Attributes

def asReader: BlockchainReader

Create a read-only scalus.cardano.node.BlockchainReader snapshot.

Create a read-only scalus.cardano.node.BlockchainReader snapshot.

This provides read-only access to the emulator's state without submit capability. Uses ExecutionContext.global to avoid deadlocks when callers use Await.result on the returned futures.

Attributes

def cardanoInfo: CardanoInfo

Current CardanoInfo snapshot.

Current CardanoInfo snapshot.

Attributes

def clearAppliedTxs: ImmutableEmulator

Clear the applied-transaction bookkeeping (log + index), keeping ledger state.

Clear the applied-transaction bookkeeping (log + index), keeping ledger state.

Attributes

def currentSlot: SlotNo

Current slot number.

Current slot number.

Attributes

def findUtxos(query: UtxoQuery): Either[UtxoQueryError, Utxos]

Find UTxOs matching the given query.

Find UTxOs matching the given query.

Attributes

def getAppliedTx(txHash: TransactionHash): Option[AppliedTx]

Look up the full applied-tx record (transaction + slot + spent inputs) by hash.

Look up the full applied-tx record (transaction + slot + spent inputs) by hash.

Attributes

def getDatum(datumHash: DataHash): Option[Data]

Resolve a datum by its hash, or None if unknown.

Resolve a datum by its hash, or None if unknown.

Attributes

def getTransaction(txHash: TransactionHash): Option[Transaction]

Look up a previously applied transaction by hash, or None if it was never applied.

Look up a previously applied transaction by hash, or None if it was never applied.

Attributes

def hasTx(txHash: TransactionHash): Boolean

True if the given transaction has been applied to this emulator.

True if the given transaction has been applied to this emulator.

Attributes

def protocolParams: ProtocolParams

Current protocol parameters.

Current protocol parameters.

Attributes

def setSlot(slot: SlotNo): ImmutableEmulator

Set the slot to a specific value.

Set the slot to a specific value.

Attributes

def submit(tx: Transaction): Either[SubmitError, (TransactionHash, ImmutableEmulator)]

Submit a transaction, returning the transaction hash and a new emulator with updated state.

Submit a transaction, returning the transaction hash and a new emulator with updated state.

The original emulator is not modified.

Attributes

def toEmulator: Emulator

Convert to a mutable scalus.cardano.node.Emulator.

Convert to a mutable scalus.cardano.node.Emulator.

Attributes

def utxos: Utxos

Current UTxO set.

Current UTxO set.

Attributes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with