:: Term s ((a :--> b) :--> list a :--> list b) is:exact -package:liqwid-plutarch-extra

Packages
plutarch

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