package async_kernel
Module Deferred.MapSource
Source
val change :
('k, 'v, 'comparator) t ->
'k ->
f:('v option -> 'v option Deferred.t) ->
('k, 'v, 'comparator) t Deferred.tSource
val update :
('k, 'v, 'comparator) t ->
'k ->
f:('v option -> 'v Deferred.t) ->
('k, 'v, 'comparator) t Deferred.tSource
val iter_keys :
how:Monad_sequence.how ->
('k, _, _) t ->
f:('k -> unit Deferred.t) ->
unit Deferred.tSource
val iter :
how:Monad_sequence.how ->
(_, 'v, _) t ->
f:('v -> unit Deferred.t) ->
unit Deferred.tSource
val iteri :
how:Monad_sequence.how ->
('k, 'v, _) t ->
f:(key:'k -> data:'v -> unit Deferred.t) ->
unit Deferred.tSource
val map :
how:Monad_sequence.how ->
('k, 'v1, 'comparator) t ->
f:('v1 -> 'v2 Deferred.t) ->
('k, 'v2, 'comparator) t Deferred.tSource
val mapi :
how:Monad_sequence.how ->
('k, 'v1, 'comparator) t ->
f:(key:'k -> data:'v1 -> 'v2 Deferred.t) ->
('k, 'v2, 'comparator) t Deferred.tSource
val fold :
('k, 'v, _) t ->
init:'a ->
f:(key:'k -> data:'v -> 'a -> 'a Deferred.t) ->
'a Deferred.tSource
val fold_right :
('k, 'v, _) t ->
init:'a ->
f:(key:'k -> data:'v -> 'a -> 'a Deferred.t) ->
'a Deferred.tSource
val filter_keys :
how:Monad_sequence.how ->
('k, 'v, 'comparable) t ->
f:('k -> bool Deferred.t) ->
('k, 'v, 'comparable) t Deferred.tSource
val filter :
how:Monad_sequence.how ->
('k, 'v, 'comparable) t ->
f:('v -> bool Deferred.t) ->
('k, 'v, 'comparable) t Deferred.tSource
val filteri :
how:Monad_sequence.how ->
('k, 'v, 'comparable) t ->
f:(key:'k -> data:'v -> bool Deferred.t) ->
('k, 'v, 'comparable) t Deferred.tSource
val filter_map :
how:Monad_sequence.how ->
('k, 'v1, 'comparable) t ->
f:('v1 -> 'v2 option Deferred.t) ->
('k, 'v2, 'comparable) t Deferred.tSource
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.tSource
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