Module Or_error.List

All of the List functions that take a how argument treat it the following way:

`Sequential indicates both sequential evaluation of the deferreds, and sequential combination of the results.

`Parallel indicates parallel evaluation of the deferreds (in the sense that they are all in the scheduler at the same time), and parallel combination of the results. For example, List.iter ~how:`Parallel l ~f will call f on each element of l, creating all of the deferreds, then wait for _all_ of them to finish, then combine any errors (as in Or_error.combine_errors_unit).

`Max_concurrent_jobs n acts like `Parallel in the way it combines the results, but only evaluates n of the deferreds at a time.

val foldi : 'a list -> init:'b -> f:(int -> 'b -> 'a -> 'a t) -> 'a t
val fold : 'a list -> init:'b -> f:('b -> 'a -> 'a t) -> 'a t
val find : 'a list -> f:('a -> 'a t) -> 'a t
val findi : 'a list -> f:(int -> 'a -> 'a t) -> 'a t
val find_map : 'a list -> f:('a -> 'a t) -> 'a t
val find_mapi : 'a list -> f:(int -> 'a -> 'a t) -> 'a t
val exists : 'a list -> f:('a -> 'a t) -> 'a t
val existsi : 'a list -> f:(int -> 'a -> 'a t) -> 'a t
val for_all : 'a list -> f:('a -> 'a t) -> 'a t
val for_alli : 'a list -> f:(int -> 'a -> 'a t) -> 'a t
val all : 'a list -> 'a t
val all_unit : 'a list -> 'a t

Deferred iterators

val init : ?⁠how:Async_kernel.Monad_sequence.how -> int -> f:(int -> 'a t) -> 'a t
val iter : ?⁠how:Async_kernel.Monad_sequence.how -> 'a list -> f:('a -> 'a t) -> 'a t
val iteri : ?⁠how:Async_kernel.Monad_sequence.how -> 'a list -> f:(int -> 'a -> 'a t) -> 'a t
val map : ?⁠how:Async_kernel.Monad_sequence.how -> 'a list -> f:('a -> 'a t) -> 'a t
val mapi : ?⁠how:Async_kernel.Monad_sequence.how -> 'a list -> f:(int -> 'a -> 'a t) -> 'a t
val filter : ?⁠how:Async_kernel.Monad_sequence.how -> 'a list -> f:('a -> 'a t) -> 'a t
val filteri : ?⁠how:Async_kernel.Monad_sequence.how -> 'a list -> f:(int -> 'a -> 'a t) -> 'a t
val filter_map : ?⁠how:Async_kernel.Monad_sequence.how -> 'a list -> f:('a -> 'a t) -> 'a t
val filter_mapi : ?⁠how:Async_kernel.Monad_sequence.how -> 'a list -> f:(int -> 'a -> 'a t) -> 'a t
val concat_map : ?⁠how:Async_kernel.Monad_sequence.how -> 'a list -> f:('a -> 'a t) -> 'a t
val concat_mapi : ?⁠how:Async_kernel.Monad_sequence.how -> 'a list -> f:(int -> 'a -> 'a t) -> 'a t