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.PeerSelection.LedgerPeers

23 types
26 values

Packageouroboros-network-1.2.0.0
Exports51
LicenceApache-2.0
SourceAddr.hs

valueaccBigPoolStakeMap

:: [(PoolStake, NonEmpty relayAccessPoint)]
-> Map AccPoolStake (PoolStake, NonEmpty relayAccessPoint)

valueaccPoolStake

:: [(PoolStake, NonEmpty relayAccessPoint)]
-> Map AccPoolStake (PoolStake, NonEmpty relayAccessPoint)

valuegetLedgerPeers

:: MonadSTM m
=> SRVPrefix
-> LedgerPeersConsensusInterface extraAPI m
-> AfterSlot
-> STM m LedgerPeers

valuestakeMapWithSlotOverSource

:: StakeMapOverSource
-> (Map AccPoolStake (PoolStake, NonEmpty RelayAccessPoint), Map AccPoolStake (PoolStake, NonEmpty RelayAccessPoint), Maybe SlotNo)

valuewithLedgerPeers

:: (MonadAsync m, MonadThrow m, MonadMonotonicTime m, Ord peerAddr)
=> PeerActionsDNS peerAddr resolver m
-> WithLedgerPeersArgs extraAPI m
-> (NumberOfPeers -> SomeLedgerPeersKind -> m (Maybe (Set peerAddr, DiffTime))) -> Async m Void -> m a
-> m a

valueresolveLedgerPeers

:: (Ord peerAddr, MonadThrow m, MonadAsync m)
=> DNSSemaphore m
-> ResolvConf
-> DNSActions peerAddr resolver m
-> SingLedgerPeersKind k
-> [RelayAccessPoint]
-> StdGen
-> m (Map Domain (Set peerAddr))

valuedecodeAllStakePools :: Decoder s [(PoolStake, NonEmpty LedgerRelayAccessPoint)]

valuedecodeBigStakePools :: Decoder s [(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))]

valuedecodeLedgerPeerSnapshot

:: SingLedgerPeersKind ledgerPeersKind
-> Decoder s (LedgerPeerSnapshot ledgerPeersKind)

valuedecodeLedgerPeerSnapshotPoint :: Decoder s (Point RawBlockHash)

valuedecodeWithOrigin :: Decoder s (WithOrigin SlotNo)

valueencodeAllStakePools

:: [(PoolStake, NonEmpty LedgerRelayAccessPoint)]
-> Encoding

valueencodeBigStakePools

:: [(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))]
-> Encoding

valueencodeLedgerPeerSnapshot

:: LedgerPeerSnapshotSRVSupport
-> LedgerPeerSnapshot a
-> Encoding

valueencodeLedgerPeerSnapshotPoint :: Point RawBlockHash -> Encoding

valueencodeWithOrigin :: WithOrigin SlotNo -> Encoding

valuegetRelayAccessPointsFromAllLedgerPeersSnapshot

:: SRVPrefix
-> LedgerPeerSnapshot AllLedgerPeers
-> (WithOrigin SlotNo, [(PoolStake, NonEmpty RelayAccessPoint)])

valuegetRelayAccessPointsFromBigLedgerPeersSnapshot

:: SRVPrefix
-> LedgerPeerSnapshot BigLedgerPeers
-> (WithOrigin SlotNo, [(AccPoolStake, (PoolStake, NonEmpty RelayAccessPoint))])

valuegetRelayAccessPointsFromLedger

:: MonadSTM m
=> SRVPrefix
-> LedgerPeersConsensusInterface extraAPI m
-> STM m [(PoolStake, NonEmpty RelayAccessPoint)]

valueisLedgerPeersEnabled :: UseLedgerPeers -> Bool

valueledgerPeerSnapshotKind :: LedgerPeerSnapshot a -> SingLedgerPeersKind a

valuemapExtraAPI

:: a -> b
-> LedgerPeersConsensusInterface a m
-> LedgerPeersConsensusInterface b m

valuesomeLedgerPeerSnapshotKind :: SomeLedgerPeerSnapshot -> SomeLedgerPeersKind

valueaccumulateBigLedgerStake

:: [(PoolStake, NonEmpty relayAccessPoint)]
-> [(AccPoolStake, (PoolStake, NonEmpty relayAccessPoint))]

valuebigLedgerPeerQuota :: AccPoolStake

valueprefixLedgerRelayAccessPoint

:: SRVPrefix
-> LedgerRelayAccessPoint
-> RelayAccessPoint

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

IPv4
- ipv4 :: IPv4
IPv6
- ipv6 :: IPv6

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

datadata LedgerPeers

Constructors

LedgerPeers [(PoolStake, NonEmpty RelayAccessPoint)]
BeforeSlot

Instances2Eq, Show

Eq LedgerPeersDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.LedgerPeers
Show LedgerPeersDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.LedgerPeers

newtypenewtype NumberOfPeers

Constructors

NumberOfPeers
- getNumberOfPeers :: Word16

Instances1Show

Show NumberOfPeersDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.LedgerPeers

datadata StakeMapOverSource

Constructors

StakeMapOverSource
- ledgerWithOrigin :: WithOrigin SlotNo
- ledgerPeers :: LedgerPeers
- peerSnapshot :: Maybe (LedgerPeerSnapshot BigLedgerPeers)
- cachedSlot :: Maybe SlotNo
- peerMap :: Map AccPoolStake (PoolStake, NonEmpty RelayAccessPoint)
- bigPeerMap :: Map AccPoolStake (PoolStake, NonEmpty RelayAccessPoint)
- useLedgerAfter :: AfterSlot
- srvPrefix :: SRVPrefix

Instances1Show

Show StakeMapOverSourceDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.LedgerPeers

datadata TraceLedgerPeers

Instances1Show

Show TraceLedgerPeersDefined in ouroboros-network-1.2.0.0 · Ouroboros.Network.PeerSelection.LedgerPeers

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

Constructors

WithLedgerPeersArgs
- wlpRng :: StdGen
- wlpConsensusInterface :: LedgerPeersConsensusInterface extraAPI m
- wlpTracer :: Tracer m TraceLedgerPeers
- wlpGetUseLedgerPeers :: STM m UseLedgerPeers
- wlpGetLedgerPeerSnapshot :: STM m (Maybe (LedgerPeerSnapshot BigLedgerPeers))
- wlpSemaphore :: DNSSemaphore m
- wlpSRVPrefix :: SRVPrefix

newtypenewtype AccPoolStake

Constructors

AccPoolStake
- unAccPoolStake :: Rational

datadata AfterSlot

Constructors

Always
After SlotNo

constructorAllLedgerPeers

constructorBigLedgerPeers

datadata IsBigLedgerPeer

IsBigLedgerPeer IsNotBigLedgerPeer

datadata IsLedgerPeer

IsLedgerPeer IsNotLedgerPeer

datadata LedgerPeerSnapshot (a :: LedgerPeersKind) where

Constructors

LedgerPeerSnapshotV2 :: (WithOrigin SlotNo, [(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))]) -> LedgerPeerSnapshot BigLedgerPeers
LedgerBigPeerSnapshotV23 :: !Point RawBlockHash -> !NetworkMagic -> ![(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))] -> LedgerPeerSnapshot BigLedgerPeers
LedgerAllPeerSnapshotV23 :: !Point RawBlockHash -> !NetworkMagic -> ![(PoolStake, NonEmpty LedgerRelayAccessPoint)] -> LedgerPeerSnapshot AllLedgerPeers

datadata LedgerPeerSnapshotSRVSupport

LedgerPeerSnapshotSupportsSRV LedgerPeerSnapshotDoesntSupportSRV

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

Constructors

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

datadata LedgerPeersKind

AllLedgerPeers BigLedgerPeers

newtypenewtype PoolStake

Constructors

PoolStake
- unPoolStake :: Rational

newtypenewtype RawBlockHash

Constructors

RawBlockHash ShortByteString

datadata SingLedgerPeersKind (k :: LedgerPeersKind) where

Constructors

SingAllLedgerPeers :: SingLedgerPeersKind AllLedgerPeers
SingBigLedgerPeers :: SingLedgerPeersKind BigLedgerPeers

datadata SomeLedgerPeerSnapshot

Constructors

forall k. SomeLedgerPeerSnapshot !(LedgerPeerSnapshot k)

datadata SomeLedgerPeersKind where

Constructors

SomeLedgerPeersKind :: SingLedgerPeersKind k -> SomeLedgerPeersKind

datadata UseLedgerPeers

Constructors

DontUseLedgerPeers
UseLedgerPeers AfterSlot

datadata LedgerRelayAccessPoint

Constructors

LedgerRelayAccessDomain !Domain !PortNumber
LedgerRelayAccessSRVDomain !Domain
LedgerRelayAccessAddress !IP !PortNumber

datadata RelayAccessPoint

Constructors

RelayAccessDomain !Domain !PortNumber
RelayAccessSRVDomain !Domain
RelayAccessAddress !IP !PortNumber

typetype SRVPrefix = Domain