Witnesses that A can both produce and await a positive (i.e. Done) signal.
Attributes
- Companion:
- object
- Graph
- Supertypes
Members list
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.
Attributes
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.
Attributes
Inherited methods
Alias for awaitPingFst.
Attributes
- Inherited from:
- Positive
Alias for awaitPosFst.
Attributes
- Inherited from:
- Positive
Attributes
- Inherited from:
- Positive
Attributes
- Inherited from:
- Positive
Attributes
- Inherited from:
- Positive
Alias for signalPosSnd.
Alias for signalPosFst.
Attributes
- Inherited from:
- Positive
Attributes
- Inherited from:
- Positive