Negative

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

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

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

Value members

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 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.

Inherited from
Negative
Inherited from
Negative
Inherited from
Negative
Inherited from
Negative

Alias for signalNegFst.

Inherited from
Negative
Inherited from
Negative
Inherited from
Negative