libretto-examples
API
Generated with
libretto-examples/libretto.examples/Fibonacci

Fibonacci

libretto.examples.Fibonacci
object Fibonacci extends StarterApp

Attributes

Graph
Supertypes
class StarterApp
class StarterAppBase
class Object
trait Matchable
class Any
Self type
Fibonacci.type

Members list

Value members

Concrete methods

override def blueprint: Done dsl.-⚬ Done

Attributes

Definition Classes
StarterApp

Inherited methods

def main(args: Array[String]): Unit

Attributes

Inherited from:
StarterApp

Exports

Inherited defined exports

final type $ = dsl.$
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
final type $Ops = $Ops
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val *: CoreDSL.this.*
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val **: ScalettoLib.this.**
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val +: CoreDSL.this.+
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val -: InvertDSL.this.-
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type - = dsl.-
Exported from InvertDSL

Attributes

Inherited from:
StarterAppBase
final val --: InvertDSL.this.--
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type -⚬ = dsl.-⚬
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
final type :: = dsl.::
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
final type =⚬ = dsl.=⚬
Exported from InvertDSL

Attributes

Inherited from:
StarterAppBase
final val ?: CoreDSL.this.?
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type ?? = dsl.??
Exported from InvertDSL

Attributes

Inherited from:
StarterAppBase
final val AcquiredLock: CoreLib.this.AcquiredLock
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type AcquiredLock = AcquiredLock
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val Affine: CoreDSL.this.Affine
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Affine = dsl.Affine
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
final type BiExternalizer = [F[_, _]] =>> coreLib.BiExternalizer[F]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type Bifunctor = [F[_, _]] =>> coreLib.Bifunctor[F]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Bifunctor: CoreLib.this.Bifunctor
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val Bool: CoreLib.this.Bool
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Bool = Bool
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Closeable = coreLib.Closeable
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Closeable: CoreLib.this.Closeable
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type CloseableCosemigroup = coreLib.CloseableCosemigroup
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val CloseableCosemigroup: CoreLib.this.CloseableCosemigroup
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type ClosureOps = ClosureOps
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Comonad = [F[_]] =>> coreLib.Comonad[F]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Comonoid: CoreDSL.this.Comonoid
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Comonoid = dsl.Comonoid
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
final type Comparable = coreLib.Comparable
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Compared: CoreLib.this.Compared
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type ConcurrentPairInvertOps = ConcurrentPairInvertOps
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type ConcurrentPairOps = ConcurrentPairOps
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type ContraExternalizer = [F[_]] =>> coreLib.ContraExternalizer[F]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val ContraExternalizer: CoreLib.this.ContraExternalizer
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val ContraFunctor: CoreLib.this.ContraFunctor
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type ContraFunctor = [F[_]] =>> coreLib.ContraFunctor[F]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type Cosemigroup = dsl.Cosemigroup
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
final val Cosemigroup: CoreDSL.this.Cosemigroup
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val Deferrable: CoreLib.this.Deferrable
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Deferred = coreLib.Deferred
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Deferred: CoreLib.this.Deferred
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Detained = coreLib.Detained
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Detained: CoreLib.this.Detained
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Done = Done
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Dual = coreLib.Dual
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Dual: CoreLib.this.Dual
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Dual1 = [F[_], G[_]] =>> coreLib.Dual1[F, G]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type Endless = coreLib.Endless
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Endless: CoreLib.this.Endless
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val Externalizer: CoreLib.this.Externalizer
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Externalizer = [F[_]] =>> coreLib.Externalizer[F]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type FocusedBi = [F[_, _], B1, B2] =>> coreLib.FocusedBi[F, B1, B2]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type FocusedCo = [F[_], B] =>> coreLib.FocusedCo[F, B]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type FocusedContra = [F[_], B] =>> coreLib.FocusedContra[F, B]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type FocusedOnChoiceCo = [F[_], B1, B2] =>> coreLib.FocusedOnChoiceCo[F, B1, B2]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final implicit def FocusedOnChoiceCo[F[_], B1, B2](f: CoreLib.this.FocusedCo[F, B1 CoreLib.this.dsl.|&| B2]): CoreLib.this.FocusedOnChoiceCo[F, B1, B2]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type FocusedOnChoiceContra = [A, F[_], B1, B2] =>> coreLib.FocusedOnChoiceContra[A, F, B1, B2]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final implicit def FocusedOnChoiceContra[A, F[_], B1, B2](f: CoreLib.this.FocusedContra[F, B1 CoreLib.this.dsl.|&| B2]): CoreLib.this.FocusedOnChoiceContra[A, F, B1, B2]
Exported from AbstractStarterKit

Extends the focus to the left/right side of the (currently focused) consumer choice.

Extends the focus to the left/right side of the (currently focused) consumer choice.

Attributes

Inherited from:
StarterAppBase
final type FocusedOnPairCo = [F[_], B1, B2] =>> coreLib.FocusedOnPairCo[F, B1, B2]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final implicit def FocusedOnPairCo[F[_], B1, B2](f: CoreLib.this.FocusedCo[F, B1 CoreLib.this.dsl.|*| B2]): CoreLib.this.FocusedOnPairCo[F, B1, B2]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type FocusedOnPairContra = [A, F[_], B1, B2] =>> coreLib.FocusedOnPairContra[A, F, B1, B2]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final implicit def FocusedOnPairContra[A, F[_], B1, B2](f: CoreLib.this.FocusedContra[F, B1 CoreLib.this.dsl.|*| B2]): CoreLib.this.FocusedOnPairContra[A, F, B1, B2]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final implicit def FocusedOnPlusCo[F[_], B1, B2](f: CoreLib.this.FocusedCo[F, B1 CoreLib.this.dsl.|+| B2]): CoreLib.this.FocusedOnPlusCo[F, B1, B2]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type FocusedOnPlusCo = [F[_], B1, B2] =>> coreLib.FocusedOnPlusCo[F, B1, B2]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type FocusedOnPlusContra = [A, F[_], B1, B2] =>> coreLib.FocusedOnPlusContra[A, F, B1, B2]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final implicit def FocusedOnPlusContra[A, F[_], B1, B2](f: CoreLib.this.FocusedContra[F, B1 CoreLib.this.dsl.|+| B2]): CoreLib.this.FocusedOnPlusContra[A, F, B1, B2]
Exported from AbstractStarterKit

Extends the focus to the left/right side of the (currently focused) producer choice.

Extends the focus to the left/right side of the (currently focused) producer choice.

Attributes

Inherited from:
StarterAppBase
final type FunExprOps = FunExprOps
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Functor = [F[_]] =>> coreLib.Functor[F]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Functor: CoreLib.this.Functor
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final implicit def FunctorOps[F[_], A](fa: CoreDSL.this.$[F[A]]): CoreDSL.this.FunctorOps[F, A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type FunctorOps = [F[_], A] =>> dsl.FunctorOps[F, A]
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
final val Getter: CoreLib.this.Getter
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Getter = coreLib.Getter
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
def IV[A, B, C, D](f: (B CoreLib.this.dsl.|*| C) CoreLib.this.dsl.-⚬ D): (A CoreLib.this.dsl.|*| B CoreLib.this.dsl.|*| C) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| D)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def IX[A, B, C]: (A CoreLib.this.dsl.|*| B CoreLib.this.dsl.|*| C) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| C CoreLib.this.dsl.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def IXI[A, B, C, D]: (A CoreLib.this.dsl.|*| B CoreLib.this.dsl.|*| (C CoreLib.this.dsl.|*| D)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| C CoreLib.this.dsl.|*| (B CoreLib.this.dsl.|*| D))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Id = coreLib.Id
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
def IΛ[A, B, C, D](f: B CoreLib.this.dsl.-⚬ (C CoreLib.this.dsl.|*| D)): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| C CoreLib.this.dsl.|*| D)
Exported from AbstractStarterKit

Λ is the uppercase Greek letter lambda.

Λ is the uppercase Greek letter lambda.

Attributes

Inherited from:
StarterAppBase
final val Junction: CoreLib.this.Junction
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type LList = coreLib.LList
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val LList: CoreLib.this.LList
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val LList1: CoreLib.this.LList1
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type LList1 = coreLib.LList1
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type LTerminus = LTerminus
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type LambdaContext = LambdaContext
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type LambdaOps = LambdaOps
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type LambdaOpsWithClosures = LambdaOpsWithClosures
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Lease = Lease
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val Lease: CoreLib.this.Lease
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val LeasePool: CoreLib.this.LeasePool
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type LeasePool = LeasePool
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val Lens: CoreLib.this.Lens
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Lens = coreLib.Lens
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final implicit def LinearFunctionOps[A, B](self: A CoreLib.this.dsl.-⚬ B): CoreLib.this.LinearFunctionOps[A, B]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type LinearFunctionOps = coreLib.LinearFunctionOps
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type Lock = Lock
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val Lock: CoreLib.this.Lock
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Maybe = coreLib.Maybe
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Maybe: CoreLib.this.Maybe
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Monad = [F[_]] =>> coreLib.Monad[F]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type Monoid = coreLib.Monoid
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Monoid: CoreLib.this.Monoid
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val Multiple: CoreLib.this.Multiple
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Multiple = coreLib.Multiple
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type NAffine = coreLib.NAffine
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val NAffine: CoreLib.this.NAffine
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type NComonoid = coreLib.NComonoid
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val NMonoid: CoreLib.this.NMonoid
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type NMonoid = coreLib.NMonoid
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type Need = Need
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Neg = dsl.Neg
Exported from Scaletto

Attributes

Inherited from:
StarterAppBase
final type NoCaptureException = NoCaptureException
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type NotLinearException = NotLinearException
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type One = One
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type OneOf = dsl.OneOf
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
final type OneOfModule = OneOfModule
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Optionally = coreLib.Optionally
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Optionally: CoreLib.this.Optionally
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val PMaybe: CoreLib.this.PMaybe
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type PMaybe = coreLib.PMaybe
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type PMonoid = coreLib.PMonoid
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val PUnlimited: CoreLib.this.PUnlimited
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type PUnlimited = coreLib.PUnlimited
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final type Ping = Ping
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Pong = Pong
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type RTerminus = RTerminus
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Rec = [F[_]] =>> dsl.Rec[F]
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
final val RefCounted: ScalettoLib.this.RefCounted
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type RefCounted = scalettoLib.RefCounted
Exported from ScalettoLib

Attributes

Inherited from:
StarterAppBase
final type Res = dsl.Res
Exported from Scaletto

Attributes

Inherited from:
StarterAppBase
final type ScalaFun = dsl.ScalaFun
Exported from Scaletto

Attributes

Inherited from:
StarterAppBase
final type ScalaFuns = ScalaFuns
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val Semigroup: CoreLib.this.Semigroup
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Semigroup = coreLib.Semigroup
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Signaling: CoreLib.this.Signaling
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val SignalingJunction: CoreLib.this.SignalingJunction
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Transportive = [F[_]] =>> coreLib.Transportive[F]
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
final val Transportive: CoreLib.this.Transportive
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type UInt31 = UInt31
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type UInt31Scaletto = UInt31Scaletto
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type UInt31s = UInt31s
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type UnboundVariablesException = UnboundVariablesException
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val Unlimited: CoreLib.this.Unlimited
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Unlimited = coreLib.Unlimited
Exported from CoreLib

Attributes

Inherited from:
StarterAppBase
def VI[A, B, C, D](f: (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ D): (A CoreLib.this.dsl.|*| (B CoreLib.this.dsl.|*| C)) CoreLib.this.dsl.-⚬ (D CoreLib.this.dsl.|*| C)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val Val: ScalettoLib.this.Val
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type Val = dsl.Val
Exported from Scaletto

Attributes

Inherited from:
StarterAppBase
final type ValSwitch = dsl.ValSwitch
Exported from Scaletto

Attributes

Inherited from:
StarterAppBase
final val ValSwitch: Scaletto.this.ValSwitch
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type ValSwitchInit = dsl.ValSwitchInit
Exported from Scaletto

Attributes

Inherited from:
StarterAppBase
final type ValSwitchInitCase = [A, A0 <: A] =>> dsl.ValSwitchInitCase[A, A0]
Exported from Scaletto

Attributes

Inherited from:
StarterAppBase
final type Void = Void
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def XI[A, B, C]: (A CoreLib.this.dsl.|*| (B CoreLib.this.dsl.|*| C)) CoreLib.this.dsl.-⚬ (B CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|*| C))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def absorbR[A, B, C]: ((A ClosedLib.this.dsl.=⚬ B) ClosedLib.this.dsl.|*| C) ClosedLib.this.dsl.-⚬ (A ClosedLib.this.dsl.=⚬ (B ClosedLib.this.dsl.|*| C))
Exported from AbstractStarterKit

Make a function A =⚬ B ''"absorb"'' a C and return it as part of its output, i.e. A =⚬ (B |*| C).

Make a function A =⚬ B ''"absorb"'' a C and return it as part of its output, i.e. A =⚬ (B |*| C).

Attributes

Inherited from:
StarterAppBase
def acquire[A, R, B](acquire: A => (R, B), release: Option[R => Unit]): Scaletto.this.Val[A] Scaletto.this.-⚬ (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Acquires a resource of type R.

Acquires a resource of type R.

Type parameters

A

parameters of the acquire function

B

additional data produced by acquiring the resource

R

type of the resource

Value parameters

release

called to release the resource in case of a crash. None means no cleanup is needed

Attributes

Inherited from:
StarterAppBase
def acquire0[A, R](acquire: A => R, release: Option[R => Unit]): ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Res[R]
Exported from AbstractStarterKit

Variant of acquire that does not produce extra output in addition to the resource.

Variant of acquire that does not produce extra output in addition to the resource.

Attributes

Inherited from:
StarterAppBase
def acquireAsync[A, R, B](acquire: A => Async[(R, B)], release: Option[R => Async[Unit]]): Scaletto.this.Val[A] Scaletto.this.-⚬ (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def acquireAsync0[A, R](acquire: A => Async[R], release: Option[R => Async[Unit]]): ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Res[R]
Exported from AbstractStarterKit

Variant of acquireAsync that does not produce extra output in addition to the resource.

Variant of acquireAsync that does not produce extra output in addition to the resource.

Attributes

Inherited from:
StarterAppBase
def alsoPrintLine[A](f: A => String): ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def alsoPrintLine: ScalettoLib.this.dsl.Val[String] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[String]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def awaitChooseL[A, B](using A: Negative[A]): (A CoreLib.this.dsl.|&| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| A)
Exported from AbstractStarterKit

Chooses the left alternative A of the choice A |&| B, but only after the Need signal from the first out-port arrives. Until then, the producer of A |&| B will see it as undecided. This is different from chooseL[A, B] > awaitNegFst[A], in which the producer of A |&| B knows immediately that the left side is chosen.

Chooses the left alternative A of the choice A |&| B, but only after the Need signal from the first out-port arrives. Until then, the producer of A |&| B will see it as undecided. This is different from chooseL[A, B] > awaitNegFst[A], in which the producer of A |&| B knows immediately that the left side is chosen.

Attributes

Inherited from:
StarterAppBase
def awaitChooseR[A, B](using B: Negative[B]): (A CoreLib.this.dsl.|&| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| B)
Exported from AbstractStarterKit

Analogous to awaitChooseL, but chooses the right side.

Analogous to awaitChooseL, but chooses the right side.

Attributes

Inherited from:
StarterAppBase
def awaitInjectL[A, B](using A: Positive[A]): (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|+| B)
Exported from AbstractStarterKit

Injects A from the the second in-port to the left side of the |+| in the out-port, but only after the Done signal from the first in-port arrives. That means that the consumer of A |+| B will see it as undecided until the Done signal arrives. This is different from awaitPosFst[A] > injectL[A, B], in which the consumer of A |+| B knows immediately that it is the left case.

Injects A from the the second in-port to the left side of the |+| in the out-port, but only after the Done signal from the first in-port arrives. That means that the consumer of A |+| B will see it as undecided until the Done signal arrives. This is different from awaitPosFst[A] > injectL[A, B], in which the consumer of A |+| B knows immediately that it is the left case.

This is a convenience method on top of injectLWhenDone that which absorbs the Done signal using the given Junction.Positive.

Attributes

Inherited from:
StarterAppBase
def awaitInjectR[A, B](using B: Positive[B]): (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|+| B)
Exported from AbstractStarterKit

Analogous to joinInjectL, but injects to the right.

Analogous to joinInjectL, but injects to the right.

Attributes

Inherited from:
StarterAppBase
def awaitNegFst[A](using A: Negative[A]): A CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def awaitNegSnd[A](using A: Negative[A]): A CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| CoreLib.this.dsl.Need)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def awaitPingFst[A](using A: Positive[A]): (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def awaitPingSnd[A](using A: Positive[A]): (A CoreLib.this.dsl.|*| CoreLib.this.dsl.Ping) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def awaitPongFst[A](using A: Negative[A]): A CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def awaitPongSnd[A](using A: Negative[A]): A CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| CoreLib.this.dsl.Pong)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def awaitPosChooseL[A, B](using A: Positive[A]): (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Analogous to awaitChooseL, but awaits a positive (i.e. Done) signal.

Analogous to awaitChooseL, but awaits a positive (i.e. Done) signal.

Attributes

Inherited from:
StarterAppBase
def awaitPosChooseR[A, B](using B: Positive[B]): (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ B
Exported from AbstractStarterKit

Analogous to awaitChooseR, but awaits a positive (i.e. Done) signal.

Analogous to awaitChooseR, but awaits a positive (i.e. Done) signal.

Attributes

Inherited from:
StarterAppBase
def awaitPosFst[A](using A: Positive[A]): (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def awaitPosSnd[A](using A: Positive[A]): (A CoreLib.this.dsl.|*| CoreLib.this.dsl.Done) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def blockInportUntilPong[A]: A CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| A)
Exported from AbstractStarterKit

Obstructs interaction on the in-port (i.e. from the left) until Pong is received.

Obstructs interaction on the in-port (i.e. from the left) until Pong is received.

Attributes

Inherited from:
StarterAppBase
def blockOutportUntilPing[A]: (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Obstructs interaction on the out-port (i.e. from the right) until Ping is received.

Obstructs interaction on the out-port (i.e. from the right) until Ping is received.

Attributes

Inherited from:
StarterAppBase
def blocking[A, B](f: A => B): Scaletto.this.Val[A] Scaletto.this.-⚬ Scaletto.this.Val[B]
Exported from AbstractStarterKit

Executes a potentially blocking operation. The runtime will ensure that the blocking operation does not impede any of the concurrently happening non-blocking computations.

Executes a potentially blocking operation. The runtime will ensure that the blocking operation does not impede any of the concurrently happening non-blocking computations.

Attributes

Inherited from:
StarterAppBase
val bridge: Of[AbstractStarterKit.this.dsl.type]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
val category: SymmetricMonoidalCategory[CoreLib.this.dsl.-⚬, CoreLib.this.dsl.|*|, CoreLib.this.dsl.One]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def chooseLOnPing[A, B]: (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def chooseLWhenDone[A, B]: (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def chooseLWhenNeed[A, B]: ((CoreLib.this.dsl.Need CoreLib.this.dsl.|*| A) CoreLib.this.dsl.|&| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def chooseROnPing[A, B]: (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ B
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def chooseROnPong[A, B]: (A CoreDSL.this.|&| B) CoreDSL.this.-⚬ (CoreDSL.this.Pong CoreDSL.this.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def chooseRWhenDone[A, B]: (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def chooseRWhenNeed[A, B]: (A CoreLib.this.dsl.|&| (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| B)) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
export closeableCosemigroupVal[A]
Exported from ScalettoLib

Attributes

Inherited from:
StarterAppBase
val closedLib: ClosedLib[AbstractStarterKit.this.dsl.type, AbstractStarterKit.this.coreLib.type]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def coDistributeR[A, B, C]: ((A CoreDSL.this.|*| C) CoreDSL.this.|&| (B CoreDSL.this.|*| C)) CoreDSL.this.-⚬ ((A CoreDSL.this.|&| B) CoreDSL.this.|*| C)
Exported from AbstractStarterKit

Inverse of coFactorR.

Inverse of coFactorR.

Attributes

Inherited from:
StarterAppBase
def coFactorL[A, B, C]: (A CoreDSL.this.|*| (B CoreDSL.this.|&| C)) CoreDSL.this.-⚬ ((A CoreDSL.this.|*| B) CoreDSL.this.|&| (A CoreDSL.this.|*| C))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def coFactorR[A, B, C]: ((A CoreDSL.this.|&| B) CoreDSL.this.|*| C) CoreDSL.this.-⚬ ((A CoreDSL.this.|*| C) CoreDSL.this.|&| (B CoreDSL.this.|*| C))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def combine[A : CoreLib.this.Semigroup]: (A CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def const[A](a: A): ScalettoLib.this.dsl.One ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def constList[A](as: List[A]): ScalettoLib.this.dsl.One ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.LList[ScalettoLib.this.dsl.Val[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def constList1[A](as: ::[A]): ScalettoLib.this.dsl.Done ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.LList1[ScalettoLib.this.dsl.Val[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def constList1[A](a: A, as: List[A]): ScalettoLib.this.dsl.Done ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.LList1[ScalettoLib.this.dsl.Val[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def constList1Of[A](a: A, as: A*): ScalettoLib.this.dsl.Done ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.LList1[ScalettoLib.this.dsl.Val[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def constListOf[A](as: A*): ScalettoLib.this.dsl.One ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.LList[ScalettoLib.this.dsl.Val[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def constListOf1[A](a: A, as: A*): ScalettoLib.this.dsl.Done ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.LList[ScalettoLib.this.dsl.Val[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
transparent inline def constNeg[A]: Scaletto.this.Neg[A] Scaletto.this.-⚬ Scaletto.this.Need
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
transparent inline def constVal[A]: Scaletto.this.Done Scaletto.this.-⚬ Scaletto.this.Val[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def contramapNeg[A, B](f: A => B): Scaletto.this.Neg[B] Scaletto.this.-⚬ Scaletto.this.Neg[A]
Exported from AbstractStarterKit

Lifts an ordinary Scala function to a linear function on demands, in opposite direction.

Lifts an ordinary Scala function to a linear function on demands, in opposite direction.

Attributes

Inherited from:
StarterAppBase
def contrapositive[A, B](f: A InvertDSL.this.-⚬ B): InvertDSL.this.-[B] InvertDSL.this.-⚬ InvertDSL.this.-[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
val coreLib: CoreLib[AbstractStarterKit.this.dsl.type]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def crashNow[A, B](msg: String): A CrashDSL.this.-⚬ B
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def crashWhenNeed[A, B](msg: String): A CrashDSL.this.-⚬ (CrashDSL.this.Need CrashDSL.this.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
override def curry[A, B, C](f: (A InvertDSL.this.|*| B) InvertDSL.this.-⚬ C): A InvertDSL.this.-⚬ (B InvertDSL.this.=⚬ C)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def decrement: ScalettoLib.this.dsl.Val[Int] ScalettoLib.this.dsl.-⚬ (ScalettoLib.this.dsl.Done ScalettoLib.this.dsl.|+| ScalettoLib.this.dsl.Val[Int])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def defer[A](using A: Positive[A]): A CoreLib.this.dsl.-⚬ CoreLib.this.Deferred[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayChoiceAndSidesUntilDone[A, B](using A: Positive[A], B: Positive[B]): (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|&| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayChoiceAndSidesUntilNeed[A, B](using A: Negative[A], B: Negative[B]): (A CoreLib.this.dsl.|&| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayChoiceUntilDone[A, B]: (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ ((CoreLib.this.dsl.Done CoreLib.this.dsl.|*| A) CoreLib.this.dsl.|&| (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayChoiceUntilNeed[A, B]: ((CoreLib.this.dsl.Need CoreLib.this.dsl.|*| A) CoreLib.this.dsl.|&| (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| B)) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayChoiceUntilPing[A, B]: (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|&| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayChoiceUntilPong[A, B]: (A CoreLib.this.dsl.|&| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayEitherAndSidesUntilDone[A, B](using A: Positive[A], B: Positive[B]): (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|+| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayEitherAndSidesUntilNeed[A, B](using A: Negative[A], B: Negative[B]): (A CoreLib.this.dsl.|+| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayEitherUntilDone[A, B]: (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B)) CoreLib.this.dsl.-⚬ ((CoreLib.this.dsl.Done CoreLib.this.dsl.|*| A) CoreLib.this.dsl.|+| (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayEitherUntilNeed[A, B]: ((CoreLib.this.dsl.Need CoreLib.this.dsl.|*| A) CoreLib.this.dsl.|+| (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| B)) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayEitherUntilPing[A, B]: (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|+| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayEitherUntilPong[A, B]: (A CoreLib.this.dsl.|+| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayNeed: Scaletto.this.Need Scaletto.this.-⚬ Scaletto.this.Neg[FiniteDuration]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayVal[A](by: FiniteDuration): ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayVal[A](by: ScalettoLib.this.dsl.Done ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Done): ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayValRandomMs[A](minMs: Int, maxMs: Int): ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def demand[A]: InvertDSL.this.One InvertDSL.this.-⚬ (InvertDSL.this.-[A] InvertDSL.this.|*| A)
Exported from AbstractStarterKit

Creates a demand on the first out-port, channeling the provided resource to the second out-port. Alias for forevert.

Creates a demand on the first out-port, channeling the provided resource to the second out-port. Alias for forevert.

Attributes

Inherited from:
StarterAppBase
def demandChoice[A, B]: (InvertDSL.this.-[A] InvertDSL.this.|+| InvertDSL.this.-[B]) InvertDSL.this.-⚬ InvertDSL.this.-[A InvertDSL.this.|&| B]
Exported from AbstractStarterKit

Converts an obligation to handle either demand to an obligation to supply a choice. Alias for factorInversionOutOf_|+|.

Converts an obligation to handle either demand to an obligation to supply a choice. Alias for factorInversionOutOf_|+|.

Attributes

Inherited from:
StarterAppBase
def demandChosen[A, B]: InvertDSL.this.-[A InvertDSL.this.|&| B] InvertDSL.this.-⚬ (InvertDSL.this.-[A] InvertDSL.this.|+| InvertDSL.this.-[B])
Exported from AbstractStarterKit

Converts a demand for choice to a demand of the chosen side. Alias for distributeInversionInto_|&amp;|.

Converts a demand for choice to a demand of the chosen side. Alias for distributeInversionInto_|&amp;|.

Attributes

Inherited from:
StarterAppBase
def demandEither[A, B]: (InvertDSL.this.-[A] InvertDSL.this.|&| InvertDSL.this.-[B]) InvertDSL.this.-⚬ InvertDSL.this.-[A InvertDSL.this.|+| B]
Exported from AbstractStarterKit

Converts choice of demands to demand of either. Alias for factorInversionOutOf_|&amp;|.

Converts choice of demands to demand of either. Alias for factorInversionOutOf_|&amp;|.

Attributes

Inherited from:
StarterAppBase
def demandSeparately[A, B]: InvertDSL.this.-[A InvertDSL.this.|*| B] InvertDSL.this.-⚬ (InvertDSL.this.-[A] InvertDSL.this.|*| InvertDSL.this.-[B])
Exported from AbstractStarterKit

Alias for distributeInversion

Alias for distributeInversion

Attributes

Inherited from:
StarterAppBase
def demandTogether[A, B]: (InvertDSL.this.-[A] InvertDSL.this.|*| InvertDSL.this.-[B]) InvertDSL.this.-⚬ InvertDSL.this.-[A InvertDSL.this.|*| B]
Exported from AbstractStarterKit

Alias for factorOutInversion.

Alias for factorOutInversion.

Attributes

Inherited from:
StarterAppBase
def detain[A](using A: Positive[A]): A CoreLib.this.dsl.-⚬ CoreLib.this.Detained[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def die[A]: InvertDSL.this.-[InvertDSL.this.-[A]] InvertDSL.this.-⚬ A
Exported from AbstractStarterKit

Double-inversion elimination.

Double-inversion elimination.

Attributes

Inherited from:
StarterAppBase
def dii[A]: A InvertDSL.this.-⚬ InvertDSL.this.-[InvertDSL.this.-[A]]
Exported from AbstractStarterKit

Double-inversion introduction.

Double-inversion introduction.

Attributes

Inherited from:
StarterAppBase
def discardFst[A, B](using A: CoreLib.this.dsl.Comonoid[A]): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ B
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def discardSnd[A, B](using B: CoreLib.this.dsl.Comonoid[B]): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def dismissPing: CoreDSL.this.Ping CoreDSL.this.-⚬ CoreDSL.this.One
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def dismissPong: CoreDSL.this.One CoreDSL.this.-⚬ CoreDSL.this.Pong
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def distributeInversionInto_|&|[A, B]: InvertDSL.this.-[A InvertDSL.this.|&| B] InvertDSL.this.-⚬ (InvertDSL.this.-[A] InvertDSL.this.|+| InvertDSL.this.-[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def distributeInversionInto_|+|[A, B]: InvertDSL.this.-[A InvertDSL.this.|+| B] InvertDSL.this.-⚬ (InvertDSL.this.-[A] InvertDSL.this.|&| InvertDSL.this.-[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def distributeR[A, B, C]: ((A CoreDSL.this.|+| B) CoreDSL.this.|*| C) CoreDSL.this.-⚬ ((A CoreDSL.this.|*| C) CoreDSL.this.|+| (B CoreDSL.this.|*| C))
Exported from AbstractStarterKit

Distribute the factor on the right into the summands on the left. Inverse of factorR.

Distribute the factor on the right into the summands on the left. Inverse of factorR.

Attributes

Inherited from:
StarterAppBase
def done: CoreDSL.this.One CoreDSL.this.-⚬ CoreDSL.this.Done
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def doneAsInvertedNeed: InvertDSL.this.Done InvertDSL.this.-⚬ InvertDSL.this.-[InvertDSL.this.Need]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def doubleDemandElimination[A]: InvertDSL.this.-[InvertDSL.this.-[A]] InvertDSL.this.-⚬ A
Exported from AbstractStarterKit

Alias for die.

Alias for die.

Attributes

Inherited from:
StarterAppBase
def doubleDemandIntroduction[A]: A InvertDSL.this.-⚬ InvertDSL.this.-[InvertDSL.this.-[A]]
Exported from AbstractStarterKit

Alias for dii.

Alias for dii.

Attributes

Inherited from:
StarterAppBase
val dsl: Scaletto
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def dualRec[F[_], G[_]](ev: CoreLib.this.Dual1[F, G]): CoreLib.this.Dual[CoreLib.this.dsl.Rec[F], CoreLib.this.dsl.Rec[G]]
Exported from AbstractStarterKit

If F[A] is dual to G[B] for all dual pairs A, B, then Rec[F] is dual to Rec[G].

If F[A] is dual to G[B] for all dual pairs A, B, then Rec[F] is dual to Rec[G].

Attributes

Inherited from:
StarterAppBase
def dualSymmetric[A, B](ev: CoreLib.this.Dual[A, B]): CoreLib.this.Dual[B, A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def dup[A]: Scaletto.this.Val[A] Scaletto.this.-⚬ (Scaletto.this.Val[A] Scaletto.this.|*| Scaletto.this.Val[A])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def dupNeg[A]: (Scaletto.this.Neg[A] Scaletto.this.|*| Scaletto.this.Neg[A]) Scaletto.this.-⚬ Scaletto.this.Neg[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def effect[R, A, B](f: (R, A) => B): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Performs a (potentially) effectful operation on a resource, producing some output.

Performs a (potentially) effectful operation on a resource, producing some output.

Type parameters

A

additional parameter of the operation

B

additional output of the operation

R

type of the resource

Value parameters

f

the effectful operation

Attributes

Inherited from:
StarterAppBase
def effect0[R](f: R => Unit): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Res[R]
Exported from AbstractStarterKit

Variant of effect that does not take additional input and does not produce additional output.

Variant of effect that does not take additional input and does not produce additional output.

Attributes

Inherited from:
StarterAppBase
def effectAsync[R, A, B](f: (R, A) => Async[B]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def effectAsync0[R](f: R => Async[Unit]): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Res[R]
Exported from AbstractStarterKit

Variant of effectAsync that does not take additional input and does not produce additional output.

Variant of effectAsync that does not take additional input and does not produce additional output.

Attributes

Inherited from:
StarterAppBase
def effectRd[R, B](f: R => B): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ (ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Val[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def effectRd[R, B](f: ScalettoLib.this.dsl.ScalaFun[R, B]): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ (ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Val[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def effectWr[R, A](f: (R, A) => Unit): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ Scaletto.this.Res[R]
Exported from AbstractStarterKit

Variant of effect that does not produce output in addition to performing the effect. Can be viewed as ''wr''iting an A into the resource.

Variant of effect that does not produce output in addition to performing the effect. Can be viewed as ''wr''iting an A into the resource.

Attributes

Inherited from:
StarterAppBase
def effectWrAsync[R, A](f: (R, A) => Async[Unit]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ Scaletto.this.Res[R]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def elimFst[A, B](f: A CoreDSL.this.-⚬ CoreDSL.this.One): (A CoreDSL.this.|*| B) CoreDSL.this.-⚬ B
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def elimSnd[A, B](f: B CoreDSL.this.-⚬ CoreDSL.this.One): (A CoreDSL.this.|*| B) CoreDSL.this.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
override def eval[A, B]: ((A InvertDSL.this.=⚬ B) InvertDSL.this.|*| A) InvertDSL.this.-⚬ B
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
val executor0: (ScheduledExecutorService, Executor) => Of[AbstractStarterKit.this.dsl.type, AbstractStarterKit.this.bridge.type]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
val executorFactory: Of[AbstractStarterKit.this.dsl.type, AbstractStarterKit.this.bridge.type]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def factorInversionOutOf_|&|[A, B]: (InvertDSL.this.-[A] InvertDSL.this.|&| InvertDSL.this.-[B]) InvertDSL.this.-⚬ InvertDSL.this.-[A InvertDSL.this.|+| B]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def factorInversionOutOf_|+|[A, B]: (InvertDSL.this.-[A] InvertDSL.this.|+| InvertDSL.this.-[B]) InvertDSL.this.-⚬ InvertDSL.this.-[A InvertDSL.this.|&| B]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def factorL[A, B, C]: ((A CoreDSL.this.|*| B) CoreDSL.this.|+| (A CoreDSL.this.|*| C)) CoreDSL.this.-⚬ (A CoreDSL.this.|*| (B CoreDSL.this.|+| C))
Exported from AbstractStarterKit

Factor out the factor A on the left of both summands.

Factor out the factor A on the left of both summands.

Attributes

Inherited from:
StarterAppBase
def factorR[A, B, C]: ((A CoreDSL.this.|*| C) CoreDSL.this.|+| (B CoreDSL.this.|*| C)) CoreDSL.this.-⚬ ((A CoreDSL.this.|+| B) CoreDSL.this.|*| C)
Exported from AbstractStarterKit

Factor out the factor C on the right of both summands.

Factor out the factor C on the right of both summands.

Attributes

Inherited from:
StarterAppBase
def forkMap[A, B](f: CoreDSL.this.Done CoreDSL.this.-⚬ A, g: CoreDSL.this.Done CoreDSL.this.-⚬ B): CoreDSL.this.Done CoreDSL.this.-⚬ (A CoreDSL.this.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def forkMapNeed[A, B](f: A CoreDSL.this.-⚬ CoreDSL.this.Need, g: B CoreDSL.this.-⚬ CoreDSL.this.Need): (A CoreDSL.this.|*| B) CoreDSL.this.-⚬ CoreDSL.this.Need
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def fst[A, B, C](f: A CoreDSL.this.-⚬ B): (A CoreDSL.this.|*| C) CoreDSL.this.-⚬ (B CoreDSL.this.|*| C)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def fulfill[A]: (Scaletto.this.Val[A] Scaletto.this.|*| Scaletto.this.Neg[A]) Scaletto.this.-⚬ Scaletto.this.One
Exported from AbstractStarterKit

Uses the value (eventually) produced by Val to satisfy the demand of Neg.

Uses the value (eventually) produced by Val to satisfy the demand of Neg.

Attributes

Inherited from:
StarterAppBase
def getFst[A, B](using A: CoreLib.this.dsl.Cosemigroup[A]): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|*| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def getSnd[A, B](using B: CoreLib.this.dsl.Cosemigroup[B]): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ (B CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|*| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
export given_Comparable_Val_Val[A : Ordering]
Exported from ScalettoLib

Attributes

Inherited from:
StarterAppBase
export given_NMonoid_Neg[A]
Exported from ScalettoLib

Attributes

Inherited from:
StarterAppBase
def inflate[A]: Scaletto.this.Need Scaletto.this.-⚬ Scaletto.this.Neg[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def injectLOnPong[A, B]: A CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def injectLWhenDone[A, B]: (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ ((CoreLib.this.dsl.Done CoreLib.this.dsl.|*| A) CoreLib.this.dsl.|+| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def injectLWhenNeed[A, B]: (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def injectROnPing[A, B]: (CoreDSL.this.Ping CoreDSL.this.|*| B) CoreDSL.this.-⚬ (A CoreDSL.this.|+| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def injectROnPong[A, B]: B CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def injectRWhenDone[A, B]: (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|+| (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def injectRWhenNeed[A, B]: (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def input[C]: ClosedLib.this.coreLib.ContraFunctor[ClosedLib.this.dsl.=⚬]
Exported from AbstractStarterKit

Function object (internal hom) is contravariant in the input type.

Function object (internal hom) is contravariant in the input type.

Attributes

Inherited from:
StarterAppBase
def introFst[A, X](f: CoreDSL.this.One CoreDSL.this.-⚬ X): A CoreDSL.this.-⚬ (X CoreDSL.this.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def introSnd[A, X](f: CoreDSL.this.One CoreDSL.this.-⚬ X): A CoreDSL.this.-⚬ (A CoreDSL.this.|*| X)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def inversionDuality[A]: InvertLib.this.coreLib.Dual[A, InvertLib.this.coreLib.dsl.-[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def invertClosure[A, B]: InvertDSL.this.-[A InvertDSL.this.=⚬ B] InvertDSL.this.-⚬ (B InvertDSL.this.=⚬ A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
val invertLib: InvertLib[AbstractStarterKit.this.coreLib.type]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def invertOne: InvertDSL.this.One InvertDSL.this.-⚬ InvertDSL.this.-[InvertDSL.this.One]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def invertedDoneAsNeed: InvertDSL.this.-[InvertDSL.this.Done] InvertDSL.this.-⚬ InvertDSL.this.Need
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def invertedNeedAsDone: InvertDSL.this.-[InvertDSL.this.Need] InvertDSL.this.-⚬ InvertDSL.this.Done
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def invertedPingAsPong: InvertDSL.this.-[InvertDSL.this.Ping] InvertDSL.this.-⚬ InvertDSL.this.Pong
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def invertedPongAsPing: InvertDSL.this.-[InvertDSL.this.Pong] InvertDSL.this.-⚬ InvertDSL.this.Ping
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def isEq[A](using ord: Ordering[A]): (ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Val[A]) ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.Bool
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def isGt[A](using ord: Ordering[A]): (ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Val[A]) ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.Bool
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def isGteq[A](using ord: Ordering[A]): (ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Val[A]) ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.Bool
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def isLt[A](using ord: Ordering[A]): (ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Val[A]) ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.Bool
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def isLteq[A](using ord: Ordering[A]): (ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Val[A]) ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.Bool
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def joinMap[A, B](f: A CoreDSL.this.-⚬ CoreDSL.this.Done, g: B CoreDSL.this.-⚬ CoreDSL.this.Done): (A CoreDSL.this.|*| B) CoreDSL.this.-⚬ CoreDSL.this.Done
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def joinMapNeed[A, B](f: CoreDSL.this.Need CoreDSL.this.-⚬ A, g: CoreDSL.this.Need CoreDSL.this.-⚬ B): CoreDSL.this.Need CoreDSL.this.-⚬ (A CoreDSL.this.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
export junctionNeg[A]
Exported from ScalettoLib

Attributes

Inherited from:
StarterAppBase
export junctionVal[A]
Exported from ScalettoLib

Attributes

Inherited from:
StarterAppBase
def lInvert[A, B](using ev: CoreLib.this.Dual[A, B]): CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ (B CoreLib.this.dsl.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def lInvertChoice[A, B, Ȧ, Ḃ](lInvertA: CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ (Ȧ CoreLib.this.dsl.|*| A), lInvertB: CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ (Ḃ CoreLib.this.dsl.|*| B)): CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ ((Ȧ CoreLib.this.dsl.|&| Ḃ) CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def lInvertPair[A, B, Ȧ, Ḃ](lInvertA: CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ (Ȧ CoreLib.this.dsl.|*| A), lInvertB: CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ (Ḃ CoreLib.this.dsl.|*| B)): CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ (Ȧ CoreLib.this.dsl.|*| Ḃ CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|*| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def lInvertRec[F[_], G[_]](lInvertSub: [x, y] => (x$1: CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ (x CoreLib.this.dsl.|*| y)) => CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ (F[x] CoreLib.this.dsl.|*| G[y])): CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Rec[F] CoreLib.this.dsl.|*| CoreLib.this.dsl.Rec[G])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def latestValue[A]: (ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.|*| ScalettoLib.this.coreLib.LList[ScalettoLib.this.dsl.Val[A]]) ScalettoLib.this.dsl.-⚬ (ScalettoLib.this.coreLib.Endless[ScalettoLib.this.dsl.Val[A]] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Done)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def liftBipredicate[A, B](p: (A, B) => Boolean): (ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Val[B]) ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.Bool
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def liftBoolean: ScalettoLib.this.dsl.Val[Boolean] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.Bool
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def liftNegPair[A, B]: Scaletto.this.Neg[(A, B)] Scaletto.this.-⚬ (Scaletto.this.Neg[A] Scaletto.this.|*| Scaletto.this.Neg[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def liftScalaList1[A]: ScalettoLib.this.dsl.Val[::[A]] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.LList1[ScalettoLib.this.dsl.Val[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def listEndlessDuality[A, Ā](ev: CoreLib.this.Dual[A, Ā]): CoreLib.this.Dual[CoreLib.this.LList[A], CoreLib.this.Endless[Ā]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def mVal[A, R](init: A => R): ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Res[R]
Exported from AbstractStarterKit

Create a resource that is just a (potentially) mutable value which does not need any cleanup.

Create a resource that is just a (potentially) mutable value which does not need any cleanup.

Value parameters

init

function that initializes the (potentially) mutable value from an immutable one.

Attributes

Inherited from:
StarterAppBase
def mapVal[A, B](f: A => B): Scaletto.this.Val[A] Scaletto.this.-⚬ Scaletto.this.Val[B]
Exported from AbstractStarterKit

Lifts an ordinary Scala function to a linear function on Vals.

Lifts an ordinary Scala function to a linear function on Vals.

Attributes

Inherited from:
StarterAppBase
def matchingChoiceLR[A, B, C, D]: ((A CoreLib.this.dsl.|+| B) CoreLib.this.dsl.|*| (C CoreLib.this.dsl.|&| D)) CoreLib.this.dsl.-⚬ ((A CoreLib.this.dsl.|*| C) CoreLib.this.dsl.|+| (B CoreLib.this.dsl.|*| D))
Exported from AbstractStarterKit

From the choice ''available'' on the right (C |&| D), choose the one corresponding to the choice ''made'' on the left (A |+| B): if on the left there is A, choose C, if on the left thre is B, choose D.

From the choice ''available'' on the right (C |&| D), choose the one corresponding to the choice ''made'' on the left (A |+| B): if on the left there is A, choose C, if on the left thre is B, choose D.

Attributes

Inherited from:
StarterAppBase
def matchingChoiceRL[A, B, C, D]: ((A CoreLib.this.dsl.|&| B) CoreLib.this.dsl.|*| (C CoreLib.this.dsl.|+| D)) CoreLib.this.dsl.-⚬ ((A CoreLib.this.dsl.|*| C) CoreLib.this.dsl.|+| (B CoreLib.this.dsl.|*| D))
Exported from AbstractStarterKit

From the choice ''available'' on the left (A |&| B), choose the one corresponding to the choice ''made'' on the right (C |+| D): if on the right there is C, choose A, if on the right there is D, choose B.

From the choice ''available'' on the left (A |&| B), choose the one corresponding to the choice ''made'' on the right (C |+| D): if on the right there is C, choose A, if on the right there is D, choose B.

Attributes

Inherited from:
StarterAppBase
def maybeToOption[A]: ScalettoLib.this.coreLib.Maybe[ScalettoLib.this.dsl.Val[A]] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[Option[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def mergeDemands[A]: (ScalettoLib.this.dsl.Neg[A] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Neg[A]) ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Neg[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def need: CoreDSL.this.Need CoreDSL.this.-⚬ CoreDSL.this.One
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def needAsInvertedDone: InvertDSL.this.Need InvertDSL.this.-⚬ InvertDSL.this.-[InvertDSL.this.Done]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
export negValDuality[A]
Exported from ScalettoLib

Attributes

Inherited from:
StarterAppBase
def notifyChoiceAndLeft[A, B](using A: Negative[A]): (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|&| B)
Exported from AbstractStarterKit

Notifies when the choice (|&amp;|) is made and if it is left, the left side notifies.

Notifies when the choice (|&amp;|) is made and if it is left, the left side notifies.

Attributes

Inherited from:
StarterAppBase
def notifyChoiceAndLeft[A, B](notifyL: (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ A): (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|&| B)
Exported from AbstractStarterKit

Notifies when the choice (|&amp;|) is made and if it is left, the left side notifies using the given function.

Notifies when the choice (|&amp;|) is made and if it is left, the left side notifies using the given function.

Attributes

Inherited from:
StarterAppBase
def notifyChoiceAndRight[A, B](using B: Negative[B]): (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|&| B)
Exported from AbstractStarterKit

Notifies when the choice (|&amp;|) is made and if it is right, the right side notifies.

Notifies when the choice (|&amp;|) is made and if it is right, the right side notifies.

Attributes

Inherited from:
StarterAppBase
def notifyChoiceAndRight[A, B](notifyR: (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ B): (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|&| B)
Exported from AbstractStarterKit

Notifies when the choice (|&amp;|) is made and if it is right, the right side notifies using the given function.

Notifies when the choice (|&amp;|) is made and if it is right, the right side notifies using the given function.

Attributes

Inherited from:
StarterAppBase
def notifyChoiceAndSides[A, B](using A: Negative[A], B: Negative[B]): (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|&| B)
Exported from AbstractStarterKit

Notifies when the choice (|&amp;|) is made and the chosen side notifies.

Notifies when the choice (|&amp;|) is made and the chosen side notifies.

Attributes

Inherited from:
StarterAppBase
def notifyChoiceAndSides[A, B](notifyL: (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ A, notifyR: (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ B): (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|&| B)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|&| B)
Exported from AbstractStarterKit

Notifies when the choice (|&amp;|) is made and the chosen side notifies using the respective given function.

Notifies when the choice (|&amp;|) is made and the chosen side notifies using the respective given function.

Attributes

Inherited from:
StarterAppBase
def notifyDoneR: CoreDSL.this.Done CoreDSL.this.-⚬ (CoreDSL.this.Done CoreDSL.this.|*| CoreDSL.this.Ping)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def notifyEitherAndLeft[A, B](using A: Positive[A]): (A CoreLib.this.dsl.|+| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Notifies when the |+| is decided and if it is left, the left side notifies.

Notifies when the |+| is decided and if it is left, the left side notifies.

Attributes

Inherited from:
StarterAppBase
def notifyEitherAndLeft[A, B](notifyL: A CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| A)): (A CoreLib.this.dsl.|+| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Notifies when the |+| is decided and if it is left, the left side notifies using the given function.

Notifies when the |+| is decided and if it is left, the left side notifies using the given function.

Attributes

Inherited from:
StarterAppBase
def notifyEitherAndRight[A, B](using B: Positive[B]): (A CoreLib.this.dsl.|+| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Notifies when the |+| is decided and if it is right, the right side notifies.

Notifies when the |+| is decided and if it is right, the right side notifies.

Attributes

Inherited from:
StarterAppBase
def notifyEitherAndRight[A, B](notifyR: B CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| B)): (A CoreLib.this.dsl.|+| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Notifies when the |+| is decided and if it is right, the right side notifies using the given function.

Notifies when the |+| is decided and if it is right, the right side notifies using the given function.

Attributes

Inherited from:
StarterAppBase
def notifyEitherAndSides[A, B](using A: Positive[A], B: Positive[B]): (A CoreLib.this.dsl.|+| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Notifies when the |+| is decided and the present side notifies.

Notifies when the |+| is decided and the present side notifies.

Attributes

Inherited from:
StarterAppBase
def notifyEitherAndSides[A, B](notifyL: A CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| A), notifyR: B CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| B)): (A CoreLib.this.dsl.|+| B) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|+| B))
Exported from AbstractStarterKit

Notifies when the |+| is decided and the present side notifies using the respective given function.

Notifies when the |+| is decided and the present side notifies using the respective given function.

Attributes

Inherited from:
StarterAppBase
def notifyNeedR: (CoreDSL.this.Need CoreDSL.this.|*| CoreDSL.this.Pong) CoreDSL.this.-⚬ CoreDSL.this.Need
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def notifyNegFst[A](using A: Negative[A]): (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def notifyNegSnd[A](using A: Negative[A]): (A CoreLib.this.dsl.|*| CoreLib.this.dsl.Pong) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def notifyPosFst[A](using A: Positive[A]): A CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def notifyPosSnd[A](using A: Positive[A]): A CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| CoreLib.this.dsl.Ping)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def obj[A, B](f: A ClosedDSL.this.-⚬ B): ClosedDSL.this.One ClosedDSL.this.-⚬ (A ClosedDSL.this.=⚬ B)
Exported from AbstractStarterKit

Turn a function into a function object.

Turn a function into a function object.

Attributes

Inherited from:
StarterAppBase
final infix type of = dsl.of
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
def optionToPMaybe[A]: ScalettoLib.this.dsl.Val[Option[A]] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.coreLib.PMaybe[ScalettoLib.this.dsl.Val[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
override def out[A, B, C](f: B InvertDSL.this.-⚬ C): (A InvertDSL.this.=⚬ B) InvertDSL.this.-⚬ (A InvertDSL.this.=⚬ C)
Exported from AbstractStarterKit

Map the output of a function object.

Map the output of a function object.

Attributes

Inherited from:
StarterAppBase
def output[A]: ClosedLib.this.coreLib.Functor[[x] =>> A ClosedLib.this.dsl.=⚬ x]
Exported from AbstractStarterKit

Function object (internal hom) is covariant in the output type.

Function object (internal hom) is covariant in the output type.

Attributes

Inherited from:
StarterAppBase
def pMaybeToOption[A]: ScalettoLib.this.coreLib.PMaybe[ScalettoLib.this.dsl.Val[A]] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[Option[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def packDemand[F[_]]: InvertDSL.this.-[F[InvertDSL.this.Rec[F]]] InvertDSL.this.-⚬ InvertDSL.this.-[InvertDSL.this.Rec[F]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def parFromOne[A, B](f: CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ A, g: CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ B): CoreLib.this.dsl.One CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def parToOne[A, B](f: A CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One, g: B CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def pingAsInvertedPong: InvertDSL.this.Ping InvertDSL.this.-⚬ InvertDSL.this.-[InvertDSL.this.Pong]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def pongAsInvertedPing: InvertDSL.this.Pong InvertDSL.this.-⚬ InvertDSL.this.-[InvertDSL.this.Ping]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def printLine[A](f: A => String): ScalettoLib.this.dsl.Val[A] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Done
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def printLine: ScalettoLib.this.dsl.Val[String] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Done
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final val producing: InvertDSL.this.producing
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def promise[A]: Scaletto.this.One Scaletto.this.-⚬ (Scaletto.this.Neg[A] Scaletto.this.|*| Scaletto.this.Val[A])
Exported from AbstractStarterKit

Creates an entangled pair of demand (Neg) and supply (Val) such that when the demand is fulfilled with a value, that value will be produced by the supply.

Creates an entangled pair of demand (Neg) and supply (Val) such that when the demand is fulfilled with a value, that value will be produced by the supply.

Attributes

Inherited from:
StarterAppBase
def putStr: ScalettoLib.this.dsl.Val[String] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Done
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def rInvert[A, B](using ev: CoreLib.this.Dual[A, B]): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def rInvertEither[A, B, Ȧ, Ḃ](rInvertA: (A CoreLib.this.dsl.|*| Ȧ) CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One, rInvertB: (B CoreLib.this.dsl.|*| Ḃ) CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One): ((A CoreLib.this.dsl.|+| B) CoreLib.this.dsl.|*| (Ȧ CoreLib.this.dsl.|&| Ḃ)) CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def rInvertPair[A, B, Ȧ, Ḃ](rInvertA: (A CoreLib.this.dsl.|*| Ȧ) CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One, rInvertB: (B CoreLib.this.dsl.|*| Ḃ) CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One): (A CoreLib.this.dsl.|*| B CoreLib.this.dsl.|*| (Ȧ CoreLib.this.dsl.|*| Ḃ)) CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def rInvertRec[F[_], G[_]](rInvertSub: [x, y] => (x$1: (x CoreLib.this.dsl.|*| y) CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One) => (F[x] CoreLib.this.dsl.|*| G[y]) CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One): (CoreLib.this.dsl.Rec[F] CoreLib.this.dsl.|*| CoreLib.this.dsl.Rec[G]) CoreLib.this.dsl.-⚬ CoreLib.this.dsl.One
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def race[A, B](using A: Positive[A], B: Positive[B]): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ ((A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.|+| (A CoreLib.this.dsl.|*| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def raceAgainstL[A](using A: Positive[A]): (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|+| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def raceAgainstR[A](using A: Positive[A]): (A CoreLib.this.dsl.|*| CoreLib.this.dsl.Done) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|+| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def raceBy[A](notify: A CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| A)): (A CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ ((A CoreLib.this.dsl.|*| A) CoreLib.this.dsl.|+| (A CoreLib.this.dsl.|*| A))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def raceBy[A, B](notifyA: A CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| A), notifyB: B CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| B)): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ ((A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.|+| (A CoreLib.this.dsl.|*| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def raceDone: (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| CoreLib.this.dsl.Done) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Done CoreLib.this.dsl.|+| CoreLib.this.dsl.Done)
Exported from AbstractStarterKit

Races the two Done signals and

Races the two Done signals and

  • produces left if the first signal wins, in which case it returns the second signal that still has to be awaited;
  • produces right if the second signal wins, in which case it returns the first signal that still has to be awaited. It is biased to the left: if both signals have arrived by the time of inquiry, returns left.

Attributes

Inherited from:
StarterAppBase
def racePreferred[A, B](using A: Positive[A], B: Positive[B]): (CoreLib.this.dsl.Ping CoreLib.this.dsl.|*| (A CoreLib.this.dsl.|*| B)) CoreLib.this.dsl.-⚬ ((A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.|+| (A CoreLib.this.dsl.|*| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def readLine: ScalettoLib.this.dsl.Done ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[String]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def rec2[A, B, C, D](fs: (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D) => (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D)): (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def rec2[A, B, C, D](f: (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D) => A CoreLib.this.dsl.-⚬ B, g: (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D) => C CoreLib.this.dsl.-⚬ D): (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D)
Exported from AbstractStarterKit

Creates a pair of mutually recursive functions.

Creates a pair of mutually recursive functions.

Attributes

Inherited from:
StarterAppBase
def rec3[A, B, C, D, E, F](fs: (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D, E CoreLib.this.dsl.-⚬ F) => (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D, E CoreLib.this.dsl.-⚬ F)): (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D, E CoreLib.this.dsl.-⚬ F)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def rec3[A, B, C, D, E, F](f: (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D, E CoreLib.this.dsl.-⚬ F) => A CoreLib.this.dsl.-⚬ B, g: (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D, E CoreLib.this.dsl.-⚬ F) => C CoreLib.this.dsl.-⚬ D, h: (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D, E CoreLib.this.dsl.-⚬ F) => E CoreLib.this.dsl.-⚬ F): (A CoreLib.this.dsl.-⚬ B, C CoreLib.this.dsl.-⚬ D, E CoreLib.this.dsl.-⚬ F)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def release[R, A, B](f: (R, A) => B): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ Scaletto.this.Val[B]
Exported from AbstractStarterKit

Releases a resource using the given function. The release function previously registered during resource acquisition is not used.

Releases a resource using the given function. The release function previously registered during resource acquisition is not used.

Type parameters

A

additional parameter of the release function

B

additional data produced by the release function

R

type of the resource

Value parameters

f

the release function

Attributes

Inherited from:
StarterAppBase
def release0[R, B](release: R => B): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[B]
Exported from AbstractStarterKit

Variant of release that does not take additional input.

Variant of release that does not take additional input.

Attributes

Inherited from:
StarterAppBase
def releaseAsync[R, A, B](f: (R, A) => Async[B]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ Scaletto.this.Val[B]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def releaseAsync0[R, B](release: R => Async[B]): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[B]
Exported from AbstractStarterKit

Variant of releaseAsync that does not take additional input.

Variant of releaseAsync that does not take additional input.

Attributes

Inherited from:
StarterAppBase
def runScalaAsync[A](blueprint: AbstractStarterKit.this.Done AbstractStarterKit.this.dsl.-⚬ AbstractStarterKit.this.dsl.Val[A]): Future[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
val scalettoLib: ScalettoLib[AbstractStarterKit.this.dsl.type, AbstractStarterKit.this.coreLib.type]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def select[A, B](using A: Negative[A], B: Negative[B]): ((A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.|&| (A CoreLib.this.dsl.|*| B)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def selectAgainstL[A](using A: Negative[A]): (A CoreLib.this.dsl.|&| A) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def selectAgainstR[A](using A: Negative[A]): (A CoreLib.this.dsl.|&| A) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| CoreLib.this.dsl.Need)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def selectBy[A](notify: (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ A): ((A CoreLib.this.dsl.|*| A) CoreLib.this.dsl.|&| (A CoreLib.this.dsl.|*| A)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def selectBy[A, B](notifyA: (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ A, notifyB: (CoreLib.this.dsl.Pong CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ B): ((A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.|&| (A CoreLib.this.dsl.|*| B)) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def selectNeed: (CoreLib.this.dsl.Need CoreLib.this.dsl.|&| CoreLib.this.dsl.Need) CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| CoreLib.this.dsl.Need)
Exported from AbstractStarterKit

Races two Need signals, i.e. signals traveling in the negative direction (i.e. opposite the -⚬ arrow). Based on which Need signal from the out-port wins the race, selects one of the two Need signals from the in-port:

Races two Need signals, i.e. signals traveling in the negative direction (i.e. opposite the -⚬ arrow). Based on which Need signal from the out-port wins the race, selects one of the two Need signals from the in-port:

  • If the first signal from the out-port wins the race, selects the left signal from the in-port and pipes to it the remaining (i.e. the right) signal from the out-port.
  • If the second signal from the out-port wins the race, selects the right signal from the in-port and pipes to it the reamining (i.e. the left) signal from the out-port. It is biased to the left: if both signals from the out-port have arrived by the time of inquiry, selects the left signal from the in-port.

Attributes

Inherited from:
StarterAppBase
def sequence[A : Positive, B : Positive]: (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| B)
Exported from AbstractStarterKit

Alias for sequence_PP.

Alias for sequence_PP.

Attributes

Inherited from:
StarterAppBase
def sequence_NN[A, B](using A: Negative[A], B: Negative[B]): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def sequence_NP[A, B](using A: Negative[A], B: Positive[B]): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def sequence_PN[A, B](using A: Positive[A], B: Negative[B]): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def sequence_PP[A, B](using A: Positive[A], B: Positive[B]): (A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def signalDone[A](using A: Positive[A]): A CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| CoreLib.this.dsl.Done)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def signalNegFst[A](using A: Negative[A]): (CoreLib.this.dsl.Need CoreLib.this.dsl.|*| A) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def signalNegSnd[A](using A: Negative[A]): (A CoreLib.this.dsl.|*| CoreLib.this.dsl.Need) CoreLib.this.dsl.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def signalPosFst[A](using A: Positive[A]): A CoreLib.this.dsl.-⚬ (CoreLib.this.dsl.Done CoreLib.this.dsl.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def signalPosSnd[A](using A: Positive[A]): A CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| CoreLib.this.dsl.Done)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
export signalingJunctionNegativeNeg[A]
Exported from ScalettoLib

Attributes

Inherited from:
StarterAppBase
export signalingJunctionPositiveVal[A]
Exported from ScalettoLib

Attributes

Inherited from:
StarterAppBase
export signalingNeg[A]
Exported from ScalettoLib

Attributes

Inherited from:
StarterAppBase
export signalingVal[A]
Exported from ScalettoLib

Attributes

Inherited from:
StarterAppBase
def snd[A, B, C](f: B CoreDSL.this.-⚬ C): (A CoreDSL.this.|*| B) CoreDSL.this.-⚬ (A CoreDSL.this.|*| C)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def split[A : CoreLib.this.dsl.Cosemigroup]: A CoreLib.this.dsl.-⚬ (A CoreLib.this.dsl.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def splitResource[R, A, S, T, B](f: (R, A) => (S, T, B), release1: Option[S => Unit], release2: Option[T => Unit]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Res[S] Scaletto.this.|*| Scaletto.this.Res[T] Scaletto.this.|*| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def splitResource[R, A, S, T, B](f: Scaletto.this.ScalaFun[(R, A), (S, T, B)], release1: Option[Scaletto.this.ScalaFun[S, Unit]], release2: Option[Scaletto.this.ScalaFun[T, Unit]]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Res[S] Scaletto.this.|*| Scaletto.this.Res[T] Scaletto.this.|*| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def splitResource0[R, S, T](f: R => (S, T), release1: Option[S => Unit], release2: Option[T => Unit]): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ (ScalettoLib.this.dsl.Res[S] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Res[T])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def splitResource0[R, S, T](f: ScalettoLib.this.dsl.ScalaFun[R, (S, T)], release1: Option[ScalettoLib.this.dsl.ScalaFun[S, Unit]], release2: Option[ScalettoLib.this.dsl.ScalaFun[T, Unit]]): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ (ScalettoLib.this.dsl.Res[S] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Res[T])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def splitResourceAsync[R, A, S, T, B](f: (R, A) => Async[(S, T, B)], release1: Option[S => Async[Unit]], release2: Option[T => Async[Unit]]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Res[S] Scaletto.this.|*| Scaletto.this.Res[T] Scaletto.this.|*| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def splitResourceAsync0[R, S, T](f: R => Async[(S, T)], release1: Option[S => Async[Unit]], release2: Option[T => Async[Unit]]): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ (ScalettoLib.this.dsl.Res[S] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Res[T])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def subordinateFst[A, B, C, D]: ((A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.|&| (C CoreLib.this.dsl.|*| D)) CoreLib.this.dsl.-⚬ ((A CoreLib.this.dsl.|+| C) CoreLib.this.dsl.|*| (B CoreLib.this.dsl.|&| D))
Exported from AbstractStarterKit

Present a choice between two pairs ((A |*| B) |&| (C |*| D)) as a choice (B |&| D) between the second parts of the respective pairs and on the side provide the other part of the chosen input pair, i.e. either A or C (A |+| C).

Present a choice between two pairs ((A |*| B) |&| (C |*| D)) as a choice (B |&| D) between the second parts of the respective pairs and on the side provide the other part of the chosen input pair, i.e. either A or C (A |+| C).

Attributes

Inherited from:
StarterAppBase
def subordinateSnd[A, B, C, D]: ((A CoreLib.this.dsl.|*| B) CoreLib.this.dsl.|&| (C CoreLib.this.dsl.|*| D)) CoreLib.this.dsl.-⚬ ((A CoreLib.this.dsl.|&| C) CoreLib.this.dsl.|*| (B CoreLib.this.dsl.|+| D))
Exported from AbstractStarterKit

Present a choice between two pairs ((A |*| B) |&| (C |*| D)) as a choice (A |&| C) between the first parts of the respective pairs and on the side provide the other part of the chosen input pair, i.e. either B or D (B |+| D).

Present a choice between two pairs ((A |*| B) |&| (C |*| D)) as a choice (A |&| C) between the first parts of the respective pairs and on the side provide the other part of the chosen input pair, i.e. either B or D (B |+| D).

Attributes

Inherited from:
StarterAppBase
def supply[A]: (A InvertDSL.this.|*| InvertDSL.this.-[A]) InvertDSL.this.-⚬ InvertDSL.this.One
Exported from AbstractStarterKit

Uses the resource from the first in-port to satisfy the demand from the second in-port. Alias for backvert.

Uses the resource from the first in-port to satisfy the demand from the second in-port. Alias for backvert.

Attributes

Inherited from:
StarterAppBase
def testByVals[A, B, K](aKey: ScalettoLib.this.coreLib.Getter[A, ScalettoLib.this.dsl.Val[K]], bKey: ScalettoLib.this.coreLib.Getter[B, ScalettoLib.this.dsl.Val[K]], pred: (K, K) => Boolean): (A ScalettoLib.this.dsl.|*| B) ScalettoLib.this.dsl.-⚬ ((A ScalettoLib.this.dsl.|*| B) ScalettoLib.this.dsl.|+| (A ScalettoLib.this.dsl.|*| B))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def toChoiceOfDemands[A, B]: InvertDSL.this.-[A InvertDSL.this.|+| B] InvertDSL.this.-⚬ (InvertDSL.this.-[A] InvertDSL.this.|&| InvertDSL.this.-[B])
Exported from AbstractStarterKit

Converts demand for either to a choice of which side to supply. Alias for distributeInversionInto_|+|.

Converts demand for either to a choice of which side to supply. Alias for distributeInversionInto_|+|.

Attributes

Inherited from:
StarterAppBase
def toScalaList[A]: ScalettoLib.this.coreLib.LList[ScalettoLib.this.dsl.Val[A]] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[List[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def toScalaList1[A]: ScalettoLib.this.coreLib.LList1[ScalettoLib.this.dsl.Val[A]] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[::[A]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def transformResource[R, A, S, B](f: (R, A) => (S, B), release: Option[S => Unit]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Res[S] Scaletto.this.|*| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Transforms a resource into a resource of (possibly) different type.

Transforms a resource into a resource of (possibly) different type.

Type parameters

A

additional parameter of the transformation

B

additional output of the transformation

R

type of the input resource

S

type of the output resource

Value parameters

f

the transformation function. It receives the input resource and additional input of type A. It returns the new resource and additional output of type B.

release

called to release the new resource in case of a crash. None means no cleanup is needed

Attributes

Inherited from:
StarterAppBase
def transformResource0[R, S](f: R => S, release: Option[S => Unit]): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Res[S]
Exported from AbstractStarterKit

Variant of transformResource that does not take additional input and does not produce additional output.

Variant of transformResource that does not take additional input and does not produce additional output.

Attributes

Inherited from:
StarterAppBase
def transformResourceAsync[R, A, S, B](f: (R, A) => Async[(S, B)], release: Option[S => Async[Unit]]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Res[S] Scaletto.this.|*| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def transformResourceAsync0[R, S](f: R => Async[S], release: Option[S => Async[Unit]]): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Res[S]
Exported from AbstractStarterKit

Variant of transformResourceAsync that does not take additional input and does not produce additional output.

Variant of transformResourceAsync that does not take additional input and does not produce additional output.

Attributes

Inherited from:
StarterAppBase
def tryAcquire[A, R, B, E](acquire: A => Either[E, (R, B)], release: Option[R => Unit]): Scaletto.this.Val[A] Scaletto.this.-⚬ (Scaletto.this.Val[E] Scaletto.this.|+| (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[B]))
Exported from AbstractStarterKit

Acquires a resource of type R. Might fail with an error of type E.

Acquires a resource of type R. Might fail with an error of type E.

Type parameters

A

parameters of the acquire function

B

additional data produced by acquiring the resource

E

type of the error

R

type of the resource

Value parameters

release

called to release the resource in case of a crash. None means no cleanup is needed

Attributes

Inherited from:
StarterAppBase
def tryEffectAcquireWr[R, A, S, E](f: ScalettoLib.this.dsl.ScalaFun[(R, A), Either[E, S]], release: Option[ScalettoLib.this.dsl.ScalaFun[S, Unit]]): (ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.|*| ScalettoLib.this.dsl.Val[A]) ScalettoLib.this.dsl.-⚬ (ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.|*| (ScalettoLib.this.dsl.Val[E] ScalettoLib.this.dsl.|+| ScalettoLib.this.dsl.Res[S]))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def trySplitResource[R, A, S, T, B, E](f: (R, A) => Either[E, (S, T, B)], release1: Option[S => Unit], release2: Option[T => Unit]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Val[E] Scaletto.this.|+| (Scaletto.this.Res[S] Scaletto.this.|*| Scaletto.this.Res[T] Scaletto.this.|*| Scaletto.this.Val[B]))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def trySplitResourceAsync[R, A, S, T, B, E](f: (R, A) => Async[Either[E, (S, T, B)]], release1: Option[S => Async[Unit]], release2: Option[T => Async[Unit]]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Val[E] Scaletto.this.|+| (Scaletto.this.Res[S] Scaletto.this.|*| Scaletto.this.Res[T] Scaletto.this.|*| Scaletto.this.Val[B]))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def tryTransformResource[R, A, S, B, E](f: (R, A) => Either[E, (S, B)], release: Option[S => Unit]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Val[E] Scaletto.this.|+| (Scaletto.this.Res[S] Scaletto.this.|*| Scaletto.this.Val[B]))
Exported from AbstractStarterKit

Transforms a resource into a resource of (possibly) different type. Might fail with an error of type E.

Transforms a resource into a resource of (possibly) different type. Might fail with an error of type E.

Type parameters

A

additional parameter of the transformation

B

additional output of the transformation

E

type of the error

R

type of the input resource

S

type of the output resource

Value parameters

f

the transformation function. It receives the input resource and additional input of type A. It returns either an error of type E or the new resource and additional output of type B. In case the transformation results in an error, the original resource is ''not'' released automatically— the passing of the original resource R to the transformation function f indicates transfer of responsibility for the resource to the function f.

release

called to release the new resource in case of a crash. None means no cleanup is needed

Attributes

Inherited from:
StarterAppBase
def tryTransformResourceAsync[R, A, S, B, E](f: (R, A) => Async[Either[E, (S, B)]], release: Option[S => Async[Unit]]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Val[E] Scaletto.this.|+| (Scaletto.this.Res[S] Scaletto.this.|*| Scaletto.this.Val[B]))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def unContrapositive[A, B](f: InvertDSL.this.-[A] InvertDSL.this.-⚬ InvertDSL.this.-[B]): B InvertDSL.this.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def unInvertClosure[A, B]: (A InvertDSL.this.=⚬ B) InvertDSL.this.-⚬ InvertDSL.this.-[B InvertDSL.this.=⚬ A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def unInvertOne: InvertDSL.this.-[InvertDSL.this.One] InvertDSL.this.-⚬ InvertDSL.this.One
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def uncurry[A, B, C](f: A ClosedDSL.this.-⚬ (B ClosedDSL.this.=⚬ C)): (A ClosedDSL.this.|*| B) ClosedDSL.this.-⚬ C
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def unliftBoolean: ScalettoLib.this.coreLib.Bool ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[Boolean]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def unliftEither[A, B]: (Scaletto.this.Val[A] Scaletto.this.|+| Scaletto.this.Val[B]) Scaletto.this.-⚬ Scaletto.this.Val[Either[A, B]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def unliftNegPair[A, B]: (Scaletto.this.Neg[A] Scaletto.this.|*| Scaletto.this.Neg[B]) Scaletto.this.-⚬ Scaletto.this.Neg[(A, B)]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def unpackDemand[F[_]]: InvertDSL.this.-[InvertDSL.this.Rec[F]] InvertDSL.this.-⚬ InvertDSL.this.-[F[InvertDSL.this.Rec[F]]]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def unveilSequentially[A, Ā, B](using ev: ClosedLib.this.coreLib.Dual[A, Ā]): (A ClosedLib.this.dsl.|*| B) ClosedLib.this.dsl.-⚬ (Ā ClosedLib.this.dsl.=⚬ B)
Exported from AbstractStarterKit

Given A and B concurrently (A |*| B), we can suggest that A be consumed before B by turning it into Ā =⚬ B, where Ā is the dual of A.

Given A and B concurrently (A |*| B), we can suggest that A be consumed before B by turning it into Ā =⚬ B, where Ā is the dual of A.

Attributes

Inherited from:
StarterAppBase
export valNegDuality[A]
Exported from ScalettoLib

Attributes

Inherited from:
StarterAppBase
def zapPremises[A, Ā, B, C](using ev: ClosedLib.this.coreLib.Dual[A, Ā]): ((A ClosedLib.this.dsl.=⚬ B) ClosedLib.this.dsl.|*| (Ā ClosedLib.this.dsl.=⚬ C)) ClosedLib.this.dsl.-⚬ (B ClosedLib.this.dsl.|*| C)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type |&| = dsl.|&|
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
final val |&|: CoreLib.this.|&|
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type |*| = dsl.|*|
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
final val |+|: CoreLib.this.|+|
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
final type |+| = dsl.|+|
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
def ΛI[A, B, C, D](f: A CoreLib.this.dsl.-⚬ (B CoreLib.this.dsl.|*| C)): (A CoreLib.this.dsl.|*| D) CoreLib.this.dsl.-⚬ (B CoreLib.this.dsl.|*| (C CoreLib.this.dsl.|*| D))
Exported from AbstractStarterKit

Λ is the uppercase Greek letter lambda.

Λ is the uppercase Greek letter lambda.

Attributes

Inherited from:
StarterAppBase
final type ⊕ = dsl.|+|
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase
final type ⊗ = dsl.|*|
Exported from CoreDSL

Attributes

Inherited from:
StarterAppBase

Inherited and Abstract defined exports

override val $: ClosedDSL.this.FunExprOps
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
val OneOf: CoreDSL.this.OneOfModule
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
val ScalaFun: Scaletto.this.ScalaFuns
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
override val UInt31: Scaletto.this.UInt31Scaletto
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def absurd[A]: CoreDSL.this.Void CoreDSL.this.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def acquire[A, R, B](acquire: Scaletto.this.ScalaFun[A, (R, B)], release: Option[Scaletto.this.ScalaFun[R, Unit]]): Scaletto.this.Val[A] Scaletto.this.-⚬ (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def andThen[A, B, C](f: A CoreDSL.this.-⚬ B, g: B CoreDSL.this.-⚬ C): A CoreDSL.this.-⚬ C
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def assocLR[A, B, C]: (A CoreDSL.this.|*| B CoreDSL.this.|*| C) CoreDSL.this.-⚬ (A CoreDSL.this.|*| (B CoreDSL.this.|*| C))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def assocRL[A, B, C]: (A CoreDSL.this.|*| (B CoreDSL.this.|*| C)) CoreDSL.this.-⚬ (A CoreDSL.this.|*| B CoreDSL.this.|*| C)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def backvert[A]: (A InvertDSL.this.|*| InvertDSL.this.-[A]) InvertDSL.this.-⚬ InvertDSL.this.One
Exported from AbstractStarterKit 
 ┏━━━━━━━━━━━┓
 ┞────┐      ┃
 ╎  A │┄┄┐   ┃
 ┟────┘  ┆   ┃
 ┃       ┆   ┃
 ┞────┐  ┆   ┃
 ╎-[A]│←┄┘   ┃
 ┟────┘      ┃
 ┗━━━━━━━━━━━┛

Attributes

Inherited from:
StarterAppBase
def choice[A, B, C](caseLeft: A CoreDSL.this.-⚬ B, caseRight: A CoreDSL.this.-⚬ C): A CoreDSL.this.-⚬ (B CoreDSL.this.|&| C)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def chooseL[A, B]: (A CoreDSL.this.|&| B) CoreDSL.this.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def chooseLOnPong[A, B]: (A CoreDSL.this.|&| B) CoreDSL.this.-⚬ (CoreDSL.this.Pong CoreDSL.this.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def chooseR[A, B]: (A CoreDSL.this.|&| B) CoreDSL.this.-⚬ B
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def coDistributeL[A, B, C]: ((A CoreDSL.this.|*| B) CoreDSL.this.|&| (A CoreDSL.this.|*| C)) CoreDSL.this.-⚬ (A CoreDSL.this.|*| (B CoreDSL.this.|&| C))
Exported from AbstractStarterKit

Inverse of coFactorL.

Inverse of coFactorL.

Attributes

Inherited from:
StarterAppBase
def constNeg[A](a: A): Scaletto.this.Neg[A] Scaletto.this.-⚬ Scaletto.this.Need
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def constVal[A](a: A): Scaletto.this.Done Scaletto.this.-⚬ Scaletto.this.Val[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def crashWhenDone[A, B](msg: String): (CrashDSL.this.Done CrashDSL.this.|*| A) CrashDSL.this.-⚬ B
Exported from AbstractStarterKit

Starts propagating an error downstream (which might be through both the in-port and the out-port).

Starts propagating an error downstream (which might be through both the in-port and the out-port).

Use only for irrecoverable errors. Recoverable errors should be expressed in function signature and handled appropriately.

Done on the in-port is the trigger to crash. A on the in-port allows to consume any unhandled resources. B on the out-port allows to fulfill any obligation to produce resources.

Attributes

Inherited from:
StarterAppBase
def delay: Scaletto.this.Val[FiniteDuration] Scaletto.this.-⚬ Scaletto.this.Done
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def delayIndefinitely: CoreDSL.this.Done CoreDSL.this.-⚬ CoreDSL.this.RTerminus
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def distributeInversion[A, B]: InvertDSL.this.-[A InvertDSL.this.|*| B] InvertDSL.this.-⚬ (InvertDSL.this.-[A] InvertDSL.this.|*| InvertDSL.this.-[B])
Exported from AbstractStarterKit 
 ┏━━━━━━━━━━━┓
 ┃           ┞────┐
 ┞────┐      ╎-[A]│
 ╎ ⎡A⎤│      ┟────┘
 ╎-⎢⊗⎥│      ┃
 ╎ ⎣B⎦│      ┞────┐
 ┟────┘      ╎-[B]│
 ┃           ┟────┘
 ┗━━━━━━━━━━━┛

Attributes

Inherited from:
StarterAppBase
def distributeL[A, B, C]: (A CoreDSL.this.|*| (B CoreDSL.this.|+| C)) CoreDSL.this.-⚬ ((A CoreDSL.this.|*| B) CoreDSL.this.|+| (A CoreDSL.this.|*| C))
Exported from AbstractStarterKit

Distribute the factor on the left into the summands on the right. Inverse of factorL.

Distribute the factor on the left into the summands on the right. Inverse of factorL.

Attributes

Inherited from:
StarterAppBase
def effect[R, A, B](f: Scaletto.this.ScalaFun[(R, A), B]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def effectWr[R, A](f: Scaletto.this.ScalaFun[(R, A), Unit]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ Scaletto.this.Res[R]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def either[A, B, C](caseLeft: A CoreDSL.this.-⚬ C, caseRight: B CoreDSL.this.-⚬ C): (A CoreDSL.this.|+| B) CoreDSL.this.-⚬ C
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def elimFst[B]: (CoreDSL.this.One CoreDSL.this.|*| B) CoreDSL.this.-⚬ B
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def elimSnd[A]: (A CoreDSL.this.|*| CoreDSL.this.One) CoreDSL.this.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def factorOutInversion[A, B]: (InvertDSL.this.-[A] InvertDSL.this.|*| InvertDSL.this.-[B]) InvertDSL.this.-⚬ InvertDSL.this.-[A InvertDSL.this.|*| B]
Exported from AbstractStarterKit 
 ┏━━━━━━━━━━━┓
 ┞────┐      ┃
 ╎-[A]│      ┞────┐
 ┟────┘      ╎ ⎡A⎤│
 ┃           ╎-⎢⊗⎥│
 ┞────┐      ╎ ⎣B⎦│
 ╎-[B]│      ┟────┘
 ┟────┘      ┃
 ┗━━━━━━━━━━━┛

Attributes

Inherited from:
StarterAppBase
def forevert[A]: InvertDSL.this.One InvertDSL.this.-⚬ (InvertDSL.this.-[A] InvertDSL.this.|*| A)
Exported from AbstractStarterKit 
 ┏━━━━━━┓
 ┃      ┞────┐
 ┃   ┌┄┄╎-[A]│
 ┃   ┆  ┟────┘
 ┃   ┆  ┃
 ┃   ┆  ┞────┐
 ┃   └┄→╎  A │
 ┃      ┟────┘
 ┗━━━━━━┛

Attributes

Inherited from:
StarterAppBase
def fork: CoreDSL.this.Done CoreDSL.this.-⚬ (CoreDSL.this.Done CoreDSL.this.|*| CoreDSL.this.Done)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def forkNeed: (CoreDSL.this.Need CoreDSL.this.|*| CoreDSL.this.Need) CoreDSL.this.-⚬ CoreDSL.this.Need
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def forkPing: CoreDSL.this.Ping CoreDSL.this.-⚬ (CoreDSL.this.Ping CoreDSL.this.|*| CoreDSL.this.Ping)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def forkPong: (CoreDSL.this.Pong CoreDSL.this.|*| CoreDSL.this.Pong) CoreDSL.this.-⚬ CoreDSL.this.Pong
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def id[A]: A CoreDSL.this.-⚬ A
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def injectL[A, B]: A CoreDSL.this.-⚬ (A CoreDSL.this.|+| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def injectLOnPing[A, B]: (CoreDSL.this.Ping CoreDSL.this.|*| A) CoreDSL.this.-⚬ (A CoreDSL.this.|+| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def injectR[A, B]: B CoreDSL.this.-⚬ (A CoreDSL.this.|+| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def introFst[B]: B CoreDSL.this.-⚬ (CoreDSL.this.One CoreDSL.this.|*| B)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def introSnd[A]: A CoreDSL.this.-⚬ (A CoreDSL.this.|*| CoreDSL.this.One)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def join: (CoreDSL.this.Done CoreDSL.this.|*| CoreDSL.this.Done) CoreDSL.this.-⚬ CoreDSL.this.Done
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def joinLTermini: CoreDSL.this.LTerminus CoreDSL.this.-⚬ (CoreDSL.this.LTerminus CoreDSL.this.|*| CoreDSL.this.LTerminus)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def joinNeed: CoreDSL.this.Need CoreDSL.this.-⚬ (CoreDSL.this.Need CoreDSL.this.|*| CoreDSL.this.Need)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def joinPing: (CoreDSL.this.Ping CoreDSL.this.|*| CoreDSL.this.Ping) CoreDSL.this.-⚬ CoreDSL.this.Ping
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def joinPong: CoreDSL.this.Pong CoreDSL.this.-⚬ (CoreDSL.this.Pong CoreDSL.this.|*| CoreDSL.this.Pong)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def joinRTermini: (CoreDSL.this.RTerminus CoreDSL.this.|*| CoreDSL.this.RTerminus) CoreDSL.this.-⚬ CoreDSL.this.RTerminus
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def lInvertPongPing: CoreDSL.this.One CoreDSL.this.-⚬ (CoreDSL.this.Pong CoreDSL.this.|*| CoreDSL.this.Ping)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def lInvertSignal: CoreDSL.this.One CoreDSL.this.-⚬ (CoreDSL.this.Need CoreDSL.this.|*| CoreDSL.this.Done)
Exported from AbstractStarterKit

Reverses the Need signal (flowing in the negative direciton, i.e. against the -⚬ arrow) into a Done signal (flowing in the positive direction, i.e. along the -⚬ arrow).

Reverses the Need signal (flowing in the negative direciton, i.e. against the -⚬ arrow) into a Done signal (flowing in the positive direction, i.e. along the -⚬ arrow).

 ┏━━━━━━┓
 ┃      ┞────┐
 ┃   ┌┄┄╎Need│
 ┃   ┆  ┟────┘
 ┃   ┆  ┃
 ┃   ┆  ┞────┐
 ┃   └┄→╎Done│
 ┃      ┟────┘
 ┗━━━━━━┛

Attributes

Inherited from:
StarterAppBase
def lInvertTerminus: CoreDSL.this.One CoreDSL.this.-⚬ (CoreDSL.this.LTerminus CoreDSL.this.|*| CoreDSL.this.RTerminus)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def liftEither[A, B]: Scaletto.this.Val[Either[A, B]] Scaletto.this.-⚬ (Scaletto.this.Val[A] Scaletto.this.|+| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def liftPair[A, B]: Scaletto.this.Val[(A, B)] Scaletto.this.-⚬ (Scaletto.this.Val[A] Scaletto.this.|*| Scaletto.this.Val[B])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def mapVal[A, B](f: Scaletto.this.ScalaFun[A, B]): Scaletto.this.Val[A] Scaletto.this.-⚬ Scaletto.this.Val[B]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def neglect[A]: Scaletto.this.Val[A] Scaletto.this.-⚬ Scaletto.this.Done
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def notifyChoice[A, B]: (CoreDSL.this.Pong CoreDSL.this.|*| (A CoreDSL.this.|&| B)) CoreDSL.this.-⚬ (A CoreDSL.this.|&| B)
Exported from AbstractStarterKit

Signals (in the negative direction) when it is known which side of the choice (A |&| B) has been chosen.

Signals (in the negative direction) when it is known which side of the choice (A |&| B) has been chosen.

Attributes

Inherited from:
StarterAppBase
def notifyDoneL: CoreDSL.this.Done CoreDSL.this.-⚬ (CoreDSL.this.Ping CoreDSL.this.|*| CoreDSL.this.Done)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def notifyEither[A, B]: (A CoreDSL.this.|+| B) CoreDSL.this.-⚬ (CoreDSL.this.Ping CoreDSL.this.|*| (A CoreDSL.this.|+| B))
Exported from AbstractStarterKit

Signals when it is decided whether A |+| B actually contains the left side or the right side.

Signals when it is decided whether A |+| B actually contains the left side or the right side.

Attributes

Inherited from:
StarterAppBase
def notifyNeedL: (CoreDSL.this.Pong CoreDSL.this.|*| CoreDSL.this.Need) CoreDSL.this.-⚬ CoreDSL.this.Need
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def notifyNeg[A]: (Scaletto.this.Pong Scaletto.this.|*| Scaletto.this.Neg[A]) Scaletto.this.-⚬ Scaletto.this.Neg[A]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def notifyVal[A]: Scaletto.this.Val[A] Scaletto.this.-⚬ (Scaletto.this.Ping Scaletto.this.|*| Scaletto.this.Val[A])
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def pack[F[_]]: F[CoreDSL.this.Rec[F]] CoreDSL.this.-⚬ CoreDSL.this.Rec[F]
Exported from AbstractStarterKit

Hides one level of a recursive type definition.

Hides one level of a recursive type definition.

Attributes

Inherited from:
StarterAppBase
def par[A, B, C, D](f: A CoreDSL.this.-⚬ B, g: C CoreDSL.this.-⚬ D): (A CoreDSL.this.|*| C) CoreDSL.this.-⚬ (B CoreDSL.this.|*| D)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def ping: CoreDSL.this.One CoreDSL.this.-⚬ CoreDSL.this.Ping
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def pong: CoreDSL.this.Pong CoreDSL.this.-⚬ CoreDSL.this.One
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def rInvertPingPong: (CoreDSL.this.Ping CoreDSL.this.|*| CoreDSL.this.Pong) CoreDSL.this.-⚬ CoreDSL.this.One
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def rInvertSignal: (CoreDSL.this.Done CoreDSL.this.|*| CoreDSL.this.Need) CoreDSL.this.-⚬ CoreDSL.this.One
Exported from AbstractStarterKit

Reverses the Done signal (flowing in the positive direction, i.e. along the -⚬ arrow) into a Need signal (flowing in the negative direciton, i.e. against the -⚬ arrow).

Reverses the Done signal (flowing in the positive direction, i.e. along the -⚬ arrow) into a Need signal (flowing in the negative direciton, i.e. against the -⚬ arrow).

 ┏━━━━━━━━━━━┓
 ┞────┐      ┃
 ╎Done│┄┄┐   ┃
 ┟────┘  ┆   ┃
 ┃       ┆   ┃
 ┞────┐  ┆   ┃
 ╎Need│←┄┘   ┃
 ┟────┘      ┃
 ┗━━━━━━━━━━━┛

Attributes

Inherited from:
StarterAppBase
def rInvertTerminus: (CoreDSL.this.RTerminus CoreDSL.this.|*| CoreDSL.this.LTerminus) CoreDSL.this.-⚬ CoreDSL.this.One
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def racePair: (CoreDSL.this.Ping CoreDSL.this.|*| CoreDSL.this.Ping) CoreDSL.this.-⚬ (CoreDSL.this.One CoreDSL.this.|+| CoreDSL.this.One)
Exported from AbstractStarterKit

Races the two Ping signals. Produces left if the first signal wins and right if the second signal wins. It is biased to the left: if both signals have arrived by the time of inquiry, returns left.

Races the two Ping signals. Produces left if the first signal wins and right if the second signal wins. It is biased to the left: if both signals have arrived by the time of inquiry, returns left.

Attributes

Inherited from:
StarterAppBase
def rec[A, B](f: (A CoreDSL.this.-⚬ B) => A CoreDSL.this.-⚬ B): A CoreDSL.this.-⚬ B
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def regressInfinitely: CoreDSL.this.LTerminus CoreDSL.this.-⚬ CoreDSL.this.Need
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def release[R]: Scaletto.this.Res[R] Scaletto.this.-⚬ Scaletto.this.Done
Exported from AbstractStarterKit

Releases a resource using the release function registered during resource acquisition.

Releases a resource using the release function registered during resource acquisition.

Attributes

Inherited from:
StarterAppBase
def releaseWith[R, A, B](f: Scaletto.this.ScalaFun[(R, A), B]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ Scaletto.this.Val[B]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def selectPair: (CoreDSL.this.One CoreDSL.this.|&| CoreDSL.this.One) CoreDSL.this.-⚬ (CoreDSL.this.Pong CoreDSL.this.|*| CoreDSL.this.Pong)
Exported from AbstractStarterKit

Races the two Pong signals (traveling from right to left). Chooses left if the first signal wins and right if the second signal wins. It is biased to the left: if both signals have arrived by the time of inquiry, chooses left.

Races the two Pong signals (traveling from right to left). Chooses left if the first signal wins and right if the second signal wins. It is biased to the left: if both signals have arrived by the time of inquiry, chooses left.

Attributes

Inherited from:
StarterAppBase
def strengthenPing: CoreDSL.this.Ping CoreDSL.this.-⚬ CoreDSL.this.Done
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def strengthenPong: CoreDSL.this.Need CoreDSL.this.-⚬ CoreDSL.this.Pong
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def swap[A, B]: (A CoreDSL.this.|*| B) CoreDSL.this.-⚬ (B CoreDSL.this.|*| A)
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def tryAcquire[A, R, B, E](acquire: Scaletto.this.ScalaFun[A, Either[E, (R, B)]], release: Option[Scaletto.this.ScalaFun[R, Unit]]): Scaletto.this.Val[A] Scaletto.this.-⚬ (Scaletto.this.Val[E] Scaletto.this.|+| (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[B]))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def tryEffectAcquire[R, A, S, B, E](f: Scaletto.this.ScalaFun[(R, A), Either[E, (S, B)]], release: Option[Scaletto.this.ScalaFun[S, Unit]]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Res[R] Scaletto.this.|*| (Scaletto.this.Val[E] Scaletto.this.|+| (Scaletto.this.Res[S] Scaletto.this.|*| Scaletto.this.Val[B])))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def trySplitResource[R, A, S, T, B, E](f: Scaletto.this.ScalaFun[(R, A), Either[E, (S, T, B)]], release1: Option[Scaletto.this.ScalaFun[S, Unit]], release2: Option[Scaletto.this.ScalaFun[T, Unit]]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Val[E] Scaletto.this.|+| (Scaletto.this.Res[S] Scaletto.this.|*| Scaletto.this.Res[T] Scaletto.this.|*| Scaletto.this.Val[B]))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def tryTransformResource[R, A, S, B, E](f: Scaletto.this.ScalaFun[(R, A), Either[E, (S, B)]], release: Option[Scaletto.this.ScalaFun[S, Unit]]): (Scaletto.this.Res[R] Scaletto.this.|*| Scaletto.this.Val[A]) Scaletto.this.-⚬ (Scaletto.this.Val[E] Scaletto.this.|+| (Scaletto.this.Res[S] Scaletto.this.|*| Scaletto.this.Val[B]))
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def unliftPair[A, B]: (Scaletto.this.Val[A] Scaletto.this.|*| Scaletto.this.Val[B]) Scaletto.this.-⚬ Scaletto.this.Val[(A, B)]
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
def unpack[F[_]]: CoreDSL.this.Rec[F] CoreDSL.this.-⚬ F[CoreDSL.this.Rec[F]]
Exported from AbstractStarterKit

Unpacks one level of a recursive type definition.

Unpacks one level of a recursive type definition.

Attributes

Inherited from:
StarterAppBase
override val |*|: InvertDSL.this.ConcurrentPairInvertOps
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase
override val λ: ClosedDSL.this.LambdaOpsWithClosures
Exported from AbstractStarterKit

Attributes

Inherited from:
StarterAppBase

Deprecated and Inherited defined exports

final type Zero = Zero
Exported from AbstractStarterKit

Attributes

Deprecated
true
Inherited from:
StarterAppBase
Generated with