yoko-2.0: Generic Programming with Disbanded Data Types

Safe HaskellSafe-Inferred

Data.Yoko.MinCtors.MMap

Description

Like Map but with a Monoid instance that respects the value type's Semigroup instance.

Documentation

newtype MMap k f v Source

Constructors

MMap 

Fields

unMMap :: Map k (f v)
 

Instances

Eq (Map k (f v)) => Eq (MMap k f v) 
Show (Map k (f v)) => Show (MMap k f v) 
(Ord k, Semigroup (f v)) => Monoid (MMap k f v) 

map :: (t t1 -> f v) -> MMap k t t1 -> MMap k f vSource

singleton :: k -> f v -> MMap k f vSource

null :: MMap k t t1 -> BoolSource

empty :: MMap k f vSource

foldMap :: Monoid m => (k -> f v -> m) -> MMap k f v -> mSource

mapWithMonoKeys :: (k -> k1) -> (f v -> g v1) -> MMap k f v -> MMap k1 g v1Source

lookup :: Ord k => k -> MMap k f v -> Maybe (f v)Source