arrow-core/arrow.core.continuations/NullableEffectScope

NullableEffectScope

@JvmInline

value class NullableEffectScope(cont: EffectScope<Nothing?>) : EffectScope<Nothing?> (source)

Constructors

NullableEffectScope

fun NullableEffectScope(cont: EffectScope<Nothing?>)

Functions

attempt

open suspend fun <E, A> attempt(f: suspend EffectScope<E>.() -> A): suspend EffectScope<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<Nothing?, B>.bind(): B

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

open suspend fun Validated<Nothing?, B>.bind(): B

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

open suspend fun EagerEffect<Nothing?, 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<Nothing?, B>.bind(): B

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

suspend fun B?.bind(): B

suspend fun Option.bind(): B

open suspend fun Option.bind(shift: () -> Nothing?): 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) -> Nothing?): B

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

catch

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

When the Effect 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

suspend fun ensure(value: Boolean)

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

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

shift

open suspend override fun shift(r: Nothing?): B

Short-circuit the Effect computation with value R.

Extensions

ensureNotNull

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

suspend fun <R, B : Any> EffectScope<R>.ensureNotNull(value: B?, shift: () -> R): B

Ensure that value is not null. if it's non-null it will be smart-casted and returned if it's false it will shift with the provided value R. Monadic version of kotlin.requireNotNull.