Modulehashtables-1.4.2Haskell2010

Data.HashTable.IO

This module provides wrappers in IO around the functions from Data.HashTable.Class.

This module exports three concrete hash table types, one for each hash table implementation in this package:

type BasicHashTable  k v = IOHashTable (B.HashTable)  k v
type CuckooHashTable k v = IOHashTable (Cu.HashTable) k v
type LinearHashTable k v = IOHashTable (L.HashTable)  k v

The IOHashTable type can be thought of as a wrapper around a concrete hashtable type, which sets the ST monad state type to PrimState IO, a.k.a. RealWorld:

type IOHashTable tabletype k v = tabletype (PrimState IO) k v

This module provides stToIO wrappers around the hashtable functions (which are in ST) to make it convenient to use them in IO. It is intended to be imported qualified and used with a user-defined type alias, i.e.:

import qualified Data.HashTable.IO as H

type HashTable k v = H.CuckooHashTable k v

foo :: IO (HashTable Int Int)
foo = do
    ht <- H.new
    H.insert ht 1 1
    return ht

Essentially, anywhere you see IOHashTable h k v in the type signatures below, you can plug in any of BasicHashTable k v, CuckooHashTable k v, or LinearHashTable k v.

4 types
15 values

Packagehashtables-1.4.2
Exports19
LanguageHaskell2010
LicenceBSD-3-Clause
SourceIO.hs

typetype BasicHashTable k v = IOHashTable HashTable k v

A type alias for a basic open addressing hash table using linear probing. See Data.HashTable.ST.Basic.

typetype CuckooHashTable k v = IOHashTable HashTable k v

A type alias for the cuckoo hash table. See Data.HashTable.ST.Cuckoo.

typetype LinearHashTable k v = IOHashTable HashTable k v

A type alias for the linear hash table. See Data.HashTable.ST.Linear.

typetype IOHashTable (tabletype :: Type -> Type -> Type -> Type) k v = tabletype (PrimState IO) k v

A type alias for our hash tables, which run in ST, to set the state token type to PrimState IO (aka RealWorld) so that we can use them in IO.

valuenew :: HashTable h => IO (IOHashTable h k v)

See the documentation for this function in new.

valuenewSized :: HashTable h => Int -> IO (IOHashTable h k v)

See the documentation for this function in newSized.

valueinsert

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

See the documentation for this function in insert.

valuedelete :: (HashTable h, Eq k, Hashable k) => IOHashTable h k v -> k -> IO ()

See the documentation for this function in delete.

valuelookup

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

See the documentation for this function in lookup.

valuemutate

:: (HashTable h, Eq k, Hashable k)
=> IOHashTable h k v
-> k
-> Maybe v -> (Maybe v, a)
-> IO a

See the documentation for this function in mutate.

valuemutateIO

:: (HashTable h, Eq k, Hashable k)
=> IOHashTable h k v
-> k
-> Maybe v -> IO (Maybe v, a)
-> IO a

See the documentation for this function in mutateST.

valuefromList

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

See the documentation for this function in fromList.

valuefromListWithSizeHint

:: (HashTable h, Eq k, Hashable k)
=> Int
-> [(k, v)]
-> IO (IOHashTable h k v)

See the documentation for this function in fromListWithSizeHint.

valuetoList

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

See the documentation for this function in toList.

valuemapM_ :: HashTable h => ((k, v) -> IO a) -> IOHashTable h k v -> IO ()

See the documentation for this function in mapM_.

valuefoldM

:: HashTable h
=> a -> (k, v) -> IO a
-> a
-> IOHashTable h k v
-> IO a

See the documentation for this function in foldM.

valuecomputeOverhead :: HashTable h => IOHashTable h k v -> IO Double

See the documentation for this function in computeOverhead.

valuelookupIndex

:: (HashTable h, Eq k, Hashable k)
=> IOHashTable h k v
-> k
-> IO (Maybe Word)

See the documentation for this function in lookupIndex.

valuenextByIndex

:: (HashTable h, Eq k, Hashable k)
=> IOHashTable h k v
-> Word
-> IO (Maybe (Word, k, v))

See the documentation for this function in nextByIndex.