ValueNotConservedUTxOValidator

scalus.cardano.ledger.rules.ValueNotConservedUTxOValidator

This is Shelley.validateValueNotConservedUTxO

consumed pp utxo txb = produced pp poolParams txb

Both sides are summed and compared exactly, as the ledger's Integer does: a transaction can make a Long sum wrap around to the other side's total. The error reports amounts beyond the Long range as Long.MaxValue or Long.MinValue.

Attributes

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

Members list

Type members

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, tx: Transaction): Result

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