Data.Map.Extras

mapMaybe :: forall u v k. Ord k => (v -> Maybe u) -> Map k v -> Map k u

mapMaybeWithKey :: forall u v k. Ord k => (k -> v -> Maybe u) -> Map k v -> Map k u

mapKeys :: forall v k j. Ord j => Ord k => (k -> j) -> Map k v -> Map j v

mapKeysMaybe :: forall v k j. Ord j => Ord k => (k -> Maybe j) -> Map k v -> Map j v

mapKeysWith :: forall v k j. Ord j => Ord k => (v -> v -> v) -> (k -> j) -> Map k v -> Map j v

The value at the greater of the two original keys is used as the first argument to c.

mapKeysMaybeWithValueWith :: forall v k j. Ord j => Ord k => (k -> Maybe j) -> (k -> v -> Maybe v -> Maybe (Tuple j v)) -> Map k v -> Map j v