libretto/libretto/CoreLib/Junction/Positive

Positive

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.

Companion
object
trait Positive[A]
class Object
trait Matchable
class Any
trait Positive[A]

Value members

Abstract methods

Concrete methods

override def awaitPingFst: Ping |*| A -⚬ A
Definition Classes
def awaitPos: Done |*| A -⚬ A

Alias for awaitPosFst.

Alias for awaitPosFst.

Inherited methods

def awaitPing: Ping |*| A -⚬ A

Alias for awaitPingFst.

Alias for awaitPingFst.

Inherited from
Positive
def awaitPingSnd: A |*| Ping -⚬ A
Inherited from
Positive