module Agda.Utils.HashMap
  ( module HashMap
  ) where

import Data.HashMap.Strict as HashMap

-- ASR (20 January 2016) Issue 1779: I removed the @mapMaybe@ and
-- @alter@ functions because them currently aren't used and
-- them were added in unordered-containers 0.2.6.0.

-- mapMaybe :: (a -> Maybe b) -> HashMap k a -> HashMap k b

-- alter :: (Eq k, Hashable k) =>
--          (Maybe a -> Maybe a) -> k -> HashMap k a -> HashMap k a