Improve tag formatting and fix some typos

Author: SerafimArts

Writerside/cfg/glossary.xml

@@ -2,6 +2,9 @@
 <!DOCTYPE terms SYSTEM "https://resources.jetbrains.com/writerside/1.0/glossary.dtd">
 <terms>
     <term name="FQN">Fully Qualified Name</term>
+    <term name="AST">Abstract Syntax Tree: a tree representation of the
+        structure of parsed source code, where each node describes a
+        construct occurring in it</term>
     <term name="Identifier">A sequence that begins with a letter and contains
         letters, numbers, underscores, and dashes</term>
     <term name="publicity-or-privacy">The use of a work free of known copyright

Writerside/labels.list

@@ -22,20 +22,6 @@
         The implementation of the functionality available for installation
         of "type-lang/phpdoc" component.
     </primary-label>
-    <primary-label href="https://packagist.org/packages/type-lang/phpdoc-standard-tags"
-                   id="phpdoc-standard-component" name="type-lang/phpdoc-standard-tags" short-name="e" color="strawberry">
-        The implementation of the functionality available for installation
-        of "type-lang/phpdoc-standard-tags" component.
-
-        This is an extension to the core "type-lang/phpdoc" component.
-    </primary-label>
-    <primary-label href="https://packagist.org/packages/type-lang/phpdoc-template-tags"
-                   id="phpdoc-template-component" name="type-lang/phpdoc-template-tags" short-name="e" color="strawberry">
-        The implementation of the functionality available for installation
-        of "type-lang/phpdoc-template-tags" component.
-
-        This is an extension to the core "type-lang/phpdoc" component.
-    </primary-label>
     <primary-label href="https://packagist.org/packages/type-lang/reader"
         id="reader-component" name="type-lang/reader" short-name="c" color="purple">
         The implementation of the functionality available for installation
@@ -46,11 +32,16 @@
         third-party tools (e.g. PHPStan or Psalm) and has no alternatives.
     </primary-label>
 
-    <secondary-label id="wip" name="WIP" color="red">Work in progress</secondary-label>
+    <secondary-label id="wip" name="WIP" color="red">Work in progress. Documentation may be outdated or incomplete</secondary-label>
     <secondary-label id="beta" name="β" color="tangerine">Beta</secondary-label>
     <secondary-label id="tl1.1" name="TypeLang >= 1.1" color="strawberry">Available since type-lang/parser 1.1+</secondary-label>
     <secondary-label id="tl1.2" name="TypeLang >= 1.2" color="strawberry">Available since type-lang/parser 1.2+</secondary-label>
     <secondary-label id="tl1.4" name="TypeLang >= 1.4" color="strawberry">Available since type-lang/parser 1.4+</secondary-label>
     <secondary-label id="tl1.6" name="TypeLang >= 1.6" color="strawberry">Available since type-lang/parser 1.6+</secondary-label>
     <secondary-label id="r1.1" name="TypeLang >= 1.1" color="strawberry">Available since type-lang/reader 1.1+</secondary-label>
+    <secondary-label id="inline-tag" name="inline" color="tangerine">May also be used inline, as a "{@tag}" sequence inside a description</secondary-label>
+    <secondary-label id="alias-tag" name="alias" color="gray">A different spelling recognized for an already documented tag</secondary-label>
+    <secondary-label id="psalm-tag" name="Psalm" color="blue">Originates from Psalm's own annotation vocabulary</secondary-label>
+    <secondary-label id="phpstan-tag" name="PHPStan" color="green">Originates from PHPStan's own annotation vocabulary</secondary-label>
+    <secondary-label id="not-implemented" name="Not implemented" color="red">Not currently recognized by this parser; listed here for reference only</secondary-label>
 </labels>

Writerside/tl.tree

@@ -39,14 +39,6 @@ the <a href="contribution.md#security-issues">special procedure instead</a>.
 </warning>
 
 You may submit a bug report using GitHub Issues.
-- [Documentation](https://github.com/php-type-language/docs/issues)
-- [Language Parser Component (type-lang/parser)](https://github.com/php-type-language/parser/issues)
-- [Mapper Component (type-lang/mapper)](https://github.com/php-type-language/mapper/issues)
-- [Printer Component (type-lang/printer)](https://github.com/php-type-language/printer/issues)
-- [Reader Component (type-lang/reader)](https://github.com/php-type-language/reader/issues)
-- [PHPDoc Parser Component (type-lang/phpdoc)](https://github.com/php-type-language/phpdoc/issues)
-- [PHPDoc Standard Tags (type-lang/phpdoc-standard-tags)](https://github.com/php-type-language/phpdoc-standard-tags/issues)
-- [PHPDoc Template Tags (type-lang/phpdoc-template-tags)](https://github.com/php-type-language/phpdoc-template-tags/issues)
 
 Please follow some basic rules:
 
@@ -148,7 +140,7 @@ provide a bug fix or to propose enhancements to TypeLang Components.
     </code-block>
   </step>
   <step>
-    Checking and correcting coding style (we follow <a href="https://www.php-fig.org/per/coding-style/">PER Coding Style 2.0</a>).
+    Checking and correcting coding style (we follow <a href="https://www.php-fig.org/per/coding-style/">PER Coding Style 3.0</a>).
     <code-block lang="Bash">
     composer phpcs:fix
     </code-block>
@@ -174,4 +166,4 @@ provide a bug fix or to propose enhancements to TypeLang Components.
   <step>
     You can now make a pull request on GitHub repository.
   </step>
-</procedure>
+</procedure>

Writerside/topics/contribution.md

@@ -1,6 +1,7 @@
-# Data Mapper
+# Type Mapper
 
 <primary-label ref="mapper-component" xmlns=""/>
+<secondary-label ref="wip"/>
 <show-structure for="chapter" depth="2"/>
 
 A mapper is a system that transforms internal data into external data 
@@ -116,4 +117,4 @@ $mapper = new TypeLang\Mapper\Mapper(
     <a href="type-extractors.md">"type extractors" documentation</a></tip>
 - `typeParserFactory` - Allows to specify custom type parsing rules
 - `typeRepositoryFactory` - Allows to specify a custom implementation of 
-  the type registry (repository)
+  the type registry (repository)

Writerside/topics/data-mapper.md

@@ -231,12 +231,12 @@ An attribute is additional metadata for a parameter.
 
 > Simple attribute with one argument for each callable parameter.
 > ```typescript
-> Example\Functor(#[type<int8>] int $a): void
+> Example\Functor(#[type(int8)] int $a): void
 > ```
 
 > Multiple attributes in one group.
 > ```typescript
-> Example\Functor(#[type<int8>, const] int&): void
+> Example\Functor(#[type(int8), const] int&): void
 > ```
 
 > Multiple attribute groups.
@@ -263,4 +263,4 @@ An attribute is additional metadata for a parameter.
 > {style="warning"}
 
 </tab>
-</tabs>
+</tabs>

Writerside/topics/language/callable-types.md

@@ -6,7 +6,7 @@
 
 TypeLang code is released under the [MIT license](https://opensource.org/license/mit):
 
-Copyright (c) 2004-present Nesmeyanov Kirill
+Copyright (c) Nesmeyanov Kirill
 
 Permission is hereby granted, free of charge, to any person obtaining a copy of
 this software and associated documentation files (the "Software"), to deal in
@@ -25,10 +25,10 @@ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY
 WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
 CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 
-## Language (Grammar/Syntax) License
+## Specification License
 
-Information about the TypeLang`s syntax and/or grammar is distributed 
-under the [CC0 license](https://creativecommons.org/publicdomain/zero/1.0/deed.en).
+[TypeLang specification](https://typelang.dev/static/spec.html) is released under 
+the [CC0 license](https://creativecommons.org/publicdomain/zero/1.0/deed.en).
 
 ### No Copyright
 
@@ -56,4 +56,4 @@ of the work, to the fullest extent permitted by applicable law.
 When using or citing the work, you should not imply
 <a href="https://creativecommons.org/faq/#do-i-need-to-be-aware-of-anything-else-when-providing-attribution">
 <tooltip term="endorsement">endorsement</tooltip>
-</a> by the author or the affirmer.
+</a> by the author or the affirmer.

Writerside/topics/license.md

@@ -1,5 +1,7 @@
 # Custom Type Builder
 
+<secondary-label ref="wip"/>
+
 To create a custom type, it may make sense to create a factory (i.e., a type 
 builder). This ensures that the [type object](types.md) is created correctly 
 and with the required constructor arguments.
@@ -68,13 +70,9 @@ public function isSupported(TypeStatement $statement): bool
 }
 ```
 
-Each named type is implemented using
-[the `NamedTypeNode` instance](ast-type-statements.md#named-types).
-
-<tip>
-A more detailed description of some of the available nodes in 
-<a href="ast-type-statements.md">the <code>TypeStatement</code> documentation pages</a>
-</tip>
+Each named type is implemented using a `NamedTypeNode` instance — a plain
+DTO from the `type-lang/types` package, exposing `$name`, `$arguments`, and
+`$fields`.
 
 
 ### Building

Writerside/topics/mapper/builders/custom-type-builder.md

@@ -1,5 +1,7 @@
 # Array Key Coercion
 
+<secondary-label ref="wip"/>
+
 <link-summary>
 Cast passed value into a PHP "array key" type.
 </link-summary>

Writerside/topics/mapper/coercers/array-key-type-coercer.md

@@ -1,5 +1,7 @@
 # Bool Coercion
 
+<secondary-label ref="wip"/>
+
 <link-summary>
 Cast passed value into a PHP boolean type.
 </link-summary>
@@ -55,4 +57,4 @@ filter_var($value, FILTER_VALIDATE_BOOLEAN);
 $coercer->coerce($value);
 // bool(true)
 </code-block>
-</warning>
+</warning>