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

libretto

package libretto

Members list

Concise view

Type members

Classlikes

trait Bifunctor[->[_, _], F[_, _]]

Witnesses that F is a bifunctor (covariant in both variables) on the category ->.

Witnesses that F is a bifunctor (covariant in both variables) on the category ->.

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Bifunctor[->, F]
object Bifunctor

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait ClosedBridge extends CoreBridge

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object BridgeImpl.type
object ClosedBridge

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait ClosedDSL extends CoreDSL

Extension of CoreDSL that adds support for "functions as data" (=⚬). In other words, it makes CoreDSL.-⚬ a ''closed'' monoidal category.

Extension of CoreDSL that adds support for "functions as data" (=⚬). In other words, it makes CoreDSL.-⚬ a ''closed'' monoidal category.

Attributes

Graph
Supertypes
trait CoreDSL
class Object
trait Matchable
class Any
Known subtypes
trait InvertDSL
trait Scaletto
object FreeScaletto.type
trait ClosedExecution[DSL <: ClosedDSL] extends CoreExecution[DSL]

Attributes

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

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class ClosedLib[DSL <: ClosedDSL, CLib <: CoreLib[DSL]](val dsl: DSL, val coreLib: CLib & CoreLib[DSL])

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ClosedLib[DSL, CLib]
trait Comonad[->[_, _], F[_]] extends Functor[->, F]

Witnesses that F is a comonad in the category ->.

Witnesses that F is a comonad in the category ->.

Attributes

Graph
Supertypes
trait Functor[->, F]
class Object
trait Matchable
class Any
trait ContraFunctor[->[_, _], F[_]]

Witnesses that F is a contravariant endofunctor on the category ->.

Witnesses that F is a contravariant endofunctor on the category ->.

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object ContraFunctor

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait CoreBridge

Defines interface to interact with a running Libretto program.

Defines interface to interact with a running Libretto program.

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object BridgeImpl.type
object CoreBridge

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait CoreDSL

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ClosedDSL
trait InvertDSL
trait Scaletto
object FreeScaletto.type
trait CrashDSL
trait TimerDSL
trait CoreExecution[DSL <: CoreDSL]

Attributes

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

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
CoreLib.type
opaque class CoreLib[DSL <: CoreDSL](val dsl: DSL)

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
CoreLib[DSL]
object CoreStreams

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class CoreStreams[DSL <: CoreDSL, Lib <: CoreLib[DSL]](val dsl: DSL, val lib: Lib & CoreLib[DSL])

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
trait CrashDSL extends CoreDSL

Attributes

Graph
Supertypes
trait CoreDSL
class Object
trait Matchable
class Any
Known subtypes
trait Scaletto
object FreeScaletto.type
final class Executing[BRIDGE <: CoreBridge & Singleton, A, B](using val bridge: BRIDGE)(val execution: Execution, val inPort: InPort[A], val outPort: OutPort[B])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
trait ExecutionParams[P[_]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait WithScheduler[P]
object ExecutionParam.type
object ExecutionParams

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Executor

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type
object Executor

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Functor[->[_, _], F[_]]

Witnesses that F is a covariant endofunctor on the category ->.

Witnesses that F is a covariant endofunctor on the category ->.

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Comonad[->, F]
trait Monad[->, F]
Self type
Functor[->, F]
object Functor

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Functor.type
trait InvertDSL extends ClosedDSL

Attributes

Graph
Supertypes
trait ClosedDSL
trait CoreDSL
class Object
trait Matchable
class Any
Known subtypes
trait Scaletto
object FreeScaletto.type
object InvertLib

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class InvertLib[CoreLib <: CoreLib[_ <: InvertDSL]](val coreLib: CoreLib)

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
trait Monad[->[_, _], F[_]] extends Functor[->, F]

Witnesses that F is a monad in the category ->.

Witnesses that F is a monad in the category ->.

Attributes

Graph
Supertypes
trait Functor[->, F]
class Object
trait Matchable
class Any
trait Scheduler

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TimerDSL extends CoreDSL

Attributes

Graph
Supertypes
trait CoreDSL
class Object
trait Matchable
class Any
Known subtypes
trait Scaletto
object FreeScaletto.type
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL