Module Or_error.List

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