ModuleAgda-2.7.0.1Haskell2010

Agda.Utils.HashTable

Hash tables.

newtypenewtype HashTable k v

Hash tables.

valueempty :: IO (HashTable k v)

An empty hash table.

valueinsert :: (Eq k, Hashable k) => HashTable k v -> k -> v -> IO ()

Inserts the key and the corresponding value into the hash table.

valuelookup :: (Eq k, Hashable k) => HashTable k v -> k -> IO (Maybe v)

Tries to find a value corresponding to the key in the hash table.

valuetoList :: (Eq k, Hashable k) => HashTable k v -> IO [(k, v)]

Converts the hash table to a list.

The order of the elements in the list is unspecified.

valuekeySet :: Ord k => HashTable k v -> IO (Set k)