mapAccumL package:monoidmap

mapAccumL :: MonoidNull v2 => (s -> v1 -> (s, v2)) -> s -> MonoidMap k v1 -> (s, MonoidMap k v2)

monoidmap Data.MonoidMap

Threads an accumulating argument through the map in ascending order of keys. Satisfies the following property:

mapAccumL f s m ==
fmap fromMap (Traversable.mapAccumL f s (toMap m))

mapAccumLWithKey :: MonoidNull v2 => (s -> k -> v1 -> (s, v2)) -> s -> MonoidMap k v1 -> (s, MonoidMap k v2)

monoidmap Data.MonoidMap

Threads an accumulating argument through the map in ascending order of keys. Satisfies the following property:

mapAccumLWithKey f s m ==
fmap fromMap (Map.mapAccumWithKey f s (toMap m))