turbolift-core
turbolift-core
API
turbolift
Computation
Computation
Effect
Effect
Combine2
Combine3
Combine4
Extensions
Handler
HandleApply
PartiallyProvideWithApply
Handler
Signature
turbolift.extra_effects
AcyclicMemoizer
FixApply
AcyclicMemoizerSig
AutoInc
AutoIncSig
CyclicMemoizer
FixApply
CyclicMemoizerSig
MonoGraph
AtApply
MonoGraphSig
PolyGraph
AtApply
PolyGraphSig
turbolift.internals.effect
CanInterpret
Proxy
Stateful
Stateless
ThisHandler
ThisInterpreter
CanPerform
turbolift.internals.interpreter
Control
Features
Parallel
Default
ForkJoin
Trivial
Parallel
Sequential
Interpreter
Interpreter
Flow
FlowFeatures
Proxy
Stateful
Stateless
Void
Void
turbolift.internals.launcher
LauncherConfig
LauncherConfigs
turbolift.mode
turbolift.std_effects
Choice
ChoiceEffect
handlers
ChoiceSig
Each
Error
ErrorEffect
handlers
ErrorK
ErrorSig
Fail
Reader
ReaderSig
State
StateSig
Writer
WriterEffect
WriterG
WriterGK
WriterK
WriterSig
turbolift.typeclass
Accum
Accum
AccumZero
AccumZero
ExtendTuple
ExtendTuple
One
One
Syntax
turbolift-core
/
turbolift.internals.effect
turbolift.internals.effect
package
turbolift.internals.effect
Clear all
Members list
Concise view
Type members
Classlikes
trait
CanInterpret
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Signature
class
Object
trait
Matchable
class
Any
Known subtypes
trait
Effect
[
Z
]
trait
AcyclicMemoizer
[
K
,
V
]
trait
AutoInc
trait
CyclicMemoizer
[
K
,
V
]
trait
MonoGraph
[
K
,
V
]
trait
PolyGraph
[
K
,
V
]
trait
ChoiceEffect
trait
Choice
object
Each
.type
object
Fail
.type
trait
ErrorEffect
[
E
,
E1
]
trait
Error
[
E
]
trait
ErrorK
[
F
,
E
]
trait
Reader
[
R
]
trait
State
[
S
]
trait
WriterEffect
[
W
,
W1
]
trait
Writer
[
W
]
trait
WriterG
[
M
,
K
,
V
]
trait
WriterGK
[
M
,
K
,
F
,
V
]
trait
WriterK
[
F
,
W
]
Self type
CanInterpret
trait
CanPerform
[
Z
<:
Signature
]
extends
Signature
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Signature
class
Object
trait
Matchable
class
Any
Known subtypes
trait
Effect
[
Z
]
trait
AcyclicMemoizer
[
K
,
V
]
trait
AutoInc
trait
CyclicMemoizer
[
K
,
V
]
trait
MonoGraph
[
K
,
V
]
trait
PolyGraph
[
K
,
V
]
trait
ChoiceEffect
trait
Choice
object
Each
.type
object
Fail
.type
trait
ErrorEffect
[
E
,
E1
]
trait
Error
[
E
]
trait
ErrorK
[
F
,
E
]
trait
Reader
[
R
]
trait
State
[
S
]
trait
WriterEffect
[
W
,
W1
]
trait
Writer
[
W
]
trait
WriterG
[
M
,
K
,
V
]
trait
WriterGK
[
M
,
K
,
F
,
V
]
trait
WriterK
[
F
,
W
]