Negative

libretto.CoreLib.SignalingJunction$.Negative
See theNegative companion object
trait Negative[A] extends Negative[A] with Negative[A]

Witnesses that A can both produce and await a negative (i.e. Need) signal.

Attributes

Companion:
object
Graph
Supertypes
trait Negative[A]
trait Negative[A]
trait Negative[A]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

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

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

Inherited methods

Alias for awaitNegFst.

Alias for awaitNegFst.

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Alias for awaitPongFst.

Alias for awaitPongFst.

Attributes

Inherited from:
Negative
override def awaitPongFst: A -⚬ Pong |*| A

Attributes

Definition Classes
Inherited from:
Negative

Attributes

Inherited from:
Negative
def defer: A -⚬ Deferred[A]

Attributes

Inherited from:
Negative
def detain: A -⚬ Detained[A]

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Alias for signalNegFst.

Alias for signalNegFst.

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative