Witnesses that A can both produce and await a positive (i.e. Done) signal.
Witnesses that A can both produce and await a positive (i.e. Done) signal.
- Companion
- object
Value members
Concrete methods
Expresses that awaiting a signal and then signaling does not speed up the original signal, i.e. that the point of signaling in A is causally dependent on the point of awaiting in A.
Expresses that awaiting a signal and then signaling does not speed up the original signal, i.e. that the point of signaling in A is causally dependent on the point of awaiting in A.
Expresses that awaiting one's own signal does not introduce a new causal dependency, i.e. that the point of awaiting in A is causally dependent on the point of signaling in A.
Expresses that awaiting one's own signal does not introduce a new causal dependency, i.e. that the point of awaiting in A is causally dependent on the point of signaling in A.