libretto/libretto/StarterAppBase

StarterAppBase

abstract class StarterAppBase
class Object
trait Matchable
class Any

Type members

Types

final type -⚬ >: -⚬ <: -⚬
final type Affine >: Affine <: Affine
final type Bifunctor >: Bifunctor <: Bifunctor
final type Bool >: Bool <: Bool
final type Comonad >: Comonad <: Comonad
final type Comonoid >: Comonoid <: Comonoid
final type Consumer >: Consumer <: Consumer
final type ConsumerF >: ConsumerF <: ConsumerF
final type Delayed >: Delayed <: Delayed
final type Demanding >: Demanding <: Demanding
final type Done >: Done <: Done
final type Dual >: Dual <: Dual
final type Dual1 >: Dual1 <: Dual1
final type FocusedBi >: FocusedBi <: FocusedBi
final type FocusedCo >: FocusedCo <: FocusedCo
final type Functor >: Functor <: Functor
final type Getter >: Getter <: Getter
final type Id >: Id <: Id
final type LList >: LList <: LList
final type LPollable >: LPollable <: LPollable
final type LPolled >: LPolled <: LPolled
final type LTerminus >: LTerminus <: LTerminus
final type Lens >: Lens <: Lens
final type Maybe >: Maybe <: Maybe
final type Monad >: Monad <: Monad
final type Monoid >: Monoid <: Monoid
final type Multiple >: Multiple <: Multiple
final type NAffine >: NAffine <: NAffine
final type NComonoid >: NComonoid <: NComonoid
final type NMonoid >: NMonoid <: NMonoid
final type Need >: Need <: Need
final type Neg >: Neg <: Neg
final type One >: One <: One
final type PAffine >: PAffine <: PAffine
final type PComonoid >: PComonoid <: PComonoid
final type PMaybe >: PMaybe <: PMaybe
final type PMonoid >: PMonoid <: PMonoid
final type Pollable >: Pollable <: Pollable
final type PollableF >: PollableF <: PollableF
final type Polled >: Polled <: Polled
final type Producing >: Producing <: Producing
final type RTerminus >: RTerminus <: RTerminus
final type Rec >: Rec <: Rec
final type Res >: Res <: Res
final type Semigroup >: Semigroup <: Semigroup
final type Unlimited >: Unlimited <: Unlimited
final type Val >: Val <: Val
final type Zero >: Zero <: Zero
final type |&| >: |&| <: |&|
final type |*| >: |*| <: |*|
final type |+| >: |+| <: |+|
final type ⊕ >: ⊕ <: ⊕
final type ⊗ >: ⊗ <: ⊗

Implicits

Implicits

final implicit def choiceBifunctor: Bifunctor[|&|]
final implicit def comonoidUnlimited[A]: Comonoid[Unlimited[A]]
Exported from instance.function
final implicit def consumerProducingDuality[A]: Dual[Consumer[A], Producing[A]]
Exported from instance.function
final implicit def doneNeedDuality: Dual[Done, Need]
final implicit def eitherBifunctor: Bifunctor[|+|]
final implicit def fst[B]: Transportive[[x] =>> x |*| B]
Exported from instance.function
final implicit def idFunctor: Transportive[Id]
Exported from coreLib.idFunctor
final implicit def junctionNeg[A]: Negative[Neg[A]]
Exported from instance.function
final implicit def junctionVal[A]: Positive[Val[A]]
Exported from instance.function
final implicit def monadMultiple: Monad[Multiple]
Exported from coreLib.monadMultiple
final implicit def monoidMultiple[A]: Monoid[Multiple[A]]
Exported from instance.function
final implicit def nMonoidNeg[A]: NMonoid[Neg[A]]
Exported from instance.function
final implicit def negValDuality[A]: Dual[Neg[A], Val[A]]
Exported from instance.function
final implicit def oneSelfDual: Dual[One, One]
Exported from coreLib.oneSelfDual
final implicit def pComonoidPUnlimited[A]: PComonoid[PUnlimited[A]]
Exported from instance.function
final implicit def pComonoidVal[A]: PComonoid[Val[A]]
Exported from instance.function
final implicit def pairBifunctor: Bifunctor[|*|]
Exported from coreLib.pairBifunctor
final implicit def producingConsumerDuality[A]: Dual[Producing[A], Consumer[A]]
Exported from instance.function
final implicit def signalingJunctionNegativeNeg[A]: Negative[Neg[A]]
Exported from instance.function
final implicit def signalingJunctionPositiveVal[A]: Positive[Val[A]]
Exported from instance.function
final implicit def signalingNeg[A]: Negative[Neg[A]]
Exported from instance.function
final implicit def signalingVal[A]: Positive[Val[A]]
Exported from instance.function
final implicit def snd[A]: Transportive[[x] =>> A |*| x]
Exported from instance.function
final implicit def valNegDuality[A]: Dual[Val[A], Neg[A]]
Exported from instance.function

Exports

Defined exports

final def Affine: Affine
Exported from coreLib.Affine
final def Bifunctor: Bifunctor
Exported from coreLib.Bifunctor
final def Bool: Bool
Exported from coreLib.Bool
final def Compared: Compared
Exported from coreLib.Compared
final def Delayed: Delayed
Exported from coreLib.Delayed
final def Dual: Dual
Exported from coreLib.Dual
final def Getter: Getter
Exported from coreLib.Getter
final def IX[A, B, C]: A |*| B |*| C -⚬ A |*| C |*| B
Exported from instance.function
final def IXI[A, B, C, D]: A |*| B |*| C |*| D -⚬ A |*| C |*| B |*| D
Exported from instance.function
final def Junction: Junction
Exported from coreLib.Junction
final def LList: LList
Exported from coreLib.LList
final def LPollable: LPollable
Exported from coreStreams.LPollable
final def LPolled: LPolled
Exported from coreStreams.LPolled
final def Lens: Lens
Exported from coreLib.Lens
final def Maybe: Maybe
Exported from coreLib.Maybe
final def Monoid: Monoid
Exported from coreLib.Monoid
final def Multiple: Multiple
Exported from coreLib.Multiple
final def NAffine: NAffine
Exported from coreLib.NAffine
final def Optionally: Optionally
Exported from coreLib.Optionally
final def PAffine: PAffine
Exported from coreLib.PAffine
final def PMaybe: PMaybe
Exported from coreLib.PMaybe
final def PUnlimited: PUnlimited
Exported from coreLib.PUnlimited
final def Pollable: Pollable
Exported from scalaStreams.Pollable
final def Polled: Polled
Exported from scalaStreams.Polled
final def RefCounted: RefCounted
Exported from scalaLib.RefCounted
final def Signaling: Signaling
Exported from coreLib.Signaling
final def Unlimited: Unlimited
Exported from coreLib.Unlimited
final def XI[A, B, C]: A |*| B |*| C -⚬ B |*| A |*| C
Exported from instance.function
final def assocLR[A, B, C]: A |*| B |*| C -⚬ A |*| B |*| C
Exported from instance.function
final def assocRL[A, B, C]: A |*| B |*| C -⚬ A |*| B |*| C
Exported from instance.function
final def chooseL[A, B]: A |&| B -⚬ A
Exported from instance.function
final def chooseLWhenDone[A, B]: Done |*| A |&| B -⚬ Done |*| A
Exported from instance.function
final def chooseLWhenNeed[A, B]: Need |*| A |&| B -⚬ Need |*| A
Exported from instance.function
final def chooseR[A, B]: A |&| B -⚬ B
Exported from instance.function
final def chooseRWhenDone[A, B]: Done |*| A |&| B -⚬ Done |*| B
Exported from instance.function
final def chooseRWhenNeed[A, B]: A |&| Need |*| B -⚬ Need |*| B
Exported from instance.function
final def coDistributeL[A, B, C]: A |*| B |&| A |*| C -⚬ A |*| B |&| C
Exported from instance.function
final def coDistributeR[A, B, C]: A |*| C |&| B |*| C -⚬ A |&| B |*| C
Exported from instance.function
final def coFactorL[A, B, C]: A |*| B |&| C -⚬ A |*| B |&| A |*| C
Exported from instance.function
final def coFactorR[A, B, C]: A |&| B |*| C -⚬ A |*| C |&| B |*| C
Exported from instance.function
final def coreLib: CoreLib & CoreLib[DSL]
Exported from scalaLib.coreLib
final def coreStreams: Streams & CoreStreams[DSL, Lib & CoreLib[DSL]]
final def crashd(msg: String): Done -⚬ Done
Exported from dsl.crashd
final def crashn(msg: String): Need -⚬ Need
Exported from dsl.crashn
final def delay(d: FiniteDuration): Done -⚬ Done
Exported from dsl.delay
final def delay: Val[FiniteDuration] -⚬ Done
Exported from dsl.delay
final def delayChoiceUntilDone[A, B]: Done |*| A |&| B -⚬ Done |*| A |&| Done |*| B
Exported from instance.function
final def delayChoiceUntilNeed[A, B]: Need |*| A |&| Need |*| B -⚬ Need |*| A |&| B
Exported from instance.function
final def delayEitherUntilDone[A, B]: Done |*| A |+| B -⚬ Done |*| A |+| Done |*| B
Exported from instance.function
final def delayEitherUntilNeed[A, B]: Need |*| A |+| Need |*| B -⚬ Need |*| A |+| B
Exported from instance.function
final def delayNeed: Need -⚬ Neg[FiniteDuration]
Exported from dsl.delayNeed
final def delayNeed(d: FiniteDuration): Need -⚬ Need
Exported from dsl.delayNeed
final def distributeL[A, B, C]: A |*| B |+| C -⚬ A |*| B |+| A |*| C
Exported from instance.function
final def distributeR[A, B, C]: A |+| B |*| C -⚬ A |*| C |+| B |*| C
Exported from instance.function
final def done: One -⚬ Done
Exported from dsl.done
final def dup[A]: Val[A] -⚬ Val[A] |*| Val[A]
Exported from instance.function
final def dupNeg[A]: Neg[A] |*| Neg[A] -⚬ Neg[A]
Exported from instance.function
final def elimFst[B]: One |*| B -⚬ B
Exported from instance.function
final def elimSnd[A]: A |*| One -⚬ A
Exported from instance.function
final def factorL[A, B, C]: A |*| B |+| A |*| C -⚬ A |*| B |+| C
Exported from instance.function
final def factorR[A, B, C]: A |*| C |+| B |*| C -⚬ A |+| B |*| C
Exported from instance.function
final def fork: Done -⚬ Done |*| Done
Exported from dsl.fork
final def forkNeed: Need |*| Need -⚬ Need
Exported from dsl.forkNeed
final def fulfill[A]: Val[A] |*| Neg[A] -⚬ One
Exported from instance.function
final def id[A]: A -⚬ A
Exported from instance.function
final def inflate[A]: Need -⚬ Neg[A]
Exported from instance.function
final def injectL[A, B]: A -⚬ A |+| B
Exported from instance.function
final def injectLWhenDone[A, B]: Done |*| A -⚬ Done |*| A |+| B
Exported from instance.function
final def injectLWhenNeed[A, B]: Need |*| A -⚬ Need |*| A |+| B
Exported from instance.function
final def injectR[A, B]: B -⚬ A |+| B
Exported from instance.function
final def injectRWhenDone[A, B]: Done |*| B -⚬ A |+| Done |*| B
Exported from instance.function
final def injectRWhenNeed[A, B]: Need |*| B -⚬ Need |*| A |+| B
Exported from instance.function
final def introFst[B]: B -⚬ One |*| B
Exported from instance.function
final def introSnd[A]: A -⚬ A |*| One
Exported from instance.function
final def join: Done |*| Done -⚬ Done
Exported from dsl.join
final def joinNeed: Need -⚬ Need |*| Need
Exported from dsl.joinNeed
final def lInvertPollable[A]: One -⚬ Pollable[A] |*| Subscriber[A]
Exported from instance.function
final def lib: Lib & CoreLib[DSL]
Exported from coreStreams.lib
final def liftBoolean: Val[Boolean] -⚬ Bool
Exported from scalaLib.liftBoolean
final def liftEither[A, B]: Val[Either[A, B]] -⚬ Val[A] |+| Val[B]
Exported from instance.function
final def liftNegPair[A, B]: Neg[(A, B)] -⚬ Neg[A] |*| Neg[B]
Exported from instance.function
final def liftPair[A, B]: Val[(A, B)] -⚬ Val[A] |*| Val[B]
Exported from instance.function
final def matchingChoiceLR[A, B, C, D]: A |+| B |*| C |&| D -⚬ A |*| C |+| B |*| D
Exported from instance.function
final def matchingChoiceRL[A, B, C, D]: A |&| B |*| C |+| D -⚬ A |*| C |+| B |*| D
Exported from instance.function
final def maybeToOption[A]: Maybe[Val[A]] -⚬ Val[Option[A]]
Exported from instance.function
final def mergeDemands[A]: Neg[A] |*| Neg[A] -⚬ Neg[A]
Exported from instance.function
final def need: Need -⚬ One
Exported from dsl.need
final def neglect[A]: Val[A] -⚬ Done
Exported from instance.function
final def optionToPMaybe[A]: Val[Option[A]] -⚬ PMaybe[Val[A]]
Exported from instance.function
final def pMaybeToOption[A]: PMaybe[Val[A]] -⚬ Val[Option[A]]
Exported from instance.function
final def pack[F[_]]: F[Rec[F]] -⚬ Rec[F]
Exported from instance.function
final def printLine(s: String): Done -⚬ Done
Exported from scalaLib.printLine
final def printLine: Val[String] -⚬ Done
Exported from scalaLib.printLine
final def promise[A]: One -⚬ Neg[A] |*| Val[A]
Exported from instance.function
final def rInvertSubscriber[A]: Subscriber[A] |*| Pollable[A] -⚬ One
Exported from instance.function
final def raceDone: Done |*| Done -⚬ Done |+| Done
Exported from dsl.raceDone
final def readLine: Done -⚬ Val[String]
Exported from scalaLib.readLine
final def relayCompletion[A, B]: Pollable[A] |*| Subscriber[B] -⚬ One |+| Val[A] |*| Pollable[A] |*| Neg[B] |*| Subscriber[B]
Exported from instance.function
final def release[R]: Res[R] -⚬ Done
Exported from instance.function
final def scalaLib: SLib & ScalaLib[DSL, Lib & CoreLib[DSL]]
Exported from scalaStreams.scalaLib
final def signalChoice[A, B]: Need |*| A |&| B -⚬ A |&| B
Exported from instance.function
final def signalEither[A, B]: A |+| B -⚬ Done |*| A |+| B
Exported from instance.function
final def subordinateFst[A, B, C, D]: A |*| B |&| C |*| D -⚬ A |+| C |*| B |&| D
Exported from instance.function
final def subordinateSnd[A, B, C, D]: A |*| B |&| C |*| D -⚬ A |&| C |*| B |+| D
Exported from instance.function
final def swap[A, B]: A |*| B -⚬ B |*| A
Exported from instance.function
final def toScalaList[A]: LList[Val[A]] -⚬ Val[List[A]]
Exported from instance.function
final def unliftBoolean: Bool -⚬ Val[Boolean]
final def unliftEither[A, B]: Val[A] |+| Val[B] -⚬ Val[Either[A, B]]
Exported from instance.function
final def unliftNegPair[A, B]: Neg[A] |*| Neg[B] -⚬ Neg[(A, B)]
Exported from instance.function
final def unliftPair[A, B]: Val[A] |*| Val[B] -⚬ Val[(A, B)]
Exported from instance.function
final def unpack[F[_]]: Rec[F] -⚬ F[Rec[F]]
Exported from instance.function
final def |&|: |&|
Exported from coreLib.|&|
final def |*|: |*|
Exported from coreLib.|*|
final def |+|: |+|
Exported from coreLib.|+|