turbolift-core
turbolift-core
turbolift
Computation
Computation
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.effect
CanInterpret
Proxy
Stateful
Stateless
ThisHandler
ThisInterpreter
CanPerform
turbolift.internals.extensions
HandleWithApply
turbolift.internals.interpreter
Control
Control
Interpreter
Interpreter
Flow
Proxy
Stateful
Stateless
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.typeclass
Accum
Accum
AccumZero
AccumZero
ExtendTuple
ExtendTuple
FlippedPairFunctor
MonadZip
MonadZip
given_MonadZip_Id
Syntax
turbolift-core
/
turbolift.extra_effects
/
ReaderWriterState
/
Syntax
Syntax
object
Syntax
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
Syntax
.type
Extensions
Extensions
Extensions
extension
[
R
,
W
,
W1
,
S
,
FxR
<:
Reader
[
R
],
FxW
<:
WriterEffect
[
W
,
W1
],
FxS
<:
State
[
S
]](thiz:
Combine3
[
FxR
,
FxW
,
FxS
])
def
handler
(
initialR:
R
,
initialS:
S
)(
implicit
W:
AccumZero
[
W
,
W1
]):
Free
[
Tuple2
]