OptionEagerEffectScope

Functions

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

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

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

Folds Validated 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.

suspend fun Option.bind(): B

open suspend fun <ERROR CLASS>.bind(transform: (Throwable) -> None): B

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

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.

suspend fun ensure(value: Boolean)

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.

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

Short-circuit the EagerEffect computation with value R.