arrow-mtl / arrow.mtl.extensions / KleisliDivideInstance

KleisliDivideInstance

@extension interface KleisliDivideInstance<F, D> : Divide<KleisliPartialOf<F, D>>, KleisliContravariantInstance<F, D>

Functions

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

Inheritors

KleisliDivisibleInstance interface KleisliDivisibleInstance<F, D> : Divisible<KleisliPartialOf<F, D>>, KleisliDivideInstance<F, D>