# The SML/NJ Library Reference Manual

### The `HASH_TABLE` signature

#### Synopsis

> `signature `HASH_TABLE`
> `

#### Interface

> `type ('a,'b) hash_table
> val mkTable : (('a -> word) * (('a * 'a) -> bool)) -> (int * exn) -> ('a,'b) hash_table
> val insert : ('a,'b) hash_table -> ('a * 'b) -> unit
> val lookup : ('a,'b) hash_table -> 'a -> 'b
> val find : ('a,'b) hash_table -> 'a -> 'b option
> val remove : ('a,'b) hash_table -> 'a -> 'b
> val numItems : ('a,'b) hash_table -> int
> val listItems : ('a,'b) hash_table -> ('a * 'b) list
> val appi : (('a * 'b) -> unit) -> ('a,'b) hash_table -> unit
> val app : ('b -> unit) -> ('a,'b) hash_table -> unit
> val mapi : (('a * 'b) -> 'c) -> ('a,'b) hash_table -> ('a,'c) hash_table
> val map : ('b -> 'c) -> ('a,'b) hash_table -> ('a,'c) hash_table
> val foldi : (('a * 'b * 'c) -> 'c) -> 'c -> ('a,'b) hash_table -> 'c
> val fold : (('b * 'c) -> 'c) -> 'c -> ('a,'b) hash_table -> 'c
> val filteri : (('a * 'b) -> bool) -> ('a,'b) hash_table -> unit
> val filter : ('a -> bool) -> ('a,'b) hash_table -> unit
> val copy : ('a,'b) hash_table -> ('a,'b) hash_table
> val bucketSizes : ('a,'b) hash_table -> int list
> `

#### Description

`type ('a,'b) hash_table`
`mkTable (f, g) (i, ex)`
  explain the use and semantics of mkTable HERE.
`insert ht (a, b)`
  explain the use and semantics of insert HERE.
`lookup ht a`
  explain the use and semantics of lookup HERE.
`find ht a`
  explain the use and semantics of find HERE.
`remove ht a`
  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.
`appi f ht`
  explain the use and semantics of appi HERE.
`app f ht`
  explain the use and semantics of app HERE.
`mapi f ht`
  explain the use and semantics of mapi HERE.
`map f ht`
  explain the use and semantics of map HERE.
`foldi f a ht`
  explain the use and semantics of foldi HERE.
`fold f a ht`
  explain the use and semantics of fold HERE.
`filteri f ht`
  explain the use and semantics of filteri HERE.
`filter f ht`
  explain the use and semantics of filter 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