arrow-mtl / arrow.mtl.extensions / WriterTDivisibleInstance

WriterTDivisibleInstance

@extension interface WriterTDivisibleInstance<F, W> : Divisible<WriterTPartialOf<F, W>>, WriterTDivideInstance<F, W>

Functions

conquer open fun <A> conquer(): Kind<WriterTPartialOf<F, W>, A>
DF open fun DF(): Divide<F>
DFF abstract fun DFF(): Divisible<F>

Inheritors

WriterTDecidableInstance interface WriterTDecidableInstance<F, W> : Decidable<WriterTPartialOf<F, W>>, WriterTDivisibleInstance<F, W>

Do you like Arrow?

Arrow Org
<