Generated types

Author: vudaltsov

spec/ComplexType.php

@@ -28,11 +28,11 @@ public function typeCode(): string
         $imports = implode(
             '',
             array_map(
-                static fn (string $class): string => "\nuse {$class};",
+                static fn(string $class): string => "\nuse {$class};",
                 $this->imports,
-            )
+            ),
         );
-        $imports = $imports === '' ? '' : $imports."\n";
+        $imports = $imports === '' ? '' : $imports . "\n";
         $templates = implode(
             '',
             array_map(

src/Alias/BoolType.php

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

src/types.php

@@ -4,18 +4,61 @@
 
 namespace Typhoon\Type;
 
+use Typhoon\Type\Alias\FloatMaxType;
+use Typhoon\Type\Alias\FloatMinType;
+use Typhoon\Type\Alias\IntMaxType;
+use Typhoon\Type\Alias\IntMinType;
+
 const neverT = NeverType::Type;
+
 const voidT = VoidType::Type;
+
 const nullT = NullType::Type;
+
 const falseT = FalseType::Type;
+
 const trueT = TrueType::Type;
+
+const boolT = Alias\BoolType::Type;
+
 const intT = Alias\IntType::Type;
-const intMinT = Alias\IntMinType::Type;
-const intMaxT = Alias\IntMaxType::Type;
+
+const intMinT = IntMinType::Type;
+
+const intMaxT = IntMaxType::Type;
+
+/**
+ * @api
+ * @param Type<int> $min
+ * @param Type<int> $max
+ * @return Type<int>
+ */
+function intT(Type $min = IntMinType::Type, Type $max = IntMaxType::Type): Type
+{
+    return new IntRangeType($min, $max);
+}
+
 const floatT = Alias\FloatType::Type;
-const floatMinT = Alias\FloatMinType::Type;
-const floatMaxT = Alias\FloatMaxType::Type;
+
+const floatMinT = FloatMinType::Type;
+
+const floatMaxT = FloatMaxType::Type;
+
+/**
+ * @api
+ * @param Type<float> $min
+ * @param Type<float> $max
+ * @return Type<float>
+ */
+function floatT(Type $min = FloatMinType::Type, Type $max = FloatMaxType::Type): Type
+{
+    return new FloatRangeType($min, $max);
+}
+
 const stringT = StringType::Type;
+
 const resourceT = ResourceType::Type;
+
 const arrayKeyT = Alias\ArrayKeyType::Type;
+
 const mixedT = Alias\MixedType::Type;