signature Data.Map.Signature where

import Data.Set (Set)
import Control.DeepSeq (NFData)

data Map k v

instance Functor (Map k)
instance Foldable (Map k)
instance Traversable (Map k)
instance (Eq k, Eq a) => Eq (Map k a)
instance (Ord k, Ord v) => Ord (Map k v)
instance (NFData k, NFData a) => NFData (Map k a)

empty :: Map k a
singleton :: k -> a -> Map k a
fromSet :: (k -> a) -> Set k -> Map k a
fromDistinctAscList :: [(k, a)] -> Map k a
insert :: Ord k => k -> a -> Map k a -> Map k a
delete :: Ord k => k -> Map k a -> Map k a
update :: Ord k => (a -> Maybe a) -> k -> Map k a -> Map k a
alter :: Ord k => (Maybe a -> Maybe a) -> k -> Map k a -> Map k a
lookup :: Ord k => k -> Map k a -> Maybe a
(!?) :: Ord k => Map k a -> k -> Maybe a
(!) :: Ord k => Map k a -> k -> a
member :: Ord k => k -> Map k a -> Bool
null :: Map k a -> Bool
size :: Map k a -> Int
union :: Ord k => Map k a -> Map k a -> Map k a
unionWith :: Ord k => (a -> a -> a) -> Map k a -> Map k a -> Map k a
keys :: Map k a -> [k]
toList :: Map k a -> [(k, a)]