arrow-mtl / arrow.mtl.extensions / KleisliDecidableInstance

KleisliDecidableInstance

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

Functions

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

Do you like Arrow?

Arrow Org
<