libretto
libretto
libretto
AbstractStarterKit
Async
Async
Now
Later
BinarySearchTree
BinarySearchTree
Summary
Singleton
BranchF
Branch
NonEmptyTree
ClosedDSL
ClosedLib
ClosedLib
ClosedLinearFunctionOps
FocusedOnFunctionCo
FocusedOnFunctionContra
CoreDSL
CoreLib
CoreLib
Dual
Dual
Functor
ContraFunctor
Bifunctor
Bifunctor
Externalizer
Externalizer
BiExternalizer
ContraExternalizer
ContraExternalizer
Delayed
Junction
Positive
Negative
Positive
Negative
Signaling
Positive
Negative
Positive
Negative
SignalingJunction
Positive
Negative
Positive
Negative
Getter
Getter
Lens
Lens
Transportive
|*|
|+|
|&|
LinearFunctionOps
LinearFunctionToPairOps
LinearFunctionToPlusOps
BimapSyntax
FocusedCo
FocusedBi
FocusedOnPairCo
FocusedOnDoneTimesCo
FocusedOnTimesDoneCo
FocusedOnPlusCo
FocusedOnChoiceCo
FocusedContra
FocusedOnPairContra
FocusedOnPlusContra
FocusedOnChoiceContra
Bool
Compared
Comparable
Dual1
Maybe
Optionally
PMaybe
Multiple
Unlimited
PUnlimited
NAffine
NAffine
Affine
Affine
PAffine
PAffine
Semigroup
Cosemigroup
Monoid
Monoid
Comonoid
PMonoid
NComonoid
NMonoid
PComonoid
Monad
Comonad
LList
CoreStreams
CoreStreams
LPollable
LPolled
LSubscriber
LDemanding
CrashDSL
CrashLib
CrashLib
Equal
ForAll
Runner
ScalaDSL
ScalaLib
ScalaLib
RefCounted
ScalaRunner
ScalaStreams
ScalaStreams
Pollable
BroadcastByKey
Polled
Subscriber
Demanding
StarterApp
StarterAppBase
StarterAppScala
StarterKit
StarterKit
TimerDSL
unapply
Unapply
Unapply
Unapply2
Unapply2
libretto.impl
FreeScalaDSL
-⚬
One
Done
Need
RTerminus
LTerminus
|*|
|+|
|&|
Rec
Val
Neg
Res
-⚬
Id
AndThen
Par
IntroFst
IntroSnd
ElimFst
ElimSnd
AssocLR
AssocRL
Swap
InjectL
InjectR
EitherF
ChooseL
ChooseR
Choice
DoneF
NeedF
DelayIndefinitely
RegressInfinitely
Fork
Join
ForkNeed
JoinNeed
JoinRTermini
JoinLTermini
SignalEither
SignalChoice
InjectLWhenDone
InjectRWhenDone
ChooseLWhenNeed
ChooseRWhenNeed
DistributeL
CoDistributeL
RInvertSignal
LInvertSignal
RInvertTerminus
LInvertTerminus
RecF
Pack
Unpack
RaceDone
SelectNeed
Crash
Delay
Promise
Fulfill
LiftEither
LiftPair
UnliftPair
LiftNegPair
UnliftNegPair
MapVal
ContramapNeg
ConstVal
ConstNeg
Neglect
Inflate
Acquire
TryAcquireAsync
Release
ReleaseAsync
EffectAsync
EffectWrAsync
TryTransformResourceAsync
TrySplitResourceAsync
Blocking
FreeScalaFutureRunner
libretto
/
libretto
/
CoreLib
/
Cosemigroup
Cosemigroup
trait
Cosemigroup
[A]
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
trait
Comonoid
[
A
]
trait
NComonoid
[
A
]
trait
PComonoid
[
A
]
Value members
Value members
Methods
def
law_coAssociativity
:
Equal
[
A
-⚬
A
|*|
A
|*|
A
]
def
split
:
A
-⚬
A
|*|
A