arrow-mtl / arrow.mtl.extensions.statet.decidable

Package arrow.mtl.extensions.statet.decidable

Extensions for External Classes

arrow.mtl.StateT  

Functions

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