Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.HardFork.Combinator.Abstract
- 2 types
- 5 classes
- 10 values
- Packageouroboros-consensus-4.2.1.0
- Exports20
- LicenceApache-2.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]) whereAssociated types
type family HardForkTxMeasurePhase1 (xs :: [Type])type family HardForkTxMeasurePhase2 (xs :: [Type])
Methods
hardForkEraTranslation :: EraTranslation xshardForkChainSel :: Tails AcrossEraTiebreaker xshardForkInjectTxs :: InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) xshardForkInjTxMeasurePhase1 :: NS WrapTxMeasurePhase1 xs -> HardForkTxMeasurePhase1 xshardForkInjTxMeasurePhase2 :: NS WrapTxMeasurePhase2 xs -> HardForkTxMeasurePhase2 xshardForkEqGenTxId :: NS WrapGenTxId xs -> NS WrapGenTxId xs -> BoolhardForkCompareGenTxId :: 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
Instances1HardForkTxMeasurePhase1
type HardForkTxMeasurePhase1 '[blk] = TxMeasurePhase1 blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork
Instances1HardForkTxMeasurePhase2
type HardForkTxMeasurePhase2 '[blk] = TxMeasurePhase2 blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork
Equations
HashSizeOfHead (x ': _1) = HashSize x
Methods
immutableEraParams :: TopLevelConfig blk -> EraParams
Methods
toPartialLedgerConfig :: proxy blk -> LedgerConfig blk -> PartialLedgerConfig blk
Constructors
EraIndexgetEraIndex :: NS (K ()) xs
Instances4Eq, Show, Serialise, Condense
Eq (EraIndex xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlockAll SingleEraBlock xs => Show (EraIndex xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlockSListI xs => Serialise (EraIndex xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlockAll SingleEraBlock xs => Condense (EraIndex xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock
class
class (LedgerSupportsProtocol blk, LedgerSupportsPeras blk, InspectLedger blk, LedgerSupportsMempool blk, ConvertRawTxId (GenTx blk), BlockSupportsLedgerQuery blk, HasPartialConsensusConfig (BlockProtocol blk), HasPartialLedgerConfig blk, ConvertRawHash blk, KnownNat (HashSize blk), ReconstructNestedCtxt Header blk, CommonProtocolParams blk, LedgerSupportsPeerSelection blk, ConfigSupportsNode blk, NodeInitStorage blk, BlockSupportsDiffusionPipelining blk, BlockSupportsMetrics blk, SerialiseNodeToClient blk (PartialLedgerConfig blk), CanStowLedgerTables (LedgerState blk), HasLedgerTables LedgerState blk, HasLedgerTables (Ticked LedgerState) blk, Eq (GenTx blk), Eq (Validated (GenTx blk)), Eq (ApplyTxErr blk), Show blk, Show (Header blk), Show (CannotForge blk), Show (ForgeStateInfo blk), Show (ForgeStateUpdateError blk), Show (ReasonForSwitch (TiebreakerView (BlockProtocol blk)))) => SingleEraBlock blk whereMethods
singleEraTransition :: PartialLedgerConfig blk -> EraParams -> Bound -> LedgerState blk mk -> Maybe EpochNosingleEraInfo :: proxy blk -> SingleEraInfo blk
Methods
isNonEmpty :: proxy xs -> ProofNonEmpty xs
Instances1IsNonEmpty
IsNonEmpty (x ': xs)Defined in sop-extras-0.4.1.1 · Data.SOP.NonEmpty
Constructors
ProofNonEmpty :: Proxy x -> Proxy xs1 -> ProofNonEmpty (x ': xs1)