Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Genesis.Governor

4 types
3 values

Packageouroboros-consensus-4.2.1.0
Exports7
LicenceApache-2.0

valuedensityDisconnect

:: (Ord peer, LedgerSupportsProtocol blk)
=> GenesisWindow
-> SecurityParam
-> Map peer (ChainSyncState blk)
-> [(peer, AnchoredFragment (HeaderWithTime blk))]
-> AnchoredFragment (HeaderWithTime blk)
-> ([peer], [(peer, DensityBounds blk)])

valuegddWatcher

:: (IOLike m, Ord peer, LedgerSupportsProtocol blk, HasHardForkHistory blk)
=> TopLevelConfig blk
-> Tracer m (TraceGDDEvent peer blk)
-> ChainDB m blk
-> DiffTime
-> STM m GsmState
-> STM m (Map peer (ChainSyncClientHandle m blk))
-> StrictTVar m (AnchoredFragment (HeaderWithTime blk))
-> Watcher m (GDDTrigger (GDDStateView m blk peer)) (GDDTrigger (Map peer (StrictMaybe (WithOrigin SlotNo), Bool)))

valuesharedCandidatePrefix

:: (GetHeader blk, Typeable blk)
=> AnchoredFragment (HeaderWithTime blk)
-> [(peer, AnchoredFragment (HeaderWithTime blk))]
-> (AnchoredFragment (HeaderWithTime blk), [(peer, AnchoredFragment (HeaderWithTime blk))])

datadata DensityBounds blk

Constructors

DensityBounds
- clippedFragment :: AnchoredFragment (Header blk)
- offersMoreThanK :: Bool
- lowerBound :: Word64
- upperBound :: Word64
- hasBlockAfter :: Bool
- latestSlot :: WithOrigin SlotNo
- idling :: Bool

Instances1Show

(Show (Header blk), GetHeader blk) => Show (DensityBounds blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Genesis.Governor

datadata GDDDebugInfo peer blk

Constructors

GDDDebugInfo
- bounds :: [(peer, DensityBounds blk)]
- curChain :: AnchoredFragment (Header blk)
- candidates :: [(peer, AnchoredFragment (Header blk))]
- candidateSuffixes :: [(peer, AnchoredFragment (Header blk))]
- losingPeers :: [peer]
- loeHead :: Anchor (Header blk)
- sgen :: GenesisWindow

Instances1Show

(GetHeader blk, Show (Header blk), Show peer) => Show (GDDDebugInfo peer blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Genesis.Governor

datadata GDDStateView (m :: Type -> Type) blk peer

Constructors

GDDStateView
- gddCtxCurChain :: AnchoredFragment (HeaderWithTime blk)
- gddCtxImmutableLedgerSt :: ExtLedgerState blk EmptyMK
- gddCtxKillActions :: Map peer (m ())
- gddCtxStates :: Map peer (ChainSyncState blk)

datadata TraceGDDEvent peer blk

Constructors

TraceGDDDisconnected (NonEmpty peer)
TraceGDDDebug (GDDDebugInfo peer blk)

Instances1Show

(GetHeader blk, Show (Header blk), Show peer) => Show (TraceGDDEvent peer blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Genesis.Governor