turbolift.io.Zipper
See theZipper companion object
Effectful, parallelly composable result of fiber's execution.
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
Members list
Value members
Abstract methods
Convert to pure value, provided the effect set is empty.
Convert to pure value, provided the effect set is empty.
Attributes
Inspect the IO
component of the result, detached from the rest of effects.
Inspect the IO
component of the result, detached from the rest of effects.
Attributes
Convert back to computation.
Convert back to computation.
Attributes
Try to convert to a single pure value.
Try to convert to a single pure value.
If the effect set includes nondeterminism (e.g. Choice
), then at most one branch is taken.
Attributes
Concrete methods
Extension method from Zipper
Eliminate IO
from the effect set.
Eliminate IO
from the effect set.
Attributes
In this article