Modulecardano-ledger-shelley-1.19.0.1

Cardano.Ledger.Shelley.API.Forecast

1 type
2 classes
3 values

Packagecardano-ledger-shelley-1.19.0.1
Exports6
LicenceApache-2.0

valuecurrentForecast

:: EraForecast era
=> NewEpochState era
-> Forecast Current era

valueforecastChainChecks

:: EraForecast era
=> Forecast t era
-> ChainChecksPParams

valuefutureForecast

:: EraForecast era
=> Globals
-> SlotNo
-> NewEpochState era
-> Forecast Future era

class

class (STS (EraRule "TICKF" era), BaseM (EraRule "TICKF" era) ~ ShelleyBase, Environment (EraRule "TICKF" era) ~ (), State (EraRule "TICKF" era) ~ NewEpochState era, Signal (EraRule "TICKF" era) ~ SlotNo, PredicateFailure (EraRule "TICKF" era) ~ Void, EraGov era, EraCertState era) => EraForecast era where

Associated types

type family Forecast (t :: Timeline) era

Methods

mkForecast :: NewEpochState era -> Forecast t era
poolDistrForecastL :: Lens' (Forecast t era) PoolDistr
maxBlockHeaderSizeForecastL :: Lens' (Forecast t era) Word16
maxBlockBodySizeForecastL :: Lens' (Forecast t era) Word32
protocolVersionForecastL :: Lens' (Forecast t era) ProtVer

Instances1EraForecast

EraForecast ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Forecast · orphan

classclass (EraForecast era, AtMostEra "Alonzo" era) => ShelleyEraForecast era where

Methods

genDelegsForecastL :: Lens' (Forecast t era) GenDelegs
decentralizationForecastL :: Lens' (Forecast t era) UnitInterval
extraEntropyForecastL :: Lens' (Forecast t era) Nonce

Instances1ShelleyEraForecast

ShelleyEraForecast ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Forecast · orphan

datadata Timeline

Current Future