libretto
libretto
API
libretto
Bifunctor
Bifunctor
ClosedBridge
ClosedBridge
ClosedDSL
ClosureOps
FunExprOps
ClosureOps
LambdaOpsWithClosures
ClosedExecution
ClosedInPorts
ClosedOutPorts
ClosedLib
ClosedLib
ClosedLinearFunctionOps
FocusedOnFunctionCo
FocusedOnFunctionContra
Comonad
ContraFunctor
ContraFunctor
CoreBridge
CoreBridge
CoreDSL
$Ops
FunctorOps
|*|
Affine
Affine
Comonoid
Comonoid
Cosemigroup
Cosemigroup
LambdaOps
CoreExecution
InPorts
OutPorts
CoreLib
CoreLib
AcquiredLock
BiExternalizer
Bifunctor
BimapSyntax
Bool
Comparable
Compared
ContraExternalizer
ContraExternalizer
ContraFunctor
Deferrable
Negative
Negative
Positive
Positive
Deferred
Detained
Dual
Dual
Dual1
Endless
Externalizer
Externalizer
FocusedBi
FocusedCo
FocusedContra
FocusedOnChoiceCo
FocusedOnChoiceContra
FocusedOnDoneTimesCo
FocusedOnPairCo
FocusedOnPairContra
FocusedOnPlusCo
FocusedOnPlusContra
FocusedOnTimesDoneCo
Functor
Getter
Getter
Junction
Negative
Negative
Positive
Positive
LList
LList1
Lens
Lens
LinearFunctionOps
LinearFunctionToPairOps
LinearFunctionToPlusOps
Lock
Maybe
Monoid
Monoid
Multiple
NAffine
NAffine
NComonoid
NMonoid
NMonoid
Optionally
PAffine
PAffine
PComonoid
PComonoid
PMaybe
PMonoid
PUnlimited
Semigroup
Semigroup
Signaling
Negative
Negative
Positive
Positive
SignalingJunction
Negative
Negative
Positive
Positive
Transportive
Transportive
Unlimited
|&|
|+|
CoreStreams
CoreStreams
LDemanding
LPollable
LPolled
LSubscriber
CrashDSL
Executing
ExecutionParams
ExecutionParams
Free
Ext
One
Zip
Free
WithScheduler
Executor
Executor
CancellationReason
User
Bug
Factory
Factory
Functor
Functor
InvertDSL
DemandExprOps
InvertLib
InvertLib
Monad
Scheduler
TimerDSL
libretto.lambda
Category
ClosedSemigroupalCategory
ClosedSymmetricMonoidalCategory
ClosedSymmetricSemigroupalCategory
Closures
Closures
ClosureRes
Capturing
NonCapturing
NonLinear
NotFound
ClosureRes
ClosuresOne
InversiveMonoidalCategory
InversiveSemigroupalCategory
Lambdas
AbstractFuns
Exprs
VArrs
Vars
Lambdas
Abstracted
Closure
Exact
Failure
NotFound
Abstracted
Error
LinearityViolation
Overused
Underused
LinearityViolation
Undefined
Error
ErrorFactory
ErrorFactory
LambdasImpl
AbstractFun
Expr
VArr
ElimRes
Closure
Error
Exact
NotFound
ElimRes
ElimStep
Closure
Exact
Found
HalfUsed
NotFound
Overused
ElimStep
Id
Map
Par
Prj1
Prj2
VarDefining
Zip
VArr
LambdasOne
AbstractFun
Expr
Expr
VArr
LambdasOne
VarSynthesizer
MonoidalCategory
Multiplier
Multiplier
Dup
Id
SemigroupalCategory
Semigroupoid
Shuffle
BiTransferOpt
IXI_IXI
None_IX
None_None
Swap_AssocRL
BiTransferOpt
Par
Fst
Snd
Both
Par
Transfer
AssocLR
AssocRL
IX
IXI
Swap
XI
Transfer
TransferOpt
None
None0
None0
TransferOpt
~⚬
Bimap
Composed
Decomposition
Decomposition1
Id
Id0
Id0
Xfer
~⚬
Shuffled
Impermeable
Permeable
Permeable
Plated
Preshuffled
Sandwich
SemiCons
SemiSnoc
Solid
Stacked
XI
Plated
Pure
RevTransferOpt
SemiObstructed
Shuffled
SymmetricMonoidalCategory
SymmetricSemigroupalCategory
Tupled
Tupled
Single
Zip
UnhandledCase
UnhandledCase
Variable
libretto.scaletto
AbstractStarterKit
BinarySearchTree
BinarySearchTree
Branch
BranchF
NonEmptyTree
Singleton
Summary
Scaletto
ScalettoBridge
ScalettoBridge
ScalettoExecution
ScalettoInPorts
ScalettoOutPorts
ScalettoExecutor
ScalettoExecutor
Factory
Factory
ScalettoLib
ScalettoLib
RefCounted
Val
ValMatcher
ValMatcher
ScalettoStreams
ScalettoStreams
Demanding
Pollable
BroadcastByKey
Polled
Subscriber
StarterApp
StarterAppBase
StarterAppScala
StarterKit
StarterKit
libretto.scaletto.impl
FreeScaletto
-
-⚬
Acquire
AndThen
AssocLR
AssocRL
Backvert
Blocking
Choice
ChooseL
ChooseLOnPong
ChooseR
CoDistributeL
ConstNeg
ConstVal
CrashWhenDone
DebugPrint
Delay
DelayIndefinitely
DistributeInversion
DistributeL
EffectAsync
EffectWrAsync
EitherF
ElimFst
ElimSnd
FactorOutInversion
Forevert
Fork
ForkNeed
ForkPing
ForkPong
Id
InjectL
InjectLOnPing
InjectR
IntroFst
IntroSnd
Join
JoinLTermini
JoinNeed
JoinPing
JoinPong
JoinRTermini
LInvertPongPing
LInvertSignal
LInvertTerminus
LiftEither
LiftPair
MapVal
Neglect
NotifyChoice
NotifyDoneL
NotifyEither
NotifyNeedL
NotifyNeg
NotifyVal
Pack
Par
PingF
PongF
RInvertPingPong
RInvertSignal
RInvertTerminus
RacePair
RecF
RegressInfinitely
Release
ReleaseAsync
SelectPair
StrengthenPing
StrengthenPong
Swap
TryAcquireAsync
TrySplitResourceAsync
TryTransformResourceAsync
UnliftPair
Unpack
-⚬
Done
LTerminus
Need
One
Ping
Pong
RTerminus
Rec
Res
Val
|&|
|*|
|+|
FreeScaletto
NotLinearException
UnboundVariablesException
Var
Var
VarOrigin
VarOrigin
ClosureVal
FunApp
Lambda
OneIntro
Pairing
Prj1
Prj2
Synthetic
libretto.scaletto.impl.futurebased
BridgeImpl
FutureExecutor
ExecutionParam
SchedulerParam
FutureExecutor
SchedulerFromScheduledExecutorService
libretto.util
Applicative
Async
Async
Later
Now
BiInjective
BiInjective
Equal
ForAll
Monad
Monad
syntax
SourcePos
SourcePos
UniqueTypeArg
unapply
Unapply
Unapply
Unapply2
Unapply2
libretto.util.atomic
libretto
/
libretto
/
CoreLib
/
Lock
Lock
libretto.CoreLib.Lock$
object
Lock
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Lock
.type
Clear all
Members list
Concise view
Value members
Concrete methods
def
acquire
:
Lock
-⚬
AcquiredLock
def
close
:
Lock
-⚬
Done
def
newLock
:
Done
-⚬
Lock
def
share
:
Lock
-⚬
Lock
|*|
Lock
def
tryAcquire
:
Lock
-⚬
AcquiredLock
|+|
Lock
Givens
Givens
given
given_PComonoid_Lock
:
PComonoid
[
Lock
]