Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.PeerSelection.PublicRootPeers

Contents

Types
Basic operations

Synopsis

data PublicRootPeers peeraddr = PublicRootPeers {
- getPublicConfigPeers :: !(Map peeraddr PeerAdvertise)
- getBootstrapPeers :: !(Set peeraddr)
- getLedgerPeers :: !(Set peeraddr)
- getBigLedgerPeers :: !(Set peeraddr)
}
invariant :: Ord peeraddr => PublicRootPeers peeraddr -> Bool
empty :: PublicRootPeers peeraddr
null :: PublicRootPeers peeraddr -> Bool
size :: PublicRootPeers peeraddr -> Int
member :: Ord peeraddr => peeraddr -> PublicRootPeers peeraddr -> Bool
merge :: Ord peeraddr => PublicRootPeers peeraddr -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr
difference :: Ord peeraddr => PublicRootPeers peeraddr -> Set peeraddr -> PublicRootPeers peeraddr
intersection :: Ord peeraddr => PublicRootPeers peeraddr -> Set peeraddr -> PublicRootPeers peeraddr
toSet :: Ord peeraddr => PublicRootPeers peeraddr -> Set peeraddr
toPublicConfigPeerSet :: PublicRootPeers peeraddr -> Set peeraddr
toAllLedgerPeerSet :: Ord peeraddr => PublicRootPeers peeraddr -> Set peeraddr
insertPublicConfigPeer :: Ord peeraddr => peeraddr -> PeerAdvertise -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr
insertBootstrapPeer :: Ord peeraddr => peeraddr -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr
insertLedgerPeer :: Ord peeraddr => peeraddr -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr
insertBigLedgerPeer :: Ord peeraddr => peeraddr -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr
fromPublicRootPeers :: Map peeraddr PeerAdvertise -> PublicRootPeers peeraddr
fromBootstrapPeers :: Set peeraddr -> PublicRootPeers peeraddr
fromLedgerPeers :: Set peeraddr -> PublicRootPeers peeraddr
fromBigLedgerPeers :: Set peeraddr -> PublicRootPeers peeraddr
fromMapAndSet :: Ord peeraddr => Map peeraddr PeerAdvertise -> Set peeraddr -> Set peeraddr -> Set peeraddr -> PublicRootPeers peeraddr

Types

data PublicRootPeers peeraddr Source #

Public Root Peers consist of either a set of manually configured bootstrap peers.

There's an implicit precedence that will priorise bootstrap peers over the other sets, so if we are adding a bootstrap peer and that peer is already a member of other public root set, it is going to be removed from that set and added to the bootstrap peer set.

Constructors

PublicRootPeers
Fields getPublicConfigPeers :: !(Map peeraddr PeerAdvertise) getBootstrapPeers :: !(Set peeraddr) getLedgerPeers :: !(Set peeraddr) getBigLedgerPeers :: !(Set peeraddr)

Instances

Instances details

Ord peeraddr => Monoid (PublicRootPeers peeraddr) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.PublicRootPeers Methods mempty :: PublicRootPeers peeraddr # mappend :: PublicRootPeers peeraddr -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr # mconcat :: [PublicRootPeers peeraddr] -> PublicRootPeers peeraddr #
Ord peeraddr => Semigroup (PublicRootPeers peeraddr) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.PublicRootPeers Methods (<>) :: PublicRootPeers peeraddr -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr # sconcat :: NonEmpty (PublicRootPeers peeraddr) -> PublicRootPeers peeraddr # stimes :: Integral b => b -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr #
Show peeraddr => Show (PublicRootPeers peeraddr) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.PublicRootPeers Methods showsPrec :: Int -> PublicRootPeers peeraddr -> ShowS # show :: PublicRootPeers peeraddr -> String # showList :: [PublicRootPeers peeraddr] -> ShowS #
Eq peeraddr => Eq (PublicRootPeers peeraddr) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.PublicRootPeers Methods (==) :: PublicRootPeers peeraddr -> PublicRootPeers peeraddr -> Bool # (/=) :: PublicRootPeers peeraddr -> PublicRootPeers peeraddr -> Bool #

invariant :: Ord peeraddr => PublicRootPeers peeraddr -> Bool Source #

Basic operations

empty :: PublicRootPeers peeraddr Source #

null :: PublicRootPeers peeraddr -> Bool Source #

size :: PublicRootPeers peeraddr -> Int Source #

member :: Ord peeraddr => peeraddr -> PublicRootPeers peeraddr -> Bool Source #

merge :: Ord peeraddr => PublicRootPeers peeraddr -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr Source #

difference :: Ord peeraddr => PublicRootPeers peeraddr -> Set peeraddr -> PublicRootPeers peeraddr Source #

intersection :: Ord peeraddr => PublicRootPeers peeraddr -> Set peeraddr -> PublicRootPeers peeraddr Source #

toSet :: Ord peeraddr => PublicRootPeers peeraddr -> Set peeraddr Source #

toPublicConfigPeerSet :: PublicRootPeers peeraddr -> Set peeraddr Source #

toAllLedgerPeerSet :: Ord peeraddr => PublicRootPeers peeraddr -> Set peeraddr Source #

insertPublicConfigPeer :: Ord peeraddr => peeraddr -> PeerAdvertise -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr Source #

insertBootstrapPeer :: Ord peeraddr => peeraddr -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr Source #

insertLedgerPeer :: Ord peeraddr => peeraddr -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr Source #

insertBigLedgerPeer :: Ord peeraddr => peeraddr -> PublicRootPeers peeraddr -> PublicRootPeers peeraddr Source #

fromPublicRootPeers :: Map peeraddr PeerAdvertise -> PublicRootPeers peeraddr Source #

fromBootstrapPeers :: Set peeraddr -> PublicRootPeers peeraddr Source #

fromLedgerPeers :: Set peeraddr -> PublicRootPeers peeraddr Source #

fromBigLedgerPeers :: Set peeraddr -> PublicRootPeers peeraddr Source #

fromMapAndSet Source #

Arguments

:: Ord peeraddr
=> Map peeraddr PeerAdvertise	public configured root peers
-> Set peeraddr	bootstrap peers
-> Set peeraddr	ledger peers
-> Set peeraddr	big ledger peers
-> PublicRootPeers peeraddr

Preserves PublicRootPeers invariant. If the two sets are not disjoint, removes the common ones from the bootstrap peers set since its the most sensitive set.