root/org.sigilaris/org.sigilaris.core/org.sigilaris.core.application/org.sigilaris.core.application.execution

org.sigilaris.core.application.execution

package org.sigilaris.core.application.execution

Members list

Type members

Classlikes

Facade for executing transactions against a mounted org.sigilaris.core.application.module.runtime.StateModule.

Typical usage previously required threading through StateT.run and EitherT.value, which is verbose and obscures intent. This helper wraps the pattern and offers both Eff and plain F results.

Attributes

Source: StateModuleExecutor.scala
Supertypes: class Object

trait Matchable

class Any
Self type: StateModuleExecutor.type

Witness of a single transaction execution, capturing the resulting state, access log, conflict footprint, result, and emitted events.

Type parameters

Event: the transaction event type
Result: the transaction result type

Value parameters

actualAccessLog: the access log recorded during execution
actualFootprint: the conflict footprint derived from the access log, or an invariant violation error
events: the events emitted during execution
nextTrieState: the Merkle trie state after execution
result: the transaction result

Attributes

Source: TxExecution.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Explicit projection of a transaction execution for receipt/public surfaces.

This intentionally excludes trie state and raw access log witness data.

Type parameters

Event: the transaction event type
Result: the transaction result type

Value parameters

actualFootprint: the derived conflict footprint, or an access-log invariant violation
events: the emitted events
result: the transaction result

Attributes

Source: TxExecution.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

In this article

Generated with