~fgaz/bimap-many

ref: b1257a548ff8a338bf059957ccde166f681b3fb0 bimap-many/src/Data/Map/Signature.hsig -rw-r--r-- 1.0 KiB
b1257a54Francesco Gazzetta Cabal file improvements 7 months ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
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)]