Removed ValueType (#22)

src/Type/CHANGELOG.md

@@ -8,3 +8,4 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ## 0.3.1
 
 - Deprecated calling `types::alias()`, `types::template()` and `types::object()` with named arguments.
+- Deprecated `TypeVisitor::value()` and `DefaultVisitor::value()`.

src/Type/DefaultTypeVisitor.php

@@ -181,6 +181,9 @@ public function union(Type $self, array $types): mixed
         return $this->default($self);
     }
 
+    /**
+     * @deprecated will be removed in 0.4.0
+     */
     public function value(Type $self, Type $type): mixed
     {
         return $this->default($self);

src/Type/TypeVisitor.php

@@ -219,6 +219,7 @@ public function truthyString(Type $self): mixed;
     public function union(Type $self, array $types): mixed;
 
     /**
+     * @deprecated will be removed in 0.4.0
      * @return TReturn
      */
     public function value(Type $self, Type $type): mixed;

src/Type/types.php

@@ -427,7 +427,7 @@ public static function union(Type ...$types): Type
 
     public static function value(Type $type): Type
     {
-        return new Internal\ValueType($type);
+        return self::offset($type, self::key($type));
     }
 
     /**

tests/TypeStringifier/TypeStringifierTest.php

@@ -125,7 +125,7 @@ public static function types(): \Generator
         yield [types::constant('test'), 'test'];
         yield [types::classConstant(types::object(\stdClass::class), 'test'), 'stdClass::test'];
         yield [types::key(types::list()), 'key-of<list>'];
-        yield [types::value(types::list()), 'value-of<list>'];
+        yield [types::value(types::list()), 'list[key-of<list>]'];
         yield [types::conditional(types::arg('a'), if: types::string, then: types::int, else: types::float), '($a is string ? int : float)'];
         yield [types::conditional(types::template('T', types::atFunction('trim')), if: types::string, then: types::int, else: types::float), '(T@trim() is string ? int : float)'];
         yield [types::array(value: types::varianceAware(types::int, Variance::Covariant)), 'array<covariant int>'];