| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Ledger.SupportsPeras
Synopsis
- class LedgerStateSupportsPeras (ledgerState ∷ (Type → Type → Type) → Type) where
- getPoolDistr ∷ ledgerState EmptyMK → PoolDistr
- getPerasParams ∷ proxy blk → ledgerState EmptyMK → PerasParams blk
Documentation
class LedgerStateSupportsPeras (ledgerState ∷ (Type → Type → Type) → Type) where Source #
Extract Peras information stored in the ledger state.
Minimal complete definition
Nothing
Methods
getPoolDistr ∷ ledgerState EmptyMK → PoolDistr Source #
Extract the stake distribution from the given ledger state.
PRECONDITION: this function will only return a meaningful result if the ledger state is from a block that supports Peras.
default getPoolDistr ∷ ledgerState EmptyMK → PoolDistr Source #
getPerasParams ∷ proxy blk → ledgerState EmptyMK → PerasParams blk Source #
Extract the Peras parameters from the given ledger state.
TODO: when Peras params go on chain, update this.
default getPerasParams ∷ proxy blk → ledgerState EmptyMK → PerasParams blk Source #