Negative

libretto.CoreLib.SignalingJunction.Negative
See theNegative companion object
trait Negative[A] extends Negative[A], 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
Show all

Members list

Value members

Concrete methods

def delayUsing(f: Need -⚬ Need): A -⚬ 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.

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

def awaitNeg: A -⚬ Need |*| A

Alias for awaitNegFst.

Alias for awaitNegFst.

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative
def awaitPong: A -⚬ Pong |*| A

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
def signalNeg: Need |*| A -⚬ A

Alias for signalNegFst.

Alias for signalNegFst.

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative

Attributes

Inherited from:
Negative