libretto-examples/libretto.examples/HelloWorld

HelloWorld

object HelloWorld extends StarterAppScala[String]
class StarterAppScala[String]
class StarterAppBase
class Object
trait Matchable
class Any

Type members

Inherited types

final
type $ >: ($) <: ($)
Inherited from
StarterAppBase
final
type $Ops >: $Ops <: $Ops
Inherited from
StarterAppBase
final
type - >: (-) <: (-)
Inherited from
StarterAppBase
final
type -⚬ >: (-⚬) <: (-⚬)
Inherited from
StarterAppBase
final
type =⚬ >: (=⚬) <: (=⚬)
Inherited from
StarterAppBase
final
type AcquiredLock >: AcquiredLock <: AcquiredLock
Inherited from
StarterAppBase
final
type Affine >: (Affine) <: (Affine)
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 >: (ClosedLinearFunctionOps) <: (ClosedLinearFunctionOps)
Inherited from
StarterAppBase
final
type ClosureOps >: ClosureOps <: ClosureOps
Inherited from
StarterAppBase
final
type Comonad >: ([F[_]] =>> Comonad[F]) <: ([F[_]] =>> Comonad[F])
Inherited from
StarterAppBase
final
type Comonoid >: (Comonoid) <: (Comonoid)
Inherited from
StarterAppBase
final
type Comparable >: (Comparable) <: (Comparable)
Inherited from
StarterAppBase
final
type Consumer >: (Consumer) <: (Consumer)
Inherited from
StarterAppBase
final
type ConsumerF >: (ConsumerF) <: (ConsumerF)
Inherited from
StarterAppBase
final
type 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 >: (Cosemigroup) <: (Cosemigroup)
Inherited from
StarterAppBase
final
type Deferred >: (Deferred) <: (Deferred)
Inherited from
StarterAppBase
final
type DemandExprOps >: (DemandExprOps) <: (DemandExprOps)
Inherited from
StarterAppBase
final
type Demanding >: (Demanding) <: (Demanding)
Inherited from
StarterAppBase
final
type Detained >: (Detained) <: (Detained)
Inherited from
StarterAppBase
final
type Done >: Done <: Done
Inherited from
StarterAppBase
final
type Dual >: (Dual) <: (Dual)
Inherited from
StarterAppBase
final
type Dual1 >: ([F[_], G[_]] =>> Dual1[F, G]) <: ([F[_], G[_]] =>> Dual1[F, G])
Inherited from
StarterAppBase
final
type Endless >: (Endless) <: (Endless)
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 >: (Getter) <: (Getter)
Inherited from
StarterAppBase
final
type Id >: (Id) <: (Id)
Inherited from
StarterAppBase
final
type LDemanding >: (LDemanding) <: (LDemanding)
Inherited from
StarterAppBase
final
type LList >: (LList) <: (LList)
Inherited from
StarterAppBase
final
type LList1 >: (LList1) <: (LList1)
Inherited from
StarterAppBase
final
type LPollable >: (LPollable) <: (LPollable)
Inherited from
StarterAppBase
final
type LPollableF >: (LPollableF) <: (LPollableF)
Inherited from
StarterAppBase
final
type LPolled >: (LPolled) <: (LPolled)
Inherited from
StarterAppBase
final
type LSubscriber >: (LSubscriber) <: (LSubscriber)
Inherited from
StarterAppBase
final
type LSubscriberF >: (LSubscriberF) <: (LSubscriberF)
Inherited from
StarterAppBase
final
type LTerminus >: LTerminus <: LTerminus
Inherited from
StarterAppBase
final
type Lens >: (Lens) <: (Lens)
Inherited from
StarterAppBase
final
type LinearFunctionOps >: (LinearFunctionOps) <: (LinearFunctionOps)
Inherited from
StarterAppBase
final
type LinearFunctionToPairOps >: (LinearFunctionToPairOps) <: (LinearFunctionToPairOps)
Inherited from
StarterAppBase
final
type LinearFunctionToPlusOps >: (LinearFunctionToPlusOps) <: (LinearFunctionToPlusOps)
Inherited from
StarterAppBase
final
type Lock >: Lock <: Lock
Inherited from
StarterAppBase
final
type Maybe >: (Maybe) <: (Maybe)
Inherited from
StarterAppBase
final
type Monad >: ([F[_]] =>> Monad[F]) <: ([F[_]] =>> Monad[F])
Inherited from
StarterAppBase
final
type Monoid >: (Monoid) <: (Monoid)
Inherited from
StarterAppBase
final
type Multiple >: (Multiple) <: (Multiple)
Inherited from
StarterAppBase
final
type NAffine >: (NAffine) <: (NAffine)
Inherited from
StarterAppBase
final
type NComonoid >: (NComonoid) <: (NComonoid)
Inherited from
StarterAppBase
final
type NMonoid >: (NMonoid) <: (NMonoid)
Inherited from
StarterAppBase
final
type Need >: Need <: Need
Inherited from
StarterAppBase
final
type Neg >: (Neg) <: (Neg)
Inherited from
StarterAppBase
final
type NoCaptureException >: NoCaptureException <: NoCaptureException
Inherited from
StarterAppBase
final
type NotLinearException >: NotLinearException <: NotLinearException
Inherited from
StarterAppBase
final
type One >: One <: One
Inherited from
StarterAppBase
final
type Optionally >: (Optionally) <: (Optionally)
Inherited from
StarterAppBase
final
type PAffine >: (PAffine) <: (PAffine)
Inherited from
StarterAppBase
final
type PComonoid >: (PComonoid) <: (PComonoid)
Inherited from
StarterAppBase
final
type PMaybe >: (PMaybe) <: (PMaybe)
Inherited from
StarterAppBase
final
type PMonoid >: (PMonoid) <: (PMonoid)
Inherited from
StarterAppBase
final
type PUnlimited >: (PUnlimited) <: (PUnlimited)
Inherited from
StarterAppBase
final
type Ping >: Ping <: Ping
Inherited from
StarterAppBase
final
type Pollable >: (Pollable) <: (Pollable)
Inherited from
StarterAppBase
final
type PollableF >: (PollableF) <: (PollableF)
Inherited from
StarterAppBase
final
type Polled >: (Polled) <: (Polled)
Inherited from
StarterAppBase
final
type Pong >: Pong <: Pong
Inherited from
StarterAppBase
final
type Producing >: (Producing) <: (Producing)
Inherited from
StarterAppBase
final
type ProducingF >: (ProducingF) <: (ProducingF)
Inherited from
StarterAppBase
final
type RTerminus >: RTerminus <: RTerminus
Inherited from
StarterAppBase
final
type Rec >: ([F[_]] =>> Rec[F]) <: ([F[_]] =>> Rec[F])
Inherited from
StarterAppBase
final
type RefCounted >: (RefCounted) <: (RefCounted)
Inherited from
StarterAppBase
final
type Res >: (Res) <: (Res)
Inherited from
StarterAppBase
final
type Semigroup >: (Semigroup) <: (Semigroup)
Inherited from
StarterAppBase
final
type Subscriber >: (Subscriber) <: (Subscriber)
Inherited from
StarterAppBase
final
type SubscriberF >: (SubscriberF) <: (SubscriberF)
Inherited from
StarterAppBase
final
type Transportive >: ([F[_]] =>> Transportive[F]) <: ([F[_]] =>> Transportive[F])
Inherited from
StarterAppBase
final
type UnboundVariablesException >: UnboundVariablesException <: UnboundVariablesException
Inherited from
StarterAppBase
final
type Unlimited >: (Unlimited) <: (Unlimited)
Inherited from
StarterAppBase
final
type Val >: (Val) <: (Val)
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 |&| >: (|&|) <: (|&|)
Inherited from
StarterAppBase
final
type |*| >: (|*|) <: (|*|)
Inherited from
StarterAppBase
final
type |+| >: (|+|) <: (|+|)
Inherited from
StarterAppBase
final
type ⊕ >: (|+|) <: (|+|)
Inherited from
StarterAppBase
final
type ⊗ >: (|*|) <: (|*|)
Inherited from
StarterAppBase

Value members

Concrete methods

override
def blueprint: Done -⚬ Val[String]
Definition Classes
StarterAppScala

Inherited methods

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

Extensions

Inherited extensions

extension [A](a: $[Deferred[A]])
final
def resumeWhen(trigger: $[Ping]): $[A]
Inherited from
StarterAppBase
extension [A, B](a: $[A])
final
def blockUntil(b: $[Ping]): $[A]
Inherited from
StarterAppBase
final
def deferUntil(b: $[Ping])(implicit A: Positive[A]): $[A]
Inherited from
StarterAppBase
final
def sequence(f: Done -⚬ B)(implicit A: Positive[A]): $[A |*| B]
Inherited from
StarterAppBase
final
def sequence(b: $[B])(implicit A: Positive[A], B: Positive[B]): $[A |*| B]
Inherited from
StarterAppBase
final
def sequenceAfter(b: $[B])(implicit A: Positive[A], B: Positive[B]): $[A |*| B]
Inherited from
StarterAppBase
final
def waitFor(b: $[Done])(implicit A: Positive[A]): $[A]
Inherited from
StarterAppBase
extension [A](a: $[Detained[A]])
final
def releaseWhen(trigger: $[Done]): $[A]
Inherited from
StarterAppBase
extension [A](a: $[Val[A]])
final
def *[B](b: $[Val[B]]): $[Val[(A, B)]]
Inherited from
StarterAppBase
extension (acquiredLock: $[AcquiredLock])
final
def deferReleaseUntil(ping: $[Ping]): $[AcquiredLock]
Inherited from
StarterAppBase
final
def detainReleaseUntil(done: $[Done]): $[AcquiredLock]
Inherited from
StarterAppBase
extension [A, C](f: A -⚬ C)
final
def \/[B](g: B -⚬ C)(using x$3: Semigroup[C]): A |*| B -⚬ C
Inherited from
StarterAppBase
extension [A, B](f: A -⚬ B)
final
def /\[C](g: A -⚬ C)(using x$3: Cosemigroup[A]): A -⚬ B |*| C
Inherited from
StarterAppBase

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 contraFunctoDemand: contraFunctoDemand
Exported from StarterKit.contraFunctoDemand
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[|*|]
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 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 AcquiredLock: AcquiredLock
Exported from StarterKit.AcquiredLock
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 Deferred: Deferred
Exported from StarterKit.Deferred
Inherited from
StarterAppBase
final
def Demanding: Demanding
Exported from StarterKit.Demanding
Inherited from
StarterAppBase
final
def Detained: Detained
Exported from StarterKit.Detained
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 Functor: Functor
Exported from StarterKit.Functor
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 Lock: Lock
Exported from StarterKit.Lock
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 Transportive: Transportive
Exported from StarterKit.Transportive
Inherited from
StarterAppBase
final
def Unlimited: Unlimited
Exported from StarterKit.Unlimited
Inherited from
StarterAppBase
final
def Val: Val
Exported from StarterKit.Val
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 blockInportUntilPong[A]: A -⚬ Pong |*| A
Exported from instance.function
Inherited from
StarterAppBase
final
def blockOutportUntilPing[A]: Ping |*| A -⚬ A
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 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 debugPrint(msg: String): Ping -⚬ One
Exported from StarterKit.debugPrint
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 demand[A]: One -⚬ -[A] |*| A
Exported from instance.function
Inherited from
StarterAppBase
final
def demandChoice[A, B]: -[A] |+| -[B] -⚬ -[A |&| B]
Exported from instance.function
Inherited from
StarterAppBase
final
def demandChosen[A, B]: -[A |&| B] -⚬ -[A] |+| -[B]
Exported from instance.function
Inherited from
StarterAppBase
final
def demandEither[A, B]: -[A] |&| -[B] -⚬ -[A |+| B]
Exported from instance.function
Inherited from
StarterAppBase
final
def demandSeparately[A, B]: -[A |*| B] -⚬ -[A] |*| -[B]
Exported from instance.function
Inherited from
StarterAppBase
final
def demandTogether[A, B]: -[A] |*| -[B] -⚬ -[A |*| B]
Exported from instance.function
Inherited from
StarterAppBase
final
def die[A]: -[-[A]] -⚬ A
Exported from instance.function
Inherited from
StarterAppBase
final
def dii[A]: A -⚬ -[-[A]]
Exported from instance.function
Inherited from
StarterAppBase
final
def dismissPing: Ping -⚬ One
Exported from StarterKit.dismissPing
Inherited from
StarterAppBase
final
def dismissPong: One -⚬ Pong
Exported from StarterKit.dismissPong
Inherited from
StarterAppBase
final
def distributeInversion[A, B]: -[A |*| B] -⚬ -[A] |*| -[B]
Exported from instance.function
Inherited from
StarterAppBase
final
def distributeInversionInto_|&|[A, B]: -[A |&| B] -⚬ -[A] |+| -[B]
Exported from instance.function
Inherited from
StarterAppBase
final
def distributeInversionInto_|+|[A, B]: -[A |+| B] -⚬ -[A] |&| -[B]
Exported from instance.function
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 doneAsInvertedNeed: Done -⚬ -[Need]
Exported from StarterKit.doneAsInvertedNeed
Inherited from
StarterAppBase
final
def doubleDemandElimination[A]: -[-[A]] -⚬ A
Exported from instance.function
Inherited from
StarterAppBase
final
def doubleDemandIntroduction[A]: A -⚬ -[-[A]]
Exported from instance.function
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 factorInversionOutOf_|&|[A, B]: -[A] |&| -[B] -⚬ -[A |+| B]
Exported from instance.function
Inherited from
StarterAppBase
final
def factorInversionOutOf_|+|[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 factorOutInversion[A, B]: -[A] |*| -[B] -⚬ -[A |*| B]
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 forkPing: Ping -⚬ Ping |*| Ping
Exported from StarterKit.forkPing
Inherited from
StarterAppBase
final
def forkPong: Pong |*| Pong -⚬ Pong
Exported from StarterKit.forkPong
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[=⚬]
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 invertClosure[A, B]: -[A =⚬ B] -⚬ B =⚬ A
Exported from instance.function
Inherited from
StarterAppBase
final
def invertLib: InvertLib[CoreLib[ScalaDSL]]
Exported from StarterKit.invertLib
Inherited from
StarterAppBase
final
def invertedDoneAsNeed: -[Done] -⚬ Need
Exported from StarterKit.invertedDoneAsNeed
Inherited from
StarterAppBase
final
def invertedNeedAsDone: -[Need] -⚬ Done
Exported from StarterKit.invertedNeedAsDone
Inherited from
StarterAppBase
final
def invertedPingAsPong: -[Ping] -⚬ Pong
Exported from StarterKit.invertedPingAsPong
Inherited from
StarterAppBase
final
def invertedPongAsPing: -[Pong] -⚬ Ping
Exported from StarterKit.invertedPongAsPing
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 needAsInvertedDone: Need -⚬ -[Done]
Exported from StarterKit.needAsInvertedDone
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 packDemand[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 pingAsInvertedPong: Ping -⚬ -[Pong]
Exported from StarterKit.pingAsInvertedPong
Inherited from
StarterAppBase
final
def pong: Pong -⚬ One
Exported from StarterKit.pong
Inherited from
StarterAppBase
final
def pongAsInvertedPing: Pong -⚬ -[Ping]
Exported from StarterKit.pongAsInvertedPing
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, Future]
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 supply[A]: A |*| -[A] -⚬ One
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 toChoiceOfDemands[A, B]: -[A |+| B] -⚬ -[A] |&| -[B]
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 unInvertClosure[A, B]: A =⚬ B -⚬ -[B =⚬ 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 unpackDemand[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