Type::isEnum()

Author: ondrejmirtes

Diff for: src/Type/ClosureType.php

@@ -181,6 +181,11 @@ public function isObject(): TrinaryLogic
 		return $this->objectType->isObject();
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		return $this->objectType->isEnum();
+	}
+
 	public function getTemplateType(string $ancestorClassName, string $templateTypeName): Type
 	{
 		return $this->objectType->getTemplateType($ancestorClassName, $templateTypeName);

Diff for: src/Type/IntersectionType.php

@@ -399,6 +399,11 @@ public function isObject(): TrinaryLogic
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isObject());
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isEnum());
+	}
+
 	public function canAccessProperties(): TrinaryLogic
 	{
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->canAccessProperties());

Diff for: src/Type/MixedType.php

@@ -331,6 +331,16 @@ public function isObject(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		if ($this->subtractedType !== null) {
+			if ($this->subtractedType->isSuperTypeOf(new ObjectWithoutClassType())->yes()) {
+				return TrinaryLogic::createNo();
+			}
+		}
+		return TrinaryLogic::createMaybe();
+	}
+
 	public function canAccessProperties(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

Diff for: src/Type/NeverType.php

@@ -121,6 +121,11 @@ public function isObject(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function canAccessProperties(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

Diff for: src/Type/NonexistentParentClassType.php

@@ -50,6 +50,11 @@ public function isObject(): TrinaryLogic
 		return TrinaryLogic::createYes();
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function canAccessProperties(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

Diff for: src/Type/ObjectType.php

@@ -635,6 +635,16 @@ public function isObject(): TrinaryLogic
 		return TrinaryLogic::createYes();
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		$classReflection = $this->getClassReflection();
+		if ($classReflection === null) {
+			return TrinaryLogic::createMaybe();
+		}
+
+		return TrinaryLogic::createFromBoolean($classReflection->isEnum());
+	}
+
 	public function canAccessProperties(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

Diff for: src/Type/StaticType.php

@@ -196,6 +196,11 @@ public function isObject(): TrinaryLogic
 		return $this->getStaticObjectType()->isObject();
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		return $this->getStaticObjectType()->isEnum();
+	}
+
 	public function canAccessProperties(): TrinaryLogic
 	{
 		return $this->getStaticObjectType()->canAccessProperties();

Diff for: src/Type/StrictMixedType.php

@@ -108,6 +108,11 @@ public function isObject(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function canAccessProperties(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

Diff for: src/Type/Traits/LateResolvableTypeTrait.php

@@ -87,6 +87,11 @@ public function isObject(): TrinaryLogic
 		return $this->resolve()->isObject();
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		return $this->resolve()->isEnum();
+	}
+
 	public function canAccessProperties(): TrinaryLogic
 	{
 		return $this->resolve()->canAccessProperties();

Diff for: src/Type/Traits/MaybeObjectTypeTrait.php

@@ -30,6 +30,11 @@ public function isObject(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
 	public function canAccessProperties(): TrinaryLogic
 	{
 		return TrinaryLogic::createMaybe();

Diff for: src/Type/Traits/NonObjectTypeTrait.php

@@ -21,6 +21,11 @@ public function isObject(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function canAccessProperties(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();

Diff for: src/Type/Traits/ObjectTypeTrait.php

@@ -41,6 +41,11 @@ public function isObject(): TrinaryLogic
 		return TrinaryLogic::createYes();
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
 	public function canAccessProperties(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();

Diff for: src/Type/Type.php

@@ -43,6 +43,8 @@ public function getObjectTypeOrClassStringObjectType(): Type;
 
 	public function isObject(): TrinaryLogic;
 
+	public function isEnum(): TrinaryLogic;
+
 	/** @return list<ArrayType> */
 	public function getArrays(): array;
 

Diff for: src/Type/UnionType.php

@@ -367,6 +367,11 @@ public function isObject(): TrinaryLogic
 		return $this->unionResults(static fn (Type $type): TrinaryLogic => $type->isObject());
 	}
 
+	public function isEnum(): TrinaryLogic
+	{
+		return $this->unionResults(static fn (Type $type): TrinaryLogic => $type->isEnum());
+	}
+
 	public function canAccessProperties(): TrinaryLogic
 	{
 		return $this->unionResults(static fn (Type $type): TrinaryLogic => $type->canAccessProperties());