Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Dijkstra.Forecast

Contents

Orphan instances

Synopsis

data DijkstraForecast (t ∷ Timeline) era = DijkstraForecast {
- dfPoolDistr ∷ !PoolDistr
- dfMaxBlockHeaderSize ∷ !Word16
- dfMaxBlockBodySize ∷ !Word32
- dfProtocolVersion ∷ !ProtVer
- dfLeiosCommittee ∷ !LeiosCommittee
- dfLeiosCommitteeSize ∷ !Word16
- dfLeiosQuorumStakeThreshold ∷ !UnitInterval
- dfLeiosAnnouncementPeriodLength ∷ !Milliseconds32
- dfLeiosVotePeriodLength ∷ !Milliseconds32
- dfLeiosDiffusionPeriodLength ∷ !Milliseconds32
- dfMaxEndorserBlockReferencesSize ∷ !Word32
- dfMaxEndorserBlockTxsSize ∷ !Word32
- dfMaxEndorserBlockExUnits ∷ !OrdExUnits
- dfMaxRefScriptSizePerEndorserBlock ∷ !Word32
- dfPerasMinCandidateBlockAge ∷ !SlotInterval
- dfPerasHealingFactor ∷ !PositiveInterval
- dfPerasCertBoost ∷ !Word16
- dfPerasTargetCommitteeSize ∷ !Word16
- dfPerasBootstrapRound ∷ !(StrictMaybe Word32)
- dfPerasQuorumThresholdSafetyMargin ∷ !UnitInterval
}
class EraForecast era ⇒ DijkstraEraForecast era where
- leiosCommitteeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) LeiosCommittee
- leiosCommitteeSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Word16
- leiosQuorumStakeThresholdForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) UnitInterval
- leiosAnnouncementPeriodLengthForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Milliseconds32
- leiosVotePeriodLengthForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Milliseconds32
- leiosDiffusionPeriodLengthForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Milliseconds32
- maxEndorserBlockReferencesSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Word32
- maxEndorserBlockTxsSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Word32
- maxEndorserBlockExUnitsForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) OrdExUnits
- maxRefScriptSizePerEndorserBlockForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Word32
- perasMinCandidateBlockAgeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) SlotInterval
- perasHealingFactorForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) PositiveInterval
- perasCertBoostForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Word16
- perasTargetCommitteeSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Word16
- perasBootstrapRoundForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) (StrictMaybe Word32)
- perasQuorumThresholdSafetyMarginForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) UnitInterval

Documentation

data DijkstraForecast (t ∷ Timeline) era Source #

Forecast data for Dijkstra era onward.

This includes: * Praos fields * Leios protocol parameters and the epoch's voting committee * Peras protocol parameters

NOTE: The Leios fields are fixed at an epoch boundary. The committee is seated on the stake snapshot by the SNAP rule, the rest are protocol parameters. They are forecastable for the same reason the Praos fields are.

Constructors

DijkstraForecast

Fields

dfPoolDistr ∷ !PoolDistr
dfMaxBlockHeaderSize ∷ !Word16
dfMaxBlockBodySize ∷ !Word32
dfProtocolVersion ∷ !ProtVer
dfLeiosCommittee ∷ !LeiosCommittee
dfLeiosCommitteeSize ∷ !Word16
dfLeiosQuorumStakeThreshold ∷ !UnitInterval
dfLeiosAnnouncementPeriodLength ∷ !Milliseconds32
dfLeiosVotePeriodLength ∷ !Milliseconds32
dfLeiosDiffusionPeriodLength ∷ !Milliseconds32
dfMaxEndorserBlockReferencesSize ∷ !Word32
dfMaxEndorserBlockTxsSize ∷ !Word32
dfMaxEndorserBlockExUnits ∷ !OrdExUnits
dfMaxRefScriptSizePerEndorserBlock ∷ !Word32
dfPerasMinCandidateBlockAge ∷ !SlotInterval
dfPerasHealingFactor ∷ !PositiveInterval
dfPerasCertBoost ∷ !Word16
dfPerasTargetCommitteeSize ∷ !Word16
dfPerasBootstrapRound ∷ !(StrictMaybe Word32)
dfPerasQuorumThresholdSafetyMargin ∷ !UnitInterval

Instances

Instances details

NFData (DijkstraForecast t era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Forecast

Methods

rnf ∷ DijkstraForecast t era → () #

Generic (DijkstraForecast t era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Forecast

Associated Types

type Rep (DijkstraForecast t era)

Instance details

Defined in Cardano.Ledger.Dijkstra.Forecast

Methods

from ∷ DijkstraForecast t era → Rep (DijkstraForecast t era) x #

to ∷ Rep (DijkstraForecast t era) x → DijkstraForecast t era #

Show (DijkstraForecast t era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Forecast

Methods

showsPrec ∷ Int → DijkstraForecast t era → ShowS #

show ∷ DijkstraForecast t era → String #

showList ∷ [DijkstraForecast t era] → ShowS #

Eq (DijkstraForecast t era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Forecast

Methods

(==) ∷ DijkstraForecast t era → DijkstraForecast t era → Bool #

(/=) ∷ DijkstraForecast t era → DijkstraForecast t era → Bool #

NoThunks (DijkstraForecast t era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Forecast

Methods

noThunks ∷ Context → DijkstraForecast t era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraForecast t era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (DijkstraForecast t era) → String Source #

type Rep (DijkstraForecast t era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Forecast

class EraForecast era ⇒ DijkstraEraForecast era where Source #

Additional forecast fields available only in Leios eras.

Methods

leiosCommitteeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) LeiosCommittee Source #

leiosCommitteeSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Word16 Source #

leiosQuorumStakeThresholdForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) UnitInterval Source #

leiosAnnouncementPeriodLengthForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Milliseconds32 Source #

leiosVotePeriodLengthForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Milliseconds32 Source #

leiosDiffusionPeriodLengthForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Milliseconds32 Source #

maxEndorserBlockReferencesSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Word32 Source #

maxEndorserBlockTxsSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Word32 Source #

maxEndorserBlockExUnitsForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) OrdExUnits Source #

maxRefScriptSizePerEndorserBlockForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Word32 Source #

perasMinCandidateBlockAgeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) SlotInterval Source #

perasHealingFactorForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) PositiveInterval Source #

perasCertBoostForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Word16 Source #

perasTargetCommitteeSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) Word16 Source #

perasBootstrapRoundForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) (StrictMaybe Word32) Source #

perasQuorumThresholdSafetyMarginForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t era) UnitInterval Source #

Instances

Instances details

DijkstraEraForecast DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Forecast

Methods

leiosCommitteeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) LeiosCommittee Source #

leiosCommitteeSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Word16 Source #

leiosQuorumStakeThresholdForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) UnitInterval Source #

leiosAnnouncementPeriodLengthForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Milliseconds32 Source #

leiosVotePeriodLengthForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Milliseconds32 Source #

leiosDiffusionPeriodLengthForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Milliseconds32 Source #

maxEndorserBlockReferencesSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Word32 Source #

maxEndorserBlockTxsSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Word32 Source #

maxEndorserBlockExUnitsForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) OrdExUnits Source #

maxRefScriptSizePerEndorserBlockForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Word32 Source #

perasMinCandidateBlockAgeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) SlotInterval Source #

perasHealingFactorForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) PositiveInterval Source #

perasCertBoostForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Word16 Source #

perasTargetCommitteeSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Word16 Source #

perasBootstrapRoundForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) (StrictMaybe Word32) Source #

perasQuorumThresholdSafetyMarginForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) UnitInterval Source #

Orphan instances

EraForecast DijkstraEra Source #

Instance details

Associated Types

type Forecast t DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Forecast type Forecast t DijkstraEra = DijkstraForecast t DijkstraEra

Methods

mkForecast ∷ ∀ (t ∷ Timeline). NewEpochState DijkstraEra → Forecast t DijkstraEra Source #

poolDistrForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) PoolDistr Source #

maxBlockHeaderSizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Word16 Source #

maxBlockBodySizeForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) Word32 Source #

protocolVersionForecastL ∷ ∀ (t ∷ Timeline). Lens' (Forecast t DijkstraEra) ProtVer Source #