Generated with

libretto-core/libretto/CoreLib/SignalingJunction

SignalingJunction

libretto.CoreLib.SignalingJunction

object SignalingJunction

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Self type: SignalingJunction.type

Members list

Type members

Classlikes

Attributes

Companion: trait
Supertypes: class Object

trait Matchable

class Any
Self type: Negative.type

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

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

Attributes

Companion: object
Supertypes: trait Negative[A]

trait Negative[A]

trait Negative[A]

class Object

trait Matchable

class Any
Show all

Attributes

Companion: trait
Supertypes: class Object

trait Matchable

class Any
Self type: Positive.type

Witnesses that A can both produce and await a positive (i.e. Done) signal.

Witnesses that A can both produce and await a positive (i.e. Done) signal.

Attributes

Companion: object
Supertypes: trait Positive[A]

trait Positive[A]

trait Positive[A]

class Object

trait Matchable

class Any
Show all

In this article

Generated with