Cardano.Network.Diffusion · cardano-diffusion-1.1.1.0

valuerun

:: NFData a
=> CardanoNodeArguments IO
-> CardanoConsensusArguments RemoteAddress IO
-> CardanoTracers IO
-> CardanoConfiguration IO
-> CardanoApplications IO a
-> IO Void

value

nullTracers :: Monad m => Tracers ntnAddr ntnVersion ntnVersionData ntcAddr ntcVersion ntcVersionData extraState extraDebugState extraFlags extraPeers m

#

type

type CardanoApplications (m :: Type -> Type) a = Applications RemoteAddress NodeToNodeVersion NodeToNodeVersionData LocalAddress NodeToClientVersion NodeToClientVersionData PeerTrustable m a

#

type

type CardanoConfiguration (m :: Type -> Type) = Configuration PeerTrustable m Socket RemoteAddress LocalSocket LocalAddress

#

datadata CardanoConsensusArguments ntnAddr (m :: Type -> Type)

#

Constructors

CardanoConsensusArguments
- churnModeVar :: StrictTVar m ChurnMode
- churnMetrics :: PeerMetrics m ntnAddr
- ledgerPeersAPI :: LedgerPeersConsensusInterface (LedgerPeersConsensusInterface m) m
- readUseBootstrapPeers :: STM m UseBootstrapPeers

typetype CardanoDebugPeerSelection = DebugPeerSelection ExtraState PeerTrustable (ExtraPeers RemoteAddress) RemoteAddress

#

typetype CardanoLocalRootConfig = LocalRootConfig PeerTrustable

#

datadata CardanoNodeArguments (m :: Type -> Type)

#

Constructors

CardanoNodeArguments
- consensusMode :: ConsensusMode
- genesisPeerSelectionTargets :: PeerSelectionTargets
- minNumOfBigLedgerPeers :: NumberOfBigLedgerPeers
- tracerChurnMode :: Tracer m TraceChurnMode

typetype CardanoPeerSelectionCounters = PeerSelectionCounters (ViewExtraPeers (ExtraPeers RemoteAddress))

#

typetype CardanoTraceLocalRootPeers = TraceLocalRootPeers PeerTrustable RemoteAddress

#

type

type CardanoTracePeerSelection = TracePeerSelection DebugPeerSelectionState PeerTrustable (ExtraPeers RemoteAddress) RemoteAddress

#

type

type CardanoTracers (m :: Type -> Type) = Tracers RemoteAddress NodeToNodeVersion NodeToNodeVersionData LocalAddress NodeToClientVersion NodeToClientVersionData ExtraState DebugPeerSelectionState PeerTrustable (ExtraPeers RemoteAddress) m

#

newtypenewtype TraceChurnMode

#

Constructors

TraceChurnMode ChurnMode

Instances1Show

Show TraceChurnModeDefined in cardano-diffusion-1.1.1.0 · Cardano.Network.PeerSelection.Churn

datadata ConsensusMode

#

GenesisMode PraosMode

datadata Applications ntnAddr ntnVersion ntnVersionData ntcAddr ntcVersion ntcVersionData extraFlags (m :: Type -> Type) a

#

Constructors

Applications
- daApplicationInitiatorMode :: Versions ntnVersion ntnVersionData (OuroborosBundleWithExpandedCtx 'InitiatorMode ntnAddr extraFlags ByteString m a Void)
- daApplicationInitiatorResponderMode :: Versions ntnVersion ntnVersionData (OuroborosBundleWithExpandedCtx 'InitiatorResponderMode ntnAddr extraFlags ByteString m a ())
- daLocalResponderApplication :: Versions ntcVersion ntcVersionData (OuroborosApplicationWithMinimalCtx 'ResponderMode ntcAddr ByteString m Void ())
- daRethrowPolicy :: RethrowPolicy
- daReturnPolicy :: ReturnPolicy a
- daRepromoteErrorDelay :: RepromoteDelay
- daLocalRethrowPolicy :: RethrowPolicy
- daPeerSelectionPolicy :: PeerSelectionPolicy ntnAddr m
- daPeerSharingRegistry :: PeerSharingRegistry ntnAddr m

datadata Configuration extraFlags (m :: Type -> Type) ntnFd ntnAddr ntcFd ntcAddr

#

Constructors

Configuration
- dcIPv4Address :: Maybe (Either ntnFd ntnAddr)
- dcIPv6Address :: Maybe (Either ntnFd ntnAddr)
- dcLocalAddress :: Maybe (Either ntcFd ntcAddr)
- dcAcceptedConnectionsLimit :: AcceptedConnectionsLimit
- dcMode :: DiffusionMode
- dcPublicPeerSelectionVar :: StrictTVar m (PublicPeerSelectionState ntnAddr)
- dcPeerSelectionTargets :: PeerSelectionTargets
- dcReadLocalRootPeers :: STM m (Config extraFlags RelayAccessPoint)
- dcReadPublicRootPeers :: STM m (Map RelayAccessPoint PeerAdvertise)
- dcReadLedgerPeerSnapshot :: STM m (Maybe (LedgerPeerSnapshot BigLedgerPeers))
- dcReadUseLedgerPeers :: STM m UseLedgerPeers
- dcPeerSharing :: PeerSharing
- dcProtocolIdleTimeout :: DiffTime
- dcTimeWaitTimeout :: DiffTime
- dcDeadlineChurnInterval :: DiffTime
- dcBulkChurnInterval :: DiffTime
- dcMuxForkPolicy :: ForkPolicy ntnAddr
- dcLocalMuxForkPolicy :: ForkPolicy ntcAddr
- dcEgressPollInterval :: DiffTime

data

data Tracers ntnAddr ntnVersion ntnVersionData ntcAddr ntcVersion ntcVersionData extraState extraDebugState extraFlags extraPeers (m :: Type -> Type)

#

Constructors

Tracers
- dtMuxTracer :: Tracer m (WithBearer (ConnectionId ntnAddr) Trace)
- dtChannelTracer :: Tracer m (WithBearer (ConnectionId ntnAddr) ChannelTrace)
- dtBearerTracer :: Tracer m (WithBearer (ConnectionId ntnAddr) BearerTrace)
- dtHandshakeTracer :: Tracer m (WithBearer (ConnectionId ntnAddr) (TraceSendRecv (Handshake ntnVersion Term)))
- dtLocalMuxTracer :: Tracer m (WithBearer (ConnectionId ntcAddr) Trace)
- dtLocalChannelTracer :: Tracer m (WithBearer (ConnectionId ntcAddr) ChannelTrace)
- dtLocalBearerTracer :: Tracer m (WithBearer (ConnectionId ntcAddr) BearerTrace)
- dtLocalHandshakeTracer :: Tracer m (WithBearer (ConnectionId ntcAddr) (TraceSendRecv (Handshake ntcVersion Term)))
- dtDiffusionTracer :: Tracer m (DiffusionTracer ntnAddr ntcAddr)
- dtTraceLocalRootPeersTracer :: Tracer m (TraceLocalRootPeers extraFlags ntnAddr)
- dtTracePublicRootPeersTracer :: Tracer m TracePublicRootPeers
- dtTraceLedgerPeersTracer :: Tracer m TraceLedgerPeers
- dtTracePeerSelectionTracer :: Tracer m (TracePeerSelection extraDebugState extraFlags extraPeers ntnAddr)
- dtDebugPeerSelectionTracer :: Tracer m (DebugPeerSelection extraState extraFlags extraPeers ntnAddr)
- dtTracePeerSelectionCounters :: Tracer m (PeerSelectionCounters (ViewExtraPeers extraPeers))
- dtPeerSelectionActionsTracer :: Tracer m (PeerSelectionActionsTrace ntnAddr ntnVersion)
- dtConnectionManagerTracer :: Tracer m (Trace ntnAddr (ConnectionHandlerTrace ntnVersion ntnVersionData))
- dtConnectionManagerTransitionTracer :: Tracer m (AbstractTransitionTrace ConnStateId)
- dtServerTracer :: Tracer m (Trace ntnAddr)
- dtInboundGovernorTracer :: Tracer m (Trace ntnAddr)
- dtInboundGovernorTransitionTracer :: Tracer m (RemoteTransitionTrace ntnAddr)
- dtDnsTracer :: Tracer m DNSTrace
- dtLocalConnectionManagerTracer :: Tracer m (Trace ntcAddr (ConnectionHandlerTrace ntcVersion ntcVersionData))
- dtLocalServerTracer :: Tracer m (Trace ntcAddr)
- dtLocalInboundGovernorTracer :: Tracer m (Trace ntcAddr)

datadata PeerSelectionTargets

#

Instances2Eq, Show

Eq PeerSelectionTargetsDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.Governor.Types
Show PeerSelectionTargetsDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.Governor.Types

class

class (Ord peeraddr, Show peeraddr, Eq (ViewExtraPeers extraPeers), Show extraPeers, Show (ToExtraTrace extraPeers)) => SupportsPeerSelectionState extraPeers peeraddr where

#

Associated types

data family ToExtraTrace extraPeers
data family ViewExtraPeers extraPeers

Methods

publicExtraPeersAPI :: PublicExtraPeersAPI extraPeers peeraddr
mkViewExtraPeers :: PeerSelectionState extraState extraFlags extraPeers peeraddr peerconn -> ViewExtraPeers extraPeers

Instances2SupportsPeerSelectionState

(Ord peeraddr, Show peeraddr) => SupportsPeerSelectionState (ExtraPeers peeraddr) peeraddrDefined in cardano-diffusion-1.1.1.0 · Cardano.Network.PeerSelection.ExtraRootPeers
(Ord peeraddr, Show peeraddr) => SupportsPeerSelectionState (NoExtraPeers peeraddr) peeraddrDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.Diffusion.Types

familydata family ToExtraTrace extraPeers

#

Instances4Show, ToExtraTrace

Show (ToExtraTrace (ExtraPeers peeraddr))Defined in cardano-diffusion-1.1.1.0 · Cardano.Network.PeerSelection.ExtraRootPeers
Show (ToExtraTrace (NoExtraPeers peeraddr))Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.Diffusion.Types
data ToExtraTrace (ExtraPeers peeraddr)
- TraceLedgerStateJudgementChanged LedgerStateJudgement
- TraceUseBootstrapPeersChanged UseBootstrapPeers
Defined in cardano-diffusion-1.1.1.0 · Cardano.Network.PeerSelection.ExtraRootPeers
data ToExtraTrace (NoExtraPeers peeraddr)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.Diffusion.Types

familydata family ViewExtraPeers extraPeers

#

Instances5Eq, Show, ViewExtraPeers

Eq (ViewExtraPeers (NoExtraPeers peeraddr))Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.Diffusion.Types
Eq peeraddr => Eq (ViewExtraPeers (ExtraPeers peeraddr))Defined in cardano-diffusion-1.1.1.0 · Cardano.Network.PeerSelection.ExtraRootPeers
Show peeraddr => Show (ViewExtraPeers (ExtraPeers peeraddr))Defined in cardano-diffusion-1.1.1.0 · Cardano.Network.PeerSelection.ExtraRootPeers
data ViewExtraPeers (ExtraPeers peeraddr)
- ExtraPeerSelectionSetsWithSizesviewKnownBootstrapPeers :: (Set peeraddr, Int)viewColdBootstrapPeersPromotions :: (Set peeraddr, Int)viewEstablishedBootstrapPeers :: (Set peeraddr, Int)viewWarmBootstrapPeersDemotions :: (Set peeraddr, Int)viewWarmBootstrapPeersPromotions :: (Set peeraddr, Int)viewActiveBootstrapPeers :: (Set peeraddr, Int)viewActiveBootstrapPeersDemotions :: (Set peeraddr, Int)
Defined in cardano-diffusion-1.1.1.0 · Cardano.Network.PeerSelection.ExtraRootPeers
data ViewExtraPeers (NoExtraPeers peeraddr)
- NoExtraView
Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.Diffusion.Types

newtypenewtype PeerMetrics (m :: Type -> Type) p

#

datadata LedgerPeersConsensusInterface extraAPI (m :: Type -> Type)

#

Constructors

LedgerPeersConsensusInterface
- lpGetLatestSlot :: STM m (WithOrigin SlotNo)
- lpGetLedgerPeers :: STM m [(PoolStake, NonEmpty LedgerRelayAccessPoint)]
- lpExtraAPI :: extraAPI