arrow-extras-extensions / arrow.data.extensions.eithert.decidable

Package arrow.data.extensions.eithert.decidable

Extensions for External Classes

arrow.data.EitherT  

Functions

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