turbolift-core
turbolift-core
turbolift
Computation
Computation
ComputationInstances
Effect
Effect
Combine2
Combine3
Combine4
Handler
HandleApply
PartiallyProvideWithApply
Handler
Implicits
Signature
turbolift.extra_effects
AcyclicMemoizer
AcyclicMemoizerSig
AutoInc
AutoIncSig
CyclicMemoizer
CyclicMemoizerSig
MonoGraph
AtApply
MonoGraphSig
PolyGraph
AtApply
PolyGraphSig
ReaderWriterState
Syntax
turbolift.internals.aux
CanPartiallyHandle
CanPartiallyHandle
CanRun
CanRun
CanTotallyHandle
CanTotallyHandle
turbolift.internals.effect
AnyChoice
turbolift.internals.engine
Step
StepCases
Done
More
ZipLeft
ZipRight
TrampolineCases
Done
DoneOrMore
FlatMap
More
TrampolineInstances
turbolift.internals.extensions
AllOrphanedExtensions
ComputationExtensions
ComputationExtensions
HandleWithApply
HandlerExtensions
turbolift.internals.extensions.orphaned
FoldExtensions
MapFilterExtensions
MiscExtensions
TraverseExtensions
turbolift.internals.interpreter
Control
Control
Interpreter
Interpreter
InterpreterCases
Flow
Proxy
Stateful
Stateless
InverseControl
turbolift.std_effects
Choice
ChoiceEffect
handlers
ChoiceSig
Each
Error
ErrorEffect
handlers
ErrorG
ErrorGK
ErrorK
ErrorSig
Fail
Reader
ReaderSig
State
StateSig
Writer
WriterEffect
WriterG
WriterGK
WriterK
WriterSig
turbolift.std_effects.default_handlers
FlippedPairFunctor
turbolift.typeclass
Accum
Accum
AccumZero
AccumZero
ExtendTuple
ExtendTuple
MonadZip
MonadZip
given_MonadZip_Id
Syntax
turbolift-core
/
turbolift.internals.interpreter
/
Interpreter
Interpreter
sealed
trait
Interpreter
extends
Signature
Companion:
object
Graph
Supertypes
Known subtypes
trait
Signature
class
Object
trait
Matchable
class
Any
trait
Flow
class
Stateful
[
S
,
F
]
class
Stateful
[
S
,
F
]
class
Stateless
[
F
]
class
Stateless
[
F
]
trait
Proxy
Type members
Type members
Types
type
IntroEffect
type
Result
[
+
A
]
final
type
ThisHandler
=
Handler
[
Result
,
ThisEffect
,
IntroEffect
]
Inherited types
type
!@!
[
A
,
U
]
Inherited from:
Signature
type
ThisEffect
Inherited from:
Signature