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

Modulecardano-diffusion-1.1.1.0

Cardano.Network.PeerSelection.PublicRootPeers

2 types
24 values

Packagecardano-diffusion-1.1.1.0
Exports26
LicenceApache-2.0

valuefromBootstrapPeers :: Set peeraddr -> CardanoPublicRootPeers peeraddr

valuefromMapAndSet

:: Ord peeraddr
=> Map peeraddr PeerAdvertise
-> Set peeraddr
-> Set peeraddr
-> Set peeraddr
-> CardanoPublicRootPeers peeraddr

valuefromPublicRootPeers

:: Map peeraddr PeerAdvertise
-> CardanoPublicRootPeers peeraddr

valuegetBootstrapPeers :: CardanoPublicRootPeers peeraddr -> Set peeraddr

valuegetPublicConfigPeers

:: CardanoPublicRootPeers peeraddr
-> Map peeraddr PeerAdvertise

valueinsertBigLedgerPeer

:: Ord peeraddr
=> peeraddr
-> CardanoPublicRootPeers peeraddr
-> CardanoPublicRootPeers peeraddr

valueinsertBootstrapPeer

:: Ord peeraddr
=> peeraddr
-> CardanoPublicRootPeers peeraddr
-> CardanoPublicRootPeers peeraddr

valueinsertLedgerPeer

:: Ord peeraddr
=> peeraddr
-> CardanoPublicRootPeers peeraddr
-> CardanoPublicRootPeers peeraddr

valueinsertPublicConfigPeer

:: Ord peeraddr
=> peeraddr
-> PeerAdvertise
-> CardanoPublicRootPeers peeraddr
-> CardanoPublicRootPeers peeraddr

valuemerge

:: Ord peeraddr
=> CardanoPublicRootPeers peeraddr
-> CardanoPublicRootPeers peeraddr
-> CardanoPublicRootPeers peeraddr

valuetoPublicConfigPeerSet :: CardanoPublicRootPeers peeraddr -> Set peeraddr

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

typetype CardanoPublicRootPeers peeraddr = PublicRootPeers (ExtraPeers peeraddr) peeraddr

datadata PublicRootPeers extraPeers peeraddr

Constructors

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

Instances4Semigroup, Monoid, Eq, Show

Ord peeraddr => Semigroup (CardanoPublicRootPeers peeraddr)Defined in cardano-diffusion-1.1.1.0 · Cardano.Network.PeerSelection.PublicRootPeers · orphan
Ord peeraddr => Monoid (CardanoPublicRootPeers peeraddr)Defined in cardano-diffusion-1.1.1.0 · Cardano.Network.PeerSelection.PublicRootPeers · orphan
(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

Orphan instances

2 instances

Ord peeraddr => Semigroup (CardanoPublicRootPeers peeraddr)
Ord peeraddr => Monoid (CardanoPublicRootPeers peeraddr)