arrow-mtl / arrow.mtl.extensions / WriterTDecidableInstance

WriterTDecidableInstance

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

Functions

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