We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent eac8a3d commit 49ba546Copy full SHA for 49ba546
src/Std/Internal/Async/Signal.lean
@@ -238,8 +238,8 @@ def stop (s : Signal.Waiter) : IO Unit :=
238
s.native.stop
239
240
/--
241
-Create a `Selector` that resolves once `s` has received the signal. Note that calling this function will
242
-only be started if used with `Selectable.one` or `Selectable.combine`.
+Create a `Selector` that resolves once `s` has received the signal. Note that calling this function
+does not start the signal waiter.
243
-/
244
def selector (s : Signal.Waiter) : Selector Unit :=
245
{
0 commit comments