Interface PHPStan\Type\Type

Represents a PHPStan type in the type system. This is the central interface of PHPStan's type system. Every type that PHPStan can reason about implements this interface — from simple scalars like StringType to complex generics like GenericObjectType. Each Type knows what it accepts, what is a supertype of it, what properties/methods/constants it has, what operations it supports, and how to describe itself for error messages. Important: Never use instanceof to check types. For example, $type instanceof StringType will miss union types, intersection types with accessory types, and other composite forms. Always use the is*() methods or isSuperTypeOf() instead: // Wrong: if ($type instanceof StringType) { ... } // Correct: if ($type->isString()->yes()) { ... }

PHPStan\Type\Type
- PHPStan\Type\IntegerType implements Type uses JustNullableTypeTrait, NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonTypeTrait, NonGenericTypeTrait, NonOffsetAccessibleTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\IntegerRangeType implements CompoundType
  - PHPStan\Type\Constant\ConstantIntegerType implements ConstantScalarType uses ConstantScalarTypeTrait, ConstantScalarToBooleanTrait, ConstantNumericComparisonTypeTrait
    - PHPStan\Type\Generic\TemplateConstantIntegerType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\Generic\TemplateIntegerType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
- PHPStan\Type\NonexistentParentClassType implements Type uses JustNullableTypeTrait, NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonOffsetAccessibleTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
- PHPStan\Type\ObjectShapeType implements Type uses ObjectTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Generic\TemplateObjectShapeType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
- PHPStan\Type\ArrayType implements Type uses ArrayTypeTrait, MaybeCallableTypeTrait, NonObjectTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Generic\TemplateArrayType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
- PHPStan\Type\Constant\ConstantArrayType implements Type uses ArrayTypeTrait, NonObjectTypeTrait, UndecidedComparisonTypeTrait
  - PHPStan\Type\Generic\TemplateConstantArrayType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
- PHPStan\Type\ResourceType implements Type uses JustNullableTypeTrait, NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonOffsetAccessibleTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
- PHPStan\Type\BooleanType implements Type uses JustNullableTypeTrait, NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonTypeTrait, NonGenericTypeTrait, NonOffsetAccessibleTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Constant\ConstantBooleanType implements ConstantScalarType uses ConstantScalarTypeTrait
  - PHPStan\Type\Generic\TemplateBooleanType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
- PHPStan\Type\StringType implements Type uses JustNullableTypeTrait, MaybeCallableTypeTrait, NonArrayTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonTypeTrait, NonGenericTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\StringNeverAcceptingObjectWithToStringType
  - PHPStan\Type\ClassStringType
    - PHPStan\Type\Generic\GenericClassStringType
  - PHPStan\Type\Constant\ConstantStringType implements ConstantScalarType uses ConstantScalarTypeTrait, ConstantScalarToBooleanTrait
    - PHPStan\Type\Generic\TemplateConstantStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\StringAlwaysAcceptingObjectWithToStringType
  - PHPStan\Type\Generic\TemplateStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
- PHPStan\Type\VoidType implements Type uses NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, NonOffsetAccessibleTypeTrait, FalseyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
- PHPStan\Type\FloatType implements Type uses NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonTypeTrait, NonGenericTypeTrait, NonOffsetAccessibleTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Constant\ConstantFloatType implements ConstantScalarType uses ConstantScalarTypeTrait, ConstantScalarToBooleanTrait, ConstantNumericComparisonTypeTrait
  - PHPStan\Type\Generic\TemplateFloatType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
- PHPStan\Type\ConstantScalarType extends Type
  - PHPStan\Type\NullType implements ConstantScalarType uses NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, FalseyBooleanTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
    - PHPStan\Type\Generic\TemplateNullType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\Constant\ConstantStringType implements ConstantScalarType uses ConstantScalarTypeTrait, ConstantScalarToBooleanTrait
    - PHPStan\Type\Generic\TemplateConstantStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\Constant\ConstantIntegerType implements ConstantScalarType uses ConstantScalarTypeTrait, ConstantScalarToBooleanTrait, ConstantNumericComparisonTypeTrait
    - PHPStan\Type\Generic\TemplateConstantIntegerType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\Constant\ConstantBooleanType implements ConstantScalarType uses ConstantScalarTypeTrait
  - PHPStan\Type\Constant\ConstantFloatType implements ConstantScalarType uses ConstantScalarTypeTrait, ConstantScalarToBooleanTrait, ConstantNumericComparisonTypeTrait
- PHPStan\Type\Accessory\AccessoryType extends Type
  - PHPStan\Type\Accessory\HasPropertyType implements AccessoryType, CompoundType uses ObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\OversizedArrayType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasOffsetType implements CompoundType, AccessoryType uses MaybeArrayTypeTrait, MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasOffsetValueType implements CompoundType, AccessoryType uses MaybeArrayTypeTrait, MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNonEmptyStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, UndecidedBooleanTypeTrait
  - PHPStan\Type\Accessory\AccessoryArrayListType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonGenericTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNumericStringType implements CompoundType, AccessoryType uses NonArrayTypeTrait, NonCallableTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait
  - PHPStan\Type\Accessory\AccessoryLowercaseStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNonFalsyStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, TruthyBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\AccessoryUppercaseStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\HasMethodType implements AccessoryType, CompoundType uses ObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\NonEmptyArrayType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryLiteralStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
- PHPStan\Type\TypeWithClassName extends Type
  - PHPStan\Type\ClosureType implements TypeWithClassName, CallableParametersAcceptor uses NonArrayTypeTrait, NonIterableTypeTrait, UndecidedComparisonTypeTrait, NonOffsetAccessibleTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\ObjectType implements TypeWithClassName, SubtractableType uses MaybeIterableTypeTrait, NonArrayTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait, SubstractableTypeTrait
    - PHPStan\Type\Enum\EnumCaseObjectType
    - PHPStan\Type\Generic\TemplateObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Generic\GenericObjectType
      - PHPStan\Type\Generic\TemplateGenericObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
  - PHPStan\Type\StaticType implements TypeWithClassName, SubtractableType uses NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\ThisType
    - PHPStan\Type\Generic\GenericStaticType
- PHPStan\Type\SubtractableType extends Type
  - PHPStan\Type\ObjectWithoutClassType implements SubtractableType uses ObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait, SubstractableTypeTrait
    - PHPStan\Type\Generic\TemplateObjectWithoutClassType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
  - PHPStan\Type\MixedType implements CompoundType, SubtractableType uses NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGeneralizableTypeTrait, SubstractableTypeTrait
    - PHPStan\Type\Generic\TemplateMixedType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\ErrorType
      - PHPStan\Type\CircularTypeAliasErrorType
  - PHPStan\Type\ObjectType implements TypeWithClassName, SubtractableType uses MaybeIterableTypeTrait, NonArrayTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait, SubstractableTypeTrait
    - PHPStan\Type\Enum\EnumCaseObjectType
    - PHPStan\Type\Generic\TemplateObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Generic\GenericObjectType
      - PHPStan\Type\Generic\TemplateGenericObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
  - PHPStan\Type\StaticType implements TypeWithClassName, SubtractableType uses NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\ThisType
    - PHPStan\Type\Generic\GenericStaticType
- PHPStan\Type\CompoundType extends Type
  - PHPStan\Type\IntegerRangeType implements CompoundType
  - PHPStan\Type\NeverType implements CompoundType uses UndecidedBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\NonAcceptingNeverType
  - PHPStan\Type\CallableType implements CompoundType, CallableParametersAcceptor uses MaybeArrayTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, MaybeOffsetAccessibleTypeTrait, TruthyBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\NewObjectType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\KeyOfType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\TemplateKeyOfType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\OffsetAccessType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\ValueOfType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasPropertyType implements AccessoryType, CompoundType uses ObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\OversizedArrayType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\ConditionalTypeForParameter implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasOffsetType implements CompoundType, AccessoryType uses MaybeArrayTypeTrait, MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasOffsetValueType implements CompoundType, AccessoryType uses MaybeArrayTypeTrait, MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNonEmptyStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, UndecidedBooleanTypeTrait
  - PHPStan\Type\Helper\GetTemplateTypeType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryArrayListType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonGenericTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\IntersectionType implements CompoundType uses NonRemoveableTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\TemplateIntersectionType implements TemplateType uses TemplateTypeTrait
  - PHPStan\Type\Accessory\AccessoryNumericStringType implements CompoundType, AccessoryType uses NonArrayTypeTrait, NonCallableTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait
  - PHPStan\Type\Accessory\AccessoryLowercaseStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNonFalsyStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, TruthyBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\AccessoryUppercaseStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\HasMethodType implements AccessoryType, CompoundType uses ObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\ConditionalType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\NonEmptyArrayType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\IterableType implements CompoundType uses MaybeArrayTypeTrait, MaybeCallableTypeTrait, MaybeObjectTypeTrait, MaybeOffsetAccessibleTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\TemplateIterableType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\Accessory\AccessoryLiteralStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\MixedType implements CompoundType, SubtractableType uses NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGeneralizableTypeTrait, SubstractableTypeTrait
    - PHPStan\Type\Generic\TemplateMixedType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\ErrorType
      - PHPStan\Type\CircularTypeAliasErrorType
  - PHPStan\Type\UnionType implements CompoundType uses NonGeneralizableTypeTrait
    - PHPStan\Type\BenevolentUnionType
      - PHPStan\Type\Generic\TemplateBenevolentUnionType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateUnionType implements TemplateType uses TemplateTypeTrait
  - PHPStan\Type\StrictMixedType implements CompoundType uses UndecidedComparisonCompoundTypeTrait, NonArrayTypeTrait, NonIterableTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\TemplateStrictMixedType implements TemplateType uses TemplateTypeTrait
  - PHPStan\Type\Generic\TemplateType extends CompoundType
    - PHPStan\Type\Generic\TemplateObjectShapeType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateGenericObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateObjectWithoutClassType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateIntegerType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateBenevolentUnionType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateNullType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateIterableType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateUnionType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateKeyOfType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateBooleanType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateStrictMixedType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateIntersectionType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateMixedType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateConstantArrayType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateArrayType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateFloatType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateConstantStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateConstantIntegerType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait

Located at src/Type/Type.php

Methods


					
	public

getReferencedClasses(): list<non-empty-string>

Returns all class names referenced anywhere in this type, recursively (including generic arguments, callable signatures, etc.).

Implemented by


					
	public

getObjectClassNames(): list<non-empty-string>

Returns class names of the object types this type directly represents. Unlike getReferencedClasses(), excludes classes in generic arguments, etc.

Implemented by


					
	public

getObjectClassReflections(): list<ClassReflection>

Implemented by


					
	public

getClassStringObjectType(): Type

Returns the object type for a class-string or literal class name string. For non-class-string types, returns ErrorType.

Implemented by


					
	public

getObjectTypeOrClassStringObjectType(): Type

Like getClassStringObjectType(), but also returns object types as-is. Used for $classOrObject::method() where the left side can be either.

Implemented by


					
	public

isObject(): TrinaryLogic

Implemented by


					
	public

isEnum(): TrinaryLogic

Implemented by


					
	public

getArrays(): list<ArrayType|ConstantArrayType>

Implemented by


					
	public

getConstantArrays(): list<ConstantArrayType>

Only ConstantArrayType instances (array shapes with known keys).

Implemented by


					
	public

getConstantStrings(): list<ConstantStringType>

Implemented by


					
	public

accepts(Type $type, bool $strictTypes): AcceptsResult

Unlike isSuperTypeOf(), accepts() takes into account PHP's implicit type coercion. With $strictTypes = false, int is accepted by float, and Stringable objects are accepted by string.

Implemented by


					
	public

isSuperTypeOf(Type $type): IsSuperTypeOfResult

"Does every value of $type belong to $this type?" Preferable to instanceof checks because it correctly handles union types, intersection types, and all other composite types.

Implemented by


					
	public

equals(Type $type): bool

Implemented by


					
	public

describe(VerbosityLevel $level): string

Implemented by


					
	public

canAccessProperties(): TrinaryLogic

Implemented by


					
	public

hasProperty(string $propertyName): TrinaryLogic

Deprecated

Use hasInstanceProperty or hasStaticProperty instead

Implemented by


					
	public

getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection

Deprecated

Use getInstanceProperty or getStaticProperty instead

Implemented by


					
	public

getUnresolvedPropertyPrototype(
	string $propertyName,
	ClassMemberAccessAnswerer $scope,
): UnresolvedPropertyPrototypeReflection

Deprecated

Use getUnresolvedInstancePropertyPrototype or getUnresolvedStaticPropertyPrototype instead

Implemented by


					
	public

hasInstanceProperty(string $propertyName): TrinaryLogic

Implemented by


					
	public

getInstanceProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection

Implemented by


					
	public

getUnresolvedInstancePropertyPrototype(
	string $propertyName,
	ClassMemberAccessAnswerer $scope,
): UnresolvedPropertyPrototypeReflection

Unlike getInstanceProperty(), this defers template type resolution. Use getInstanceProperty() in most rule implementations.

Implemented by


					
	public

hasStaticProperty(string $propertyName): TrinaryLogic

Implemented by


					
	public

getStaticProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection

Implemented by


					
	public

getUnresolvedStaticPropertyPrototype(
	string $propertyName,
	ClassMemberAccessAnswerer $scope,
): UnresolvedPropertyPrototypeReflection

Implemented by


					
	public

canCallMethods(): TrinaryLogic

Implemented by


					
	public

hasMethod(string $methodName): TrinaryLogic

Implemented by


					
	public

getMethod(string $methodName, ClassMemberAccessAnswerer $scope): ExtendedMethodReflection

Implemented by


					
	public

getUnresolvedMethodPrototype(string $methodName, ClassMemberAccessAnswerer $scope): UnresolvedMethodPrototypeReflection

Unlike getMethod(), this defers template type and static type resolution. Use getMethod() in most rule implementations.

Implemented by


					
	public

canAccessConstants(): TrinaryLogic

Implemented by


					
	public

hasConstant(string $constantName): TrinaryLogic

Implemented by


					
	public

getConstant(string $constantName): ClassConstantReflection

Implemented by


					
	public

isIterable(): TrinaryLogic

Implemented by


					
	public

isIterableAtLeastOnce(): TrinaryLogic

Implemented by


					
	public

getArraySize(): Type

Returns the count of elements as a Type (typically IntegerRangeType).

Implemented by


					
	public

getIterableKeyType(): Type

Works for both arrays and Traversable objects.

Implemented by


					
	public

getFirstIterableKeyType(): Type

Deprecated

use getIterableKeyType

Implemented by


					
	public

getLastIterableKeyType(): Type

Deprecated

use getIterableKeyType

Implemented by


					
	public

getIterableValueType(): Type

Implemented by


					
	public

getFirstIterableValueType(): Type

Deprecated

use getIterableValueType

Implemented by


					
	public

getLastIterableValueType(): Type

Deprecated

use getIterableValueType

Implemented by


					
	public

isArray(): TrinaryLogic

Implemented by


					
	public

isConstantArray(): TrinaryLogic

Implemented by


					
	public

isOversizedArray(): TrinaryLogic

An oversized array is a constant array shape that grew too large to track precisely and was degraded to a generic array type.

Implemented by


					
	public

isList(): TrinaryLogic

A list is an array with sequential integer keys starting from 0 with no gaps.

Implemented by


					
	public

isOffsetAccessible(): TrinaryLogic

Implemented by


					
	public

isOffsetAccessLegal(): TrinaryLogic

Whether accessing a non-existent offset is safe (won't cause errors). Unlike isOffsetAccessible() which checks if offset access is supported at all.

Implemented by


					
	public

hasOffsetValueType(Type $offsetType): TrinaryLogic

Implemented by


					
	public

getOffsetValueType(Type $offsetType): Type

Implemented by


					
	public

setOffsetValueType(?Type $offsetType, Type $valueType, bool $unionValues = true): Type

May add a new key. When $offsetType is null, appends (like $a[] = $value).

Implemented by


					
	public

setExistingOffsetValueType(Type $offsetType, Type $valueType): Type

Unlike setOffsetValueType(), assumes the key already exists. Preserves the array shape and list type.

Implemented by


					
	public

unsetOffset(Type $offsetType): Type

Implemented by


					
	public

getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type

Models array_keys($array, $searchValue, $strict).

Implemented by


					
	public

getKeysArray(): Type

Models array_keys($array).

Implemented by


					
	public

getValuesArray(): Type

Models array_values($array).

Implemented by


					
	public

chunkArray(Type $lengthType, TrinaryLogic $preserveKeys): Type

Models array_chunk($array, $length, $preserveKeys).

Implemented by


					
	public

fillKeysArray(Type $valueType): Type

Models array_fill_keys($keys, $value).

Implemented by


					
	public

flipArray(): Type

Models array_flip($array).

Implemented by


					
	public

intersectKeyArray(Type $otherArraysType): Type

Models array_intersect_key($array, ...$otherArrays).

Implemented by


					
	public

popArray(): Type

Models array_pop() effect on the array.

Implemented by


					
	public

reverseArray(TrinaryLogic $preserveKeys): Type

Models array_reverse($array, $preserveKeys).

Implemented by


					
	public

searchArray(Type $needleType, ?TrinaryLogic $strict = null): Type

Models array_search($needle, $array, $strict).

Implemented by


					
	public

shiftArray(): Type

Models array_shift() effect on the array.

Implemented by


					
	public

shuffleArray(): Type

Models shuffle() effect on the array. Result is always a list.

Implemented by


					
	public

sliceArray(Type $offsetType, Type $lengthType, TrinaryLogic $preserveKeys): Type

Models array_slice($array, $offset, $length, $preserveKeys).

Implemented by


					
	public

spliceArray(Type $offsetType, Type $lengthType, Type $replacementType): Type

Models array_splice() effect on the array (the modified array, not the removed portion).

Implemented by


					
	public

getEnumCases(): list<EnumCaseObjectType>

Implemented by


					
	public

getEnumCaseObject(): ?EnumCaseObjectType

Returns the single enum case this type represents, or null if not exactly one case.

Implemented by


					
	public

getFiniteTypes(): list<Type>

Returns a list of finite values this type can take. Examples: - for bool: [true, false]

for int<0, 3>: [0, 1, 2, 3]
for enums: list of enum cases
for scalars: the scalar itself For infinite types it returns an empty array.

Returns a list of finite values this type can take. Examples: - for bool: [true, false]

for int<0, 3>: [0, 1, 2, 3]
for enums: list of enum cases
for scalars: the scalar itself For infinite types it returns an empty array.

Implemented by


					
	public

exponentiate(Type $exponent): Type

Models the ** operator.

Implemented by


					
	public

isCallable(): TrinaryLogic

Implemented by


					
	public

getCallableParametersAcceptors(ClassMemberAccessAnswerer $scope): list<CallableParametersAcceptor>

Implemented by


					
	public

isCloneable(): TrinaryLogic

Implemented by


					
	public

toBoolean(): BooleanType

Models the (bool) cast.

Implemented by


					
	public

toNumber(): Type

Models numeric coercion for arithmetic operators.

Implemented by


					
	public

toInteger(): Type

Models the (int) cast.

Implemented by


					
	public

toFloat(): Type

Models the (float) cast.

Implemented by


					
	public

toString(): Type

Models the (string) cast.

Implemented by


					
	public

toArray(): Type

Models the (array) cast.

Implemented by


					
	public

toArrayKey(): Type

Models PHP's implicit array key coercion: floats truncated to int, booleans become 0/1, null becomes '', numeric strings become int.

Implemented by


					
	public

toCoercedArgumentType(bool $strictTypes): self

Returns how this type might change when passed to a typed parameter or assigned to a typed property. With $strictTypes = true: int widens to int|float (since int is accepted by float parameters in strict mode). With $strictTypes = false: additional coercions apply, e.g. Stringable objects are accepted by string parameters. Used internally to determine what types a value might be coerced to when checking parameter acceptance.

Implemented by


					
	public

isSmallerThan(Type $otherType, PhpVersion $phpVersion): TrinaryLogic

Implemented by


					
	public

isSmallerThanOrEqual(Type $otherType, PhpVersion $phpVersion): TrinaryLogic

Implemented by


					
	public

isConstantValue(): TrinaryLogic

Is Type of a known constant value? Includes literal strings, integers, floats, true, false, null, and array shapes. Unlike isConstantScalarValue(), this also returns yes for constant array types (array shapes with known keys and values). Use this when you need to detect any constant value including arrays.

Implemented by


					
	public

isConstantScalarValue(): TrinaryLogic

Is Type of a known constant scalar value? Includes literal strings, integers, floats, true, false, and null. Unlike isConstantValue(), this does NOT return yes for array shapes. Use this when you specifically need scalar constants only.

Implemented by


					
	public

getConstantScalarTypes(): list<ConstantScalarType>

Implemented by


					
	public

getConstantScalarValues(): list<int|float|string|bool|null>

Implemented by


					
	public

isNull(): TrinaryLogic

Implemented by


					
	public

isTrue(): TrinaryLogic

Implemented by


					
	public

isFalse(): TrinaryLogic

Implemented by


					
	public

isBoolean(): TrinaryLogic

Implemented by


					
	public

isFloat(): TrinaryLogic

Implemented by


					
	public

isInteger(): TrinaryLogic

Implemented by


					
	public

isString(): TrinaryLogic

Implemented by


					
	public

isNumericString(): TrinaryLogic

Implemented by


					
	public

isNonEmptyString(): TrinaryLogic

Implemented by


					
	public

isNonFalsyString(): TrinaryLogic

Non-falsy string is a non-empty string that is also not '0'. Stricter subset of non-empty-string.

Implemented by


					
	public

isLiteralString(): TrinaryLogic

A literal-string is a string composed entirely from string literals in the source code (not from user input). Used for SQL injection prevention.

Implemented by


					
	public

isLowercaseString(): TrinaryLogic

Implemented by


					
	public

isUppercaseString(): TrinaryLogic

Implemented by


					
	public

isClassString(): TrinaryLogic

Implemented by


					
	public

isVoid(): TrinaryLogic

Implemented by


					
	public

isScalar(): TrinaryLogic

Implemented by


					
	public

looseCompare(Type $type, PhpVersion $phpVersion): BooleanType

Implemented by


					
	public

getSmallerType(PhpVersion $phpVersion): Type

Type narrowing methods for comparison operators. For example, for ConstantIntegerType(5), getSmallerType() returns int<min, 4>.

Implemented by


					
	public

getSmallerOrEqualType(PhpVersion $phpVersion): Type

Implemented by


					
	public

getGreaterType(PhpVersion $phpVersion): Type

Implemented by


					
	public

getGreaterOrEqualType(PhpVersion $phpVersion): Type

Implemented by


					
	public

getTemplateType(class-string $ancestorClassName, string $templateTypeName): Type

Returns actual template type for a given object. Example: @-template T class Foo {} // $fooType is Foo $t = $fooType->getTemplateType(Foo::class, 'T'); $t->isInteger(); // yes Returns ErrorType in case of a missing type.

Implemented by


					
	public

inferTemplateTypes(Type $receivedType): TemplateTypeMap

Infers the real types of TemplateTypes found in $this, based on the received Type. E.g. if $this is array<T> and $receivedType is array, infers T = int.

Implemented by


					
	public

getReferencedTemplateTypes(TemplateTypeVariance $positionVariance): list<TemplateTypeReference>

Returns the template types referenced by this Type, recursively. The return value is a list of TemplateTypeReferences, who contain the referenced template type as well as the variance position in which it was found. For example, calling this on array<Foo<T>,Bar> (with T a template type) will return one TemplateTypeReference for the type T.

Parameters

$positionVariance

The variance position in which the receiver type was found.

Implemented by


					
	public

toAbsoluteNumber(): Type

Models abs().

Implemented by


					
	public

traverse(callable(Type): Type $cb): Type

Returns a new instance with all inner types mapped through $cb. Returns the same instance if inner types did not change. Not used directly — use TypeTraverser::map() instead.

Implemented by


					
	public

traverseSimultaneously(Type $right, callable(Type $left, Type $right): Type $cb): Type

Like traverse(), but walks two types simultaneously. Not used directly — use SimultaneousTypeTraverser::map() instead.

Implemented by


					
	public

toPhpDocNode(): TypeNode

Implemented by


					
	public

tryRemove(Type $typeToRemove): ?Type

Implemented by


					
	public

generalize(GeneralizePrecision $precision): Type

Removes constant value information. E.g. 'foo' -> string, 1 -> int. Used when types become too complex to track precisely (e.g. loop iterations).

Implemented by


					
	public

hasTemplateOrLateResolvableType(): bool

Performance optimization to skip template resolution when no templates are present.

Namespaces

Classes

Interfaces

Interface PHPStan\Type\Type

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Deprecated

Implemented by

Deprecated

Implemented by

Deprecated

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Deprecated

Implemented by

Deprecated

Implemented by

Implemented by

Deprecated

Implemented by

Deprecated

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by