|
3 | 3 | SYSTEM "https://resources.jetbrains.com/writerside/1.0/product-profile.dtd">
|
4 | 4 |
|
5 | 5 | <instance-profile id="tl" name="PHP TypeLang" is-library="true" start-page="overview.topic">
|
6 |
| - <toc-element topic="overview.topic"> |
7 |
| - <toc-element topic="basic-types.md"/> |
8 |
| - <toc-element topic="logical-types.md"/> |
9 |
| - <toc-element topic="generic-types.md" toc-title="Generics"/> |
10 |
| - <toc-element topic="literal-types.md" toc-title="Literals"/> |
11 |
| - <toc-element topic="const-types.md" toc-title="Constants"/> |
12 |
| - <toc-element topic="shape-types.md" toc-title="Shapes"/> |
13 |
| - <toc-element topic="callable-types.md" toc-title="Callables"/> |
14 |
| - <toc-element topic="conditional-types.md" toc-title="Conditions"/> |
15 |
| - <toc-element topic="comparison.md"/> |
| 6 | + <toc-element topic="overview.topic" /> |
| 7 | + |
| 8 | + <toc-element toc-title="Language"> |
| 9 | + <toc-element topic="basic-types.md" |
| 10 | + toc-title="Basic types"/> |
| 11 | + <toc-element topic="logical-types.md" |
| 12 | + toc-title="Logical types"/> |
| 13 | + <toc-element topic="generic-types.md" |
| 14 | + toc-title="Template types (Generics)"/> |
| 15 | + <toc-element topic="literal-types.md" |
| 16 | + toc-title="Literal values"/> |
| 17 | + <toc-element topic="const-types.md" |
| 18 | + toc-title="Constant references"/> |
| 19 | + <toc-element topic="shape-types.md" |
| 20 | + toc-title="Shape types"/> |
| 21 | + <toc-element topic="callable-types.md" |
| 22 | + toc-title="Callable types (Delegates)"/> |
| 23 | + <!-- TODO --> |
| 24 | + <toc-element topic="conditional-types.md" toc-title="Conditions" hidden="true"/> |
| 25 | + <toc-element topic="comparison.md" toc-title="Comparison of syntax between different tools"> |
| 26 | + <toc-element topic="basic-types-comparison.md" |
| 27 | + toc-title="Basic types"/> |
| 28 | + <toc-element topic="conditional-types-comparison.md" |
| 29 | + toc-title="Conditional types"/> |
| 30 | + <toc-element topic="literal-types-comparison.md" |
| 31 | + toc-title="Literal types"/> |
| 32 | + <toc-element topic="shape-types-comparison.md" |
| 33 | + toc-title="Shape types"/> |
| 34 | + <toc-element topic="callable-types-comparison.md" |
| 35 | + toc-title="Callable types"/> |
| 36 | + </toc-element> |
| 37 | + |
| 38 | + <toc-element toc-title="Other tools"> |
| 39 | + <toc-element toc-title="PHPStan" href="https://phpstan.org/writing-php-code/phpdoc-types" /> |
| 40 | + <toc-element toc-title="Psalm" href="https://psalm.dev/docs/annotating_code/typing_in_psalm/" /> |
| 41 | + <toc-element toc-title="PhpStorm" href="https://www.jetbrains.com/help/phpstorm/php-type-checking.html" /> |
| 42 | + <toc-element toc-title="phpDocumentor" href="https://docs.phpdoc.org/guide/guides/types.html" /> |
| 43 | + </toc-element> |
16 | 44 | </toc-element>
|
17 | 45 |
|
18 | 46 | <toc-element topic="parser.md" toc-title="Parser">
|
19 |
| - <toc-element topic="features.md"/> |
20 |
| - <toc-element topic="tolerant-mode.md"/> |
| 47 | + <toc-element topic="features.md" |
| 48 | + toc-title="Feature toggling"/> |
| 49 | + <toc-element topic="tolerant-mode.md" |
| 50 | + toc-title="Tolerant mode"/> |
21 | 51 | <toc-element topic="visitors.md">
|
22 | 52 | <toc-element topic="class-name-matcher-visitor.md"/>
|
23 | 53 | <toc-element topic="stream-dumper-visitor.md"/>
|
24 | 54 | <toc-element topic="string-dumper-visitor.md"/>
|
25 | 55 | <toc-element topic="type-map-visitor.md"/>
|
26 | 56 | </toc-element>
|
| 57 | + <toc-element toc-title="GitHub" href="https://github.com/php-type-language/parser" /> |
| 58 | + <toc-element toc-title="Packagist" href="https://packagist.org/packages/type-lang/parser" /> |
27 | 59 | </toc-element>
|
28 | 60 |
|
29 |
| - <toc-element topic="printer.md" toc-title="Printer"/> |
30 |
| - <toc-element topic="reader.md" toc-title="Reader"/> |
| 61 | + <toc-element topic="printer.md" toc-title="Printer"> |
| 62 | + <toc-element toc-title="GitHub" href="https://github.com/php-type-language/printer" /> |
| 63 | + <toc-element toc-title="Packagist" href="https://packagist.org/packages/type-lang/printer" /> |
| 64 | + </toc-element> |
| 65 | + |
| 66 | + <toc-element topic="reader.md" toc-title="Reader"> |
| 67 | + <toc-element toc-title="GitHub" href="https://github.com/php-type-language/reader" /> |
| 68 | + <toc-element toc-title="Packagist" href="https://packagist.org/packages/type-lang/reader" /> |
| 69 | + </toc-element> |
31 | 70 | </instance-profile>
|
0 commit comments