SignalingJunction

libretto.CoreLib.SignalingJunction$

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] with Negative[A]

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
Graph
Supertypes
trait Negative[A]
trait Negative[A]
trait Negative[A]
class Object
trait Matchable
class Any
object Positive

Attributes

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

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
Graph
Supertypes
trait Positive[A]
trait Positive[A]
trait Positive[A]
class Object
trait Matchable
class Any