函子 MoreLabels.Hashtbl.Make

module Make: 
functor (H : HashedType-> S with type key = H.t and type 'a t = 'a Hashtbl.Make(H).t

建構雜湊表結構實作的函子。函子 Hashtbl.Make 回傳一個包含鍵的型別 key 和將型別 'a 的資料與型別 key 的鍵關聯的雜湊表型別 'a t 的結構。這些操作的執行方式與通用介面類似,但會使用函子引數 H 中指定的雜湊和相等函式,而不是使用通用的相等和雜湊函式。由於雜湊函式未經初始化,結果結構的 create 操作始終會回傳非隨機化的雜湊表。

參數
H : HashedType

type key 
type !'a t 
val create : int -> 'a t
val clear : 'a t -> unit
val reset : 'a t -> unit
val copy : 'a t -> 'a t
val add : 'a t -> key:key -> data:'a -> unit
val remove : 'a t -> key -> unit
val find : 'a t -> key -> 'a
val find_opt : 'a t -> key -> 'a option
val find_all : 'a t -> key -> 'a list
val replace : 'a t -> key:key -> data:'a -> unit
val mem : 'a t -> key -> bool
val iter : f:(key:key -> data:'a -> unit) ->
'a t -> unit
val filter_map_inplace : f:(key:key -> data:'a -> 'a option) ->
'a t -> unit
val fold : f:(key:key -> data:'a -> 'acc -> 'acc) ->
'a t -> init:'acc -> 'acc
val length : 'a t -> int
val stats : 'a t -> MoreLabels.Hashtbl.statistics
val to_seq : 'a t -> (key * 'a) Seq.t
val to_seq_keys : 'a t -> key Seq.t
val to_seq_values : 'a t -> 'a Seq.t
val add_seq : 'a t ->
(key * 'a) Seq.t -> unit
val replace_seq : 'a t ->
(key * 'a) Seq.t -> unit
val of_seq : (key * 'a) Seq.t -> 'a t