Scalus
1.4.0
Generated with
Scalus/scalus/scalus.cardano/scalus.cardano.ledger/scalus.cardano.ledger.rules/CertsMutator

CertsMutator

scalus.cardano.ledger.rules.CertsMutator
object CertsMutator 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

Subtracts the withdrawals from the accounts, then applies the certificates one by one, in the order of the tx, spec [SC-22]. A phase-2-failed tx applies none, spec [SC-3b], [SC-3e].

Subtracts the withdrawals from the accounts, then applies the certificates one by one, in the order of the tx, spec [SC-22]. A phase-2-failed tx applies none, spec [SC-3b], [SC-3e].

Attributes

Definition Classes

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
Generated with