Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Storage.ChainDB.Impl.ChainSel

Synopsis

value addBlockAsync
value addPerasCertAsync
value addPerasVoteWithAsyncCertHandling
value chainSelSync
value chainSelectionForBlock
value initialChainSelection
value olderThanImmTip
value triggerChainSelectionAsync

Packageouroboros-consensus-4.2.1.0
Exports8
LicenceApache-2.0

valueaddBlockAsync

:: (IOLike m, HasHeader blk)
=> ChainDbEnv m blk
-> InvalidBlockPunishment m
-> blk
-> m (AddBlockPromise m blk)

valueaddPerasCertAsync

:: IOLike m
=> ChainDbEnv m blk
-> WithArrivalTime (ValidatedPerasCert blk)
-> m (AddPerasCertPromise m)

valueaddPerasVoteWithAsyncCertHandling

:: IOLike m
=> ChainDbEnv m blk
-> WithArrivalTime (ValidatedPerasVote blk)
-> m (AddPerasVoteResult blk, Maybe (AddPerasCertPromise m))

valuechainSelSync

:: (IOLike m, LedgerSupportsProtocol blk, BlockSupportsDiffusionPipelining blk, InspectLedger blk, HasHardForkHistory blk, HasCallStack)
=> ChainDbEnv m blk
-> ChainSelMessage m blk
-> Electric m ()

valuechainSelectionForBlock

:: (IOLike m, LedgerSupportsProtocol blk, BlockSupportsDiffusionPipelining blk, InspectLedger blk, HasHardForkHistory blk, HasCallStack)
=> ChainDbEnv m blk
-> BlockCache blk
-> Header blk
-> InvalidBlockPunishment m
-> Electric m ()

valueinitialChainSelection

:: (IOLike m, LedgerSupportsProtocol blk, BlockSupportsDiffusionPipelining blk)
=> ImmutableDB m blk
-> VolatileDB m blk
-> LedgerDB' m blk
-> Tracer m (TraceInitChainSelEvent blk)
-> TopLevelConfig blk
-> StrictTVar m (WithFingerprint (InvalidBlocks blk))
-> LoE ()
-> PerasWeightSnapshot blk
-> m (AnchoredFragment (Header blk))

valueolderThanImmTip :: GetHeader blk => Header blk -> WithOrigin BlockNo -> Bool

valuetriggerChainSelectionAsync

:: IOLike m
=> ChainDbEnv m blk
-> m (ChainSelectionPromise m)