libretto/libretto/CoreLib/Junction/Positive

Positive

trait Positive[A]

Represents ''a'' way how A can await (join) a positive (i.e. Done) signal.

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

Value members

Methods

def awaitPos: Done |*| A -⚬ A

Alias for awaitPosFst.