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

Detained

libretto.CoreLib.Detained
object Detained

Attributes

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

Members list

Type members

Classlikes

object given_Transportive_Detained extends Transportive[Detained]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def apply[A, B](f: Done |*| A -⚬ B): A -⚬ Detained[B]
def excludeFst[A, B]: Detained[A |*| B] -⚬ A |*| Detained[B]

Present the first part of a Detained pair as non-detained.

Present the first part of a Detained pair as non-detained.

Attributes

def excludeSnd[A, B]: Detained[A |*| B] -⚬ Detained[A] |*| B

Present the second part of a Detained pair as non-detained.

Present the second part of a Detained pair as non-detained.

Attributes

def extendDetentionUntil[A]: Done |*| Detained[A] -⚬ Detained[A]

Subsequent releaseBy won't have effect until also the given Done signal arrives.

Subsequent releaseBy won't have effect until also the given Done signal arrives.

Attributes

def extendDetentionUntilNeed[A]: Detained[A] -⚬ Need |*| Detained[A]

Subsequent releaseBy won't have effect until also the given Need signal arrives.

Subsequent releaseBy won't have effect until also the given Need signal arrives.

Attributes

def releaseAsap[A]: Detained[A] -⚬ A
def releaseBy[A]: Done |*| Detained[A] -⚬ A
def thunk[A](f: Done -⚬ A): One -⚬ Detained[A]
def untilDone[A, B](f: Done |*| A -⚬ B): A -⚬ Detained[B]
def untilNeed[A, B](f: A -⚬ Need |*| B): A -⚬ Detained[B]

Givens

Givens

given given_Negative_Detained[A]: Negative[Detained[A]]

Signals when it is released, awaiting delays the release.

Signals when it is released, awaiting delays the release.

Attributes

Generated with