blob: 359cf64ab9e499d76fec3a61cfb7d31675088b65 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE RoleAnnotations #-}
module Map where
import Set
type role Map nominal representational
data Map k a
instance (Show k, Show a) => Show (Map k a)
size :: Map k a -> Int
lookup :: Ord k => k -> Map k a -> Maybe a
empty :: Map k a
insert :: Ord k => k -> a -> Map k a -> Map k a
delete :: Ord k => k -> Map k a -> Map k a
keysSet :: Map k a -> Set k
fromSet :: (k -> a) -> Set k -> Map k a
|