arrow-effects-extensions / arrow.effects.extensions / WriterTMonadDefer

WriterTMonadDefer

@extension interface WriterTMonadDefer<F, W> : MonadDefer<WriterTPartialOf<F, W>>, WriterTBracket<F, W>

Functions

defer open fun <A> defer(fa: () -> Kind<WriterTPartialOf<F, W>, A>): Kind<WriterTPartialOf<F, W>, A>
MD abstract fun MD(): MonadDefer<F>
MM abstract fun MM(): Monoid<W>

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

WriterTAsync interface WriterTAsync<F, W> : Async<WriterTPartialOf<F, W>>, WriterTMonadDefer<F, W>