IorEffectScope

class IorEffectScope<E>(semigroup: Semigroup<E>, effect: EffectScope<E>) : EffectScope<E> , Semigroup<E>

Constructors

Link copied to clipboard
fun <E> IorEffectScope(semigroup: Semigroup<E>, effect: EffectScope<E>)

Functions

Link copied to clipboard
open suspend fun <B> Either<E, B>.bind(): B

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

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

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

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

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

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

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

suspend fun <B> Ior<E, B>.bind(): B

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

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

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

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

Link copied to clipboard
open override fun E.combine(b: E): E

Combine two A values.

Link copied to clipboard
open suspend fun ensure(condition: Boolean, shift: () -> E)

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

Link copied to clipboard
open override fun E.maybeCombine(b: E?): E
Link copied to clipboard
open operator override fun E.plus(b: E): E
Link copied to clipboard
open suspend override fun <B> shift(r: E): B

Short-circuit the Effect computation with value R.