CoreExecution

libretto.CoreExecution
trait CoreExecution[DSL <: CoreDSL]

Attributes

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

Members list

Type members

Classlikes

trait InPorts

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait OutPorts

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes

Types

type InPort[A]
type OutPort[A]

Value members

Abstract fields

val dsl: DSL

Extensions

Extensions

extension [A](port: OutPort[A])
def discard(using ev: A =:= One): Unit
def map[B](f: A -⚬ B): OutPort[B]