yoko-2.0: Generic Programming with Disbanded Data Types
Data.Yoko.MinCtors.MMap
Description
Like Map but with a Monoid instance that respects the value type's Semigroup instance.
Map
Monoid
Semigroup
newtype MMap k f v Source
Constructors
Fields
Instances
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