PHP Type Checker Generator

Types

Name from type Optimize

Emit as

Run generate to see output

Run generate to see output

Run generate to see output

Run generate to see output

Generate PHP 8+ type checking code for PHPDoc types as supported by PHPStan with @phpstan-assert-if-true. Source on GitHub.

Edit the type or options on the left; output updates automatically. Tabs follow the pipeline left to right: Type AST → IR (build) → IR (optimized) → PHP Code. With Optimize on, PHP uses IR (optimized). With it off, the optimizer is skipped and PHP is rendered from IR (build). Some types cannot be validated at runtime (for example callable(int): void or unhandled generics) and report a generation error.

Warning: Always review generated PHP before using it in production. Output may be incorrect or incomplete for edge cases.