refactor(paxos): start splitting out leader election into a separate …

…module (#1485) --- [//]: # (BEGIN SAPLING FOOTER) Stack created with [Sapling](https://sapling-scm.com). Best reviewed with [ReviewStack](https://reviewstack.dev/hydro-project/hydroflow/pull/1485). * #1493 * #1492 * #1489 * #1488 * #1487 * #1486 * __->__ #1485
hydro-project · Oct 30, 2024 · dff2a40 · dff2a40
1 parent f7e740f
commit dff2a40
Show file tree

Hide file tree

Showing 3 changed files with 633 additions and 646 deletions.
diff --git a/hydroflow_plus/src/singleton.rs b/hydroflow_plus/src/singleton.rs
@@ -580,6 +580,10 @@ impl<'a, T, N: Location<'a>> Optional<T, Bounded, Tick, N> {
             .map(q!(|(d, _signal)| d))
     }
 
+    pub fn then<U>(self, value: Singleton<U, Bounded, Tick, N>) -> Optional<U, Bounded, Tick, N> {
+        value.continue_if(self)
+    }
+
     pub fn continue_unless<U>(
         self,
         other: Optional<U, Bounded, Tick, N>,