Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Network.PeerSelection.Types
Synopsis
- data PeerSource
- data PeerStatus
- data PublicExtraPeersAPI extraPeers peeraddr = PublicExtraPeersAPI {
- nullExtraPeers :: extraPeers -> Bool
- invariantExtraPeers :: extraPeers -> Bool
- memberExtraPeers :: peeraddr -> extraPeers -> Bool
- extraPeersToSet :: extraPeers -> Set peeraddr
- sizeExtraPeers :: extraPeers -> Int
- differenceExtraPeers :: extraPeers -> Set peeraddr -> extraPeers
- intersectionExtraPeers :: extraPeers -> Set peeraddr -> extraPeers
- toAdvertise :: extraPeers -> Map peeraddr PeerAdvertise
Documentation
data PeerSource Source #
Where did this peer come from? Policy functions can choose to treat peers differently depending on where we found them from.
Instances
data PeerStatus Source #
Constructors
PeerCold | Peer is in true cold which means no connection to exists and the outbound governor is safe to promote it. |
PeerCooling | Peer is in cold state but its connection still lingers. I.e. it is still in progress to be fully demoted. Note:
The `PeerCooling -> PeerCold` state transition is an `outbound-governor`
reflection of the connection-manager's `TerminatingSt -> TerminatedSt`
state transition (our version of tcp's |
PeerWarm | |
PeerHot |
Instances
Show PeerStatus Source # | |
Defined in Ouroboros.Network.PeerSelection.Types Methods showsPrec :: Int -> PeerStatus -> ShowS # show :: PeerStatus -> String # showList :: [PeerStatus] -> ShowS # | |
Eq PeerStatus Source # | |
Defined in Ouroboros.Network.PeerSelection.Types | |
Ord PeerStatus Source # | |
Defined in Ouroboros.Network.PeerSelection.Types Methods compare :: PeerStatus -> PeerStatus -> Ordering # (<) :: PeerStatus -> PeerStatus -> Bool # (<=) :: PeerStatus -> PeerStatus -> Bool # (>) :: PeerStatus -> PeerStatus -> Bool # (>=) :: PeerStatus -> PeerStatus -> Bool # max :: PeerStatus -> PeerStatus -> PeerStatus # min :: PeerStatus -> PeerStatus -> PeerStatus # |
data PublicExtraPeersAPI extraPeers peeraddr Source #
Constructors
PublicExtraPeersAPI | |
Fields
|