~fgaz/bimap-many

ref: 9ae94b07cff2d836a80f4ffa543abf31ee27614e bimap-many/src/Data/Map/Signature.hsig -rw-r--r-- 1.1 KiB
9ae94b07Francesco Gazzetta Lazy/strict Functor and Traversable instances 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
33
34
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
map :: (a -> b) -> Map k a -> Map k b
traverseWithKey :: Applicative t => (k -> a -> t b) -> Map k a -> t (Map k b)
keys :: Map k a -> [k]
toList :: Map k a -> [(k, a)]