-
Effekt Library
- io/signal
- Signal
- signal
- fire
- wait
- io/signal Jump to source: libraries/common/io/signal.effekt
- Signal
[A, B] - signal
[A, B]: Signal[A, B] / {} - fire
[A, B] (signal: Signal[A, B], value: A): B / {} - wait
[A, B] (signal: Signal[A, B], value: B): A / {}
Example usage: examples/stdlib/io/signal
Must be fired exactly once with an A receiving a B, and must be waited for exactly once with a B receiving an A.