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 #
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
SingleEraBlock blk ⇒ CanHardFork '[blk] Source # | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork Associated Types
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 # |