arrow-ui / arrow.ui.extensions.sum.decidable

Package arrow.ui.extensions.sum.decidable

Extensions for External Classes

arrow.ui.Sum  

Functions

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