Examples.MultiMap.Instances.MultiMap4

A lawful implementation of MultiMap, implemented in terms of MonoidMap and Set.

Documentation

newtype MultiMap4 k v

Constructors

MultiMap (MonoidMap k (Set v))

Instances

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

Defined in Examples.MultiMap.Instances.MultiMap4

Methods

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

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

empty :: MultiMap4 k v

lookup :: k -> MultiMap4 k v -> Set v

null :: MultiMap4 k v -> Bool

nonNull :: MultiMap4 k v -> Bool

nonNullKey :: k -> MultiMap4 k v -> Bool

nonNullKeys :: MultiMap4 k v -> Set k

nonNullCount :: MultiMap4 k v -> Int

isSubmapOf :: MultiMap4 k v -> MultiMap4 k v -> Bool

update :: k -> Set v -> MultiMap4 k v -> MultiMap4 k v

insert :: k -> Set v -> MultiMap4 k v -> MultiMap4 k v

remove :: k -> Set v -> MultiMap4 k v -> MultiMap4 k v

union :: MultiMap4 k v -> MultiMap4 k v -> MultiMap4 k v

intersection :: MultiMap4 k v -> MultiMap4 k v -> MultiMap4 k v

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

Defined in Examples.MultiMap.Instances.MultiMap4

Methods

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

show :: MultiMap4 k v -> String

showList :: [MultiMap4 k v] -> ShowS

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

Defined in Examples.MultiMap.Instances.MultiMap4

Methods

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

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