libretto-core
API
Generated with
libretto-core/libretto/ClosedExecution

ClosedExecution

libretto.ClosedExecution
trait ClosedExecution[DSL <: ClosedDSL] extends CoreExecution[DSL]

Attributes

Graph
Supertypes
trait CoreExecution[DSL]
class Object
trait Matchable
class Any
Known subtypes
trait ScalettoExecution[DSL]

Members list

Type members

Classlikes

trait ClosedInPorts extends InPorts

Attributes

Supertypes
trait InPorts
class Object
trait Matchable
class Any
Known subtypes
trait ClosedOutPorts extends OutPorts

Attributes

Supertypes
trait OutPorts
class Object
trait Matchable
class Any
Known subtypes

Inherited classlikes

trait InPorts

Attributes

Inherited from:
CoreExecution
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait OutPorts

Attributes

Inherited from:
CoreExecution
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Inherited types

type InPort[A]

Attributes

Inherited from:
CoreExecution
type OutPort[A]

Attributes

Inherited from:
CoreExecution

Value members

Abstract fields

override val InPort: ClosedInPorts
override val OutPort: ClosedOutPorts

Inherited fields

val dsl: DSL

Attributes

Inherited from:
CoreExecution

Extensions

Inherited extensions

extension [A](port: OutPort[A])
def discard(using ev: A =:= One): Unit

Attributes

Inherited from:
CoreExecution
def map[B](f: A -⚬ B): OutPort[B]

Attributes

Inherited from:
CoreExecution
Generated with