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
/
Computation
Computation
sealed
trait
Computation
[
+
A
,
-
U
]
Companion:
object
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Type members
Value members
Type members
Classlikes
class
HandleWithApply
[
V
]
Implicitly added by
ComputationExtensions
Value members
Concrete methods
final
def
&!
[
B
,
U2
<:
U
](
that:
Computation
[
B
,
U2
]):
Computation
[
B
,
U2
]
final
def
&&!
[
B
,
U2
<:
U
](
that:
=>
Computation
[
B
,
U2
]):
Computation
[
B
,
U2
]
final
def
&&<!
[
B
,
U2
<:
U
](
that:
=>
Computation
[
B
,
U2
]):
Computation
[
A
,
U2
]
final
def
&<!
[
B
,
U2
<:
U
](
that:
Computation
[
B
,
U2
]):
Computation
[
A
,
U2
]
final
def
*!
[
B
,
U2
<:
U
](
that:
Computation
[
B
,
U2
]):
Computation
[(
A
,
B
),
U2
]
final
def
**!
[
B
,
U2
<:
U
](
that:
=>
Computation
[
B
,
U2
]):
Computation
[(
A
,
B
),
U2
]
final
def
>>=
[
B
,
U2
<:
U
](
f:
A
=>
Computation
[
B
,
U2
]):
Computation
[
B
,
U2
]
final
def
as
[
B
](
value:
B
):
Computation
[
B
,
U
]
final
def
flatMap
[
B
,
U2
<:
U
](
f:
A
=>
Computation
[
B
,
U2
]):
Computation
[
B
,
U2
]
final
def
flatTap
[
B
,
U2
<:
U
](
f:
A
=>
Computation
[
B
,
U2
]):
Computation
[
A
,
U2
]
final
def
flatten
[
B
,
U2
<:
U
](
implicit
ev:
A
<:<
Computation
[
B
,
U2
]):
Computation
[
B
,
U2
]
def
handleWith
[
V
]:
HandleWithApply
[
V
]
Implicitly added by
ComputationExtensions
final
def
map
[
B
](
f:
A
=>
B
):
Computation
[
B
,
U
]
final
def
upCast
[
U2
<:
U
]:
Computation
[
A
,
U2
]
final
def
void
:
Computation
[
Unit
,
U
]
final
def
withFilter
[
U2
<:
U
&
ChoiceSig
](
f:
A
=>
Boolean
):
Computation
[
A
,
U2
]
final
def
zip
[
B
,
U2
<:
U
](
that:
Computation
[
B
,
U2
]):
Computation
[(
A
,
B
),
U2
]
final
def
|!
[
A2
>:
A
,
U2
<:
U
&
ChoiceSig
](
that:
Computation
[
A2
,
U2
]):
Computation
[
A2
,
U2
]
final
def
||!
[
A2
>:
A
,
U2
<:
U
&
ChoiceSig
](
that:
=>
Computation
[
A2
,
U2
]):
Computation
[
A2
,
U2
]
Inherited methods
def
>>=!
:
Handler
[
F
,
L
,
U
&
N
]
Extension method from
Computation
Inherited from:
ComputationExtensions
def
downCast
:
Computation
[
A
,
U2
]
Extension method from
Computation
Inherited from:
ComputationExtensions
def
flatMap2
:
Computation
[
C
,
U2
]
Extension method from
Computation
Inherited from:
ComputationExtensions
def
flattenHandler
:
Handler
[
F
,
L
,
N
]
Extension method from
Computation
Inherited from:
ComputationExtensions
def
if_!!
:
Computation
[
Unit
,
U2
]
Extension method from
Computation
Inherited from:
ComputationExtensions
def
map2
:
Computation
[
C
,
U
]
Extension method from
Computation
Inherited from:
ComputationExtensions
def
run
:
A
Extension method from
Computation
Inherited from:
ComputationExtensions
def
runWith
:
F
[
A
]
Extension method from
Computation
Inherited from:
ComputationExtensions
def
until_!!
:
Computation
[
Unit
,
U2
]
Extension method from
Computation
Inherited from:
ComputationExtensions
def
while_!!
:
Computation
[
Unit
,
U2
]
Extension method from
Computation
Inherited from:
ComputationExtensions