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

CertsValidator

scalus.cardano.ledger.rules.CertsValidator
object CertsValidator extends Validator

Attributes

Graph
Supertypes
trait Validator
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 = Unit

Attributes

Inherited from:
Validator

Value members

Concrete methods

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

A phase-2-invalid tx skips this check: Conway LEDGER checks withdrawals only when isValid is true, spec [SC-3f].

A phase-2-invalid tx skips this check: Conway LEDGER checks withdrawals only when isValid is true, spec [SC-3f].

Attributes

Definition Classes

Inherited methods

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

Attributes

Definition Classes
Inherited from:
Validator
def name: String

Attributes

Inherited from:
STS
Generated with