Sourceval add : ('a, 'b, [> `Write ]) t -> key:'a -> data:'b -> unit Sourceval replace : ('a, 'b, [> `Write ]) t -> key:'a -> data:'b -> unit Sourceval iter : f:(key:'a -> data:'b -> unit) -> ('a, 'b, [> `Read ]) t -> unit Sourceval for_all : f:(key:'a -> data:'b -> bool) -> ('a, 'b, [> `Read ]) t -> bool Sourceval map :
f:(key:'a -> data:'b -> 'c) ->
('a, 'b, [> `Read ]) t ->
('a, 'c, _) t Sourceval map_inplace :
f:(key:'a -> data:'b -> 'b) ->
('a, 'b, [> `Write ]) t ->
unit Sourceval filter : f:('a -> bool) -> ('key, 'a, [> `Read ]) t -> ('key, 'a, _) t Sourceval filter_inplace : f:('a -> bool) -> ('key, 'a, [> `Write ]) t -> unit Sourceval filteri :
f:(key:'key -> data:'a -> bool) ->
('key, 'a, [> `Read ]) t ->
('key, 'a, _) t Sourceval filteri_inplace :
f:(key:'key -> data:'a -> bool) ->
('key, 'a, [> `Write ]) t ->
unit Sourceval filter_map :
f:(key:'key -> data:'a -> 'b option) ->
('key, 'a, [> `Read ]) t ->
('key, 'b, _) t Sourceval filter_map_inplace :
f:(key:'key -> data:'a -> 'a option) ->
('key, 'a, [> `Write ]) t ->
unit Sourceval fold :
f:(key:'a -> data:'b -> 'c -> 'c) ->
('a, 'b, [> `Read ]) t ->
init:'c ->
'c Sourceval exists : f:(key:'a -> data:'b -> bool) -> ('a, 'b, [> `Read ]) t -> bool Sourceval merge :
f:('key -> 'a option -> 'b option -> 'c option) ->
left:('key, 'a, [> `Read ]) t ->
right:('key, 'b, [> `Read ]) t ->
('key, 'c, _) t Sourceval merge_all :
f:('key -> 'a list -> 'b list -> 'c list) ->
left:('key, 'a, [> `Read ]) t ->
right:('key, 'b, [> `Read ]) t ->
('key, 'c, _) t