arrow-fx / arrow.fx.typeclasses / AsyncContinuation / fx

fx

open val fx: AsyncFx<F>

Entry point for monad bindings which enables for comprehensions. The underlying impl is based on coroutines. A coroutines is initiated and inside AsyncContinuation suspended yielding to Monad.flatMap. Once all the flatMap binds are completed the underlying monad is returned from the act of executing the coroutine

This one operates over MonadError instances that can support Throwable in their error type automatically lifting errors as failed computations in their monadic context and not letting exceptions thrown as the regular monad binding does.

This operation is cancellable by calling invoke on the Disposable return. If Disposable.invoke is called the binding result will become a lifted BindingCancellationException.