libretto-examples/libretto.examples/Echo

Echo

object Echo extends StarterApp

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

class StarterApp
class StarterAppBase
class Object
trait Matchable
class Any

Type members

Inherited types

final
type $ >: ($) <: ($)
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 -⚬ Done
Definition Classes
StarterApp

Inherited methods

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

Concrete fields

val printGreen: Val[String] -⚬ Done

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