libretto-core
API
Generated with
libretto-core/libretto/libretto.scaletto/StarterKit

StarterKit

libretto.scaletto.StarterKit
See theStarterKit companion object
class StarterKit extends AbstractStarterKit

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object StarterKit

Members list

Value members

Inherited methods

def executor(blockingExecutor: Executor)(scheduler: ScheduledExecutorService): Of[this.dsl.type, this.bridge.type]

Attributes

Inherited from:
AbstractStarterKit
def runAsync(blueprint: Done dsl.-⚬ Done): Future[Unit]

Attributes

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

Attributes

Inherited from:
AbstractStarterKit

Inherited fields

val bridge: Of[dsl.type]

Attributes

Inherited from:
AbstractStarterKit
val crashLib: CrashLib[dsl.type]

Attributes

Inherited from:
AbstractStarterKit
val dsl: Scaletto

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
val puroLib: PuroLib[dsl.type]

Attributes

Inherited from:
AbstractStarterKit
val scalettoLib: ScalettoLib[dsl.type, puroLib.type]

Attributes

Inherited from:
AbstractStarterKit

Givens

Inherited givens

given supportsCustomScheduler: SupportsCustomScheduler[executorFactory.ExecutionParam]

Attributes

Inherited from:
AbstractStarterKit

Exports

Inherited defined exports

final type $ = this.dsl.$
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type $Ops = this.dsl.$Ops
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final val *: Puro.this.*
Exported from Puro

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
final val +: Puro.this.+
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type - = this.dsl.-
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final val -: Puro.this.-
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final val --: Puro.this.--
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type -⚬ = this.dsl.-⚬
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type :: = this.dsl.::
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type =⚬ = this.dsl.=⚬
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final val ?: Puro.this.?
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type ?? = this.dsl.??
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type AcquiredLock = this.puroLib.AcquiredLock
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val AcquiredLock: PuroLib.this.AcquiredLock
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Affine = this.dsl.Affine
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
val Affine: Affine.type
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type AssemblyError = this.dsl.AssemblyError
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type BiExternalizer = [F[_, _]] =>> this.puroLib.BiExternalizer[F]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Bifunctor = [F[_, _]] =>> this.puroLib.Bifunctor[F]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Bifunctor: PuroLib.this.Bifunctor
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Bool = this.puroLib.Bool
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Bool: PuroLib.this.Bool
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Closeable = this.puroLib.Closeable
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Closeable: PuroLib.this.Closeable
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val CloseableCosemigroup: PuroLib.this.CloseableCosemigroup
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type CloseableCosemigroup = this.puroLib.CloseableCosemigroup
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type ClosureOps = this.dsl.ClosureOps
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type Comonad = [F[_]] =>> this.puroLib.Comonad[F]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Comonoid = this.dsl.Comonoid
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type Comparable = this.puroLib.Comparable
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Compared: PuroLib.this.Compared
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type ConcurrentPairOps = this.dsl.ConcurrentPairOps
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final val ContraExternalizer: PuroLib.this.ContraExternalizer
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type ContraExternalizer = [F[_]] =>> this.puroLib.ContraExternalizer[F]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val ContraFunctor: PuroLib.this.ContraFunctor
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type ContraFunctor = [F[_]] =>> this.puroLib.ContraFunctor[F]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Cosemigroup = this.dsl.Cosemigroup
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final val Deferrable: PuroLib.this.Deferrable
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Deferred: PuroLib.this.Deferred
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Deferred = this.puroLib.Deferred
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Detained = this.puroLib.Detained
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Detained: PuroLib.this.Detained
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Done = this.dsl.Done
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final val Dual: PuroLib.this.Dual
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Dual = this.puroLib.Dual
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Dual1 = [F[_], G[_]] =>> this.puroLib.Dual1[F, G]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Endless: PuroLib.this.Endless
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Endless = this.puroLib.Endless
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Externalizer: PuroLib.this.Externalizer
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Externalizer = [F[_]] =>> this.puroLib.Externalizer[F]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type FocusedBi = [F[_, _], B1, B2] =>> this.puroLib.FocusedBi[F, B1, B2]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type FocusedCo = [F[_], B] =>> this.puroLib.FocusedCo[F, B]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type FocusedContra = [F[_], B] =>> this.puroLib.FocusedContra[F, B]
Exported from PuroLib

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
final type FocusedOnChoiceCo = [F[_], B1, B2] =>> this.puroLib.FocusedOnChoiceCo[F, B1, B2]
Exported from PuroLib

Attributes

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

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:
AbstractStarterKit
final type FocusedOnChoiceContra = [A, F[_], B1, B2] =>> this.puroLib.FocusedOnChoiceContra[A, F, B1, B2]
Exported from PuroLib

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
final type FocusedOnPairCo = [F[_], B1, B2] =>> this.puroLib.FocusedOnPairCo[F, B1, B2]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type FocusedOnPairContra = [A, F[_], B1, B2] =>> this.puroLib.FocusedOnPairContra[A, F, B1, B2]
Exported from PuroLib

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
final type FocusedOnPlusCo = [F[_], B1, B2] =>> this.puroLib.FocusedOnPlusCo[F, B1, B2]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type FocusedOnPlusContra = [A, F[_], B1, B2] =>> this.puroLib.FocusedOnPlusContra[A, F, B1, B2]
Exported from PuroLib

Attributes

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

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:
AbstractStarterKit
final val Functor: PuroLib.this.Functor
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Functor = [F[_]] =>> this.puroLib.Functor[F]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Getter: PuroLib.this.Getter
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Getter = this.puroLib.Getter
Exported from PuroLib

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
final type Id = this.puroLib.Id
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
def InL[A, B]: Extractor[Puro.this.-⚬, Puro.this.|*|, A Puro.this.|+| B, A]
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
def InR[A, B]: Extractor[Puro.this.-⚬, Puro.this.|*|, A Puro.this.|+| B, B]
Exported from Puro

Attributes

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

Λ is the uppercase Greek letter lambda.

Λ is the uppercase Greek letter lambda.

Attributes

Inherited from:
AbstractStarterKit
final val Junction: PuroLib.this.Junction
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type LList = this.puroLib.LList
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val LList: PuroLib.this.LList
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val LList1: PuroLib.this.LList1
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type LList1 = this.puroLib.LList1
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type LTerminus = this.dsl.LTerminus
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type LambdaContext = this.dsl.LambdaContext
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type LambdaOps = this.dsl.LambdaOps
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final val Lease: PuroLib.this.Lease
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Lease = this.puroLib.Lease
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val LeasePool: PuroLib.this.LeasePool
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type LeasePool = this.puroLib.LeasePool
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Lens = this.puroLib.Lens
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Lens: PuroLib.this.Lens
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type LinearFunctionOps = this.puroLib.LinearFunctionOps
Exported from PuroLib

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
final val Lock: PuroLib.this.Lock
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Lock = this.puroLib.Lock
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Maybe: PuroLib.this.Maybe
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Maybe = this.puroLib.Maybe
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Monad = [F[_]] =>> this.puroLib.Monad[F]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Monoid: PuroLib.this.Monoid
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Monoid = this.puroLib.Monoid
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Multiple = this.puroLib.Multiple
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Multiple: PuroLib.this.Multiple
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type NAffine = this.puroLib.NAffine
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val NAffine: PuroLib.this.NAffine
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type NComonoid = this.puroLib.NComonoid
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type NMonoid = this.puroLib.NMonoid
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val NMonoid: PuroLib.this.NMonoid
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Need = this.dsl.Need
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type Neg = this.dsl.Neg
Exported from Scaletto

Attributes

Inherited from:
AbstractStarterKit
final type One = this.dsl.One
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type OneOf = this.dsl.OneOf
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type Optionally = this.puroLib.Optionally
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Optionally: PuroLib.this.Optionally
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val PMaybe: PuroLib.this.PMaybe
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type PMaybe = this.puroLib.PMaybe
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type PMonoid = this.puroLib.PMonoid
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type PUnlimited = this.puroLib.PUnlimited
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val PUnlimited: PuroLib.this.PUnlimited
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Ping = this.dsl.Ping
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type Pong = this.dsl.Pong
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type RTerminus = this.dsl.RTerminus
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type Rec = [F[_]] =>> this.dsl.Rec[F]
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type RefCounted = this.scalettoLib.RefCounted
Exported from ScalettoLib

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
final type Res = this.dsl.Res
Exported from Scaletto

Attributes

Inherited from:
AbstractStarterKit
final type ScalaFun = this.dsl.ScalaFun
Exported from Scaletto

Attributes

Inherited from:
AbstractStarterKit
final type ScalaFuns = this.dsl.ScalaFuns
Exported from Scaletto

Attributes

Inherited from:
AbstractStarterKit
final val Semigroup: PuroLib.this.Semigroup
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Semigroup = this.puroLib.Semigroup
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Signaling: PuroLib.this.Signaling
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val SignalingJunction: PuroLib.this.SignalingJunction
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Sub = this.dsl.Sub
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type Switch = this.dsl.Switch
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type SwitchInit = this.dsl.SwitchInit
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type Transportive = [F[_]] =>> this.puroLib.Transportive[F]
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final val Transportive: PuroLib.this.Transportive
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type UInt31 = this.dsl.UInt31
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type UInt31Scaletto = this.dsl.UInt31Scaletto
Exported from Scaletto

Attributes

Inherited from:
AbstractStarterKit
final type UInt31s = this.dsl.UInt31s
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final val Unlimited: PuroLib.this.Unlimited
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type Unlimited = this.puroLib.Unlimited
Exported from PuroLib

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
final type Val = this.dsl.Val
Exported from Scaletto

Attributes

Inherited from:
AbstractStarterKit
final type ValSwitch = this.dsl.ValSwitch
Exported from Scaletto

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
final type ValSwitchInit = this.dsl.ValSwitchInit
Exported from Scaletto

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
final type Void = this.dsl.Void
Exported from Puro

Attributes

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

Attributes

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

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:
AbstractStarterKit
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 Scaletto

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:
AbstractStarterKit
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 ScalettoLib

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:
AbstractStarterKit
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 Scaletto

Attributes

Inherited from:
AbstractStarterKit
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 ScalettoLib

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:
AbstractStarterKit
def alsoPrintLine: ScalettoLib.this.dsl.Val[String] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[String]
Exported from ScalettoLib

Attributes

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

Attributes

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

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:
AbstractStarterKit
def awaitChooseR[A, B](using B: Negative[B]): (A PuroLib.this.dsl.|&| B) PuroLib.this.dsl.-⚬ (PuroLib.this.dsl.Need PuroLib.this.dsl.|*| B)
Exported from PuroLib

Analogous to awaitChooseL, but chooses the right side.

Analogous to awaitChooseL, but chooses the right side.

Attributes

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

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:
AbstractStarterKit
def awaitInjectR[A, B](using B: Positive[B]): (PuroLib.this.dsl.Done PuroLib.this.dsl.|*| B) PuroLib.this.dsl.-⚬ (A PuroLib.this.dsl.|+| B)
Exported from PuroLib

Analogous to joinInjectL, but injects to the right.

Analogous to joinInjectL, but injects to the right.

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def awaitPosChooseR[A, B](using B: Positive[B]): (PuroLib.this.dsl.Done PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|&| B)) PuroLib.this.dsl.-⚬ B
Exported from PuroLib

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:
AbstractStarterKit
def awaitPosFst[A](using A: Positive[A]): (PuroLib.this.dsl.Done PuroLib.this.dsl.|*| A) PuroLib.this.dsl.-⚬ A
Exported from PuroLib

Attributes

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

Attributes

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

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:
AbstractStarterKit
def blockOutportUntilPing[A]: (PuroLib.this.dsl.Ping PuroLib.this.dsl.|*| A) PuroLib.this.dsl.-⚬ A
Exported from PuroLib

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:
AbstractStarterKit
def blocking[A, B](f: A => B): Scaletto.this.Val[A] Scaletto.this.-⚬ Scaletto.this.Val[B]
Exported from Scaletto

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:
AbstractStarterKit
def chooseLOnPing[A, B]: (PuroLib.this.dsl.Ping PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|&| B)) PuroLib.this.dsl.-⚬ A
Exported from PuroLib

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Inverse of coFactorR.

Inverse of coFactorR.

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def contrapositive[A, B](f: A Puro.this.-⚬ B): Puro.this.-[B] Puro.this.-⚬ Puro.this.-[A]
Exported from Puro

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
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 ScalettoLib

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def demandChoice[A, B]: (Puro.this.-[A] Puro.this.|+| Puro.this.-[B]) Puro.this.-⚬ Puro.this.-[A Puro.this.|&| B]
Exported from Puro

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:
AbstractStarterKit
def demandChosen[A, B]: Puro.this.-[A Puro.this.|&| B] Puro.this.-⚬ (Puro.this.-[A] Puro.this.|+| Puro.this.-[B])
Exported from Puro

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:
AbstractStarterKit
def demandEither[A, B]: (Puro.this.-[A] Puro.this.|&| Puro.this.-[B]) Puro.this.-⚬ Puro.this.-[A Puro.this.|+| B]
Exported from Puro

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:
AbstractStarterKit
def demandSeparately[A, B]: Puro.this.-[A Puro.this.|*| B] Puro.this.-⚬ (Puro.this.-[A] Puro.this.|*| Puro.this.-[B])
Exported from Puro

Alias for distributeInversion

Alias for distributeInversion

Attributes

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

Alias for factorOutInversion.

Alias for factorOutInversion.

Attributes

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

Attributes

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

Double-inversion elimination.

Double-inversion elimination.

Attributes

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

Double-inversion introduction.

Double-inversion introduction.

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def done: Puro.this.One Puro.this.-⚬ Puro.this.Done
Exported from Puro

Attributes

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

Attributes

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

Alias for die.

Alias for die.

Attributes

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

Alias for dii.

Alias for dii.

Attributes

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

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:
AbstractStarterKit
def dualSymmetric[A, B](ev: PuroLib.this.Dual[A, B]): PuroLib.this.Dual[B, A]
Exported from PuroLib

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

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:
AbstractStarterKit
def effect0[R](f: R => Unit): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Res[R]
Exported from ScalettoLib

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:
AbstractStarterKit
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 Scaletto

Attributes

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

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:
AbstractStarterKit
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 ScalettoLib

Attributes

Inherited from:
AbstractStarterKit
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 ScalettoLib

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

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:
AbstractStarterKit
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 Scaletto

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def factorR[A, B, C]: ((A Puro.this.|*| C) Puro.this.|+| (B Puro.this.|*| C)) Puro.this.-⚬ ((A Puro.this.|+| B) Puro.this.|*| C)
Exported from Puro

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:
AbstractStarterKit
def forkMap[A, B](f: Puro.this.Done Puro.this.-⚬ A, g: Puro.this.Done Puro.this.-⚬ B): Puro.this.Done Puro.this.-⚬ (A Puro.this.|*| B)
Exported from Puro

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def fun[A, B]: Puro.this.Sub[A, B] Puro.this.-⚬ (A Puro.this.=⚬ B)
Exported from Puro

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
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.puroLib.Bool
Exported from ScalettoLib

Attributes

Inherited from:
AbstractStarterKit
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.puroLib.Bool
Exported from ScalettoLib

Attributes

Inherited from:
AbstractStarterKit
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.puroLib.Bool
Exported from ScalettoLib

Attributes

Inherited from:
AbstractStarterKit
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.puroLib.Bool
Exported from ScalettoLib

Attributes

Inherited from:
AbstractStarterKit
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.puroLib.Bool
Exported from ScalettoLib

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
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.puroLib.Bool
Exported from ScalettoLib

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def mapVal[A, B](f: A => B): Scaletto.this.Val[A] Scaletto.this.-⚬ Scaletto.this.Val[B]
Exported from Scaletto

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:
AbstractStarterKit
def matchingChoiceLR[A, B, C, D]: ((A PuroLib.this.dsl.|+| B) PuroLib.this.dsl.|*| (C PuroLib.this.dsl.|&| D)) PuroLib.this.dsl.-⚬ ((A PuroLib.this.dsl.|*| C) PuroLib.this.dsl.|+| (B PuroLib.this.dsl.|*| D))
Exported from PuroLib

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:
AbstractStarterKit
def matchingChoiceRL[A, B, C, D]: ((A PuroLib.this.dsl.|&| B) PuroLib.this.dsl.|*| (C PuroLib.this.dsl.|+| D)) PuroLib.this.dsl.-⚬ ((A PuroLib.this.dsl.|*| C) PuroLib.this.dsl.|+| (B PuroLib.this.dsl.|*| D))
Exported from PuroLib

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:
AbstractStarterKit
def maybeToOption[A]: ScalettoLib.this.puroLib.Maybe[ScalettoLib.this.dsl.Val[A]] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[Option[A]]
Exported from ScalettoLib

Attributes

Inherited from:
AbstractStarterKit
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 ScalettoLib

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def notifyChoiceAndLeft[A, B](using A: Negative[A]): (PuroLib.this.dsl.Pong PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|&| B)) PuroLib.this.dsl.-⚬ (A PuroLib.this.dsl.|&| B)
Exported from PuroLib

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:
AbstractStarterKit
def notifyChoiceAndRight[A, B](notifyR: (PuroLib.this.dsl.Pong PuroLib.this.dsl.|*| B) PuroLib.this.dsl.-⚬ B): (PuroLib.this.dsl.Pong PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|&| B)) PuroLib.this.dsl.-⚬ (A PuroLib.this.dsl.|&| B)
Exported from PuroLib

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:
AbstractStarterKit
def notifyChoiceAndRight[A, B](using B: Negative[B]): (PuroLib.this.dsl.Pong PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|&| B)) PuroLib.this.dsl.-⚬ (A PuroLib.this.dsl.|&| B)
Exported from PuroLib

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:
AbstractStarterKit
def notifyChoiceAndSides[A, B](notifyL: (PuroLib.this.dsl.Pong PuroLib.this.dsl.|*| A) PuroLib.this.dsl.-⚬ A, notifyR: (PuroLib.this.dsl.Pong PuroLib.this.dsl.|*| B) PuroLib.this.dsl.-⚬ B): (PuroLib.this.dsl.Pong PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|&| B)) PuroLib.this.dsl.-⚬ (A PuroLib.this.dsl.|&| B)
Exported from PuroLib

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:
AbstractStarterKit
def notifyChoiceAndSides[A, B](using A: Negative[A], B: Negative[B]): (PuroLib.this.dsl.Pong PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|&| B)) PuroLib.this.dsl.-⚬ (A PuroLib.this.dsl.|&| B)
Exported from PuroLib

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:
AbstractStarterKit
def notifyDoneR: Puro.this.Done Puro.this.-⚬ (Puro.this.Done Puro.this.|*| Puro.this.Ping)
Exported from Puro

Attributes

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

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:
AbstractStarterKit
def notifyEitherAndLeft[A, B](using A: Positive[A]): (A PuroLib.this.dsl.|+| B) PuroLib.this.dsl.-⚬ (PuroLib.this.dsl.Ping PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|+| B))
Exported from PuroLib

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:
AbstractStarterKit
def notifyEitherAndRight[A, B](notifyR: B PuroLib.this.dsl.-⚬ (PuroLib.this.dsl.Ping PuroLib.this.dsl.|*| B)): (A PuroLib.this.dsl.|+| B) PuroLib.this.dsl.-⚬ (PuroLib.this.dsl.Ping PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|+| B))
Exported from PuroLib

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:
AbstractStarterKit
def notifyEitherAndRight[A, B](using B: Positive[B]): (A PuroLib.this.dsl.|+| B) PuroLib.this.dsl.-⚬ (PuroLib.this.dsl.Ping PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|+| B))
Exported from PuroLib

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:
AbstractStarterKit
def notifyEitherAndSides[A, B](notifyL: A PuroLib.this.dsl.-⚬ (PuroLib.this.dsl.Ping PuroLib.this.dsl.|*| A), notifyR: B PuroLib.this.dsl.-⚬ (PuroLib.this.dsl.Ping PuroLib.this.dsl.|*| B)): (A PuroLib.this.dsl.|+| B) PuroLib.this.dsl.-⚬ (PuroLib.this.dsl.Ping PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|+| B))
Exported from PuroLib

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:
AbstractStarterKit
def notifyEitherAndSides[A, B](using A: Positive[A], B: Positive[B]): (A PuroLib.this.dsl.|+| B) PuroLib.this.dsl.-⚬ (PuroLib.this.dsl.Ping PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|+| B))
Exported from PuroLib

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

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Turn a function into a function object.

Turn a function into a function object.

Attributes

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

Attributes

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

Map the output of a function object.

Map the output of a function object.

Attributes

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

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

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
final val producing: Puro.this.producing
Exported from Puro

Attributes

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

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:
AbstractStarterKit
def putStr: ScalettoLib.this.dsl.Val[String] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Done
Exported from ScalettoLib

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def racePreferred[A, B](using A: Positive[A], B: Positive[B]): (PuroLib.this.dsl.Ping PuroLib.this.dsl.|*| (A PuroLib.this.dsl.|*| B)) PuroLib.this.dsl.-⚬ ((A PuroLib.this.dsl.|*| B) PuroLib.this.dsl.|+| (A PuroLib.this.dsl.|*| B))
Exported from PuroLib

Attributes

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

Attributes

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

Creates a pair of mutually recursive functions.

Creates a pair of mutually recursive functions.

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

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:
AbstractStarterKit
def release0[R, B](release: R => B): ScalettoLib.this.dsl.Res[R] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[B]
Exported from ScalettoLib

Variant of release that does not take additional input.

Variant of release that does not take additional input.

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

Attributes

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

Variant of releaseAsync that does not take additional input.

Variant of releaseAsync that does not take additional input.

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def sequence[A : Positive, B : Positive]: (A PuroLib.this.dsl.|*| B) PuroLib.this.dsl.-⚬ (A PuroLib.this.dsl.|*| B)
Exported from PuroLib

Alias for sequence_PP.

Alias for sequence_PP.

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

Attributes

Inherited from:
AbstractStarterKit
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 ScalettoLib

Attributes

Inherited from:
AbstractStarterKit
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 ScalettoLib

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

Attributes

Inherited from:
AbstractStarterKit
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 ScalettoLib

Attributes

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

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:
AbstractStarterKit
def subordinateSnd[A, B, C, D]: ((A PuroLib.this.dsl.|*| B) PuroLib.this.dsl.|&| (C PuroLib.this.dsl.|*| D)) PuroLib.this.dsl.-⚬ ((A PuroLib.this.dsl.|&| C) PuroLib.this.dsl.|*| (B PuroLib.this.dsl.|+| D))
Exported from PuroLib

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:
AbstractStarterKit
def supply[A]: (A Puro.this.|*| Puro.this.-[A]) Puro.this.-⚬ Puro.this.One
Exported from Puro

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:
AbstractStarterKit
def testByVals[A, B, K](aKey: ScalettoLib.this.puroLib.Getter[A, ScalettoLib.this.dsl.Val[K]], bKey: ScalettoLib.this.puroLib.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 ScalettoLib

Attributes

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

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:
AbstractStarterKit
def toScalaList[A]: ScalettoLib.this.puroLib.LList[ScalettoLib.this.dsl.Val[A]] ScalettoLib.this.dsl.-⚬ ScalettoLib.this.dsl.Val[List[A]]
Exported from ScalettoLib

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

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:
AbstractStarterKit
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 ScalettoLib

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:
AbstractStarterKit
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 Scaletto

Attributes

Inherited from:
AbstractStarterKit
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 ScalettoLib

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:
AbstractStarterKit
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 Scaletto

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:
AbstractStarterKit
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 ScalettoLib

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

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:
AbstractStarterKit
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 Scaletto

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
export valNegDuality[A]
Exported from ScalettoLib

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
final type |&| = this.dsl.|&|
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final val |&|: PuroLib.this.|&|
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type |*| = this.dsl.|*|
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final val |+|: PuroLib.this.|+|
Exported from PuroLib

Attributes

Inherited from:
AbstractStarterKit
final type |+| = this.dsl.|+|
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type || = this.dsl.||
Exported from Puro

Attributes

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

Λ is the uppercase Greek letter lambda.

Λ is the uppercase Greek letter lambda.

Attributes

Inherited from:
AbstractStarterKit
final type ⊕ = this.dsl.|+|
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
final type ⊗ = this.dsl.|*|
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit

Inherited and Abstract defined exports

val $: Puro.this.$Ops
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
val OneOf: EnumModule[Puro.this.-⚬, Puro.this.|*|, Puro.this.OneOf, Puro.this.||, Puro.this.::]
Exported from Puro

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Inverse of coFactorL.

Inverse of coFactorL.

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def delay: Scaletto.this.Val[FiniteDuration] Scaletto.this.-⚬ Scaletto.this.Done
Exported from Scaletto

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
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 Scaletto

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
def invoke[A, B]: (Puro.this.Sub[A, B] Puro.this.|*| A) Puro.this.-⚬ B
Exported from Puro

An invocation of a subroutine.

An invocation of a subroutine.

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def lInvertTerminus: Puro.this.One Puro.this.-⚬ (Puro.this.LTerminus Puro.this.|*| Puro.this.RTerminus)
Exported from Puro

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def notifyDoneL: Puro.this.Done Puro.this.-⚬ (Puro.this.Ping Puro.this.|*| Puro.this.Done)
Exported from Puro

Attributes

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

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:
AbstractStarterKit
def notifyNeedL: (Puro.this.Pong Puro.this.|*| Puro.this.Need) Puro.this.-⚬ Puro.this.Need
Exported from Puro

Attributes

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

Attributes

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

Attributes

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

Hides one level of a recursive type definition.

Hides one level of a recursive type definition.

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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:
AbstractStarterKit
def rInvertTerminus: (Puro.this.RTerminus Puro.this.|*| Puro.this.LTerminus) Puro.this.-⚬ Puro.this.One
Exported from Puro

Attributes

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

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:
AbstractStarterKit
def rec[A, B](f: (Puro.this.Sub[A, B] Puro.this.|*| A) Puro.this.-⚬ B): A Puro.this.-⚬ B
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
def recPartitioning[F[_]](p: Partitioning[Puro.this.-⚬, Puro.this.|*|, F[Puro.this.Rec[F]]]): Partitioning[Puro.this.-⚬, Puro.this.|*|, Puro.this.Rec[F]] { type Partition = p.Partition; }
Exported from Puro

Attributes

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

Attributes

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

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:
AbstractStarterKit
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 Scaletto

Attributes

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

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:
AbstractStarterKit
def sizeOf[A, B](f: A Scaletto.this.-⚬ B): Long
Exported from Scaletto

Returns the size of the given program, in further unspecified units. Useful only for approximate relative comparisons.

Returns the size of the given program, in further unspecified units. Useful only for approximate relative comparisons.

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

Attributes

Inherited from:
AbstractStarterKit
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 Scaletto

Attributes

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

Attributes

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

Unpacks one level of a recursive type definition.

Unpacks one level of a recursive type definition.

Attributes

Inherited from:
AbstractStarterKit
val |*|: Puro.this.ConcurrentPairOps
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
val λ: Puro.this.LambdaOps
Exported from Puro

Attributes

Inherited from:
AbstractStarterKit
Generated with