Sequentially zips this value with the specified one, discarding the first element of the tuple.
Sequentially zips this value with the specified one, discarding the second element of the tuple.
Sequentially zips this value with the specified one.
Feeds the value produced by this effect to the specified function, and then runs the returned effect as well to produce its results.
Simultaneously filters and maps the value produced by this effect.
Commits this transaction atomically.
Maps the success value of this effect to the specified constant value.
Converts the failure channel into an Either
.
Filters the value produced by this effect, retrying the transaction until the predicate returns true for the value.
Feeds the value produced by this effect to the specified function, and then runs the returned effect as well to produce its results.
Flattens out a nested STM
effect.
Folds over the STM
effect, handling both failure and success, but not
retry.
Effectfully folds over the STM
effect, handling both failure and
success.
Maps the value produced by the effect.
Maps from one error type to another.
Converts the failure channel into an Option
.
Tries this effect first, and if it fails, tries the other effect.
Returns a transactional effect that will produce the value of this effect in left side, unless it fails, in which case, it will produce the value of the specified effect in right side.
Maps the success value of this effect to unit.
Same as filter
Named alias for <*>
.
Named alias for <*
.
Named alias for *>
.
Sequentially zips this value with the specified one, combining the values using the specified combiner function.
STM[E, A]
represents an effect that can be performed transactionally, resulting in a failureE
or a valueA
.