Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock

1 type
1 class
8 values

Packageouroboros-consensus-4.2.1.0
Exports10
LicenceApache-2.0

valueeraIndexEmpty :: EraIndex '[] -> Void

valueeraIndexFromIndex :: SListI xs => Index xs blk -> EraIndex xs

valueeraIndexFromNS :: SListI xs => NS f xs -> EraIndex xs

valueeraIndexSucc :: EraIndex xs -> EraIndex (x ': xs)

valueeraIndexToInt :: EraIndex xs -> Int

valueeraIndexZero :: EraIndex (x ': xs)

valueproxySingle :: Proxy SingleEraBlock

valuesingleEraTransition'

:: SingleEraBlock blk
=> WrapPartialLedgerConfig blk
-> EraParams
-> Bound
-> LedgerState blk mk
-> Maybe EpochNo

newtypenewtype EraIndex (xs :: [Type])

Constructors

EraIndex
- getEraIndex :: NS (K ()) xs

Instances4Eq, Show, Serialise, Condense

Eq (EraIndex xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock
All SingleEraBlock xs => Show (EraIndex xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock
SListI xs => Serialise (EraIndex xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock
All 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 where

Methods

singleEraTransition :: PartialLedgerConfig blk -> EraParams -> Bound -> LedgerState blk mk -> Maybe EpochNo
singleEraInfo :: proxy blk -> SingleEraInfo blk