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.std_effects
/
ErrorEffect
/
handlers
handlers
object
handlers
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
handlers
.type
Value members
Value members
Concrete methods
def
many
(
implicit
E:
Accum
[
E
,
E1
]):
Free
[[
_
]
=>>
Either
[
E
,
_$6
]]
def
one
(
implicit
E:
E1
=:=
E
):
Free
[[
_
]
=>>
Either
[
E
,
_$5
]]