libretto-core
API
Generated with
libretto-core/libretto/CoreLib/Junction

Junction

libretto.CoreLib.Junction
object Junction

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Junction.type

Members list

Type members

Classlikes

object Negative

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Negative.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
Supertypes
trait Negative[A]
class Object
trait Matchable
class Any
Known subtypes
trait Negative[A]
object Positive

Attributes

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

Generated with