arrow-effects-extensions / arrow.effects.extensions / IOMonad

IOMonad

@extension interface IOMonad : Monad<ForIO>

Functions

flatMap open fun <A, B> IOOf<A>.flatMap(f: (A) -> IOOf<B>): IO<B>
just open fun <A> just(a: A): IO<A>
map open fun <A, B> IOOf<A>.map(f: (A) -> B): IO<B>
tailRecM open fun <A, B> tailRecM(a: A, f: (A) -> IOOf<Either<A, B>>): IO<B>

Extension Functions

just fun <A> A.just(): IO<A>
just fun <F, E, A> A.just(BR: Bracket<F, E>): Resource<F, E, A>

Inheritors

IOMonadError interface IOMonadError : MonadError<ForIO, Throwable>, IOApplicativeError, IOMonad