@phan-pure

The @phan-pure tag declares a function or method as pure — free of side effects, with a return value that depends only on its arguments.

Parsing a @phan-pure tag produces a PureTag instance. Being a pure marker, it adds nothing beyond the $name and optional $description every Tag already carries.

The same PureTag is produced by @psalm-pure and @phpstan-pure, which restate the same concept for their respective tools.

Defined by Phan, a static analyzer for PHP; no dedicated documentation page could be confirmed for this tag.