arrow-mtl / arrow.mtl.extensions / EitherTDivisibleInstance

EitherTDivisibleInstance

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

Functions

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

Inheritors

EitherTDecidableInstance interface EitherTDecidableInstance<F, L> : Decidable<EitherTPartialOf<F, L>>, EitherTDivisibleInstance<F, L>

Do you like Arrow?

Arrow Org
<