mapAccumL package:monoidmap-internal

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

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))

mapAccumL :: (s -> v1 -> (s, v2)) -> s -> Map k v1 -> (s, Map k v2)

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))