Negative

trait Negative[A] extends Negative[A] with Negative[A]

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

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

Companion
object
trait Negative[A]
trait Negative[A]
trait Negative[A]
class Object
trait Matchable
class Any

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.

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.

Inherited methods

def awaitNeg: A -⚬ Need |*| A

Alias for awaitNegFst.

Alias for awaitNegFst.

Inherited from
Negative
Inherited from
Negative
Inherited from
Negative

Alias for awaitPongFst.

Alias for awaitPongFst.

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

Alias for signalNegFst.

Alias for signalNegFst.

Inherited from
Negative
Inherited from
Negative
Inherited from
Negative