# The SML/NJ Library Reference Manual

### The `MONO_HASH2_TABLE` signature

#### Synopsis

> `signature `MONO_HASH2_TABLE`
> `

#### Interface

> `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)
> `

#### Description

`structure Key1`
`structure Key2`
`type 'a hash_table`
`mkTable (i, ex)`
  explain the use and semantics of mkTable HERE.
`insert ht (hk, hk2, a)`
  explain the use and semantics of insert HERE.
`lookup1 ht hk`
  explain the use and semantics of lookup1 HERE.
`lookup2 ht hk`
  explain the use and semantics of lookup2 HERE.
`find ht hk`
  explain the use and semantics of find HERE.
`find ht hk`
  explain the use and semantics of find HERE.
`remove ht hk`
  explain the use and semantics of remove HERE.
`remove ht hk`
  explain the use and semantics of remove HERE.
`numItems ht`
  explain the use and semantics of numItems HERE.
`listItems ht`
  explain the use and semantics of listItems HERE.
`app f ht`
  explain the use and semantics of app HERE.
`appi f ht`
  explain the use and semantics of appi HERE.
`map f ht`
  explain the use and semantics of map HERE.
`mapi f ht`
  explain the use and semantics of mapi HERE.
`fold f a ht`
  explain the use and semantics of fold HERE.
`foldi f a ht`
  explain the use and semantics of foldi HERE.
`filter f ht`
  explain the use and semantics of filter HERE.
`filteri f ht`
  explain the use and semantics of filteri HERE.
`copy ht`
  explain the use and semantics of copy HERE.
`bucketSizes ht`
  explain the use and semantics of bucketSizes HERE.

[ INDEX | TOP | Parent | Root ]

Last Modified May 29, 1996
Copyright © 1996 AT&T Research