libretto-examples/libretto.examples/DiningPhilosophers

DiningPhilosophers

object DiningPhilosophers extends StarterApp
class StarterApp
class StarterAppBase
class Object
trait Matchable
class Any

Type members

Classlikes

object Forks
object Philosopher

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

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