danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-30 04:39:00 +01:00
Code Issues Projects Releases Wiki Activity

Update docs

Browse Source
This commit is contained in:
Daniil Gentili 2022-12-03 17:07:34 +01:00
parent e1b9ae0e0d
commit 088e4e005f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/running_psalm/plugins/plugins_type_system.md
View File

@ -165,8 +165,6 @@ if (true === $first) {
`TArray` - denotes a simple array of the form `array<TKey, TValue>`. It expects an array with two elements, both union types.
`TList` - Represents an array that has some particularities: its keys are integers, they start at 0, they are consecutive and go upwards (no negative int)
`TNonEmptyArray` - as above, but denotes an array known to be non-empty.
`TKeyedArray` represents an 'object-like array' - an array with known keys.
@ -176,6 +174,8 @@ $x = ["a" => 1, "b" => 2]; // is TKeyedArray, array{a: int, b: int}
$y = rand(0, 1) ? ["a" => null] : ["a" => 1, "b" => "b"]; // is TKeyedArray with optional keys/values, array{a: ?int, b?: string}
```
This type is also used to represent lists (instead of the now-deprecated `TList` type).
Note that not all associative arrays are considered object-like. If the keys are not known, the array is treated as a mapping between two types.
``` php