MONO_HASH2_TABLE
signature
signature MONO_HASH2_TABLE
structure Key1 : HASH_KEY
structure Key2 : HASH_KEY
type 'a hash_table
val mkTable : (int * exn) -> 'a hash_table
val insert : 'a hash_table -> (Key1.hash_key * Key2.hash_key * 'a) -> unit
val lookup1 : 'a hash_table -> Key1.hash_key -> 'a
val lookup2 : 'a hash_table -> Key2.hash_key -> 'a
val find : 'a hash_table -> Key1.hash_key -> 'a option
val find : 'a hash_table -> Key2.hash_key -> 'a option
val remove : 'a hash_table -> Key1.hash_key -> 'a
val remove : 'a hash_table -> Key2.hash_key -> 'a
val numItems : 'a hash_table -> int
val listItems : 'a hash_table -> (Key1.hash_key * Key2.hash_key * 'a) list
val app : ('a -> unit) -> 'a hash_table -> unit
val appi : ((Key1.hash_key * Key2.hash_key * 'a) -> unit) -> 'a hash_table -> unit
val map : ('a -> 'b) -> 'a hash_table -> 'b hash_table
val mapi : ((Key1.hash_key * Key2.hash_key * 'a) -> 'b) -> 'a hash_table -> 'b hash_table
val fold : (('a * 'b) -> 'b) -> 'b -> 'a hash_table -> 'b
val foldi : ((Key1.hash_key * Key2.hash_key * 'a * 'b) -> 'b) -> 'b -> 'a hash_table -> 'b
val filter : ('a -> bool) -> 'a hash_table -> unit
val filteri : ((Key1.hash_key * Key2.hash_key * 'a) -> bool) -> 'a hash_table -> unit
val copy : 'a hash_table -> 'a hash_table
val bucketSizes : 'a hash_table -> (int list * int list)
structure Key1
structure Key2
type 'a hash_table
mkTable (i, ex)
insert ht (hk, hk2, a)
lookup1 ht hk
lookup2 ht hk
find ht hk
find ht hk
remove ht hk
remove ht hk
numItems ht
listItems ht
app f ht
appi f ht
map f ht
mapi f ht
fold f a ht
foldi f a ht
filter f ht
filteri f ht
copy ht
bucketSizes ht
Last Modified May 29, 1996
Copyright © 1996 AT&T Research