libretto/libretto/StarterAppScala

StarterAppScala

abstract class StarterAppScala[A] extends StarterAppBase
class Object
trait Matchable
class Any

Type members

Inherited types

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

Value members

Methods

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

Implicits

Inherited implicits

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

Exports

Inherited defined exports

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