arrow-mtl / arrow.mtl.extensions / WriterTDecidableInstance

WriterTDecidableInstance

@extension interface WriterTDecidableInstance<W, F> : Decidable<WriterTPartialOf<W, F>>, WriterTDivisibleInstance<W, F>

Functions

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

Do you like Arrow?

Arrow Org
<