Module Core_kernel__.Hashtbl

include Core_kernel.Hashtbl_intf.Hashtbl with type ('a, 'b) t = ('a, 'b) Base.Hashtbl.t
val hash : 'a ‑> int
val hash_param : int ‑> int ‑> 'a ‑> int
type ('a, 'b) t
val sexp_of_t : ('a ‑> Base.Sexp.t) ‑> ('b ‑> Base.Sexp.t) ‑> ('a, 'b) t ‑> Base.Sexp.t
val create : ?⁠growth_allowed:bool ‑> ?⁠size:int ‑> (module Base__.Hashtbl_intf.Key with type t = 'a) ‑> ('a, 'b) t
val of_alist : ?⁠growth_allowed:bool ‑> ?⁠size:int ‑> (module Base__.Hashtbl_intf.Key with type t = 'a) ‑> ('a * 'b) list ‑> [ `Duplicate_key of 'a | `Ok of ('a, 'b) t ]
val of_alist_report_all_dups : ?⁠growth_allowed:bool ‑> ?⁠size:int ‑> (module Base__.Hashtbl_intf.Key with type t = 'a) ‑> ('a * 'b) list ‑> [ `Duplicate_keys of 'a list | `Ok of ('a, 'b) t ]
val of_alist_or_error : ?⁠growth_allowed:bool ‑> ?⁠size:int ‑> (module Base__.Hashtbl_intf.Key with type t = 'a) ‑> ('a * 'b) list ‑> ('a, 'b) t Base.Or_error.t
val of_alist_exn : ?⁠growth_allowed:bool ‑> ?⁠size:int ‑> (module Base__.Hashtbl_intf.Key with type t = 'a) ‑> ('a * 'b) list ‑> ('a, 'b) t
val of_alist_multi : ?⁠growth_allowed:bool ‑> ?⁠size:int ‑> (module Base__.Hashtbl_intf.Key with type t = 'a) ‑> ('a * 'b) list ‑> ('a, 'b list) t
val create_mapped : ?⁠growth_allowed:bool ‑> ?⁠size:int ‑> (module Base__.Hashtbl_intf.Key with type t = 'a) ‑> get_key:('r ‑> 'a) ‑> get_data:('r ‑> 'b) ‑> 'r list ‑> [ `Duplicate_keys of 'a list | `Ok of ('a, 'b) t ]
val create_with_key : ?⁠growth_allowed:bool ‑> ?⁠size:int ‑> (module Base__.Hashtbl_intf.Key with type t = 'a) ‑> get_key:('r ‑> 'a) ‑> 'r list ‑> [ `Duplicate_keys of 'a list | `Ok of ('a, 'r) t ]
val create_with_key_or_error : ?⁠growth_allowed:bool ‑> ?⁠size:int ‑> (module Base__.Hashtbl_intf.Key with type t = 'a) ‑> get_key:('r ‑> 'a) ‑> 'r list ‑> ('a, 'r) t Base.Or_error.t
val create_with_key_exn : ?⁠growth_allowed:bool ‑> ?⁠size:int ‑> (module Base__.Hashtbl_intf.Key with type t = 'a) ‑> get_key:('r ‑> 'a) ‑> 'r list ‑> ('a, 'r) t
val group : ?⁠growth_allowed:bool ‑> ?⁠size:int ‑> (module Base__.Hashtbl_intf.Key with type t = 'a) ‑> get_key:('r ‑> 'a) ‑> get_data:('r ‑> 'b) ‑> combine:('b ‑> 'b ‑> 'b) ‑> 'r list ‑> ('a, 'b) t
type 'a key = 'a
val sexp_of_key : ('a, 'b) t ‑> 'a key ‑> Base.Sexp.t
val clear : ('a, 'b) t ‑> unit
val copy : ('a, 'b) t ‑> ('a, 'b) t
val fold : ('a, 'b) t ‑> init:'c ‑> f:(key:'a key ‑> data:'b ‑> 'c ‑> 'c) ‑> 'c
val iter_keys : ('a, 'b) t ‑> f:('a key ‑> unit) ‑> unit
val iter : ('a, 'b) t ‑> f:('b ‑> unit) ‑> unit
val iteri : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> unit) ‑> unit
val existsi : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> bool) ‑> bool
val exists : ('a, 'b) t ‑> f:('b ‑> bool) ‑> bool
val for_alli : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> bool) ‑> bool
val for_all : ('a, 'b) t ‑> f:('b ‑> bool) ‑> bool
val counti : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> bool) ‑> int
val count : ('a, 'b) t ‑> f:('b ‑> bool) ‑> int
val length : ('a, 'b) t ‑> int
val is_empty : ('a, 'b) t ‑> bool
val mem : ('a, 'b) t ‑> 'a key ‑> bool
val remove : ('a, 'b) t ‑> 'a key ‑> unit
val set : ('a, 'b) t ‑> key:'a key ‑> data:'b ‑> unit
val add : ('a, 'b) t ‑> key:'a key ‑> data:'b ‑> [ `Duplicate | `Ok ]
val add_exn : ('a, 'b) t ‑> key:'a key ‑> data:'b ‑> unit
val change : ('a, 'b) t ‑> 'a key ‑> f:('b option ‑> 'b option) ‑> unit
val update : ('a, 'b) t ‑> 'a key ‑> f:('b option ‑> 'b) ‑> unit
val map : ('a, 'b) t ‑> f:('b ‑> 'c) ‑> ('a, 'c) t
val mapi : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> 'c) ‑> ('a, 'c) t
val filter_map : ('a, 'b) t ‑> f:('b ‑> 'c option) ‑> ('a, 'c) t
val filter_mapi : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> 'c option) ‑> ('a, 'c) t
val filter_keys : ('a, 'b) t ‑> f:('a key ‑> bool) ‑> ('a, 'b) t
val filter : ('a, 'b) t ‑> f:('b ‑> bool) ‑> ('a, 'b) t
val filteri : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> bool) ‑> ('a, 'b) t
val partition_map : ('a, 'b) t ‑> f:('b ‑> [ `Fst of 'c | `Snd of 'd ]) ‑> ('a, 'c) t * ('a, 'd) t
val partition_mapi : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> [ `Fst of 'c | `Snd of 'd ]) ‑> ('a, 'c) t * ('a, 'd) t
val partition_tf : ('a, 'b) t ‑> f:('b ‑> bool) ‑> ('a, 'b) t * ('a, 'b) t
val partitioni_tf : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> bool) ‑> ('a, 'b) t * ('a, 'b) t
val find_or_add : ('a, 'b) t ‑> 'a key ‑> default:(unit ‑> 'b) ‑> 'b
val findi_or_add : ('a, 'b) t ‑> 'a key ‑> default:('a key ‑> 'b) ‑> 'b
val find : ('a, 'b) t ‑> 'a key ‑> 'b option
val find_exn : ('a, 'b) t ‑> 'a key ‑> 'b
val find_and_call : ('a, 'b) t ‑> 'a key ‑> if_found:('b ‑> 'c) ‑> if_not_found:('a key ‑> 'c) ‑> 'c
val findi_and_call : ('a, 'b) t ‑> 'a key ‑> if_found:(key:'a key ‑> data:'b ‑> 'c) ‑> if_not_found:('a key ‑> 'c) ‑> 'c
val find_and_remove : ('a, 'b) t ‑> 'a key ‑> 'b option
val merge : ('k, 'a) t ‑> ('k, 'b) t ‑> f:(key:'k key ‑> [ `Both of 'a * 'b | `Left of 'a | `Right of 'b ] ‑> 'c option) ‑> ('k, 'c) t
type 'a merge_into_action =
| Remove
| Set_to of 'a
val merge_into : src:('k, 'a) t ‑> dst:('k, 'b) t ‑> f:(key:'k key ‑> 'a ‑> 'b option ‑> 'b merge_into_action) ‑> unit
val keys : ('a, 'b) t ‑> 'a key list
val data : ('a, 'b) t ‑> 'b list
val filter_keys_inplace : ('a, 'b) t ‑> f:('a key ‑> bool) ‑> unit
val filter_inplace : ('a, 'b) t ‑> f:('b ‑> bool) ‑> unit
val filteri_inplace : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> bool) ‑> unit
val map_inplace : ('a, 'b) t ‑> f:('b ‑> 'b) ‑> unit
val mapi_inplace : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> 'b) ‑> unit
val filter_map_inplace : ('a, 'b) t ‑> f:('b ‑> 'b option) ‑> unit
val filter_mapi_inplace : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> 'b option) ‑> unit
val equal : ('a, 'b) t ‑> ('a, 'b) t ‑> ('b ‑> 'b ‑> bool) ‑> bool
val similar : ('a, 'b1) t ‑> ('a, 'b2) t ‑> ('b1 ‑> 'b2 ‑> bool) ‑> bool
val to_alist : ('a, 'b) t ‑> ('a key * 'b) list
val validate : name:('a key ‑> string) ‑> 'b Base.Validate.check ‑> ('a, 'b) t Base.Validate.check
val incr : ?⁠by:int ‑> ?⁠remove_if_zero:bool ‑> ('a, int) t ‑> 'a key ‑> unit
val decr : ?⁠by:int ‑> ?⁠remove_if_zero:bool ‑> ('a, int) t ‑> 'a key ‑> unit
val add_multi : ('a, 'b list) t ‑> key:'a key ‑> data:'b ‑> unit
val remove_multi : ('a, 'b list) t ‑> 'a key ‑> unit
val find_multi : ('a, 'b list) t ‑> 'a key ‑> 'b list
val hashable_s : ('key, 'a) t ‑> (module Base__.Hashtbl_intf.Key with type t = 'key)
module Using_hashable : sig ... end
module Poly : sig ... end
module type Key_plain = Core_kernel.Hashtbl_intf.Key_plain
module type S_plain : Core_kernel.Hashtbl_intf.S_plain with type ('a, 'b) hashtbl = ('a, 'b) t
module type S : Core_kernel.Hashtbl_intf.S with type ('a, 'b) hashtbl = ('a, 'b) t
module type S_binable : Core_kernel.Hashtbl_intf.S_binable with type ('a, 'b) hashtbl = ('a, 'b) t
module Make_plain : functor (Key : Key_plain) -> S_plain with type key = Key.t
module Make : functor (Key : Key) -> S with type key = Key.t
module Make_binable : functor (Key : Key_binable) -> S_binable with type key = Key.t
module M : functor (K : Base.T.T) -> sig ... end
val hashable : ('key, _) t ‑> 'key Hashable.t
val iter_vals : (_, 'b) t ‑> f:('b ‑> Core_kernel__.Import.unit) ‑> Core_kernel__.Import.unit
  • Deprecated [since 2016-04] Use iter instead
val replace : ('a, 'b) t ‑> key:'a key ‑> data:'b ‑> Core_kernel__.Import.unit
  • Deprecated [since 2015-10] Use set instead
val replace_all : (_, 'b) t ‑> f:('b ‑> 'b) ‑> Core_kernel__.Import.unit
  • Deprecated [since 2016-02] Use map_inplace instead
val replace_alli : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> 'b) ‑> Core_kernel__.Import.unit
  • Deprecated [since 2016-02] Use mapi_inplace instead
val filter_replace_all : (_, 'b) t ‑> f:('b ‑> 'b Core_kernel__.Import.option) ‑> Core_kernel__.Import.unit
  • Deprecated [since 2016-02] Use filter_map_inplace instead
val filter_replace_alli : ('a, 'b) t ‑> f:(key:'a key ‑> data:'b ‑> 'b Core_kernel__.Import.option) ‑> Core_kernel__.Import.unit
  • Deprecated [since 2016-02] Use filter_mapi_inplace instead