Module `Eager_deferred.List`

val foldi : 
  'a list ->
  init:'b ->
  f:(int -> 'b -> 'a -> 'b Async_kernel.Deferred.t) ->
  'b Async_kernel.Deferred.t

val fold : 
  'a list ->
  init:'b ->
  f:('b -> 'a -> 'b Async_kernel.Deferred.t) ->
  'b Async_kernel.Deferred.t

val find : 
  'a list ->
  f:('a -> bool Async_kernel.Deferred.t) ->
  'a option Async_kernel.Deferred.t

val findi : 
  'a list ->
  f:(int -> 'a -> bool Async_kernel.Deferred.t) ->
  (int * 'a) option Async_kernel.Deferred.t

val find_map : 
  'a list ->
  f:('a -> 'b option Async_kernel.Deferred.t) ->
  'b option Async_kernel.Deferred.t

val find_mapi : 
  'a list ->
  f:(int -> 'a -> 'b option Async_kernel.Deferred.t) ->
  'b option Async_kernel.Deferred.t

val exists : 
  'a list ->
  f:('a -> bool Async_kernel.Deferred.t) ->
  bool Async_kernel.Deferred.t

val existsi : 
  'a list ->
  f:(int -> 'a -> bool Async_kernel.Deferred.t) ->
  bool Async_kernel.Deferred.t

val for_all : 
  'a list ->
  f:('a -> bool Async_kernel.Deferred.t) ->
  bool Async_kernel.Deferred.t

val for_alli : 
  'a list ->
  f:(int -> 'a -> bool Async_kernel.Deferred.t) ->
  bool Async_kernel.Deferred.t

val all : 'a Async_kernel.Deferred.t list -> 'a list Async_kernel.Deferred.t

val all_unit : 
  unit Async_kernel.Deferred.t list ->
  unit Async_kernel.Deferred.t

Deferred iterators

In the following, the default how is `Sequential

val init : 
  ?how:Async_kernel.Monad_sequence.how ->
  int ->
  f:(int -> 'a Async_kernel.Deferred.t) ->
  'a list Async_kernel.Deferred.t

val iter : 
  ?how:Async_kernel.Monad_sequence.how ->
  'a list ->
  f:('a -> unit Async_kernel.Deferred.t) ->
  unit Async_kernel.Deferred.t

val iteri : 
  ?how:Async_kernel.Monad_sequence.how ->
  'a list ->
  f:(int -> 'a -> unit Async_kernel.Deferred.t) ->
  unit Async_kernel.Deferred.t

val map : 
  ?how:Async_kernel.Monad_sequence.how ->
  'a list ->
  f:('a -> 'b Async_kernel.Deferred.t) ->
  'b list Async_kernel.Deferred.t

val mapi : 
  ?how:Async_kernel.Monad_sequence.how ->
  'a list ->
  f:(int -> 'a -> 'b Async_kernel.Deferred.t) ->
  'b list Async_kernel.Deferred.t

val filter : 
  ?how:Async_kernel.Monad_sequence.how ->
  'a list ->
  f:('a -> bool Async_kernel.Deferred.t) ->
  'a list Async_kernel.Deferred.t

val filteri : 
  ?how:Async_kernel.Monad_sequence.how ->
  'a list ->
  f:(int -> 'a -> bool Async_kernel.Deferred.t) ->
  'a list Async_kernel.Deferred.t

val filter_map : 
  ?how:Async_kernel.Monad_sequence.how ->
  'a list ->
  f:('a -> 'b option Async_kernel.Deferred.t) ->
  'b list Async_kernel.Deferred.t

val filter_mapi : 
  ?how:Async_kernel.Monad_sequence.how ->
  'a list ->
  f:(int -> 'a -> 'b option Async_kernel.Deferred.t) ->
  'b list Async_kernel.Deferred.t

val concat_map : 
  ?how:Async_kernel.Monad_sequence.how ->
  'a list ->
  f:('a -> 'b list Async_kernel.Deferred.t) ->
  'b list Async_kernel.Deferred.t

val concat_mapi : 
  ?how:Async_kernel.Monad_sequence.how ->
  'a list ->
  f:(int -> 'a -> 'b list Async_kernel.Deferred.t) ->
  'b list Async_kernel.Deferred.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/async_kernel.eager_deferred/Eager_deferred/List/index.html

Module `Eager_deferred.List`

Deferred iterators

package async_kernel

Install

Dune Dependency

Authors

Maintainers

Sources

doc/async_kernel.eager_deferred/Eager_deferred/List/index.html

Module Eager_deferred.List

Deferred iterators

Module `Eager_deferred.List`