arrow-core/arrow.core.continuations/OptionEagerEffectScope

OptionEagerEffectScope

@JvmInline

value class OptionEagerEffectScope(cont: EagerEffectScope<None>) : EagerEffectScope<None> (source)

Constructors

constructor(cont: EagerEffectScope<None>)

Functions

attempt

open suspend fun <E, A> attempt(f: suspend EagerEffectScope<E>.() -> A): suspend EagerEffectScope<E>.() -> A

Encloses an action for which you want to catch any shift. attempt is used in combination with catch.

bind

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

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

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

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

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

suspend fun Option.bind(): B

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

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

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

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

catch

open infix fun <E, A> suspend EagerEffectScope<E>.() -> A.catch(recover: EagerEffectScope<None>.(E) -> A): A

When the EagerEffect has shifted with R it will recover the shifted value to A, and when it ran the computation to completion it will return the value A. catch is used in combination with attempt.

ensure

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

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

suspend fun ensure(value: Boolean)

ensureNotNull

suspend fun OptionEagerEffectScope.ensureNotNull(value: B?): B

shift

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

Short-circuit the EagerEffect computation with value R.