| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Network.PeerSelection.EstablishedPeers
Synopsis
- data EstablishedPeers peeraddr peerconn
- empty ∷ EstablishedPeers peeraddr perconn
- toMap ∷ EstablishedPeers peeraddr peerconn → Map peeraddr peerconn
- toSet ∷ EstablishedPeers peeraddr peerconn → Set peeraddr
- readyPeers ∷ Ord peeraddr ⇒ EstablishedPeers peeraddr peerconn → Set peeraddr
- size ∷ EstablishedPeers peeraddr peerconn → Int
- sizeReady ∷ EstablishedPeers peeraddr peerconn → Int
- member ∷ Ord peeraddr ⇒ peeraddr → EstablishedPeers peeraddr peerconn → Bool
- insert ∷ Ord peeraddr ⇒ peeraddr → peerconn → EstablishedPeers peeraddr peerconn → EstablishedPeers peeraddr peerconn
- delete ∷ Ord peeraddr ⇒ peeraddr → EstablishedPeers peeraddr peerconn → EstablishedPeers peeraddr peerconn
- deletePeers ∷ Ord peeraddr ⇒ Set peeraddr → EstablishedPeers peeraddr peerconn → EstablishedPeers peeraddr peerconn
- setCurrentTime ∷ Ord peeraddr ⇒ Time → EstablishedPeers peeraddr peerconn → EstablishedPeers peeraddr peerconn
- minActivateTime ∷ Ord peeraddr ⇒ EstablishedPeers peeraddr peerconn → Maybe Time
- setActivateTime ∷ Ord peeraddr ⇒ Set peeraddr → Time → EstablishedPeers peeraddr peerconn → EstablishedPeers peeraddr peerconn
- invariant ∷ Ord peeraddr ⇒ EstablishedPeers peeraddr peerconn → Bool
Documentation
data EstablishedPeers peeraddr peerconn Source #
Instances
| Functor (EstablishedPeers peeraddr) Source # | |
Defined in Ouroboros.Network.PeerSelection.EstablishedPeers Methods fmap ∷ (a → b) → EstablishedPeers peeraddr a → EstablishedPeers peeraddr b Source # (<$) ∷ a → EstablishedPeers peeraddr b → EstablishedPeers peeraddr a Source # | |
| (Show peeraddr, Show peerconn) ⇒ Show (EstablishedPeers peeraddr peerconn) Source # | |
empty ∷ EstablishedPeers peeraddr perconn Source #
toMap ∷ EstablishedPeers peeraddr peerconn → Map peeraddr peerconn Source #
O(1)
toSet ∷ EstablishedPeers peeraddr peerconn → Set peeraddr Source #
O(n)
readyPeers ∷ Ord peeraddr ⇒ EstablishedPeers peeraddr peerconn → Set peeraddr Source #
Map of established peers that are either active or ready to be promoted to active.
O(n log m), for n not-ready peers, and m established peers
size ∷ EstablishedPeers peeraddr peerconn → Int Source #
The number of established peers. The size of allPeers
O(1)
sizeReady ∷ EstablishedPeers peeraddr peerconn → Int Source #
The number of ready peers. The size of readyPeers
O(1)
insert ∷ Ord peeraddr ⇒ peeraddr → peerconn → EstablishedPeers peeraddr peerconn → EstablishedPeers peeraddr peerconn Source #
Insert a peer into EstablishedPeers.
delete ∷ Ord peeraddr ⇒ peeraddr → EstablishedPeers peeraddr peerconn → EstablishedPeers peeraddr peerconn Source #
deletePeers ∷ Ord peeraddr ⇒ Set peeraddr → EstablishedPeers peeraddr peerconn → EstablishedPeers peeraddr peerconn Source #
Bulk delete of peers from 'EstablishedPeers.
setCurrentTime ∷ Ord peeraddr ⇒ Time → EstablishedPeers peeraddr peerconn → EstablishedPeers peeraddr peerconn Source #
minActivateTime ∷ Ord peeraddr ⇒ EstablishedPeers peeraddr peerconn → Maybe Time Source #
setActivateTime ∷ Ord peeraddr ⇒ Set peeraddr → Time → EstablishedPeers peeraddr peerconn → EstablishedPeers peeraddr peerconn Source #