libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/ExecutionParams/WithScheduler

WithScheduler

libretto.ExecutionParams$.WithScheduler
trait WithScheduler[P[_]] extends ExecutionParams[P]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ExecutionParam.type

Members list

Concise view

Value members

Abstract methods

def scheduler(s: Scheduler): P[Unit]

Inherited methods

def pair[A, B](a: P[A], b: P[B]): P[(A, B)]

Attributes

Inherited from:
ExecutionParams
def unit: P[Unit]

Attributes

Inherited from:
ExecutionParams
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL