Map (u.04bb81b2649597bdccfec09b9fd16571.async_kernel.v0.14.0.doc.async_kernel.Async

Sourcemodule Deferred : sig ... end

Sourcetype ('a, 'b, 'c) t = ('a, 'b, 'c) Core_kernel.Map.t

val change : 
  ('k, 'v, 'comparator) t ->
  'k ->
  f:('v option -> 'v option Deferred.t) ->
  ('k, 'v, 'comparator) t Deferred.t

Source

val update : 
  ('k, 'v, 'comparator) t ->
  'k ->
  f:('v option -> 'v Deferred.t) ->
  ('k, 'v, 'comparator) t Deferred.t

Source

val iter_keys : 
  ?how:Monad_sequence.how ->
  ('k, _, _) t ->
  f:('k -> unit Deferred.t) ->
  unit Deferred.t

Source

val iter : 
  ?how:Monad_sequence.how ->
  (_, 'v, _) t ->
  f:('v -> unit Deferred.t) ->
  unit Deferred.t

Source

val iteri : 
  ?how:Monad_sequence.how ->
  ('k, 'v, _) t ->
  f:(key:'k -> data:'v -> unit Deferred.t) ->
  unit Deferred.t

Source

val map : 
  ?how:Monad_sequence.how ->
  ('k, 'v1, 'comparator) t ->
  f:('v1 -> 'v2 Deferred.t) ->
  ('k, 'v2, 'comparator) t Deferred.t

Source

val mapi : 
  ?how:Monad_sequence.how ->
  ('k, 'v1, 'comparator) t ->
  f:(key:'k -> data:'v1 -> 'v2 Deferred.t) ->
  ('k, 'v2, 'comparator) t Deferred.t

Source

val fold : 
  ('k, 'v, _) t ->
  init:'a ->
  f:(key:'k -> data:'v -> 'a -> 'a Deferred.t) ->
  'a Deferred.t

Source

val fold_right : 
  ('k, 'v, _) t ->
  init:'a ->
  f:(key:'k -> data:'v -> 'a -> 'a Deferred.t) ->
  'a Deferred.t

Source

val filter_keys : 
  ?how:Monad_sequence.how ->
  ('k, 'v, 'comparable) t ->
  f:('k -> bool Deferred.t) ->
  ('k, 'v, 'comparable) t Deferred.t

Source

val filter : 
  ?how:Monad_sequence.how ->
  ('k, 'v, 'comparable) t ->
  f:('v -> bool Deferred.t) ->
  ('k, 'v, 'comparable) t Deferred.t

Source

val filteri : 
  ?how:Monad_sequence.how ->
  ('k, 'v, 'comparable) t ->
  f:(key:'k -> data:'v -> bool Deferred.t) ->
  ('k, 'v, 'comparable) t Deferred.t

Source

val filter_map : 
  ?how:Monad_sequence.how ->
  ('k, 'v1, 'comparable) t ->
  f:('v1 -> 'v2 option Deferred.t) ->
  ('k, 'v2, 'comparable) t Deferred.t

Source

val filter_mapi : 
  ?how:Monad_sequence.how ->
  ('k, 'v1, 'comparable) t ->
  f:(key:'k -> data:'v1 -> 'v2 option Deferred.t) ->
  ('k, 'v2, 'comparable) t Deferred.t

Source

val merge : 
  ?how:Monad_sequence.how ->
  ('k, 'v1, 'comparator) t ->
  ('k, 'v2, 'comparator) t ->
  f:
    (key:'k ->
      [ `Left of 'v1 | `Right of 'v2 | `Both of 'v1 * 'v2 ] ->
      'v3 option Deferred.t) ->
  ('k, 'v3, 'comparator) t Deferred.t

Source

val all : 
  ('k, 'v Deferred.t, 'comparator) t ->
  ('k, 'v, 'comparator) t Deferred.t