Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork

Documentation

class (All SingleEraBlock xs, All (Compose HasLedgerTables LedgerState) xs, All (Compose HasTickedLedgerTables LedgerState) xs, Typeable xs, IsNonEmpty xs, Measure (HardForkTxMeasure xs), HasByteSize (HardForkTxMeasure xs), NoThunks (HardForkTxMeasure xs), Show (HardForkTxMeasure xs), TxMeasureMetrics (HardForkTxMeasure xs)) ⇒ CanHardFork (xs ∷ [Type]) where Source #

Associated Types

type HardForkTxMeasure (xs ∷ [Type]) Source #

A measure that can accurately represent the TxMeasure of any era.

Usually, this can simply be the union of the sets of components of each individual era's TxMeasure. (Which is too awkward of a type to express in Haskell.)

Methods

hardForkEraTranslation ∷ EraTranslation xs Source #

hardForkChainSel ∷ Tails AcrossEraSelection xs Source #

hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) xs Source #

hardForkInjTxMeasure ∷ NS WrapTxMeasure xs → HardForkTxMeasure xs Source #

This is ideally exact.

If that's not possible, the result must not be too small, since this is relied upon to determine which prefix of the mempool's txs will fit in a valid block.

Instances

Instances details

SingleEraBlock blk ⇒ CanHardFork '[blk] Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork

Associated Types

type HardForkTxMeasure '[blk]
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork type HardForkTxMeasure '[blk] = TxMeasure blk

Methods

hardForkEraTranslation ∷ EraTranslation '[blk] Source #

hardForkChainSel ∷ Tails AcrossEraSelection '[blk] Source #

hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) '[blk] Source #

hardForkInjTxMeasure ∷ NS WrapTxMeasure '[blk] → HardForkTxMeasure '[blk] Source #