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

WithdrawalsDelegatedValidator

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

Attributes

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

Members list

Type members

Types

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

Rejects a tx that withdraws from a key-hash account with no DRep delegation, spec [SC-23].

Rejects a tx that withdraws from a key-hash account with no DRep delegation, spec [SC-23].

A validator sees the state before the tx's certificates, as Haskell does, so a vote delegation in the same tx does not count. Script-hash accounts are exempt. Conway LEDGER skips the check in the bootstrap phase (protocol version 9) and when isValid is false.

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