pmap -package:plutarch-extra -package:cardano-binary -package:liqwid-plutarch-extra package:plutarch -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
newtype PMap (keysort :: KeyGuarantees) (k :: PType) (v :: PType) (s :: S)
plutarch Plutarch.Api.V1 Plutarch.Api.V1.AssocMap Plutarch.Api.V2
PMap :: Term s (PBuiltinList (PBuiltinPair (PAsData k) (PAsData v))) -> PMap (keysort :: KeyGuarantees) (k :: PType) (v :: PType) (s :: S)
plutarch Plutarch.Api.V1 Plutarch.Api.V1.AssocMap Plutarch.Api.V2
pmapData :: Term s ((PAsData a :--> PAsData b) :--> (PMap g k a :--> PMap g k b))
plutarch Plutarch.Api.V1.AssocMap
pmapMaybe :: (PIsData a, PIsData b) => Term s ((a :--> PMaybe b) :--> (PMap g k a :--> PMap g k b))
plutarch Plutarch.Api.V1.AssocMap
Maps and filters the map, much like mapMaybe.
pmapMaybeData :: Term s ((PAsData a :--> PMaybe (PAsData b)) :--> (PMap g k a :--> PMap g k b))
plutarch Plutarch.Api.V1.AssocMap