New governor properties for making progress towards targets

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 · May 12, 2021 · ddd124c · ddd124c
1 parent 012779f
commit ddd124c
Show file tree

Hide file tree

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