Scalus
1.5.0
Generated with
Scalus/scalus/scalus.cardano/scalus.cardano.ledger/scalus.cardano.ledger.rules/CardanoMutator

CardanoMutator

scalus.cardano.ledger.rules.CardanoMutator
object CardanoMutator extends Mutator

Attributes

Graph
Supertypes
trait Mutator
trait STS
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

final override type Error = TransactionException

Inherited types

final type Context = Context

Attributes

Inherited from:
STS
final type Event = Transaction

Attributes

Inherited from:
STS
final type Result = Either[Error, Value]

Attributes

Inherited from:
STS
final type State = State

Attributes

Inherited from:
STS
final override type Value = State

Attributes

Inherited from:
Mutator

Value members

Concrete methods

override def transit(context: Context, state: State, event: Event): Result

Attributes

Definition Classes
def transitAll(context: Context, state: State, event: Event): Either[Seq[TransactionException], State]

Every failure of event under the default rules, spec [FL-1]; see STS.Mutator.transitAll.

Every failure of event under the default rules, spec [FL-1]; see STS.Mutator.transitAll.

Attributes

Inherited methods

final override def apply(context: Context, state: State, event: Event): Result

Attributes

Definition Classes
Inherited from:
Mutator
def name: String

Attributes

Inherited from:
STS

Concrete fields

val defaultSTSs: Map[String, STS]
Generated with