ResultEffectScope

Constructors

constructor(cont: EffectScope<Throwable>)

open suspend fun Either<Throwable, B>.bind(): B

Folds Either into Effect, by returning B or a shift with R.

open suspend fun EagerEffect<Throwable, B>.bind(): B

Runs the EagerEffect to finish, returning B or shift in case of R, bridging eager computations into suspending.

open suspend fun Effect<Throwable, B>.bind(): B

Runs the Effect to finish, returning B or shift in case of R.

open suspend fun EagerEffect<Throwable, B>.bind(): B

open suspend fun Effect<Throwable, B>.bind(): B

suspend fun Result.bind(): B

open suspend fun Option.bind(shift: () -> Throwable): B

Folds Option into Effect, by returning B or a transforming None into R and shifting the result.

open suspend fun Result.bind(transform: (Throwable) -> Throwable): B

Folds Result into Effect, by returning B or a transforming Throwable into R and shifting the result.

open suspend fun ensure(condition: Boolean, shift: () -> Throwable)

ensure that condition is true, if it's false it will shift with the provided value R. Monadic version of kotlin.require.

open infix suspend fun <E, A> suspend EffectScope<E>.() -> A.recover(recover: suspend EffectScope<Throwable>.(E) -> A): A

open suspend override fun shift(r: Throwable): B

Short-circuit the Effect computation with value R.