arrow-mtl / arrow.mtl.extensions.optiont.decidable

Package arrow.mtl.extensions.optiont.decidable

Extensions for External Classes

arrow.mtl.OptionT  

Functions

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