arrow-mtl / arrow.mtl.extensions / KleisliDivisibleInstance

KleisliDivisibleInstance

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

Functions

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

Inheritors

KleisliDecidableInstance interface KleisliDecidableInstance<F, D> : Decidable<KleisliPartialOf<F, D>>, KleisliDivisibleInstance<F, D>