arrow-mtl / arrow.mtl.extensions.writert.decidable

Package arrow.mtl.extensions.writert.decidable

Extensions for External Classes

arrow.mtl.WriterT  

Functions

choose fun <F, W, A, B, Z> choose(DFFF: Decidable<F>, arg0: Kind<Kind<Kind<ForWriterT, F>, W>, A>, arg1: Kind<Kind<Kind<ForWriterT, F>, W>, B>, arg2: (Z) -> Either<A, B>): WriterT<F, W, Z>
fun <F, W, A, B, C, Z> choose(DFFF: Decidable<F>, arg0: Kind<Kind<Kind<ForWriterT, F>, W>, A>, arg1: Kind<Kind<Kind<ForWriterT, F>, W>, B>, arg2: Kind<Kind<Kind<ForWriterT, F>, W>, C>, arg3: (Z) -> Either<A, Either<B, C>>): WriterT<F, W, Z>
fun <F, W, A, B, C, D, Z> choose(DFFF: Decidable<F>, arg0: Kind<Kind<Kind<ForWriterT, F>, W>, A>, arg1: Kind<Kind<Kind<ForWriterT, F>, W>, B>, arg2: Kind<Kind<Kind<ForWriterT, F>, W>, C>, arg3: Kind<Kind<Kind<ForWriterT, F>, W>, D>, arg4: (Z) -> Either<A, Either<B, Either<C, D>>>): WriterT<F, W, Z>
fun <F, W, A, B, C, D, E, Z> choose(DFFF: Decidable<F>, arg0: Kind<Kind<Kind<ForWriterT, F>, W>, A>, arg1: Kind<Kind<Kind<ForWriterT, F>, W>, B>, arg2: Kind<Kind<Kind<ForWriterT, F>, W>, C>, arg3: Kind<Kind<Kind<ForWriterT, F>, W>, D>, arg4: Kind<Kind<Kind<ForWriterT, F>, W>, E>, arg5: (Z) -> Either<A, Either<B, Either<C, Either<D, E>>>>): WriterT<F, W, Z>
fun <F, W, A, B, C, D, E, FF, Z> choose(DFFF: Decidable<F>, arg0: Kind<Kind<Kind<ForWriterT, F>, W>, A>, arg1: Kind<Kind<Kind<ForWriterT, F>, W>, B>, arg2: Kind<Kind<Kind<ForWriterT, F>, W>, C>, arg3: Kind<Kind<Kind<ForWriterT, F>, W>, D>, arg4: Kind<Kind<Kind<ForWriterT, F>, W>, E>, arg5: Kind<Kind<Kind<ForWriterT, F>, W>, FF>, arg6: (Z) -> Either<A, Either<B, Either<C, Either<D, Either<E, FF>>>>>): WriterT<F, W, Z>
fun <F, W, A, B, C, D, E, FF, G, Z> choose(DFFF: Decidable<F>, arg0: Kind<Kind<Kind<ForWriterT, F>, W>, A>, arg1: Kind<Kind<Kind<ForWriterT, F>, W>, B>, arg2: Kind<Kind<Kind<ForWriterT, F>, W>, C>, arg3: Kind<Kind<Kind<ForWriterT, F>, W>, D>, arg4: Kind<Kind<Kind<ForWriterT, F>, W>, E>, arg5: Kind<Kind<Kind<ForWriterT, F>, W>, FF>, arg6: Kind<Kind<Kind<ForWriterT, F>, W>, G>, arg7: (Z) -> Either<A, Either<B, Either<C, Either<D, Either<E, Either<FF, G>>>>>>): WriterT<F, W, Z>
fun <F, W, A, B, C, D, E, FF, G, H, Z> choose(DFFF: Decidable<F>, arg0: Kind<Kind<Kind<ForWriterT, F>, W>, A>, arg1: Kind<Kind<Kind<ForWriterT, F>, W>, B>, arg2: Kind<Kind<Kind<ForWriterT, F>, W>, C>, arg3: Kind<Kind<Kind<ForWriterT, F>, W>, D>, arg4: Kind<Kind<Kind<ForWriterT, F>, W>, E>, arg5: Kind<Kind<Kind<ForWriterT, F>, W>, FF>, arg6: Kind<Kind<Kind<ForWriterT, F>, W>, G>, arg7: Kind<Kind<Kind<ForWriterT, F>, W>, H>, arg8: (Z) -> Either<A, Either<B, Either<C, Either<D, Either<E, Either<FF, Either<G, H>>>>>>>): WriterT<F, W, Z>
fun <F, W, A, B, C, D, E, FF, G, H, I, Z> choose(DFFF: Decidable<F>, arg0: Kind<Kind<Kind<ForWriterT, F>, W>, A>, arg1: Kind<Kind<Kind<ForWriterT, F>, W>, B>, arg2: Kind<Kind<Kind<ForWriterT, F>, W>, C>, arg3: Kind<Kind<Kind<ForWriterT, F>, W>, D>, arg4: Kind<Kind<Kind<ForWriterT, F>, W>, E>, arg5: Kind<Kind<Kind<ForWriterT, F>, W>, FF>, arg6: Kind<Kind<Kind<ForWriterT, F>, W>, G>, arg7: Kind<Kind<Kind<ForWriterT, F>, W>, H>, arg8: Kind<Kind<Kind<ForWriterT, F>, W>, I>, arg9: (Z) -> Either<A, Either<B, Either<C, Either<D, Either<E, Either<FF, Either<G, Either<H, I>>>>>>>>): WriterT<F, W, Z>
fun <F, W, A, B, C, D, E, FF, G, H, I, J, Z> choose(DFFF: Decidable<F>, arg0: Kind<Kind<Kind<ForWriterT, F>, W>, A>, arg1: Kind<Kind<Kind<ForWriterT, F>, W>, B>, arg2: Kind<Kind<Kind<ForWriterT, F>, W>, C>, arg3: Kind<Kind<Kind<ForWriterT, F>, W>, D>, arg4: Kind<Kind<Kind<ForWriterT, F>, W>, E>, arg5: Kind<Kind<Kind<ForWriterT, F>, W>, FF>, arg6: Kind<Kind<Kind<ForWriterT, F>, W>, G>, arg7: Kind<Kind<Kind<ForWriterT, F>, W>, H>, arg8: Kind<Kind<Kind<ForWriterT, F>, W>, I>, arg9: Kind<Kind<Kind<ForWriterT, F>, W>, J>, arg10: (Z) -> Either<A, Either<B, Either<C, Either<D, Either<E, Either<FF, Either<G, Either<H, Either<I, J>>>>>>>>>): WriterT<F, W, Z>