Examples.MultiMap.Instances.MultiMap3

A lawful implementation of MultiMap, implemented in terms of Map and NESet.

Documentation

newtype MultiMap3 k v

Constructors

MultiMap (Map k (NESet v))

Instances

(Ord k, Ord v) => MultiMap MultiMap3 k v

Defined in Examples.MultiMap.Instances.MultiMap3

Methods

fromList :: [(k, Set v)] -> MultiMap3 k v

toList :: MultiMap3 k v -> [(k, Set v)]

empty :: MultiMap3 k v

lookup :: k -> MultiMap3 k v -> Set v

null :: MultiMap3 k v -> Bool

nonNull :: MultiMap3 k v -> Bool

nonNullKey :: k -> MultiMap3 k v -> Bool

nonNullKeys :: MultiMap3 k v -> Set k

nonNullCount :: MultiMap3 k v -> Int

isSubmapOf :: MultiMap3 k v -> MultiMap3 k v -> Bool

update :: k -> Set v -> MultiMap3 k v -> MultiMap3 k v

insert :: k -> Set v -> MultiMap3 k v -> MultiMap3 k v

remove :: k -> Set v -> MultiMap3 k v -> MultiMap3 k v

union :: MultiMap3 k v -> MultiMap3 k v -> MultiMap3 k v

intersection :: MultiMap3 k v -> MultiMap3 k v -> MultiMap3 k v

(Show k, Show v) => Show (MultiMap3 k v)

Defined in Examples.MultiMap.Instances.MultiMap3

Methods

showsPrec :: Int -> MultiMap3 k v -> ShowS

show :: MultiMap3 k v -> String

showList :: [MultiMap3 k v] -> ShowS

(Eq k, Eq v) => Eq (MultiMap3 k v)

Defined in Examples.MultiMap.Instances.MultiMap3

Methods

(==) :: MultiMap3 k v -> MultiMap3 k v -> Bool

(/=) :: MultiMap3 k v -> MultiMap3 k v -> Bool