libretto-examples/libretto.examples/Supermarket

Supermarket

object Supermarket extends StarterApp

In a pandemic, supermarkets are required to limit the number of customers in the store. A way to do this is to provide a limited number of shopping baskets and require that each customer entering the store has a shopping basket. When there are no more baskets, an incoming customre has to wait for a previous customer to leave (and return their basket).

This example demonstrates:

  • concurrency
    • customers come and shop concurrently
  • sequencing
    • a customer can shop only after obtaining a basket
    • a customer can use an item only after paying for it
    • ...
  • mutual exclusion
    • limited number of concurrently shopping customers
      • without side-effects on shared synchronization objects (such as semaphores)
  • linear & session types
    • obligation to return a basket enforced by the type-system
    • the type Shopping is a protocol between the store and the customer
class StarterApp
class StarterAppBase
class Object
trait Matchable
class Any

Type members

Classlikes

object baskets
object goods
object money
object supermarket

Inherited types

final type $ >: ([A] =>> $[A]) <: ([A] =>> $[A])
Inherited from
StarterAppBase
final type $Ops >: $Ops <: $Ops
Inherited from
StarterAppBase
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 NotLinearException >: NotLinearException <: NotLinearException
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 UnboundVariableException >: UnboundVariableException <: UnboundVariableException
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
def customer(who: String): Supermarket -⚬ Done
def customers: List[Supermarket -⚬ Done]

Inherited methods

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

Implicits

Inherited implicits

final implicit def choiceBifunctor: choiceBifunctor
Exported from StarterKit.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 StarterKit.doneNeedDuality
Inherited from
StarterAppBase
final implicit def eitherBifunctor: eitherBifunctor
Exported from StarterKit.eitherBifunctor
Inherited from
StarterAppBase
final implicit def fstFunctor[B]: Transportive[[x] =>> x |*| B]
Exported from instance.function
Inherited from
StarterAppBase
final implicit def idFunctor: idFunctor
Exported from StarterKit.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 StarterKit.oneSelfDual
Inherited from
StarterAppBase
final implicit def pComonoidVal[A]: PComonoid[Val[A]]
Exported from instance.function
Inherited from
StarterAppBase
final implicit def pairBifunctor: pairBifunctor
Exported from StarterKit.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 $: $
Exported from StarterKit.$
Inherited from
StarterAppBase
final def Affine: Affine
Exported from StarterKit.Affine
Inherited from
StarterAppBase
final def Bifunctor: Bifunctor
Exported from StarterKit.Bifunctor
Inherited from
StarterAppBase
final def Bool: Bool
Exported from StarterKit.Bool
Inherited from
StarterAppBase
final def Comonoid: Comonoid
Exported from StarterKit.Comonoid
Inherited from
StarterAppBase
final def Compared: Compared
Exported from StarterKit.Compared
Inherited from
StarterAppBase
final def ContraExternalizer: ContraExternalizer
Exported from StarterKit.ContraExternalizer
Inherited from
StarterAppBase
final def Cosemigroup: Cosemigroup
Exported from StarterKit.Cosemigroup
Inherited from
StarterAppBase
final def Deferrable: Deferrable
Exported from StarterKit.Deferrable
Inherited from
StarterAppBase
final def Delayed: Delayed
Exported from StarterKit.Delayed
Inherited from
StarterAppBase
final def Demanding: Demanding
Exported from StarterKit.Demanding
Inherited from
StarterAppBase
final def Dual: Dual
Exported from StarterKit.Dual
Inherited from
StarterAppBase
final def Endless: Endless
Exported from StarterKit.Endless
Inherited from
StarterAppBase
final def Externalizer: Externalizer
Exported from StarterKit.Externalizer
Inherited from
StarterAppBase
final def Getter: Getter
Exported from StarterKit.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 StarterKit.Junction
Inherited from
StarterAppBase
final def LDemanding: LDemanding
Exported from StarterKit.LDemanding
Inherited from
StarterAppBase
final def LList: LList
Exported from StarterKit.LList
Inherited from
StarterAppBase
final def LList1: LList1
Exported from StarterKit.LList1
Inherited from
StarterAppBase
final def LPollable: LPollable
Exported from StarterKit.LPollable
Inherited from
StarterAppBase
final def LPolled: LPolled
Exported from StarterKit.LPolled
Inherited from
StarterAppBase
final def LSubscriber: LSubscriber
Exported from StarterKit.LSubscriber
Inherited from
StarterAppBase
final def Lens: Lens
Exported from StarterKit.Lens
Inherited from
StarterAppBase
final def Maybe: Maybe
Exported from StarterKit.Maybe
Inherited from
StarterAppBase
final def Monoid: Monoid
Exported from StarterKit.Monoid
Inherited from
StarterAppBase
final def Multiple: Multiple
Exported from StarterKit.Multiple
Inherited from
StarterAppBase
final def NAffine: NAffine
Exported from StarterKit.NAffine
Inherited from
StarterAppBase
final def NMonoid: NMonoid
Exported from StarterKit.NMonoid
Inherited from
StarterAppBase
final def Optionally: Optionally
Exported from StarterKit.Optionally
Inherited from
StarterAppBase
final def PAffine: PAffine
Exported from StarterKit.PAffine
Inherited from
StarterAppBase
final def PComonoid: PComonoid
Exported from StarterKit.PComonoid
Inherited from
StarterAppBase
final def PMaybe: PMaybe
Exported from StarterKit.PMaybe
Inherited from
StarterAppBase
final def PUnlimited: PUnlimited
Exported from StarterKit.PUnlimited
Inherited from
StarterAppBase
final def Pollable: Pollable
Exported from StarterKit.Pollable
Inherited from
StarterAppBase
final def Polled: Polled
Exported from StarterKit.Polled
Inherited from
StarterAppBase
final def RefCounted: RefCounted
Exported from StarterKit.RefCounted
Inherited from
StarterAppBase
final def Semigroup: Semigroup
Exported from StarterKit.Semigroup
Inherited from
StarterAppBase
final def Signaling: Signaling
Exported from StarterKit.Signaling
Inherited from
StarterAppBase
final def SignalingJunction: SignalingJunction
Exported from StarterKit.SignalingJunction
Inherited from
StarterAppBase
final def Subscriber: Subscriber
Exported from StarterKit.Subscriber
Inherited from
StarterAppBase
final def Unlimited: Unlimited
Exported from StarterKit.Unlimited
Inherited from
StarterAppBase
final def ValMatcher: ValMatcher
Exported from StarterKit.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 StarterKit.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 closedLib: ClosedLib[ScalaDSL, CoreLib[ScalaDSL]]
Exported from StarterKit.closedLib
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[ScalaDSL]
Exported from StarterKit.coreLib
Inherited from
StarterAppBase
final def coreStreams: CoreStreams[ScalaDSL, CoreLib[ScalaDSL]]
Exported from StarterKit.coreStreams
Inherited from
StarterAppBase
final def crashLib: CrashLib[ScalaDSL, CoreLib[ScalaDSL]]
Exported from StarterKit.crashLib
Inherited from
StarterAppBase
final def crashd(msg: String): Done -⚬ Done
Exported from StarterKit.crashd
Inherited from
StarterAppBase
final def crashn(msg: String): Need -⚬ Need
Exported from StarterKit.crashn
Inherited from
StarterAppBase
final def delay(d: FiniteDuration): Done -⚬ Done
Exported from StarterKit.delay
Inherited from
StarterAppBase
final def delay: Val[FiniteDuration] -⚬ Done
Exported from StarterKit.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 StarterKit.delayIndefinitely
Inherited from
StarterAppBase
final def delayNeed: Need -⚬ Neg[FiniteDuration]
Exported from StarterKit.delayNeed
Inherited from
StarterAppBase
final def delayNeed(d: FiniteDuration): Need -⚬ Need
Exported from StarterKit.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 StarterKit.done
Inherited from
StarterAppBase
final def dsl: ScalaDSL
Exported from StarterKit.dsl
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 StarterKit.fork
Inherited from
StarterAppBase
final def forkNeed: Need |*| Need -⚬ Need
Exported from StarterKit.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 invertLib: InvertLib[CoreLib[ScalaDSL]]
Exported from StarterKit.invertLib
Inherited from
StarterAppBase
final def join: Done |*| Done -⚬ Done
Exported from StarterKit.join
Inherited from
StarterAppBase
final def joinLTermini: LTerminus -⚬ LTerminus |*| LTerminus
Exported from StarterKit.joinLTermini
Inherited from
StarterAppBase
final def joinNeed: Need -⚬ Need |*| Need
Exported from StarterKit.joinNeed
Inherited from
StarterAppBase
final def joinPing: Ping |*| Ping -⚬ Ping
Exported from StarterKit.joinPing
Inherited from
StarterAppBase
final def joinPong: Pong -⚬ Pong |*| Pong
Exported from StarterKit.joinPong
Inherited from
StarterAppBase
final def joinRTermini: RTerminus |*| RTerminus -⚬ RTerminus
Exported from StarterKit.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 StarterKit.lInvertPongPing
Inherited from
StarterAppBase
final def lInvertSignal: One -⚬ Need |*| Done
Exported from StarterKit.lInvertSignal
Inherited from
StarterAppBase
final def lInvertTerminus: One -⚬ LTerminus |*| RTerminus
Exported from StarterKit.lInvertTerminus
Inherited from
StarterAppBase
final def lib: lib
Exported from StarterKit.lib
Inherited from
StarterAppBase
final def liftBoolean: Val[Boolean] -⚬ Bool
Exported from StarterKit.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 StarterKit.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 StarterKit.notifyDoneL
Inherited from
StarterAppBase
final def notifyDoneR: Done -⚬ Done |*| Ping
Exported from StarterKit.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 StarterKit.notifyNeedL
Inherited from
StarterAppBase
final def notifyNeedR: Need |*| Pong -⚬ Need
Exported from StarterKit.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 StarterKit.ping
Inherited from
StarterAppBase
final def pong: Pong -⚬ One
Exported from StarterKit.pong
Inherited from
StarterAppBase
final def printLine(s: String): Done -⚬ Done
Exported from StarterKit.printLine
Inherited from
StarterAppBase
final def printLine: Val[String] -⚬ Done
Exported from StarterKit.printLine
Inherited from
StarterAppBase
final def promise[A]: One -⚬ Neg[A] |*| Val[A]
Exported from instance.function
Inherited from
StarterAppBase
final def putStr(s: String): Done -⚬ Done
Exported from StarterKit.putStr
Inherited from
StarterAppBase
final def putStr: Val[String] -⚬ Done
Exported from StarterKit.putStr
Inherited from
StarterAppBase
final def rInvertPingPong: Ping |*| Pong -⚬ One
Exported from StarterKit.rInvertPingPong
Inherited from
StarterAppBase
final def rInvertSignal: Done |*| Need -⚬ One
Exported from StarterKit.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 StarterKit.rInvertTerminus
Inherited from
StarterAppBase
final def raceDone: Done |*| Done -⚬ Done |+| Done
Exported from StarterKit.raceDone
Inherited from
StarterAppBase
final def racePair: Ping |*| Ping -⚬ One |+| One
Exported from StarterKit.racePair
Inherited from
StarterAppBase
final def readLine: Done -⚬ Val[String]
Exported from StarterKit.readLine
Inherited from
StarterAppBase
final def regressInfinitely: LTerminus -⚬ Need
Exported from StarterKit.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 runAsync(blueprint: Done -⚬ Done): Future[Unit]
Exported from StarterKit.runAsync
Inherited from
StarterAppBase
final def runner0: (ScheduledExecutorService, Executor) => ScalaRunner[ScalaDSL, [T] =>> Future[T]]
Exported from StarterKit.runner0
Inherited from
StarterAppBase
final def scalaLib: ScalaLib[ScalaDSL, CoreLib[ScalaDSL]]
Exported from StarterKit.scalaLib
Inherited from
StarterAppBase
final def scalaStreams: ScalaStreams[ScalaDSL, CoreLib[ScalaDSL], ScalaLib[ScalaDSL, CoreLib[ScalaDSL]], CoreStreams[ScalaDSL, CoreLib[ScalaDSL]]]
Exported from StarterKit.scalaStreams
Inherited from
StarterAppBase
final def selectNeed: Need |&| Need -⚬ Need |*| Need
Exported from StarterKit.selectNeed
Inherited from
StarterAppBase
final def selectPair: One |&| One -⚬ Pong |*| Pong
Exported from StarterKit.selectPair
Inherited from
StarterAppBase
final def strengthenPing: Ping -⚬ Done
Exported from StarterKit.strengthenPing
Inherited from
StarterAppBase
final def strengthenPong: Need -⚬ Pong
Exported from StarterKit.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 StarterKit.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 StarterKit.|&|
Inherited from
StarterAppBase
final def |*|: |*|
Exported from StarterKit.|*|
Inherited from
StarterAppBase
final def |+|: |+|
Exported from StarterKit.|+|
Inherited from
StarterAppBase