Generated types

Author: vudaltsov

.gitattributes

@@ -1,6 +1,7 @@
 /.github/                export-ignore
 /stubs/                  export-ignore
 /tests/                  export-ignore
+/tools/                  export-ignore
 /.gitattributes          export-ignore
 /.gitignore              export-ignore
 /.php-cs-fixer.dist.php  export-ignore

.github/workflows/check.yml

@@ -9,5 +9,4 @@ jobs:
     secrets: inherit
     with:
       infection: false
-      phpstan: false
       psalm: true

.php-cs-fixer.dist.php

@@ -12,6 +12,7 @@
         Finder::create()
             ->in(__DIR__ . '/src')
             ->in(__DIR__ . '/tests')
+            ->in(__DIR__ . '/tools/generator/src')
             ->append([
                 __FILE__,
             ]),

composer.json

@@ -23,9 +23,11 @@
     },
     "autoload": {
         "psr-4": {
-            "Typhoon\\Type\\": "src/",
-            "Typhoon\\TypeSpec\\": "spec/"
-        }
+            "Typhoon\\Type\\": "src/"
+        },
+        "files": [
+            "src/types.php"
+        ]
     },
     "autoload-dev": {
         "psr-4": {
@@ -53,6 +55,10 @@
         "check-require": "tools/composer-require-checker/vendor/bin/composer-require-checker",
         "check-unused": "tools/composer-unused/vendor/bin/composer-unused",
         "fixcs": "tools/php-cs-fixer/vendor/bin/php-cs-fixer fix --diff --verbose",
+        "generate": [
+            "@php tools/generator/src/generate.php",
+            "git add ."
+        ],
         "infection": "tools/infection/vendor/bin/infection --show-mutations",
         "normalize": "@composer bin composer-normalize normalize --diff ../../composer.json",
         "phpstan": "tools/phpstan/vendor/bin/phpstan analyze",

psalm.xml.dist

@@ -38,19 +38,6 @@
         <classAndDescendants name="RuntimeException"/>
     </ignoreExceptions>
 
-    <issueHandlers>
-        <PluginIssue name="UnspecifiedVisibility">
-            <errorLevel type="suppress">
-                <directory name="tests"/>
-            </errorLevel>
-        </PluginIssue>
-        <MissingThrowsDocblock>
-            <errorLevel type="suppress">
-                <directory name="tests"/>
-            </errorLevel>
-        </MissingThrowsDocblock>
-    </issueHandlers>
-
     <forbiddenFunctions>
         <function name="dd"/>
         <function name="die"/>

src/.gitignore

@@ -0,0 +1,31 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Typhoon\Type\Alias;
+
+use Typhoon\Type\StringT;
+use Typhoon\Type\Type;
+use Typhoon\Type\TypeVisitor;
+use Typhoon\Type\UnionT;
+
+/**
+ * @internal
+ * @psalm-internal Typhoon\Type
+ * @implements Type<array-key>
+ */
+enum ArrayKeyT implements Type
+{
+    case T;
+
+    public function accept(TypeVisitor $visitor): mixed
+    {
+        /** @var UnionT */
+        static $type = new UnionT([
+            IntT::T,
+            StringT::T,
+        ]);
+
+        return $visitor->union($type);
+    }
+}

src/Alias/ArrayKeyT.php

@@ -0,0 +1,32 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Typhoon\Type\Alias;
+
+use Typhoon\Type\FalseT;
+use Typhoon\Type\TrueT;
+use Typhoon\Type\Type;
+use Typhoon\Type\TypeVisitor;
+use Typhoon\Type\UnionT;
+
+/**
+ * @internal
+ * @psalm-internal Typhoon\Type
+ * @implements Type<bool>
+ */
+enum BoolT implements Type
+{
+    case T;
+
+    public function accept(TypeVisitor $visitor): mixed
+    {
+        /** @var UnionT */
+        static $type = new UnionT([
+            FalseT::T,
+            TrueT::T,
+        ]);
+
+        return $visitor->union($type);
+    }
+}

src/Alias/BoolT.php

@@ -0,0 +1,27 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Typhoon\Type\Alias;
+
+use Typhoon\Type\ConstantT;
+use Typhoon\Type\Type;
+use Typhoon\Type\TypeVisitor;
+
+/**
+ * @internal
+ * @psalm-internal Typhoon\Type
+ * @implements Type<float>
+ */
+enum FloatMaxT implements Type
+{
+    case T;
+
+    public function accept(TypeVisitor $visitor): mixed
+    {
+        /** @var ConstantT */
+        static $type = new ConstantT('PHP_FLOAT_MAX');
+
+        return $visitor->constant($type);
+    }
+}

src/Alias/FloatMaxT.php

@@ -0,0 +1,27 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Typhoon\Type\Alias;
+
+use Typhoon\Type\ConstantT;
+use Typhoon\Type\Type;
+use Typhoon\Type\TypeVisitor;
+
+/**
+ * @internal
+ * @psalm-internal Typhoon\Type
+ * @implements Type<float>
+ */
+enum FloatMinT implements Type
+{
+    case T;
+
+    public function accept(TypeVisitor $visitor): mixed
+    {
+        /** @var ConstantT */
+        static $type = new ConstantT('PHP_FLOAT_MIN');
+
+        return $visitor->constant($type);
+    }
+}