libretto-examples/libretto.examples/Echo

Echo

object Echo extends StarterApp

Reads lines from standard input and prints them to standard output.

Reads lines from standard input and prints them to standard output.

class StarterApp
class StarterAppBase
class Object
trait Matchable
class Any

Type members

Inherited types

final type - >: ([A] =>> -[A]) <: ([A] =>> -[A])
Inherited from
StarterAppBase
final type -⚬ >: ([A, B] =>> A -⚬ B) <: ([A, B] =>> A -⚬ B)
Inherited from
StarterAppBase
final type =⚬ >: ([A, B] =>> A =⚬ B) <: ([A, B] =>> A =⚬ B)
Inherited from
StarterAppBase
final type Affine >: ([A] =>> Affine[A]) <: ([A] =>> Affine[A])
Inherited from
StarterAppBase
final type BiExternalizer >: ([F[_, _]] =>> BiExternalizer[F]) <: ([F[_, _]] =>> BiExternalizer[F])
Inherited from
StarterAppBase
final type Bifunctor >: ([F[_, _]] =>> Bifunctor[F]) <: ([F[_, _]] =>> Bifunctor[F])
Inherited from
StarterAppBase
final type BimapSyntax >: ([F[_, _], A, B] =>> BimapSyntax[F, A, B]) <: ([F[_, _], A, B] =>> BimapSyntax[F, A, B])
Inherited from
StarterAppBase
final type Bool >: Bool <: Bool
Inherited from
StarterAppBase
final type ClosedLinearFunctionOps >: ([A, B] =>> ClosedLinearFunctionOps[A, B]) <: ([A, B] =>> ClosedLinearFunctionOps[A, B])
Inherited from
StarterAppBase
final type Comonad >: ([F[_]] =>> Comonad[F]) <: ([F[_]] =>> Comonad[F])
Inherited from
StarterAppBase
final type Comonoid >: ([A] =>> Comonoid[A]) <: ([A] =>> Comonoid[A])
Inherited from
StarterAppBase
final type Comparable >: ([A, B] =>> Comparable[A, B]) <: ([A, B] =>> Comparable[A, B])
Inherited from
StarterAppBase
final type Consumer >: ([A] =>> Consumer[A]) <: ([A] =>> Consumer[A])
Inherited from
StarterAppBase
final type ConsumerF >: ([A, X] =>> ConsumerF[A, X]) <: ([A, X] =>> ConsumerF[A, X])
Inherited from
StarterAppBase
final type ContraExternalizer >: ([F[_]] =>> ContraExternalizer[F]) <: ([F[_]] =>> ContraExternalizer[F])
Inherited from
StarterAppBase
final type ContraFunctor >: ([F[_]] =>> ContraFunctor[F]) <: ([F[_]] =>> ContraFunctor[F])
Inherited from
StarterAppBase
final type Cosemigroup >: ([A] =>> Cosemigroup[A]) <: ([A] =>> Cosemigroup[A])
Inherited from
StarterAppBase
final type Delayed >: ([A] =>> Delayed[A]) <: ([A] =>> Delayed[A])
Inherited from
StarterAppBase
final type Demanding >: ([A] =>> Demanding[A]) <: ([A] =>> Demanding[A])
Inherited from
StarterAppBase
final type Done >: Done <: Done
Inherited from
StarterAppBase
final type Dual >: ([A, B] =>> Dual[A, B]) <: ([A, B] =>> Dual[A, B])
Inherited from
StarterAppBase
final type Dual1 >: ([F[_], G[_]] =>> Dual1[F, G]) <: ([F[_], G[_]] =>> Dual1[F, G])
Inherited from
StarterAppBase
final type Endless >: ([A] =>> Endless[A]) <: ([A] =>> Endless[A])
Inherited from
StarterAppBase
final type Externalizer >: ([F[_]] =>> Externalizer[F]) <: ([F[_]] =>> Externalizer[F])
Inherited from
StarterAppBase
final type FocusedBi >: ([F[_, _], B1, B2] =>> FocusedBi[F, B1, B2]) <: ([F[_, _], B1, B2] =>> FocusedBi[F, B1, B2])
Inherited from
StarterAppBase
final type FocusedCo >: ([F[_], B] =>> FocusedCo[F, B]) <: ([F[_], B] =>> FocusedCo[F, B])
Inherited from
StarterAppBase
final type FocusedContra >: ([F[_], B] =>> FocusedContra[F, B]) <: ([F[_], B] =>> FocusedContra[F, B])
Inherited from
StarterAppBase
final type FocusedOnChoiceCo >: ([F[_], B1, B2] =>> FocusedOnChoiceCo[F, B1, B2]) <: ([F[_], B1, B2] =>> FocusedOnChoiceCo[F, B1, B2])
Inherited from
StarterAppBase
final type FocusedOnChoiceContra >: ([A, F[_], B1, B2] =>> FocusedOnChoiceContra[A, F, B1, B2]) <: ([A, F[_], B1, B2] =>> FocusedOnChoiceContra[A, F, B1, B2])
Inherited from
StarterAppBase
final type FocusedOnDoneTimesCo >: ([F[_], B2] =>> FocusedOnDoneTimesCo[F, B2]) <: ([F[_], B2] =>> FocusedOnDoneTimesCo[F, B2])
Inherited from
StarterAppBase
final type FocusedOnFunctionCo >: ([F[_], A, B] =>> FocusedOnFunctionCo[F, A, B]) <: ([F[_], A, B] =>> FocusedOnFunctionCo[F, A, B])
Inherited from
StarterAppBase
final type FocusedOnFunctionContra >: ([F[_], A, B] =>> FocusedOnFunctionContra[F, A, B]) <: ([F[_], A, B] =>> FocusedOnFunctionContra[F, A, B])
Inherited from
StarterAppBase
final type FocusedOnPairCo >: ([F[_], B1, B2] =>> FocusedOnPairCo[F, B1, B2]) <: ([F[_], B1, B2] =>> FocusedOnPairCo[F, B1, B2])
Inherited from
StarterAppBase
final type FocusedOnPairContra >: ([A, F[_], B1, B2] =>> FocusedOnPairContra[A, F, B1, B2]) <: ([A, F[_], B1, B2] =>> FocusedOnPairContra[A, F, B1, B2])
Inherited from
StarterAppBase
final type FocusedOnPlusCo >: ([F[_], B1, B2] =>> FocusedOnPlusCo[F, B1, B2]) <: ([F[_], B1, B2] =>> FocusedOnPlusCo[F, B1, B2])
Inherited from
StarterAppBase
final type FocusedOnPlusContra >: ([A, F[_], B1, B2] =>> FocusedOnPlusContra[A, F, B1, B2]) <: ([A, F[_], B1, B2] =>> FocusedOnPlusContra[A, F, B1, B2])
Inherited from
StarterAppBase
final type FocusedOnTimesDoneCo >: ([F[_], B1] =>> FocusedOnTimesDoneCo[F, B1]) <: ([F[_], B1] =>> FocusedOnTimesDoneCo[F, B1])
Inherited from
StarterAppBase
final type Functor >: ([F[_]] =>> Functor[F]) <: ([F[_]] =>> Functor[F])
Inherited from
StarterAppBase
final type Getter >: ([S, A] =>> Getter[S, A]) <: ([S, A] =>> Getter[S, A])
Inherited from
StarterAppBase
final type Id >: ([A] =>> Id[A]) <: ([A] =>> Id[A])
Inherited from
StarterAppBase
final type LDemanding >: ([A] =>> LDemanding[A]) <: ([A] =>> LDemanding[A])
Inherited from
StarterAppBase
final type LList >: ([T] =>> LList[T]) <: ([T] =>> LList[T])
Inherited from
StarterAppBase
final type LList1 >: ([T] =>> LList1[T]) <: ([T] =>> LList1[T])
Inherited from
StarterAppBase
final type LPollable >: ([A] =>> LPollable[A]) <: ([A] =>> LPollable[A])
Inherited from
StarterAppBase
final type LPollableF >: ([A, X] =>> LPollableF[A, X]) <: ([A, X] =>> LPollableF[A, X])
Inherited from
StarterAppBase
final type LPolled >: ([A] =>> LPolled[A]) <: ([A] =>> LPolled[A])
Inherited from
StarterAppBase
final type LSubscriber >: ([A] =>> LSubscriber[A]) <: ([A] =>> LSubscriber[A])
Inherited from
StarterAppBase
final type LSubscriberF >: ([A, X] =>> LSubscriberF[A, X]) <: ([A, X] =>> LSubscriberF[A, X])
Inherited from
StarterAppBase
final type LTerminus >: LTerminus <: LTerminus
Inherited from
StarterAppBase
final type Lens >: ([S, A] =>> Lens[S, A]) <: ([S, A] =>> Lens[S, A])
Inherited from
StarterAppBase
final type LinearFunctionOps >: ([A, B] =>> LinearFunctionOps[A, B]) <: ([A, B] =>> LinearFunctionOps[A, B])
Inherited from
StarterAppBase
final type LinearFunctionToPairOps >: ([A, B1, B2] =>> LinearFunctionToPairOps[A, B1, B2]) <: ([A, B1, B2] =>> LinearFunctionToPairOps[A, B1, B2])
Inherited from
StarterAppBase
final type LinearFunctionToPlusOps >: ([A, B1, B2] =>> LinearFunctionToPlusOps[A, B1, B2]) <: ([A, B1, B2] =>> LinearFunctionToPlusOps[A, B1, B2])
Inherited from
StarterAppBase
final type Maybe >: ([A] =>> Maybe[A]) <: ([A] =>> Maybe[A])
Inherited from
StarterAppBase
final type Monad >: ([F[_]] =>> Monad[F]) <: ([F[_]] =>> Monad[F])
Inherited from
StarterAppBase
final type Monoid >: ([A] =>> Monoid[A]) <: ([A] =>> Monoid[A])
Inherited from
StarterAppBase
final type Multiple >: ([A] =>> Multiple[A]) <: ([A] =>> Multiple[A])
Inherited from
StarterAppBase
final type NAffine >: ([A] =>> NAffine[A]) <: ([A] =>> NAffine[A])
Inherited from
StarterAppBase
final type NComonoid >: ([A] =>> NComonoid[A]) <: ([A] =>> NComonoid[A])
Inherited from
StarterAppBase
final type NMonoid >: ([A] =>> NMonoid[A]) <: ([A] =>> NMonoid[A])
Inherited from
StarterAppBase
final type Need >: Need <: Need
Inherited from
StarterAppBase
final type Neg >: ([A] =>> Neg[A]) <: ([A] =>> Neg[A])
Inherited from
StarterAppBase
final type One >: One <: One
Inherited from
StarterAppBase
final type Optionally >: ([A] =>> Optionally[A]) <: ([A] =>> Optionally[A])
Inherited from
StarterAppBase
final type PAffine >: ([A] =>> PAffine[A]) <: ([A] =>> PAffine[A])
Inherited from
StarterAppBase
final type PComonoid >: ([A] =>> PComonoid[A]) <: ([A] =>> PComonoid[A])
Inherited from
StarterAppBase
final type PMaybe >: ([A] =>> PMaybe[A]) <: ([A] =>> PMaybe[A])
Inherited from
StarterAppBase
final type PMonoid >: ([A] =>> PMonoid[A]) <: ([A] =>> PMonoid[A])
Inherited from
StarterAppBase
final type PUnlimited >: ([A] =>> PUnlimited[A]) <: ([A] =>> PUnlimited[A])
Inherited from
StarterAppBase
final type Ping >: Ping <: Ping
Inherited from
StarterAppBase
final type Pollable >: ([A] =>> Pollable[A]) <: ([A] =>> Pollable[A])
Inherited from
StarterAppBase
final type PollableF >: ([A, X] =>> PollableF[A, X]) <: ([A, X] =>> PollableF[A, X])
Inherited from
StarterAppBase
final type Polled >: ([A] =>> Polled[A]) <: ([A] =>> Polled[A])
Inherited from
StarterAppBase
final type Pong >: Pong <: Pong
Inherited from
StarterAppBase
final type Producing >: ([A] =>> Producing[A]) <: ([A] =>> Producing[A])
Inherited from
StarterAppBase
final type ProducingF >: ([A, X] =>> ProducingF[A, X]) <: ([A, X] =>> ProducingF[A, X])
Inherited from
StarterAppBase
final type RTerminus >: RTerminus <: RTerminus
Inherited from
StarterAppBase
final type Rec >: ([F[_]] =>> Rec[F]) <: ([F[_]] =>> Rec[F])
Inherited from
StarterAppBase
final type RefCounted >: ([R] =>> RefCounted[R]) <: ([R] =>> RefCounted[R])
Inherited from
StarterAppBase
final type Res >: ([A] =>> Res[A]) <: ([A] =>> Res[A])
Inherited from
StarterAppBase
final type Semigroup >: ([A] =>> Semigroup[A]) <: ([A] =>> Semigroup[A])
Inherited from
StarterAppBase
final type Subscriber >: ([A] =>> Subscriber[A]) <: ([A] =>> Subscriber[A])
Inherited from
StarterAppBase
final type SubscriberF >: ([A, X] =>> SubscriberF[A, X]) <: ([A, X] =>> SubscriberF[A, X])
Inherited from
StarterAppBase
final type Transportive >: ([F[_]] =>> Transportive[F]) <: ([F[_]] =>> Transportive[F])
Inherited from
StarterAppBase
final type Unlimited >: ([A] =>> Unlimited[A]) <: ([A] =>> Unlimited[A])
Inherited from
StarterAppBase
final type Val >: ([A] =>> Val[A]) <: ([A] =>> Val[A])
Inherited from
StarterAppBase
final type ValMatcher >: ([U >: V, V, A, R] =>> ValMatcher[U, V, A, R]) <: ([U >: V, V, A, R] =>> ValMatcher[U, V, A, R])
Inherited from
StarterAppBase
final type Zero >: Zero <: Zero
Inherited from
StarterAppBase
final type |&| >: ([A, B] =>> A |&| B) <: ([A, B] =>> A |&| B)
Inherited from
StarterAppBase
final type |*| >: ([A, B] =>> A |*| B) <: ([A, B] =>> A |*| B)
Inherited from
StarterAppBase
final type |+| >: ([A, B] =>> A |+| B) <: ([A, B] =>> A |+| B)
Inherited from
StarterAppBase
final type ⊕ >: ([A, B] =>> A |+| B) <: ([A, B] =>> A |+| B)
Inherited from
StarterAppBase
final type ⊗ >: ([A, B] =>> A |*| B) <: ([A, B] =>> A |*| B)
Inherited from
StarterAppBase

Value members

Concrete methods

override def blueprint: Done -⚬ Done
Definition Classes
StarterApp

Inherited methods

def main(args: Array[String]): Unit
Inherited from
StarterApp

Concrete fields

val printGreen: Val[String] -⚬ Done

Implicits

Inherited implicits

final implicit def choiceBifunctor: Bifunctor[|&|]
Exported from coreLib.choiceBifunctor
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 fstFunctor[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 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 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 sndFunctor[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 Comonoid: Comonoid
Exported from coreLib.Comonoid
Inherited from
StarterAppBase
final def Compared: Compared
Exported from coreLib.Compared
Inherited from
StarterAppBase
final def ContraExternalizer: ContraExternalizer
Exported from coreLib.ContraExternalizer
Inherited from
StarterAppBase
final def Cosemigroup: Cosemigroup
Exported from coreLib.Cosemigroup
Inherited from
StarterAppBase
final def Deferrable: Deferrable
Exported from coreLib.Deferrable
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 Endless: Endless
Exported from coreLib.Endless
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 LList1: LList1
Exported from coreLib.LList1
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 NMonoid: NMonoid
Exported from coreLib.NMonoid
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 PComonoid: PComonoid
Exported from coreLib.PComonoid
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 Semigroup: Semigroup
Exported from coreLib.Semigroup
Inherited from
StarterAppBase
final def Signaling: Signaling
Exported from coreLib.Signaling
Inherited from
StarterAppBase
final def SignalingJunction: SignalingJunction
Exported from coreLib.SignalingJunction
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 ValMatcher: ValMatcher
Exported from scalaLib.ValMatcher
Inherited from
StarterAppBase
final def XI[A, B, C]: A |*| B |*| C -⚬ B |*| A |*| C
Exported from instance.function
Inherited from
StarterAppBase
final def absorbR[A, B, C]: A =⚬ B |*| C -⚬ A =⚬ B |*| C
Exported from instance.function
Inherited from
StarterAppBase
final def alsoPrintLine: Val[String] -⚬ Val[String]
Exported from scalaLib.alsoPrintLine
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 backvert[A]: A |*| -[A] -⚬ One
Exported from instance.function
Inherited from
StarterAppBase
final def chooseL[A, B]: A |&| B -⚬ A
Exported from instance.function
Inherited from
StarterAppBase
final def chooseLOnPing[A, B]: Ping |*| A |&| B -⚬ A
Exported from instance.function
Inherited from
StarterAppBase
final def chooseLOnPong[A, B]: A |&| B -⚬ Pong |*| 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 chooseROnPing[A, B]: Ping |*| A |&| B -⚬ B
Exported from instance.function
Inherited from
StarterAppBase
final def chooseROnPong[A, B]: A |&| B -⚬ Pong |*| 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 delayChoiceUntilPing[A, B]: Ping |*| A |&| B -⚬ A |&| B
Exported from instance.function
Inherited from
StarterAppBase
final def delayChoiceUntilPong[A, B]: A |&| B -⚬ Pong |*| 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 delayEitherUntilPing[A, B]: Ping |*| A |+| B -⚬ A |+| B
Exported from instance.function
Inherited from
StarterAppBase
final def delayEitherUntilPong[A, B]: A |+| B -⚬ Pong |*| A |+| B
Exported from instance.function
Inherited from
StarterAppBase
final def delayIndefinitely: Done -⚬ RTerminus
Exported from dsl.delayIndefinitely
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 eval[A, B]: A =⚬ B |*| A -⚬ B
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 forevert[A]: One -⚬ -[A] |*| A
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 injectLOnPing[A, B]: Ping |*| A -⚬ A |+| B
Exported from instance.function
Inherited from
StarterAppBase
final def injectLOnPong[A, B]: A -⚬ Pong |*| 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 injectROnPing[A, B]: Ping |*| B -⚬ A |+| B
Exported from instance.function
Inherited from
StarterAppBase
final def injectROnPong[A, B]: B -⚬ Pong |*| 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 input[C]: ContraFunctor[[x] =>> x =⚬ C]
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 joinLTermini: LTerminus -⚬ LTerminus |*| LTerminus
Exported from dsl.joinLTermini
Inherited from
StarterAppBase
final def joinNeed: Need -⚬ Need |*| Need
Exported from dsl.joinNeed
Inherited from
StarterAppBase
final def joinPing: Ping |*| Ping -⚬ Ping
Exported from dsl.joinPing
Inherited from
StarterAppBase
final def joinPong: Pong -⚬ Pong |*| Pong
Exported from dsl.joinPong
Inherited from
StarterAppBase
final def joinRTermini: RTerminus |*| RTerminus -⚬ RTerminus
Exported from dsl.joinRTermini
Inherited from
StarterAppBase
final def lInvertPollable[A]: One -⚬ Pollable[A] |*| Subscriber[A]
Exported from instance.function
Inherited from
StarterAppBase
final def lInvertPongPing: One -⚬ Pong |*| Ping
Exported from dsl.lInvertPongPing
Inherited from
StarterAppBase
final def lInvertSignal: One -⚬ Need |*| Done
Exported from dsl.lInvertSignal
Inherited from
StarterAppBase
final def lInvertTerminus: One -⚬ LTerminus |*| RTerminus
Exported from dsl.lInvertTerminus
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 notifyChoice[A, B]: Pong |*| A |&| B -⚬ A |&| B
Exported from instance.function
Inherited from
StarterAppBase
final def notifyDoneL: Done -⚬ Ping |*| Done
Exported from dsl.notifyDoneL
Inherited from
StarterAppBase
final def notifyDoneR: Done -⚬ Done |*| Ping
Exported from dsl.notifyDoneR
Inherited from
StarterAppBase
final def notifyEither[A, B]: A |+| B -⚬ Ping |*| A |+| B
Exported from instance.function
Inherited from
StarterAppBase
final def notifyNeedL: Pong |*| Need -⚬ Need
Exported from dsl.notifyNeedL
Inherited from
StarterAppBase
final def notifyNeedR: Need |*| Pong -⚬ Need
Exported from dsl.notifyNeedR
Inherited from
StarterAppBase
final def notifyNeg[A]: Pong |*| Neg[A] -⚬ Neg[A]
Exported from instance.function
Inherited from
StarterAppBase
final def notifyVal[A]: Val[A] -⚬ Ping |*| Val[A]
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 output[A]: Functor[[x] =>> A =⚬ x]
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 ping: One -⚬ Ping
Exported from dsl.ping
Inherited from
StarterAppBase
final def pong: Pong -⚬ One
Exported from dsl.pong
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 putStr: Val[String] -⚬ Done
Exported from scalaLib.putStr
Inherited from
StarterAppBase
final def putStr(s: String): Done -⚬ Done
Exported from scalaLib.putStr
Inherited from
StarterAppBase
final def rInvertPingPong: Ping |*| Pong -⚬ One
Exported from dsl.rInvertPingPong
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 rInvertTerminus: RTerminus |*| LTerminus -⚬ One
Exported from dsl.rInvertTerminus
Inherited from
StarterAppBase
final def raceDone: Done |*| Done -⚬ Done |+| Done
Exported from coreLib.raceDone
Inherited from
StarterAppBase
final def racePair: Ping |*| Ping -⚬ One |+| One
Exported from dsl.racePair
Inherited from
StarterAppBase
final def readLine: Done -⚬ Val[String]
Exported from scalaLib.readLine
Inherited from
StarterAppBase
final def regressInfinitely: LTerminus -⚬ Need
Exported from dsl.regressInfinitely
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 coreLib.selectNeed
Inherited from
StarterAppBase
final def selectPair: One |&| One -⚬ Pong |*| Pong
Exported from dsl.selectPair
Inherited from
StarterAppBase
final def strengthenPing: Ping -⚬ Done
Exported from dsl.strengthenPing
Inherited from
StarterAppBase
final def strengthenPong: Need -⚬ Pong
Exported from dsl.strengthenPong
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