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.PublicRootPeers

1 type
13 values

Packageouroboros-network-1.2.0.0
Exports14
LicenceApache-2.0

valuedifference

:: Ord peeraddr
=> extraPeers -> Set peeraddr -> extraPeers
-> PublicRootPeers extraPeers peeraddr
-> Set peeraddr
-> PublicRootPeers extraPeers peeraddr

valueempty :: extraPeers -> PublicRootPeers extraPeers peeraddr

valuefromBigLedgerPeers

:: Monoid extraPeers
=> Set peeraddr
-> PublicRootPeers extraPeers peeraddr

valuefromDisjointSets

:: Ord peeraddr
=> extraPeers -> Set peeraddr
-> extraPeers
-> Set peeraddr
-> Set peeraddr
-> PublicRootPeers extraPeers peeraddr

valuefromLedgerPeers

:: Monoid extraPeers
=> Set peeraddr
-> PublicRootPeers extraPeers peeraddr

valueintersection

:: Ord peeraddr
=> extraPeers -> Set peeraddr -> extraPeers
-> PublicRootPeers extraPeers peeraddr
-> Set peeraddr
-> PublicRootPeers extraPeers peeraddr

valueinvariant

:: Ord peeraddr
=> extraPeers -> Bool
-> extraPeers -> Set peeraddr
-> PublicRootPeers extraPeers peeraddr
-> Bool

valuemember

:: Ord peeraddr
=> peeraddr
-> peeraddr -> extraPeers -> Bool
-> PublicRootPeers extraPeers peeraddr
-> Bool

valuemergeG

:: (Ord peeraddr, Semigroup extraPeers)
=> extraPeers -> Set peeraddr
-> PublicRootPeers extraPeers peeraddr
-> PublicRootPeers extraPeers peeraddr
-> PublicRootPeers extraPeers peeraddr

valuenull :: (extraPeers -> Bool) -> PublicRootPeers extraPeers peeraddr -> Bool

valuesize :: (extraPeers -> Int) -> PublicRootPeers extraPeers peeraddr -> Int

valuetoAllLedgerPeerSet

:: Ord peeraddr
=> PublicRootPeers extraPeers peeraddr
-> Set peeraddr

valuetoSet

:: Ord peeraddr
=> extraPeers -> Set peeraddr
-> PublicRootPeers extraPeers peeraddr
-> Set peeraddr

datadata PublicRootPeers extraPeers peeraddr

Constructors

PublicRootPeers
- getLedgerPeers :: !Set peeraddr
- getBigLedgerPeers :: !Set peeraddr
- getExtraPeers :: !extraPeers

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