Agda.Utils.HashTable
Description
Hash tables.
data HashTable k v Source #
empty :: IO (HashTable k v) Source #
An empty hash table.
insert :: (Eq k, Hashable k) => HashTable k v -> k -> v -> IO () Source #
Inserts the key and the corresponding value into the hash table.
lookup :: (Eq k, Hashable k) => HashTable k v -> k -> IO (Maybe v) Source #
Tries to find a value corresponding to the key in the hash table.
toList :: (Eq k, Hashable k) => HashTable k v -> IO [(k, v)] Source #
Converts the hash table to a list.
The order of the elements in the list is unspecified.