libretto-core
API
Generated with
libretto-core/libretto/CoreLib/Deferred

Deferred

libretto.CoreLib.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: Ping |*| A -⚬ B): A -⚬ Deferred[B]
def forceResume[A]: Deferred[A] -⚬ A
def resumeBy[A]: Ping |*| Deferred[A] -⚬ A
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]

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