HORIZON HASKELLDocslts/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.PeerSelection

  • 73 types
  • 1 class
  • 79 values
valuepeerSelectionGovernor
  1. :: (Alternative (STM m), MonadAsync m, MonadDelay m, MonadLabelledSTM m, MonadMask m, MonadTimer m, Show peerconn, Hashable peeraddr, Exception exception, Semigroup extraPeers, Eq extraFlags, SupportsPeerSelectionState extraPeers peeraddr)
  2. => Tracer m (TracePeerSelection extraDebugState extraFlags extraPeers peeraddr)
  3. -> Tracer m (DebugPeerSelection extraState extraFlags extraPeers peeraddr)
  4. -> Tracer m (PeerSelectionCounters (ViewExtraPeers extraPeers))
  5. -> PeerSelectionGovernorArgs extraState extraDebugState extraFlags extraPeers extraAPI peeraddr peerconn exception m
  6. -> StdGen
  7. -> extraState
  8. -> extraPeers
  9. -> PeerSelectionActions extraState extraFlags extraPeers extraAPI peeraddr peerconn m
  10. -> PeerSelectionPolicy peeraddr m
  11. -> PeerSelectionInterfaces extraState extraFlags extraPeers peeraddr peerconn m
  12. -> m Void
#
valuewithPeerSelectionActions
  1. :: (Alternative (STM m), MonadAsync m, MonadDelay m, MonadThrow m, Ord peeraddr, Eq extraFlags)
  2. => Tracer m (TraceLocalRootPeers extraFlags peeraddr)
  3. -> StrictTVar m (Config extraFlags peeraddr)
  4. -> PeerActionsDNS peeraddr resolver m
  5. -> (NumberOfPeers -> SomeLedgerPeersKind -> m (Maybe (Set peeraddr, DiffTime))) -> PeerSelectionActions extraState extraFlags extraPeers extraAPI peeraddr peerconn m
  6. -> WithLedgerPeersArgs extraAPI m
  7. -> StdGen
  8. -> (Async m Void, Async m Void) -> PeerSelectionActions extraState extraFlags extraPeers extraAPI peeraddr peerconn m -> m a
  9. -> m a
#
valuewithPeerStateActions
  1. :: (Alternative (STM m), MonadAsync m, MonadCatch m, MonadLabelledSTM m, MonadFork m, MonadMask m, MonadTimer m, MonadThrow (STM m), HasInitiator muxMode ~ 'True, Typeable versionNumber, Show versionNumber, Ord peerAddr, Typeable peerAddr, PrettyShow peerAddr, NFData a, NFData b)
  2. => PeerStateActionsArguments muxMode socket responderCtx peerAddr extraFlags versionData versionNumber m a b
  3. -> PeerStateActions peerAddr extraFlags (PeerConnectionHandle muxMode responderCtx peerAddr extraFlags versionData ByteString m a b) m -> m x
  4. -> m x
#
datadata IP
#

A unified IP data for IPv4 and IPv6. To create this, use the data constructors. Or use read "192.0.2.1" :: IP, for example. Also, "192.0.2.1" can be used as literal with OverloadedStrings.

Example2 expressions
(read "192.0.2.1" :: IP) == IPv4 (read "192.0.2.1" :: IPv4)True(read "2001:db8:00:00:00:00:00:01" :: IP) == IPv6 (read "2001:db8:00:00:00:00:00:01" :: IPv6)True

Constructors

Instances9Enum, Eq, Data, Ord, Read, Show, …
  • Enum IPDefined in iproute-1.7.15 · Data.IP.Addr
  • Eq IPDefined in iproute-1.7.15 · Data.IP.Addr

    Equality over IP addresses. Correctly compare IPv4 and IPv4-embedded-in-IPv6 addresses.

    Example8 expressions
    (read "2001:db8:00:00:00:00:00:01" :: IP) == (read "2001:db8:00:00:00:00:00:01" :: IP)True(read "2001:db8:00:00:00:00:00:01" :: IP) == (read "2001:db8:00:00:00:00:00:05" :: IP)False(read "127.0.0.1" :: IP) == (read "127.0.0.1" :: IP)True(read "127.0.0.1" :: IP) == (read "10.0.0.1" :: IP)False(read "::ffff:127.0.0.1" :: IP) == (read "127.0.0.1" :: IP)True(read "::ffff:127.0.0.1" :: IP) == (read "127.0.0.9" :: IP)False(read "::ffff:127.0.0.1" :: IP) >= (read "127.0.0.1" :: IP)True(read "::ffff:127.0.0.1" :: IP) <= (read "127.0.0.1" :: IP)True
  • Data IPDefined in iproute-1.7.15 · Data.IP.Addr
  • Ord IPDefined in iproute-1.7.15 · Data.IP.Addr
  • Read IPDefined in iproute-1.7.15 · Data.IP.Addr
  • Show IPDefined in iproute-1.7.15 · Data.IP.Addr
  • IsString IPDefined in iproute-1.7.15 · Data.IP.Addr
  • Generic IPDefined in iproute-1.7.15 · Data.IP.Addr
  • type Rep IP = D1 ('MetaData "IP" "Data.IP.Addr" "iproute-1.7.15-GFHWuj7WQQfGxeH5papjgG" 'False) (C1 ('MetaCons "IPv4" 'PrefixI 'True) (S1 ('MetaSel ('Just "ipv4") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 IPv4)) :+: C1 ('MetaCons "IPv6" 'PrefixI 'True) (S1 ('MetaSel ('Just "ipv6") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 IPv6)))Defined in iproute-1.7.15 · Data.IP.Addr
newtypenewtype PortNumber
#

Port number. Use the Num instance (i.e. use a literal) to create a PortNumber value.

Example6 expressions
1 :: PortNumber1read "1" :: PortNumber1show (12345 :: PortNumber)"12345"50000 < (51000 :: PortNumber)True50000 < (52000 :: PortNumber)True50000 + (10000 :: PortNumber)60000
Instances10Bounded, Enum, Eq, Integral, Num, Ord, …
datadata ChurnAction
#
Instances2Eq, Show
  • Eq ChurnActionDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.Governor.Types
  • Show ChurnActionDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.Governor.Types
datadata DebugPeerSelection extraState extraFlags extraPeers peeraddr where
#

Constructors

Instances1Show
  • (Show extraState, Show extraFlags, Show extraPeers, Ord peeraddr, Show peeraddr) => Show (DebugPeerSelection extraState extraFlags extraPeers peeraddr)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.Governor.Types
datadata DebugPeerSelectionState extraState extraFlags extraPeers peeraddr
#
Instances1Show
  • (Ord peeraddr, Show extraFlags, Show extraPeers, Show peeraddr, Show extraState) => Show (DebugPeerSelectionState extraState extraFlags extraPeers peeraddr)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.Governor.Types
datadata PeerSelectionActions extraState extraFlags extraPeers extraAPI peeraddr peerconn (m :: Type -> Type)
#
datadata PeerSelectionGovernorArgs extraState extraDebugState extraFlags extraPeers extraAPI peeraddr peerconn exception (m :: Type -> Type)
#

Constructors

datadata PeerSelectionPolicy peeraddr (m :: Type -> Type)
#
datadata PeerSelectionState extraState extraFlags extraPeers peeraddr peerconn
#
Instances1Show
  • (Ord peeraddr, Show extraFlags, Show extraPeers, Show peerconn, Show peeraddr, Show extraState) => Show (PeerSelectionState extraState extraFlags extraPeers peeraddr peerconn)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.Governor.Types
datadata PeerSelectionTargets
#
Instances2Eq, Show
datadata PeerSelectionView extraViews a
#
Instances3Functor, Eq, Show
  • Functor (PeerSelectionView extraViews)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.Governor.Types
  • (Eq a, Eq extraViews) => Eq (PeerSelectionView extraViews a)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.Governor.Types
  • (Show a, Show extraViews) => Show (PeerSelectionView extraViews a)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.Governor.Types
classclass (Ord peeraddr, Show peeraddr, Eq (ViewExtraPeers extraPeers), Show extraPeers, Show (ToExtraTrace extraPeers)) => SupportsPeerSelectionState extraPeers peeraddr where
#

Associated types

Methods

Instances1SupportsPeerSelectionState
datadata TracePeerSelection extraDebugState extraFlags extraPeers peeraddr
#

Constructors

Instances1Show
datadata TraceLedgerPeers
#
Instances1Show
  • Show TraceLedgerPeersDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.LedgerPeers
newtypenewtype PeerMetricsConfiguration
#
Instances5Show, Generic, NFData, NoThunks, Rep
datadata EstablishConnectionException versionNumber
#

Constructors

Instances2Show, Exception
datadata PeerConnectionHandle (muxMode :: Mode) responderCtx peerAddr extraFlags versionData bytes (m :: Type -> Type) a b
#
Instances1Show
  • (Show peerAddr, Show versionData) => Show (PeerConnectionHandle muxMode responderCtx peerAddr extraFlags versionData bytes m a b)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.PeerStateActions
datadata PeerSelectionActionsTrace peerAddr vNumber
#

Constructors

Instances1Show
datadata PeerStateActionsArguments (muxMode :: Mode) socket responderCtx peerAddr extraFlags versionData versionNumber (m :: Type -> Type) a b
#

Constructors

datadata PublicRootPeers extraPeers peeraddr
#
Instances2Eq, Show
  • (Eq peeraddr, Eq extraPeers) => Eq (PublicRootPeers extraPeers peeraddr)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.PublicRootPeers
  • (Show peeraddr, Show extraPeers) => Show (PublicRootPeers extraPeers peeraddr)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.PublicRootPeers
datadata DNSorIOError
#
Instances2Show, Exception
  • Show DNSorIOErrorDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.RootPeersDNS.DNSActions
  • Exception DNSorIOErrorDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.RootPeersDNS.DNSActions
newtypenewtype TTL
#
Instances3Eq, Ord, Show
  • Eq TTLDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.RootPeersDNS.DNSActions
  • Ord TTLDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.RootPeersDNS.DNSActions
  • Show TTLDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.RootPeersDNS.DNSActions
datadata TraceLocalRootPeers extraFlags peerAddr
#
Instances1Show
  • (Show extraFlags, Show peerAddr) => Show (TraceLocalRootPeers extraFlags peerAddr)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.RootPeersDNS.LocalRootPeers
newtypenewtype HotValency
#
Instances4Eq, Num, Ord, Show
  • Eq HotValencyDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.State.LocalRootPeers
  • Num HotValencyDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.State.LocalRootPeers
  • Ord HotValencyDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.State.LocalRootPeers
  • Show HotValencyDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.State.LocalRootPeers
datadata LocalRootPeers extraFlags peeraddr
#
Instances2Eq, Show
  • (Eq extraFlags, Eq peeraddr) => Eq (LocalRootPeers extraFlags peeraddr)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.State.LocalRootPeers
  • (Show extraFlags, Show peeraddr, Ord peeraddr) => Show (LocalRootPeers extraFlags peeraddr)Defined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.State.LocalRootPeers
newtypenewtype WarmValency
#
Instances4Eq, Num, Ord, Show
  • Eq WarmValencyDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.State.LocalRootPeers
  • Num WarmValencyDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.State.LocalRootPeers
  • Ord WarmValencyDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.State.LocalRootPeers
  • Show WarmValencyDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.State.LocalRootPeers
datadata LedgerPeerSnapshot (a :: LedgerPeersKind) where
#