libretto/libretto/CoreLib/Junction

Junction

object Junction
class Object
trait Matchable
class Any

Type members

Classlikes

trait Negative[A]

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

Companion
object
object Negative
Companion
class
trait Positive[A]

Represents ''a'' way how A can await (join) a positive (i.e. Done) signal.

Companion
object
object Positive
Companion
class

Value members

Methods

def invert[A](A: Positive[A]): Negative[A]

Positive junction can be made to await a negative (i.e. Need) signal, by inverting the signal (lInvertSignal) and awaiting the inverted positive signal.

def invert[A](A: Negative[A]): Positive[A]

Negative junction can be made to await a positive (i.e. Done) signal, by inverting the signal (rInvertSignal) and awaiting the inverted negative signal.