libretto/libretto/CoreLib/Deferrable/Positive

Positive

trait Positive[A]

Represents ''a'' way how (part of) A can be deferred until a Ping.

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

Value members

Abstract methods

Concrete methods

def awaitPing: Ping |*| A -⚬ A

Alias for awaitPingFst.

Alias for awaitPingFst.

def defer: A -⚬ Deferred[A]