libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreLib/Junction/Positive

Positive

libretto.CoreLib.Junction$.Positive
See thePositive companion object
trait Positive[A] extends Positive[A]

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]

Members list

Concise view

Value members

Abstract methods

Concrete methods

override def awaitPingFst: Ping |*| A -⚬ A

Attributes

Definition Classes
def awaitPos: Done |*| A -⚬ A

Alias for awaitPosFst.

Alias for awaitPosFst.

Attributes

def detain: A -⚬ Detained[A]

Inherited methods

def awaitPing: Ping |*| A -⚬ A

Alias for awaitPingFst.

Alias for awaitPingFst.

Attributes

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

Attributes

Inherited from:
Positive
def defer: A -⚬ Deferred[A]

Attributes

Inherited from:
Positive
def law_awaitPingComposition: Equal[Ping |*| Ping |*| A -⚬ A]

Attributes

Inherited from:
Positive
def law_awaitPingIdentity: Equal[One |*| A -⚬ A]

Attributes

Inherited from:
Positive
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL