arrow-core-data / arrow.typeclasses / MonadContinuation

MonadContinuation

open class MonadContinuation<F, A> : Continuation<Kind<F, A>>, Monad<F>, BindSyntax<F>, MonadSyntax<F>

Constructors

<init> MonadContinuation(M: Monad<F>, context: CoroutineContext = EmptyCoroutineContext)

Properties

context open val context: CoroutineContext
returnedMonad lateinit var returnedMonad: Kind<F, A>

Functions

bind open suspend fun <B> Kind<F, B>.bind(): B
resume open fun resume(value: Kind<F, A>): Unit
resumeWithException open fun resumeWithException(exception: Throwable): Unit
returnedMonad open fun returnedMonad(): Kind<F, A>

Inheritors

MonadFilterContinuation open class MonadFilterContinuation<F, A> : MonadContinuation<F, A>, MonadFilterSyntax<F>
MonadThrowContinuation open class MonadThrowContinuation<F, A> : MonadContinuation<F, A>, MonadThrow<F>, MonadThrowSyntax<F>

Do you like Arrow?

Arrow Org
<