arrow-mtl / arrow.mtl.extensions / EitherTDivide

EitherTDivide

@extension interface EitherTDivide<F, L> : Divide<EitherTPartialOf<F, L>>, EitherTContravariant<F, L>

Functions

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

Inheritors

EitherTDivisibleInstance interface EitherTDivisibleInstance<F, L> : Divisible<EitherTPartialOf<F, L>>, EitherTDivide<F, L>