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

TreasuryValueMismatchValidator

scalus.cardano.ledger.rules.TreasuryValueMismatchValidator
object TreasuryValueMismatchValidator 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 = TreasuryValueMismatchException

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 whose currentTreasuryValue differs from env.treasury, spec [SC-7]. Conway LEDGER runs this check only when isValid is true, spec [SC-7e].

Rejects a tx whose currentTreasuryValue differs from env.treasury, spec [SC-7]. Conway LEDGER runs this check only when isValid is true, spec [SC-7e].

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