libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.scaletto.impl.futurebased/FutureExecutor/ExecutionParam

ExecutionParam

libretto.scaletto.impl.futurebased.FutureExecutor$.ExecutionParam$
object ExecutionParam extends WithScheduler[ExecutionParam]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def extract[A](pa: ExecutionParam[A]): (Option[Scheduler], A)
override def pair[A, B](a: ExecutionParam[A], b: ExecutionParam[B]): ExecutionParam[(A, B)]

Attributes

Definition Classes
override def scheduler(s: Scheduler): ExecutionParam[Unit]

Attributes

Definition Classes
override def unit: ExecutionParam[Unit]

Attributes

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