p2p-governor: New governor properties for making progress towards tar…

…gets In particular the target for known peers, which is particularly tricky. Also properties for established and active peers. These all use the signal-based abstraction to define the properties in a compositional and hopefully comprehensible style.
IntersectMBO · Sep 28, 2021 · 39bcb71 · 39bcb71
1 parent 6d1eb72
commit 39bcb71
Show file tree

Hide file tree

Showing 3 changed files with 1,011 additions and 5 deletions.
diff --git a/ouroboros-network/src/Ouroboros/Network/PeerSelection/Governor.hs b/ouroboros-network/src/Ouroboros/Network/PeerSelection/Governor.hs
@@ -32,7 +32,9 @@ module Ouroboros.Network.PeerSelection.Governor (
     sanePeerSelectionTargets,
     establishedPeersStatus,
     PeerSelectionState(..),
-    PeerSelectionCounters(..)
+    PeerSelectionCounters(..),
+    nullPeerSelectionTargets,
+    emptyPeerSelectionState,
 ) where
 
 import           Data.Void (Void)