arrow-mtl / arrow.mtl.extensions / EitherTDecidableInstance

EitherTDecidableInstance

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

Functions

choose open fun <A, B, Z> choose(fa: Kind<EitherTPartialOf<F, L>, A>, fb: Kind<EitherTPartialOf<F, L>, B>, f: (Z) -> Either<A, B>): Kind<EitherTPartialOf<F, L>, Z>
DFF open fun DFF(): Divisible<F>
DFFF abstract fun DFFF(): Decidable<F>