AccountState

scalus.cardano.ledger.epoch.AccountState
See theAccountState companion object
case class AccountState(treasury: Coin, reserves: Coin)

The two pots of ADA outside the UTxO set and the accounts, the ledger's ChainAccountState: the treasury and the reserves, ledger-rules spec [DM-9].

The ledger reads the treasury of the last epoch boundary in LEDGER, so a tx's currentTreasuryValue must equal it; the Emulator keeps UtxoEnv.treasury equal to it, spec [DM-13]. The reserves fund the rewards of phase 4.

Value parameters

reserves

the reserves, casReserves

treasury

the treasury, casTreasury

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product