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

Deferred

libretto.CoreLib.Deferred$
object Deferred

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def apply[A, B](f: Ping |*| A -⚬ B): A -⚬ Deferred[B]
def thunk[A](f: Ping -⚬ A): One -⚬ Deferred[A]
def untilPing[A, B](f: Ping |*| A -⚬ B): A -⚬ Deferred[B]
def untilPong[A, B](f: A -⚬ Pong |*| B): A -⚬ Deferred[B]

Implicits

Implicits

implicit def deferrableDeferred[A]: Negative[Deferred[A]]

Defers resumption.

Defers resumption.

Attributes

implicit def signalingDeferred[A]: Negative[Deferred[A]]

Signals resumption.

Signals resumption.

Attributes

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL