cardano-diffusion
Safe HaskellNone
LanguageHaskell2010

Cardano.Network.PeerSelection.ExtraRootPeers

Synopsis

Documentation

data ExtraPeers peeraddr Source #

Constructors

ExtraPeers 

Fields

Instances

Instances details
Ord peeraddr => Monoid (ExtraPeers peeraddr) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

Methods

mempty :: ExtraPeers peeraddr #

mappend :: ExtraPeers peeraddr -> ExtraPeers peeraddr -> ExtraPeers peeraddr #

mconcat :: [ExtraPeers peeraddr] -> ExtraPeers peeraddr #

Ord peeraddr => Monoid (CardanoPublicRootPeers peeraddr) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.PublicRootPeers

Methods

mempty :: CardanoPublicRootPeers peeraddr #

mappend :: CardanoPublicRootPeers peeraddr -> CardanoPublicRootPeers peeraddr -> CardanoPublicRootPeers peeraddr #

mconcat :: [CardanoPublicRootPeers peeraddr] -> CardanoPublicRootPeers peeraddr #

Ord peeraddr => Semigroup (ExtraPeers peeraddr) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

Methods

(<>) :: ExtraPeers peeraddr -> ExtraPeers peeraddr -> ExtraPeers peeraddr #

sconcat :: NonEmpty (ExtraPeers peeraddr) -> ExtraPeers peeraddr #

stimes :: Integral b => b -> ExtraPeers peeraddr -> ExtraPeers peeraddr #

Ord peeraddr => Semigroup (CardanoPublicRootPeers peeraddr) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.PublicRootPeers

Methods

(<>) :: CardanoPublicRootPeers peeraddr -> CardanoPublicRootPeers peeraddr -> CardanoPublicRootPeers peeraddr #

sconcat :: NonEmpty (CardanoPublicRootPeers peeraddr) -> CardanoPublicRootPeers peeraddr #

stimes :: Integral b => b -> CardanoPublicRootPeers peeraddr -> CardanoPublicRootPeers peeraddr #

Show peeraddr => Show (ExtraPeers peeraddr) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

Methods

showsPrec :: Int -> ExtraPeers peeraddr -> ShowS #

show :: ExtraPeers peeraddr -> String #

showList :: [ExtraPeers peeraddr] -> ShowS #

Show (ToExtraTrace (ExtraPeers peeraddr)) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

Methods

showsPrec :: Int -> ToExtraTrace (ExtraPeers peeraddr) -> ShowS #

show :: ToExtraTrace (ExtraPeers peeraddr) -> String #

showList :: [ToExtraTrace (ExtraPeers peeraddr)] -> ShowS #

Show peeraddr => Show (ViewExtraPeers (ExtraPeers peeraddr)) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

Methods

showsPrec :: Int -> ViewExtraPeers (ExtraPeers peeraddr) -> ShowS #

show :: ViewExtraPeers (ExtraPeers peeraddr) -> String #

showList :: [ViewExtraPeers (ExtraPeers peeraddr)] -> ShowS #

Eq peeraddr => Eq (ExtraPeers peeraddr) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

Methods

(==) :: ExtraPeers peeraddr -> ExtraPeers peeraddr -> Bool #

(/=) :: ExtraPeers peeraddr -> ExtraPeers peeraddr -> Bool #

Eq peeraddr => Eq (ViewExtraPeers (ExtraPeers peeraddr)) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

Methods

(==) :: ViewExtraPeers (ExtraPeers peeraddr) -> ViewExtraPeers (ExtraPeers peeraddr) -> Bool #

(/=) :: ViewExtraPeers (ExtraPeers peeraddr) -> ViewExtraPeers (ExtraPeers peeraddr) -> Bool #

(Ord peeraddr, Show peeraddr) => SupportsPeerSelectionState (ExtraPeers peeraddr) peeraddr Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

Associated Types

data ToExtraTrace (ExtraPeers peeraddr) 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

data ToExtraTrace (ExtraPeers peeraddr)
data ViewExtraPeers (ExtraPeers peeraddr) 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

data ViewExtraPeers (ExtraPeers peeraddr) = ExtraPeerSelectionSetsWithSizes {}

Methods

publicExtraPeersAPI :: PublicExtraPeersAPI (ExtraPeers peeraddr) peeraddr #

mkViewExtraPeers :: PeerSelectionState extraState extraFlags (ExtraPeers peeraddr) peeraddr peerconn -> ViewExtraPeers (ExtraPeers peeraddr) #

data ToExtraTrace (ExtraPeers peeraddr) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

data ToExtraTrace (ExtraPeers peeraddr)
data ViewExtraPeers (ExtraPeers peeraddr) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

data ViewExtraPeers (ExtraPeers peeraddr) = ExtraPeerSelectionSetsWithSizes {}

data family ToExtraTrace extraPeers #

Instances

Instances details
Show (ToExtraTrace (ExtraPeers peeraddr)) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

Methods

showsPrec :: Int -> ToExtraTrace (ExtraPeers peeraddr) -> ShowS #

show :: ToExtraTrace (ExtraPeers peeraddr) -> String #

showList :: [ToExtraTrace (ExtraPeers peeraddr)] -> ShowS #

Show (ToExtraTrace (NoExtraPeers peeraddr)) 
Instance details

Defined in Ouroboros.Network.Diffusion.Types

Methods

showsPrec :: Int -> ToExtraTrace (NoExtraPeers peeraddr) -> ShowS #

show :: ToExtraTrace (NoExtraPeers peeraddr) -> String #

showList :: [ToExtraTrace (NoExtraPeers peeraddr)] -> ShowS #

data ToExtraTrace (ExtraPeers peeraddr) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

data ToExtraTrace (ExtraPeers peeraddr)
data ToExtraTrace (NoExtraPeers peeraddr) 
Instance details

Defined in Ouroboros.Network.Diffusion.Types

data ToExtraTrace (NoExtraPeers peeraddr)

data family ViewExtraPeers extraPeers #

Peer selection view.

This is a functor which is used to hold computation of various peer sets and their sizes. See peerSelectionStateToView, peerSelectionStateToCounters.

Instances

Instances details
Show peeraddr => Show (ViewExtraPeers (ExtraPeers peeraddr)) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

Methods

showsPrec :: Int -> ViewExtraPeers (ExtraPeers peeraddr) -> ShowS #

show :: ViewExtraPeers (ExtraPeers peeraddr) -> String #

showList :: [ViewExtraPeers (ExtraPeers peeraddr)] -> ShowS #

Eq peeraddr => Eq (ViewExtraPeers (ExtraPeers peeraddr)) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

Methods

(==) :: ViewExtraPeers (ExtraPeers peeraddr) -> ViewExtraPeers (ExtraPeers peeraddr) -> Bool #

(/=) :: ViewExtraPeers (ExtraPeers peeraddr) -> ViewExtraPeers (ExtraPeers peeraddr) -> Bool #

Eq (ViewExtraPeers (NoExtraPeers peeraddr)) 
Instance details

Defined in Ouroboros.Network.Diffusion.Types

Methods

(==) :: ViewExtraPeers (NoExtraPeers peeraddr) -> ViewExtraPeers (NoExtraPeers peeraddr) -> Bool #

(/=) :: ViewExtraPeers (NoExtraPeers peeraddr) -> ViewExtraPeers (NoExtraPeers peeraddr) -> Bool #

data ViewExtraPeers (ExtraPeers peeraddr) Source # 
Instance details

Defined in Cardano.Network.PeerSelection.ExtraRootPeers

data ViewExtraPeers (ExtraPeers peeraddr) = ExtraPeerSelectionSetsWithSizes {}
data ViewExtraPeers (NoExtraPeers peeraddr) 
Instance details

Defined in Ouroboros.Network.Diffusion.Types

data ViewExtraPeers (NoExtraPeers peeraddr) = NoExtraView

toAdvertisePeersMap :: Ord peeraddr => ExtraPeers peeraddr -> Map peeraddr PeerAdvertise Source #

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

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

size :: ExtraPeers peeraddr -> Int Source #

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

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

nullAll :: ExtraPeers peeraddr -> Bool Source #

nullBootstrap :: ExtraPeers peeraddr -> Bool Source #

nullPublicConfig :: ExtraPeers peeraddr -> Bool Source #

empty :: ExtraPeers peeraddr Source #

fromMapAndSet :: Ord peeraddr => Map peeraddr PeerAdvertise -> Set peeraddr -> ExtraPeers peeraddr Source #

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

cardanoPublicRootPeersAPI :: Ord peeraddr => PublicExtraPeersAPI (ExtraPeers peeraddr) peeraddr Source #