arrow-effects-extensions / arrow.effects.extensions / IOMonadDefer

IOMonadDefer

@extension interface IOMonadDefer : MonadDefer<ForIO>, IOBracket

Functions

defer open fun <A> defer(fa: () -> IOOf<A>): IO<A>
lazy open fun lazy(): IO<Unit>

Extension Functions

catch fun <A> ApplicativeError<ForIO, Throwable>.catch(arg1: () -> A): IO<A>
just fun <A> A.just(): IO<A>
just fun <F, E, A> A.just(BR: Bracket<F, E>): Resource<F, E, A>

Inheritors

IOAsync interface IOAsync : Async<ForIO>, IOMonadDefer