arrow-effects-extensions / arrow.effects.extensions / OptionTMonadDefer

OptionTMonadDefer

@extension interface OptionTMonadDefer<F> : MonadDefer<OptionTPartialOf<F>>, OptionTBracket<F>

Functions

defer open fun <A> defer(fa: () -> OptionTOf<F, A>): OptionT<F, A>
MD abstract fun MD(): MonadDefer<F>

Inherited Functions

ME open fun ME(): MonadError<F, Throwable>

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

OptionTAsync interface OptionTAsync<F> : Async<OptionTPartialOf<F>>, OptionTMonadDefer<F>