Junction

libretto.CoreLib.Junction$
object Junction

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

object Negative

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
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.

Attributes

Companion:
object
Graph
Supertypes
trait Negative[A]
class Object
trait Matchable
class Any
Known subtypes
trait Negative[A]
object Positive

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Positive[A] extends Positive[A]

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

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

Attributes

Companion:
object
Graph
Supertypes
trait Positive[A]
class Object
trait Matchable
class Any
Known subtypes
trait Positive[A]

Value members

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

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

Attributes

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.

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

Attributes