AVOID USING THIS TYPE, it's meant for low-level cancellation code When in need in low-level code, you can use this type to differentiate between a foreign CancellationException and the one from Cont.

Functions

cont

fun <R, A> cont(f: suspend ContEffect<R>.() -> A): Cont<R, A>

DSL for constructing Cont values

either

suspend fun <E, A> either(f: suspend ContEffect<E>.() -> A): Either<E, A>

ensureNotNull

suspend fun <B : Any> ContEffect<None>.ensureNotNull(value: B?): B

suspend fun <R, B : Any> ContEffect<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.

ior

suspend fun <E, A> ior(semigroup: Semigroup<E>, f: suspend IorEffect<E>.() -> A): Ior<E, A>

option

suspend fun <A> option(f: OptionEffect.() -> A): Option<A>

restrictedCont

fun <R, A> restrictedCont(f: suspend RestrictedContEffect<R>.() -> A): RestrictedCont<R, A>

RestrictsSuspension version of Cont<R, A>. This version runs eagerly, can can be used in non-suspending code.

toOption

suspend fun <A> Cont<None, A>.toOption(): Option<A>