Up

Module Deferred_map

Signature

type ('a, 'b, 'c) t = ('a, 'b, 'c) Core_kernel.Std.Map.t
val change : ('k, 'v, 'comparator) t -> 'k -> f:('v option -> 'v option Deferred.t) -> ('k, 'v, 'comparator) t Deferred.t
val update : ('k, 'v, 'comparator) t -> 'k -> f:('v option -> 'v Deferred.t) -> ('k, 'v, 'comparator) t Deferred.t
val iter : ?how:Monad_sequence.how -> ('k, 'v, _) t -> f:(key:'k -> data:'v -> unit Deferred.t) -> unit Deferred.t
val iteri : ?how:Monad_sequence.how -> ('k, 'v, _) t -> f:(key:'k -> data:'v -> unit Deferred.t) -> unit Deferred.t
val map : ?how:Monad_sequence.how -> ('k, 'v1, 'comparator) t -> f:('v1 -> 'v2 Deferred.t) -> ('k, 'v2, 'comparator) t Deferred.t
val mapi : ?how:Monad_sequence.how -> ('k, 'v1, 'comparator) t -> f:(key:'k -> data:'v1 -> 'v2 Deferred.t) -> ('k, 'v2, 'comparator) t Deferred.t
val fold : ('k, 'v, _) t -> init:'a -> f:(key:'k -> data:'v -> 'a -> 'a Deferred.t) -> 'a Deferred.t
val fold_right : ('k, 'v, _) t -> init:'a -> f:(key:'k -> data:'v -> 'a -> 'a Deferred.t) -> 'a Deferred.t
val filter : ?how:Monad_sequence.how -> ('k, 'v, 'comparable) t -> f:(key:'k -> data:'v -> bool Deferred.t) -> ('k, 'v, 'comparable) t Deferred.t
val filteri : ?how:Monad_sequence.how -> ('k, 'v, 'comparable) t -> f:(key:'k -> data:'v -> bool Deferred.t) -> ('k, 'v, 'comparable) t Deferred.t
val filter_map : ?how:Monad_sequence.how -> ('k, 'v1, 'comparable) t -> f:('v1 -> 'v2 option Deferred.t) -> ('k, 'v2, 'comparable) t Deferred.t
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
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
val all : ('k, 'v Deferred.t, 'comparator) t -> ('k, 'v, 'comparator) t Deferred.t