Module Lwt_list

module Lwt_list : sig..end

List helpers

Note: this module use the same naming convention as Lwt_stream.

List iterators ¶

val iter_s : ('a -> unit Lwt.t) -> 'a list -> unit Lwt.t

val iter_p : ('a -> unit Lwt.t) -> 'a list -> unit Lwt.t

val map_s : ('a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t

val map_p : ('a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t

val rev_map_s : ('a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t

val rev_map_p : ('a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t

val fold_left_s : ('a -> 'b -> 'a Lwt.t) -> 'a -> 'b list -> 'a Lwt.t

val fold_right_s : ('a -> 'b -> 'b Lwt.t) -> 'a list -> 'b -> 'b Lwt.t

List scanning ¶

val for_all_s : ('a -> bool Lwt.t) -> 'a list -> bool Lwt.t

val for_all_p : ('a -> bool Lwt.t) -> 'a list -> bool Lwt.t

val exists_s : ('a -> bool Lwt.t) -> 'a list -> bool Lwt.t

val exists_p : ('a -> bool Lwt.t) -> 'a list -> bool Lwt.t

List searching ¶

val find_s : ('a -> bool Lwt.t) -> 'a list -> 'a Lwt.t

val filter_s : ('a -> bool Lwt.t) -> 'a list -> 'a list Lwt.t

val filter_p : ('a -> bool Lwt.t) -> 'a list -> 'a list Lwt.t

val partition_s : 
  ('a -> bool Lwt.t) -> 'a list -> ('a list * 'a list) Lwt.t

val partition_p : 
  ('a -> bool Lwt.t) -> 'a list -> ('a list * 'a list) Lwt.t