pmap -package:ghc -package:typerep-map -package:plutarch-extra is:exact

pmap :: (PIsData a, PIsData b) => Term s ((a :--> b) :--> (PMap g k a :--> PMap g k b))
plutarch Plutarch.Api.V1.AssocMap
Applies a function to every value in the map, much like map.
pmap :: (PListLike list, PElemConstraint list a, PElemConstraint list b) => Term s ((a :--> b) :--> (list a :--> list b))
plutarch Plutarch.List Plutarch.Prelude
O(n) . Map a function over a list of elements