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-network-1.2.0.0

Ouroboros.Network.BlockFetch.State

9 types
1 value

Packageouroboros-network-1.2.0.0
Exports10
LicenceApache-2.0
SourceTrace.hs

valuefetchLogicIterations

:: (HasHeader header, HasHeader block, HeaderHash header ~ HeaderHash block, MonadDelay m, MonadTimer m, Ord peer, Hashable peer)
=> Tracer m (TraceDecisionEvent peer header)
-> Tracer m (TraceLabelPeer peer (TraceFetchClientState header))
-> FetchDecisionPolicy header
-> FetchTriggerVariables peer header m
-> FetchNonTriggerVariables peer header block m
-> peer -> m ()
-> m Void

datadata TraceLabelPeer peerid a

A peer label for use in Tracers. This annotates tracer output as being associated with a given peer identifier.

Constructors

TraceLabelPeer peerid a

Instances4Bifunctor, Functor, Eq, Show

Bifunctor TraceLabelPeerDefined in network-mux-0.11.0.0 · Network.Mux.Trace
Functor (TraceLabelPeer peerid)Defined in network-mux-0.11.0.0 · Network.Mux.Trace
(Eq peerid, Eq a) => Eq (TraceLabelPeer peerid a)Defined in network-mux-0.11.0.0 · Network.Mux.Trace
(Show peerid, Show a) => Show (TraceLabelPeer peerid a)Defined in network-mux-0.11.0.0 · Network.Mux.Trace

datadata TraceFetchClientState header

Constructors

AddedFetchRequest (FetchRequest header) (PeerFetchInFlight header) PeerFetchInFlightLimits (PeerFetchStatus header)
AcknowledgedFetchRequest (FetchRequest header)
SendFetchRequest (AnchoredFragment header) PeerGSV
StartedFetchBatch (ChainRange (Point header)) (PeerFetchInFlight header) PeerFetchInFlightLimits (PeerFetchStatus header)
CompletedBlockFetch (Point header) (PeerFetchInFlight header) PeerFetchInFlightLimits (PeerFetchStatus header) NominalDiffTime SizeInBytes
CompletedFetchBatch (ChainRange (Point header)) (PeerFetchInFlight header) PeerFetchInFlightLimits (PeerFetchStatus header)
RejectedFetchBatch (ChainRange (Point header)) (PeerFetchInFlight header) PeerFetchInFlightLimits (PeerFetchStatus header)
ClientTerminating Int

Instances1Show

(StandardHash header, Show header) => Show (TraceFetchClientState header)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.BlockFetch.ClientState

typetype FetchDecision result = Either FetchDecline result

datadata FetchDecisionPolicy header

Constructors

FetchDecisionPolicy
- maxInFlightReqsPerPeer :: Word
- maxConcurrencyBulkSync :: Word
- maxConcurrencyDeadline :: Word
- decisionLoopIntervalGenesis :: DiffTime
- decisionLoopIntervalPraos :: DiffTime
- peerSalt :: Int
- bulkSyncGracePeriod :: DiffTime
- blockFetchSize :: header -> SizeInBytes

datadata FetchDecline

Instances2Eq, Show

Eq FetchDeclineDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.BlockFetch.Decision
Show FetchDeclineDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.BlockFetch.Decision

datadata FetchNonTriggerVariables peer header block (m :: Type -> Type)

Constructors

FetchNonTriggerVariables
- readStateFetchedBlocks :: STM m (Point block -> Bool)
- readStatePeerStateVars :: STM m (Map peer (FetchClientStateVars m header))
- readStatePeerGSVs :: STM m (Map peer PeerGSV)
- readStateFetchMode :: STM m FetchMode
- readStateFetchedMaxSlotNo :: STM m MaxSlotNo
- readStateChainSelStarvation :: STM m ChainSelStarvation

datadata FetchTriggerVariables peer header (m :: Type -> Type)

Constructors

FetchTriggerVariables
- readStateCurrentChain :: STM m (AnchoredFragment header)
- readStateCandidateChains :: STM m (Map peer (AnchoredFragment header))
- readStatePeerStatus :: STM m (Map peer (PeerFetchStatus header))
- readStateChainComparison :: STM m (WithFingerprint (ChainComparison header))

datadata FetchMode

Constructors

GenesisFetchMode
PraosFetchMode PraosFetchMode

datadata PraosFetchMode

FetchModeBulkSync FetchModeDeadline