libretto-core
API
Generated with
libretto-core/libretto/libretto.puro/PuroLib/Deferred

Deferred

libretto.puro.PuroLib.Deferred
object Deferred

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Deferred.type

Members list

Value members

Concrete methods

def apply[A, B](f: (dsl.Ping dsl.|*| A) dsl.-⚬ B): A dsl.-⚬ Deferred[B]
def forceResume[A]: Deferred[A] dsl.-⚬ A
def notifyResumeNeg[A]: (dsl.Pong dsl.|*| Deferred[A]) dsl.-⚬ Deferred[A]
def notifyResumePos[A]: Deferred[A] dsl.-⚬ (dsl.Ping dsl.|*| Deferred[A])
def resumeBy[A]: (dsl.Ping dsl.|*| Deferred[A]) dsl.-⚬ A
def thunk[A](f: dsl.Ping dsl.-⚬ A): dsl.One dsl.-⚬ Deferred[A]
def untilPing[A, B](f: (dsl.Ping dsl.|*| A) dsl.-⚬ B): A dsl.-⚬ Deferred[B]
def untilPong[A, B](f: A dsl.-⚬ (dsl.Pong dsl.|*| B)): A dsl.-⚬ Deferred[B]

Givens

Givens

given deferrableDeferred[A]: Negative[Deferred[A]]

Defers resumption.

Defers resumption.

Attributes

given signalingDeferred[A]: Negative[Deferred[A]]

Signals resumption.

Signals resumption.

Attributes

Generated with