Added TruthyString

src/TruthyString.php

@@ -0,0 +1,24 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Typhoon\Type;
+
+/**
+ * @api
+ * @psalm-immutable
+ * @implements Type<truthy-string>
+ */
+enum TruthyString implements Type
+{
+    /**
+     * @internal
+     * @psalm-internal Typhoon\Type
+     */
+    case type;
+
+    public function accept(TypeVisitor $visitor): mixed
+    {
+        return $visitor->visitTruthyString($this);
+    }
+}

src/TypeVisitor.php

@@ -83,6 +83,9 @@ public function visitTraitString(TraitStringType $type): mixed;
     /** @return TReturn */
     public function visitNonEmptyString(NonEmptyStringType $type): mixed;
 
+    /** @return TReturn */
+    public function visitTruthyString(TruthyString $type): mixed;
+
     /** @return TReturn */
     public function visitString(StringType $type): mixed;
 

src/types.php

@@ -28,6 +28,8 @@ final class types
     public const enumString = EnumStringType::type;
     public const traitString = TraitStringType::type;
     public const nonEmptyString = NonEmptyStringType::type;
+    public const truthyString = TruthyString::type;
+    public const nonFalsyString = TruthyString::type;
     public const string = StringType::type;
     public const numeric = NumericType::type;
     public const scalar = ScalarType::type;

tests/psalm/TruthyStringTest.php

@@ -0,0 +1,12 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Typhoon\Type\TruthyStringTest;
+
+use Typhoon\Type\TruthyString;
+use function Typhoon\Type\extractType;
+
+/** @psalm-check-type-exact $_string = non-falsy-string */
+/** @psalm-check-type-exact $_string = truthy-string */
+$_string = extractType(TruthyString::type);