backendtea / psl-phpstan-extension

PHPStan psl 扩展

维护者

详细信息

github.com/BackEndTea/psl-phpstan-extension

开放问题: 1

类型:phpstan-extension

0.0.1 2022-05-25 20:41 UTC

Requires

php: ^7.4 || ^8.0
phpstan/phpstan: ^1.7

Requires (Dev)

azjezz/psl: ^1.6||^2.0
doctrine/coding-standard: ^9.0
nikic/php-parser: ^4.13.0
php-parallel-lint/php-parallel-lint: ^1.2
phpstan/phpstan-phpunit: ^1.0
phpstan/phpstan-strict-rules: ^1.0
phpunit/phpunit: ^9.5

Suggests

None

Provides

None

Conflicts

azjezz/psl: <1.6||>=3.0

Replaces

None

MIT 02615df99f97b323136d5889ae3f2ff4791f442c

dev-main
0.0.1

This package is auto-updated.

Last update: 2024-08-26 01:40:47 UTC

README

描述

此扩展的主要作用是帮助phpstan在使用Psl\Type\shape后检测类型。它的目的是产生与psalm插件相同的输出。以下是一个示例

use Psl\Type;

$specification = Type\shape([
    'name' => Type\string(),
    'age' => Type\int(),
    'location' => Type\optional(Type\shape([
        'city' => Type\string(),
        'state' => Type\string(),
        'country' => Type\string(),
    ]))
]);

$input = $specification->coerce($_GET['user']);

PhpStan 假定$input的类型为array<"age"|"location"|"name", array<"city"|"country"|"state", string>|int|string>。

如果我们启用此扩展，您将获得更具体和正确的类型array{name: string, age: int, location?: array{city: string, state: string, country: string}}。