Module type Async_kernel__.Monad_sequence.S
val foldi : 'a t ‑> init:'b ‑> f:(int ‑> 'b ‑> 'a ‑> 'b monad) ‑> 'b monad
val fold : 'a t ‑> init:'b ‑> f:('b ‑> 'a ‑> 'b monad) ‑> 'b monad
val find : 'a t ‑> f:('a ‑> bool monad) ‑> 'a option monad
val findi : 'a t ‑> f:(int ‑> 'a ‑> bool monad) ‑> (int * 'a) option monad
val find_map : 'a t ‑> f:('a ‑> 'b option monad) ‑> 'b option monad
val find_mapi : 'a t ‑> f:(int ‑> 'a ‑> 'b option monad) ‑> 'b option monad
val exists : 'a t ‑> f:('a ‑> bool monad) ‑> bool monad
val existsi : 'a t ‑> f:(int ‑> 'a ‑> bool monad) ‑> bool monad
val for_all : 'a t ‑> f:('a ‑> bool monad) ‑> bool monad
val for_alli : 'a t ‑> f:(int ‑> 'a ‑> bool monad) ‑> bool monad
Deferred iterators
In the following, the default how
is `Sequential
val iteri : ?how:how ‑> 'a t ‑> f:(int ‑> 'a ‑> unit monad) ‑> unit monad
val filteri : ?how:how ‑> 'a t ‑> f:(int ‑> 'a ‑> bool monad) ‑> 'a t monad
val filter_map : ?how:how ‑> 'a t ‑> f:('a ‑> 'b option monad) ‑> 'b t monad
val filter_mapi : ?how:how ‑> 'a t ‑> f:(int ‑> 'a ‑> 'b option monad) ‑> 'b t monad
val concat_mapi : ?how:how ‑> 'a t ‑> f:(int ‑> 'a ‑> 'b t monad) ‑> 'b t monad