Up

module Lwt_list

: sig

List helpers

Note: this module use the same naming convention as [root: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 iteri_s : (int -> 'a -> unit Lwt.t) -> 'a list -> unit Lwt.t
#
val iteri_p : (int -> '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 mapi_s : (int -> 'a -> 'b Lwt.t) -> 'a list -> 'b list Lwt.t
#
val mapi_p : (int -> '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
end