Up

Module Hashtbl2_pair = Hashtbl2_pair

Signature

module type Key = Hashtbl2.Key
type ('key1, 'key2, 'data) t
val sexp_of_t : ('key1 -> Sexplib.Sexp.t) -> ('key2 -> Sexplib.Sexp.t) -> ('data -> Sexplib.Sexp.t) -> ('key1, 'key2, 'data) t -> Sexplib.Sexp.t
include Core.Std.Invariant.S3 with type ('a, 'b, 'c) t := ('a, 'b, 'c) t
type ('a, 'b, 'c) t
val invariant : 'a Invariant_intf.inv -> 'b Invariant_intf.inv -> 'c Invariant_intf.inv -> ('a, 'b, 'c) t Invariant_intf.inv
val clear : (_, _, _) t -> unit
val add_exn : ('key1, 'key2, 'data) t -> 'key1 -> 'key2 -> 'data -> unit
val set : ('key1, 'key2, 'data) t -> 'key1 -> 'key2 -> 'data -> unit
val find : ('key1, 'key2, 'data) t -> 'key1 -> 'key2 -> 'data option
val mem : ('key1, 'key2, 'data) t -> 'key1 -> 'key2 -> bool
val mem1 : ('key1, 'key2, 'data) t -> 'key1 -> bool
val mem2 : ('key1, 'key2, 'data) t -> 'key2 -> bool
val iter : ('key1, 'key2, 'data) t -> f:('key1 -> 'key2 -> 'data -> unit) -> unit
val iter1 : ('key1, 'key2, 'data) t -> f:('key1 -> ('key2, 'data) Core.Std.Hashtbl.t -> unit) -> unit
val iter2 : ('key1, 'key2, 'data) t -> f:('key2 -> ('key1, 'data) Core.Std.Hashtbl.t -> unit) -> unit
val find1 : ('key1, 'key2, 'data) t -> 'key1 -> ('key2, 'data) Core.Std.Hashtbl.t option
val find2 : ('key1, 'key2, 'data) t -> 'key2 -> ('key1, 'data) Core.Std.Hashtbl.t option
val find1_iter2 : ('key1, 'key2, 'data) t -> 'key1 -> f:('key2 -> 'data -> unit) -> unit
val find2_iter1 : ('key1, 'key2, 'data) t -> 'key2 -> f:('key1 -> 'data -> unit) -> unit
val remove_all1 : ('key1, _, _) t -> 'key1 -> unit
val remove_exn : ('key1, 'key2, _) t -> 'key1 -> 'key2 -> unit
module Make (Key1 : Key) (Key2 : Key) : sig .. end