libretto
package libretto
Type members
Classlikes
abstract class AbstractStarterKit(val dsl: ScalaDSL, val runner0: (ScheduledExecutorService, Executor) => ScalaRunner[ScalaDSL, Future])
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.
Used to document laws in a typechecked manner. The purpose of expression Equal(f, g) is just to ensure
that f and g compile and are of the same type.
Used to document laws in a typechecked manner. The purpose of expression Equal(f, g) is just to ensure
that f and g compile and are of the same type.
class ScalaStreams[DSL <: ScalaDSL, Lib <: CoreLib[DSL], SLib <: ScalaLib[DSL, Lib], Streams <: CoreStreams[DSL, Lib]](val dsl: DSL, val coreLib: Lib & CoreLib[DSL], val scalaLib: SLib & ScalaLib[DSL, Lib & CoreLib[DSL]], val coreStreams: Streams & CoreStreams[DSL, Lib & CoreLib[DSL]])
- Companion:
- object