libretto-core
libretto-core
API
libretto
cats
Affine
Affine
Bifunctor
Bifunctor
Comonad
Comonoid
ContraFunctor
ContraFunctor
Cosemigroup
Functor
Functor
Monad
crash
CrashDSL
CrashLib
CrashLib
exec
Bridge
Bridge
Executing
Execution
ExecutionParams
Executor
SupportsCustomScheduler
puro
Puro
$Ops
*
+
-
--
?
ClosureOps
ClosureFrom
Comonoid
ConcurrentPairOps
Cosemigroup
LambdaOps
LambdaFrom
Switch
SwitchInit
UInt31s
comonoidNeed
comonoidOne
comonoidPing
comonoidPong
cosemigroupDone
cosemigroupNeed
cosemigroupPing
cosemigroupPong
producing
PuroBridge
PuroBridge
PuroLib
PuroLib
AcquiredLock
BiExternalizer
Bifunctor
Bool
Closeable
Closeable
CloseableCosemigroup
closeableCosemigroupDone
CloseableCosemigroup
Comparable
Compared
ContraExternalizer
ContraExternalizer
ContraFunctor
Deferrable
Negative
Negative
Positive
Positive
Deferred
Detained
given_Transportive_Detained
Dual
Dual
Dual1
Endless
Externalizer
Externalizer
FocusedBi
FocusedCo
FocusedContra
FocusedOnChoiceCo
FocusedOnChoiceContra
FocusedOnPairCo
FocusedOnPairContra
FocusedOnPlusCo
FocusedOnPlusContra
Functor
Getter
Getter
Junction
Negative
Negative
Positive
Positive
LList
LList1
Lease
LeasePool
Lens
Lens
LinearFunctionOps
Lock
Maybe
Monoid
given_Monoid_Done
given_Monoid_One
given_Monoid_Ping
Monoid
Multiple
given_Monad_Multiple
NAffine
NAffine
NComonoid
NMonoid
given_NMonoid_Need
NMonoid
Optionally
given_Functor_Optionally
PMaybe
PMonoid
PUnlimited
Semigroup
given_Semigroup_Done
given_Semigroup_Need
given_Semigroup_Ping
given_Semigroup_Pong
Semigroup
Signaling
Negative
Negative
Positive
Positive
SignalingJunction
Negative
Negative
Positive
Positive
Transportive
Transportive
Unlimited
given_Comonad_Unlimited
doneNeedDuality
given_ContraFunctor_-
given_Dual_One_One
given_Transportive_Id
|&|
|+|
scaletto
impl
futurebased
BridgeImpl
FutureExecutor
ExecutionParam
SchedulerParam
given_SupportsCustomScheduler_ExecutionParam
FutureExecutor
SchedulerFromScheduledExecutorService
-⚬
-⚬
ConstSub
FunRef
Regular
SelfRef
𝒞
Blueprint
Regular
FunRef
ConstSub
FreeScaletto
AssemblyError
ScalaFun
UInt31
Fun
Fun
Absurd
Acquire
AndThen
AssocLR
AssocRL
Backvert
CaptureIntoSub
Choice
ChooseL
ChooseLOnPong
ChooseR
CoDistributeL
ConstNeg
ConstVal
CrashWhenDone
DebugPrint
Delay
DelayIndefinitely
DistributeInversion
DistributeL
DupSub
Effect
EffectWr
EitherF
ElimFst
ElimSnd
FactorOutInversion
Forevert
Fork
ForkNeed
ForkPing
ForkPong
Id
IgnoreSub
InjectL
InjectLOnPing
InjectR
IntroFst
IntroSnd
InvokeSub
Join
JoinLTermini
JoinNeed
JoinPing
JoinPong
JoinRTermini
LInvertPongPing
LInvertSignal
LInvertTerminus
Leaf
LiftEither
LiftPair
MapVal
Neglect
NotifyChoice
NotifyDoneL
NotifyEither
NotifyNeedL
NotifyNeg
NotifyVal
OneOfExtractSingle
OneOfInject
OneOfPeel
OneOfUnpeel
Pack
Par
PingF
PongF
RInvertPingPong
RInvertSignal
RInvertTerminus
RacePair
RecFun
RegressInfinitely
Release
ReleaseWith
SelectPair
StrengthenPing
StrengthenPong
Swap
TryAcquire
TryEffectAcquire
TrySplitResource
TryTransformResource
UnliftPair
Unpack
Monoid
ScalaFunction
Direct
Blocking
Asynchronous
Step
ScalaFunction
ScopeInfo
TopLevelLambda
NestedLambda
SwitchCase
ValCase
VarOrigin
VarOrigin
CapturedVars
CapturedVarsAndFunArg
ClosureVal
ExtractorRes
FunAndArg
FunAppRes
Lambda
NonLinearOps
OneIntro
Pairing
Prj1
Prj2
SwitchCase
SwitchIn
SwitchOut
phantoms
-
::
Done
LTerminus
Need
One
OneOf
Ping
Pong
RTerminus
Rec
Res
Sub
Val
Void
given_BiInjective_::
given_BiInjective_|*|
given_BiInjective_|+|
given_BiInjective_||
|&|
|*|
|+|
||
AbstractStarterKit
Scaletto
ScalaFuns
UInt31Scaletto
ValSwitch
ValSwitch
Cases
FirstCase
NextCase
ValSwitchInit
ValSwitchInitCase
ScalettoBridge
ScalettoBridge
ScalettoExecutor
ScalettoLib
ScalettoLib
**
RefCounted
Val
StarterApp
StarterAppBase
StarterAppScala
StarterKit
StarterKit
timer
TimerDSL
util
atomic
Async
Async
Later
Now
Equal
ForAll
Scheduler
Semigroup
libretto-core
libretto-core
Members list
Clear all
Packages
package
libretto
In this article
Members list
Packages