Data.HashTable.ST.Swiss

Documentation

newtype Table s k v

Constructors

T (STRef s (Table_ s k v))

Instances

Generic (Table s k v)

Defined in Data.HashTable.ST.Swiss

Associated Types

type Rep (Table s k v) :: Type -> Type

Methods

from :: Table s k v -> Rep (Table s k v) x

to :: Rep (Table s k v) x -> Table s k v

type Rep (Table s k v)

Defined in Data.HashTable.ST.Swiss

type Rep (Table s k v)

new :: ST s (Table s k v)

newSized :: Int -> ST s (Table s k v)

insert' :: (Hashable k, Eq k) => (k -> Int) -> Table s k v -> k -> v -> ST s ()

insert :: (Hashable k, Eq k) => Table s k v -> k -> v -> ST s ()

lookup' :: forall k s a. (Hashable k, Eq k) => (k -> Int) -> Table s k a -> k -> ST s (Maybe a)

lookup :: (Hashable k, Eq k) => Table s k a -> k -> ST s (Maybe a)

delete' :: (Hashable k, Eq k) => (k -> Int) -> Table s k v -> k -> ST s ()

delete :: (Hashable k, Eq k) => Table s k v -> k -> ST s ()

foldM :: (a -> (k, v) -> ST s a) -> a -> Table s k v -> ST s a

mapM_ :: ((k, v) -> ST s a) -> Table s k v -> ST s ()

analyze :: (Hashable k, Show k) => Table RealWorld k v -> ST RealWorld ()

getSize :: Table s k v -> ST s Int

mutateST :: (Eq k, Hashable k) => Table s k v -> k -> (Maybe v -> ST s (Maybe v, a)) -> ST s a

mutate :: (Eq k, Hashable k) => Table s k v -> k -> (Maybe v -> (Maybe v, a)) -> ST s a