arrow-effects-extensions / arrow.effects.extensions / WriterTBracket

WriterTBracket

@extension interface WriterTBracket<F, W> : Bracket<WriterTPartialOf<F, W>, Throwable>, WriterTMonadThrow<F, W>

Functions

bracketCase open fun <A, B> WriterTOf<F, W, A>.bracketCase(release: (A, ExitCase<Throwable>) -> WriterTOf<F, W, Unit>, use: (A) -> WriterTOf<F, W, B>): WriterT<F, W, B>
MD abstract fun MD(): MonadDefer<F>
ME open fun ME(): MonadError<F, Throwable>
MM abstract fun MM(): Monoid<W>

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

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