Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork

Documentation

class (All SingleEraBlock xs, Typeable xs, IsNonEmpty xs, Measure (HardForkTxMeasure xs), HasByteSize (HardForkTxMeasure xs), NoThunks (HardForkTxMeasure xs), Show (HardForkTxMeasure xs)) ⇒ CanHardFork xs where Source #

Associated Types

type HardForkTxMeasure xs 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] Source #

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 #