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