libretto-core
libretto-core
API
libretto
scaletto
impl
futurebased
BridgeImpl
FutureExecutor
ExecutionParam
SchedulerParam
FutureExecutor
SchedulerFromScheduledExecutorService
FreeScaletto
-
-⚬
Acquire
AndThen
AssocLR
AssocRL
Backvert
Choice
ChooseL
ChooseLOnPong
ChooseR
CoDistributeL
ConstNeg
ConstVal
CrashWhenDone
DebugPrint
Delay
DelayIndefinitely
DistributeInversion
DistributeL
Effect
EffectWr
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
ReleaseWith
SelectPair
StrengthenPing
StrengthenPong
Swap
TryAcquire
TryEffectAcquire
TrySplitResource
TryTransformResource
UnliftPair
Unpack
-⚬
ConcurrentPair
Done
LTerminus
Need
One
Ping
Pong
RTerminus
Rec
Res
Val
given_BiInjective_|*|
|&|
|+|
FreeScaletto
NotLinearException
ScalaFun
UInt31
UnboundVariablesException
ℭ
ScalaFunction
Direct
Blocking
Asynchronous
Step
ScalaFunction
VarOrigin
VarOrigin
ClosureVal
FunAndArg
FunAppRes
Lambda
NonLinearOps
OneIntro
Pairing
Prj1
Prj2
Synthetic
AbstractStarterKit
Scaletto
ScalaFuns
UInt31Scaletto
ValSwitch
ValSwitch
Cases
FirstCase
NextCase
ValSwitchInit
ValSwitchInitCase
ScalettoBridge
ScalettoBridge
ScalettoExecution
ScalettoInPorts
ScalettoOutPorts
ScalettoExecutor
ScalettoExecutor
Factory
Factory
ScalettoLib
ScalettoLib
**
RefCounted
Val
StarterApp
StarterAppBase
StarterAppScala
StarterKit
StarterKit
util
atomic
Async
Async
Later
Now
Equal
ForAll
Semigroup
unapply
Unapply
Unapply
Unapply2
Unapply2
Bifunctor
Bifunctor
ClosedBridge
ClosedBridge
ClosedDSL
ClosureOps
FunExprOps
ClosureOps
LambdaOpsWithClosures
ClosedExecution
ClosedInPorts
ClosedOutPorts
ClosedLib
ClosedLib
Comonad
ContraFunctor
ContraFunctor
CoreBridge
CoreBridge
CoreDSL
$Ops
*
+
?
Affine
Affine
Comonoid
comonoidNeed
comonoidOne
comonoidPing
comonoidPong
Comonoid
ConcurrentPairOps
Cosemigroup
cosemigroupDone
cosemigroupNeed
cosemigroupPing
cosemigroupPong
Cosemigroup
FunctorOps
LambdaOps
UInt31s
CoreExecution
InPorts
OutPorts
CoreLib
CoreLib
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
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_Dual_One_One
given_Transportive_Id
|&|
|+|
CrashDSL
Executing
ExecutionParams
ExecutionParams
Free
Ext
One
Zip
Free
WithScheduler
Executor
Executor
CancellationReason
User
Bug
Factory
Factory
Functor
Functor
InvertDSL
ConcurrentPairInvertOps
producing
InvertLib
InvertLib
given_ContraFunctor_-
Monad
Scheduler
TimerDSL
libretto-core
/
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
Members list
Clear all
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_CloseableCosemigroup_Lock
:
CloseableCosemigroup
[
Lock
]
In this article
Attributes
Members list
Value members
Concrete methods
Givens
Givens