Module Hashtbl.Make

Functor building an implementation of the hashtable structure. The functor Hashtbl.Make returns a structure containing a type key of keys and a type 'a tt('a) of hash tables associating data of type 'a to keys of type key. The operations perform similarly to those of the generic interface, but use the hashing and equality functions specified in the functor argument H instead of generic equality and hashing. Since the hash function is not seeded, the create operation of the result structure always returns non-randomized hash tables.

Parameters

module H : HashedType

module H: HashedType

Signature

type key = H.t

type key = H.t;

type 'a t = 'a Hashtbl.Make(H).t

type t('a) = Hashtbl.Make(H).t('a);

val create : int -> 'a t

let create: int => t('a);

val clear : 'a t -> unit

let clear: t('a) => unit;

val reset : 'a t -> unit

let reset: t('a) => unit;

since 4.00

val copy : 'a t -> 'a t

let copy: t('a) => t('a);

val add : 'a t -> key:key -> data:'a -> unit

let add: t('a) => key:key => data:'a => unit;

val remove : 'a t -> key -> unit

let remove: t('a) => key => unit;

val find : 'a t -> key -> 'a

let find: t('a) => key => 'a;

val find_opt : 'a t -> key -> 'a option

let find_opt: t('a) => key => option('a);

since 4.05

val find_all : 'a t -> key -> 'a list

let find_all: t('a) => key => list('a);

val replace : 'a t -> key:key -> data:'a -> unit

let replace: t('a) => key:key => data:'a => unit;

val mem : 'a t -> key -> bool

let mem: t('a) => key => bool;

val iter : f:(key:key -> data:'a -> unit) -> 'a t -> unit

let iter: f:(key:key => data:'a => unit) => t('a) => unit;

val filter_map_inplace : f:(key:key -> data:'a -> 'a option) -> 'a t -> unit

let filter_map_inplace: f:(key:key => data:'a => option('a)) => t('a) => unit;

since 4.03

val fold : f:(key:key -> data:'a -> 'acc -> 'acc) -> 'a t -> init:'acc -> 'acc

let fold: f:(key:key => data:'a => 'acc => 'acc) => t('a) => init:'acc => 'acc;

val length : 'a t -> int

let length: t('a) => int;

val stats : 'a t -> statistics

let stats: t('a) => statistics;

since 4.00

val to_seq : 'a t -> (key * 'a) Seq.t

let to_seq: t('a) => Seq.t((key, 'a));

since 4.07

val to_seq_keys : _ t -> key Seq.t

let to_seq_keys: t(_) => Seq.t(key);

since 4.07

val to_seq_values : 'a t -> 'a Seq.t

let to_seq_values: t('a) => Seq.t('a);

since 4.07

val add_seq : 'a t -> (key * 'a) Seq.t -> unit

let add_seq: t('a) => Seq.t((key, 'a)) => unit;

since 4.07

val replace_seq : 'a t -> (key * 'a) Seq.t -> unit

let replace_seq: t('a) => Seq.t((key, 'a)) => unit;

since 4.07

val of_seq : (key * 'a) Seq.t -> 'a t

let of_seq: Seq.t((key, 'a)) => t('a);

since 4.07