libretto/libretto/CoreLib/Junction/Negative

Negative

trait Negative[A] extends Negative[A]

Represents ''a'' way how A can await (join) a negative (i.e. Need) signal.

Represents ''a'' way how A can await (join) a negative (i.e. Need) signal.

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

Value members

Abstract methods

Concrete methods

def awaitNeg: A -⚬ Need |*| A

Alias for awaitNegFst.

Alias for awaitNegFst.

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

Inherited methods

def awaitPong: A -⚬ Pong |*| A

Alias for awaitPongFst.

Alias for awaitPongFst.

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