Add BooleanType->toTrinaryLogic()

Author: staabm

src/TrinaryLogic.php

@@ -47,18 +47,6 @@ public static function createFromBoolean(bool $value): self
 		return self::$registry[$yesNo] ??= new self($yesNo);
 	}
 
-	public static function createFromBooleanType(BooleanType $type): self
-	{
-		if ($type->isTrue()->yes()) {
-			return self::createYes();
-		}
-		if ($type->isFalse()->yes()) {
-			return self::createNo();
-		}
-
-		return self::createMaybe();
-	}
-
 	private static function create(int $value): self
 	{
 		self::$registry[$value] ??= new self($value);

src/Type/BooleanType.php

@@ -163,4 +163,16 @@ public function toPhpDocNode(): TypeNode
 		return new IdentifierTypeNode('bool');
 	}
 
+	public function toTrinaryLogic(): TrinaryLogic
+	{
+		if ($this->isTrue()->yes()) {
+			return TrinaryLogic::createYes();
+		}
+		if ($this->isFalse()->yes()) {
+			return TrinaryLogic::createNo();
+		}
+
+		return TrinaryLogic::createMaybe();
+	}
+
 }

src/Type/IntersectionType.php

@@ -717,7 +717,7 @@ public function isScalar(): TrinaryLogic
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	{
 		return $this->intersectResults(
-			static fn (Type $innerType): TrinaryLogic => TrinaryLogic::createFromBooleanType($innerType->looseCompare($type, $phpVersion))
+			static fn (Type $innerType): TrinaryLogic => $innerType->looseCompare($type, $phpVersion)->toTrinaryLogic()
 		)->toBooleanType();
 	}
 

src/Type/UnionType.php

@@ -677,7 +677,7 @@ public function isScalar(): TrinaryLogic
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	{
 		return $this->unionResults(
-			static fn (Type $innerType): TrinaryLogic => TrinaryLogic::createFromBooleanType($innerType->looseCompare($type, $phpVersion))
+			static fn (Type $innerType): TrinaryLogic => $innerType->looseCompare($type, $phpVersion)->toTrinaryLogic()
 		)->toBooleanType();
 	}