Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork · ouroboros-consensus-4.2.1.0

class

class (All SingleEraBlock xs, All (EqualHashSizeOfHead xs) xs, KnownNat (HashSizeOfHead xs), Typeable xs, IsNonEmpty xs, Measure (HardForkTxMeasurePhase1 xs), HasByteSize (HardForkTxMeasurePhase1 xs), NoThunks (HardForkTxMeasurePhase1 xs), Show (HardForkTxMeasurePhase1 xs), TxMeasurePhase1Metrics (HardForkTxMeasurePhase1 xs), Measure (HardForkTxMeasurePhase2 xs), NoThunks (HardForkTxMeasurePhase2 xs), Show (HardForkTxMeasurePhase2 xs), TxMeasurePhase2Metrics (HardForkTxMeasurePhase2 xs)) => CanHardFork (xs :: [Type]) where

Associated types

type family HardForkTxMeasurePhase1 (xs :: [Type])
type family HardForkTxMeasurePhase2 (xs :: [Type])

Methods

hardForkEraTranslation :: EraTranslation xs
hardForkChainSel :: Tails AcrossEraTiebreaker xs
hardForkInjectTxs :: InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) xs
hardForkInjTxMeasurePhase1 :: NS WrapTxMeasurePhase1 xs -> HardForkTxMeasurePhase1 xs
hardForkInjTxMeasurePhase2 :: NS WrapTxMeasurePhase2 xs -> HardForkTxMeasurePhase2 xs
hardForkEqGenTxId :: NS WrapGenTxId xs -> NS WrapGenTxId xs -> Bool
hardForkCompareGenTxId :: NS WrapGenTxId xs -> NS WrapGenTxId xs -> Ordering

Instances1CanHardFork

SingleEraBlock blk => CanHardFork '[blk]Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork

Associated types

Methods

Equations