next up previous contents index
Next: forget,remember Up: Data Structures Previous: dimension   Contents   Index


HashTable


Usage

import from HashTable(K, V)
import from HashTable(K, V, h)


Parameter Type Description
K PrimitiveType the type of the keys
  HashType  
V Type the type of the entries
h K $\to$ MachineInteger the hash function to use


Description

HashTable provides hash tables with keys of type $K$, entries of type $V$ and that uses the hash-function $h$. If $K$ has HashType, then the parameter $h$ is optional as the function hash is used by default in that case.


Exports

TableType(K, V)
forget: (K $\to$ V) $\to$ % creation of a table with default
remember: (K $\to$ V) $\to$ % creation of a table with default
remove!: (K, %) $\to$ % removal of a key



Subsections
next up previous contents index
Next: forget,remember Up: Data Structures Previous: dimension   Contents   Index
Manuel Bronstein 2004-06-28