libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/ClosedExecution/ClosedInPorts

ClosedInPorts

libretto.ClosedExecution.ClosedInPorts
trait ClosedInPorts extends InPorts

Attributes

Graph
Supertypes
trait InPorts
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

Value members

Abstract methods

def functionInputOutput[I, O](port: InPort[I =⚬ O]): (OutPort[I], InPort[O])

Inherited methods

def contramap[A, B](port: InPort[B])(f: A -⚬ B): InPort[A]

Attributes

Inherited from:
InPorts
def discardOne(port: InPort[One]): Unit

Attributes

Inherited from:
InPorts
def split[A, B](port: InPort[A |*| B]): (InPort[A], InPort[B])

Attributes

Inherited from:
InPorts
def supplyChoice[A, B](port: InPort[A |&| B]): Async[Either[Throwable, Either[InPort[A], InPort[B]]]]

Attributes

Inherited from:
InPorts
def supplyDone(port: InPort[Done]): Unit

Attributes

Inherited from:
InPorts
def supplyLeft[A, B](port: InPort[A |+| B]): InPort[A]

Attributes

Inherited from:
InPorts
def supplyPing(port: InPort[Ping]): Unit

Attributes

Inherited from:
InPorts
def supplyRight[A, B](port: InPort[A |+| B]): InPort[B]

Attributes

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