Data.Multimap

Generic multimap module.

Documentation

data Multimap k c v

Instances

Functor c => Functor (Multimap k c)

Methods

fmap :: (a -> b) -> Multimap k c a -> Multimap k c b

(<$) :: a -> Multimap k c b -> Multimap k c a

(Eq (c v), Eq k) => Eq (Multimap k c v)

Methods

(==) :: Multimap k c v -> Multimap k c v -> Bool

(/=) :: Multimap k c v -> Multimap k c v -> Bool

(Ord (c v), Ord k) => Ord (Multimap k c v)

Methods

compare :: Multimap k c v -> Multimap k c v -> Ordering

(<) :: Multimap k c v -> Multimap k c v -> Bool

(<=) :: Multimap k c v -> Multimap k c v -> Bool

(>) :: Multimap k c v -> Multimap k c v -> Bool

(>=) :: Multimap k c v -> Multimap k c v -> Bool

max :: Multimap k c v -> Multimap k c v -> Multimap k c v

min :: Multimap k c v -> Multimap k c v -> Multimap k c v

(Read (c v), Read k, Ord k) => Read (Multimap k c v)

Methods

readsPrec :: Int -> ReadS (Multimap k c v)

readList :: ReadS [Multimap k c v]

readPrec :: ReadPrec (Multimap k c v)

readListPrec :: ReadPrec [Multimap k c v]

(Show (c v), Show k) => Show (Multimap k c v)

Methods

showsPrec :: Int -> Multimap k c v -> ShowS

show :: Multimap k c v -> String

showList :: [Multimap k c v] -> ShowS

(Ord k, Semigroup (c v)) => Semigroup (Multimap k c v)

Methods

(<>) :: Multimap k c v -> Multimap k c v -> Multimap k c v

sconcat :: NonEmpty (Multimap k c v) -> Multimap k c v

stimes :: Integral b => b -> Multimap k c v -> Multimap k c v

(Ord k, Semigroup (c v)) => Monoid (Multimap k c v)

Methods

mempty :: Multimap k c v

mappend :: Multimap k c v -> Multimap k c v -> Multimap k c v

mconcat :: [Multimap k c v] -> Multimap k c v

class Foldable c => Collection c

Minimal complete definition

empty, singleton

Instances

Collection []

Methods

empty :: [v]

singleton :: v -> [v]

null :: [v] -> Bool

size :: [v] -> Int

Collection Seq

Methods

empty :: Seq v

singleton :: v -> Seq v

null :: Seq v -> Bool

size :: Seq v -> Int

Collection Set

Methods

empty :: Set v

singleton :: v -> Set v

null :: Set v -> Bool

size :: Set v -> Int

Tests

null :: Multimap k c v -> Bool

size :: Collection c => Multimap k c v -> Int

Construction

empty :: Multimap k c v

singleton :: (Collection c, Ord k) => k -> v -> Multimap k c v

fromMap :: Collection c => Map k (c v) -> Multimap k c v

fromList :: (Collection c, Semigroup (c v), Ord k) => [(k, v)] -> Multimap k c v

Access

(!) :: (Collection c, Ord k) => Multimap k c v -> k -> c v

insert :: (Ord k, Collection c, Semigroup (c v)) => k -> v -> Multimap k c v -> Multimap k c v

insertAll :: (Ord k, Semigroup (c v)) => k -> c v -> Multimap k c v -> Multimap k c v

deleteAll :: Ord k => k -> Multimap k c v -> Multimap k c v

Modification

filter :: (Collection c, Semigroup (c v), Ord k) => (v -> Bool) -> Multimap k c v -> Multimap k c v

filterWithKey :: (Collection c, Semigroup (c v), Ord k) => (k -> v -> Bool) -> Multimap k c v -> Multimap k c v

union :: (Ord k, Semigroup (c v)) => Multimap k c v -> Multimap k c v -> Multimap k c v

Extraction

toMap :: Multimap k c v -> Map k (c v)

toMapWith :: (c v -> a) -> Multimap k c v -> Map k a

toList :: Collection c => Multimap k c v -> [(k, v)]

Other

keysSet :: Multimap k c v -> Set k

lift1 :: (Ord k, Collection c) => (c v -> c v) -> k -> Multimap k c v -> Multimap k c v