Module Core_extended.Extended_hashtbl.Access_control

type ('key, 'data, -'z) any
module Immutable : sig ... end
module Read_only : sig ... end
module Read_write : sig ... end
val of_hashtbl : ('key, 'data) Core.Hashtbl.t ‑> ('key, 'data, [< _ Core.perms ]) any
val clear : (_, _) Read_write.t ‑> unit
val copy : ('a, 'b, [> Core.read ]) any ‑> ('a, 'b, [< _ Core.perms ]) any
val fold : ('a, 'b, [> Core.read ]) any ‑> init:'c ‑> f:(key:'a ‑> data:'b ‑> 'c ‑> 'c) ‑> 'c
val iter_keys : ('a, 'b, [> Core.read ]) any ‑> f:('a ‑> unit) ‑> unit
val iter : ('a, 'b, [> Core.read ]) any ‑> f:('b ‑> unit) ‑> unit
val iteri : ('a, 'b, [> Core.read ]) any ‑> f:(key:'a ‑> data:'b ‑> unit) ‑> unit
val iter_vals : ('a, 'b, [> Core.read ]) any ‑> f:('b ‑> unit) ‑> unit
val existsi : ('a, 'b, [> Core.read ]) any ‑> f:(key:'a ‑> data:'b ‑> bool) ‑> bool
val exists : ('a, 'b, [> Core.read ]) any ‑> f:('b ‑> bool) ‑> bool
val length : (_, _, _) any ‑> int
val is_empty : (_, _, _) any ‑> bool
val mem : ('a, _, [> Core.read ]) any ‑> 'a ‑> bool
val remove : ('a, _) Read_write.t ‑> 'a ‑> unit
val replace : ('a, 'b) Read_write.t ‑> key:'a ‑> data:'b ‑> unit
val set : ('a, 'b) Read_write.t ‑> key:'a ‑> data:'b ‑> unit
val add : ('a, 'b) Read_write.t ‑> key:'a ‑> data:'b ‑> [ `Ok | `Duplicate ]
val add_exn : ('a, 'b) Read_write.t ‑> key:'a ‑> data:'b ‑> unit
val change : ('a, 'b) Read_write.t ‑> 'a ‑> f:('b option ‑> 'b option) ‑> unit
val update : ('a, 'b) Read_write.t ‑> 'a ‑> f:('b option ‑> 'b) ‑> unit
val add_multi : ('a, 'b list) Read_write.t ‑> key:'a ‑> data:'b ‑> unit
val remove_multi : ('a, _ list) Read_write.t ‑> 'a ‑> unit
val map : ('a, 'b, [> Core.read ]) any ‑> f:('b ‑> 'c) ‑> ('a, 'c, [< _ Core.perms ]) any
val mapi : ('a, 'b, [> Core.read ]) any ‑> f:(key:'a ‑> data:'b ‑> 'c) ‑> ('a, 'c, [< _ Core.perms ]) any
val filter_map : ('a, 'b, [> Core.read ]) any ‑> f:('b ‑> 'c option) ‑> ('a, 'c, [< _ Core.perms ]) any
val filter_mapi : ('a, 'b, [> Core.read ]) any ‑> f:(key:'a ‑> data:'b ‑> 'c option) ‑> ('a, 'c, [< _ Core.perms ]) any
val filter_keys : ('a, 'b, [> Core.read ]) any ‑> f:('a ‑> bool) ‑> ('a, 'b, [< _ Core.perms ]) any
val filter : ('a, 'b, [> Core.read ]) any ‑> f:('b ‑> bool) ‑> ('a, 'b, [< _ Core.perms ]) any
val filteri : ('a, 'b, [> Core.read ]) any ‑> f:(key:'a ‑> data:'b ‑> bool) ‑> ('a, 'b, [< _ Core.perms ]) any
val find_or_add : ('a, 'b) Read_write.t ‑> 'a ‑> default:(unit ‑> 'b) ‑> 'b
val find : ('a, 'b, [> Core.read ]) any ‑> 'a ‑> 'b option
val find_exn : ('a, 'b, [> Core.read ]) any ‑> 'a ‑> 'b
val merge : ('k, 'a, [> Core.read ]) any ‑> ('k, 'b, [> Core.read ]) any ‑> f:(key:'k ‑> [ `Left of 'a | `Right of 'b | `Both of 'a * 'b ] ‑> 'c option) ‑> ('k, 'c, [< _ Core.perms ]) any
type 'a merge_into_action =
| Remove
| Set_to of 'a
val merge_into : src:('a, 'b, [> Core.read ]) any ‑> dst:('a, 'b) Read_write.t ‑> f:(key:'a ‑> 'b ‑> 'b option ‑> 'b merge_into_action) ‑> unit
val keys : ('a, 'b, [> Core.read ]) any ‑> 'a list
val data : ('a, 'b, [> Core.read ]) any ‑> 'b list
val filter_inplace : ('a, 'b) Read_write.t ‑> f:('b ‑> bool) ‑> unit
val filteri_inplace : ('a, 'b) Read_write.t ‑> f:(key:'a ‑> data:'b ‑> bool) ‑> unit
val equal : ('a, 'b, [> Core.read ]) any ‑> ('a, 'b, [> Core.read ]) any ‑> ('b ‑> 'b ‑> bool) ‑> bool
val to_alist : ('a, 'b, [> Core.read ]) any ‑> ('a * 'b) list
val incr : ?by:int ‑> ?remove_if_zero:bool ‑> ('a, int) Read_write.t ‑> 'a ‑> unit