arrow-mtl / arrow.mtl.extensions / WriterTDivideInstance

WriterTDivideInstance

@extension interface WriterTDivideInstance<F, W> : Divide<WriterTPartialOf<F, W>>, WriterTContravariantInstance<F, W>

Functions

CF open fun CF(): Contravariant<F>
DF abstract fun DF(): Divide<F>
divide open fun <A, B, Z> divide(fa: Kind<WriterTPartialOf<F, W>, A>, fb: Kind<WriterTPartialOf<F, W>, B>, f: (Z) -> Tuple2<A, B>): Kind<WriterTPartialOf<F, W>, Z>

Inheritors

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