:: Term s ((a :--> b) :--> list a :--> list b) -is:exact -is:exact -is:exact is:exact

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

pfmap :: forall (a :: S -> Type) (b :: S -> Type) (s :: S) . (PFunctor f, PSubcategory f a, PSubcategory f b) => Term s ((a :--> b) :--> (f a :--> f b))

liqwid-plutarch-extra Plutarch.Extra.Functor