p-map

semver>=4.0.0 <8.0.0postconditions2functions2last verified2026-06-19

Pro tier. Pro profiles cover packages that took meaningful research effort — payments, cloud SDKs, enterprise data stores. We list every Pro profile publicly so you can verify coverage before subscribing, but the postcondition detail is gated. 2 postconditions across 2 functions for p-map.

Postconditions (2) — Pro only

Unlock p-map postconditions

Pro tier includes every Pro profile, regression-tested releases, and priority on new profile requests.

See Pro pricing

Need a different package?

Request a profile