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

Packages

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