libretto-core
API
Generated with
libretto-core/libretto

libretto

package libretto

Members list

Packages

package libretto.scaletto
package libretto.util

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
Supertypes
class Object
trait Matchable
class Any
Self type
Bifunctor[->, F]
object Bifunctor

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Bifunctor.type
trait ClosedBridge extends CoreBridge

Attributes

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

Attributes

Companion
trait
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

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

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

Attributes

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

Attributes

Companion
object
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

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
Supertypes
class Object
trait Matchable
class Any
Self type
ContraFunctor[->, F]
object ContraFunctor

Attributes

Companion
trait
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
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ClosedBridge
object BridgeImpl.type
object CoreBridge

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
CoreBridge.type
trait CoreDSL

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Self type
CoreLib[DSL]
trait CrashDSL extends CoreDSL

Attributes

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

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Executor.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
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Comonad[->, F]
trait Monad[->, F]
Self type
Functor[->, F]
object Functor

Attributes

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

Attributes

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

Attributes

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

Attributes

Companion
object
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

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

Attributes

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

Attributes

Supertypes
trait CoreDSL
class Object
trait Matchable
class Any
Known subtypes
trait Scaletto
object FreeScaletto.type
Generated with