arrow-core/arrow.core.computations

Package-level declarations

Types

object ~~either~~

fun interface ~~EitherEffect~~<E, A> : Effect<Either<E, A>>

object ~~eval~~

fun interface ~~EvalEffect~~<A> : Effect<Eval<A>>

object ~~nullable~~

fun interface ~~NullableEffect~~<A> : Effect<A?>

object ~~option~~

fun interface ~~OptionEffect~~<A> : Effect<Option<A>>

RestrictedEitherEffect

fun interface ~~RestrictedEitherEffect~~<E, A> : EitherEffect<E, A>

RestrictedEvalEffect

fun interface ~~RestrictedEvalEffect~~<A> : EvalEffect<A>

RestrictedNullableEffect

fun interface ~~RestrictedNullableEffect~~<A> : NullableEffect<A>

RestrictedOptionEffect

fun interface ~~RestrictedOptionEffect~~<A> : OptionEffect<A>

object ~~result~~

object ~~ResultEffect~~

DSL Receiver Syntax for result.

Functions

suspend fun <B : Any> NullableEffect<*>.~~ensureNotNull~~(value: B?): B

suspend fun <B : Any> OptionEffect<*>.~~ensureNotNull~~(value: B?): B

Ensures that value is not null. When the value is not null, then it will be returned as non null and the check value is now smart-checked to non-null. Otherwise, if the value is null then the option binding will short-circuit with None.

suspend fun <E, B : Any> EitherEffect<E, *>.~~ensureNotNull~~(value: B?, orLeft: () -> E): B

Ensures that value is not null. When the value is not null, then it will be returned as non null and the check value is now smart-checked to non-null. Otherwise, if the value is null then the either binding will short-circuit with orLeft inside of Either.Left.