Structure HashArray Basis Foreign Signal

Hash table type - Creates a hash table of specified initial size. This version expands the hash table and rehashes when the table gets too full

structure HashArray: sig type 'a hash val hash: int -> 'a hash val update: 'a hash * string * 'a -> unit val sub: 'a hash * string -> 'a option val delete: 'a hash * string -> unit val fold: (string * 'a * 'b -> 'b) -> 'b -> 'a hash -> 'b end type 'a hash

The hashtable type

val hash : int -> 'a hash

Create a hash table with a given initial size.

val update : 'a hash * string * 'a -> unit

Add a new entry to the table or update an existing one. The table will grow if necessary.

val sub : 'a hash * string -> 'a option

Search for an entry. Returns SOME if the entry exists or NONE if it does not.

val delete : 'a hash * string -> unit

Delete an entry from the table.

val fold : (string * 'a * 'b -> 'b) -> 'b -> 'a hash -> 'b

Fold a function over all the entries in the table.