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\VoidType implements Type uses NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, NonOffsetAccessibleTypeTrait, FalseyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
- PHPStan\Type\StringType implements Type uses JustNullableTypeTrait, MaybeCallableTypeTrait, NonArrayTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonTypeTrait, NonGenericTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Constant\ConstantStringType implements ConstantScalarType uses ConstantScalarTypeTrait, ConstantScalarToBooleanTrait
    - PHPStan\Type\Generic\TemplateConstantStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\StringNeverAcceptingObjectWithToStringType
  - PHPStan\Type\ClassStringType
    - PHPStan\Type\Generic\GenericClassStringType
  - PHPStan\Type\Generic\TemplateStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\StringAlwaysAcceptingObjectWithToStringType
- PHPStan\Type\ObjectShapeType implements Type uses ObjectTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Generic\TemplateObjectShapeType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
- PHPStan\Type\NonexistentParentClassType implements Type uses JustNullableTypeTrait, NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonOffsetAccessibleTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, 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\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\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\IntegerType implements Type uses JustNullableTypeTrait, NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonTypeTrait, NonGenericTypeTrait, NonOffsetAccessibleTypeTrait, NonGeneralizableTypeTrait
  - 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\IntegerRangeType implements CompoundType
- PHPStan\Type\ResourceType implements Type uses JustNullableTypeTrait, NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonOffsetAccessibleTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
- PHPStan\Type\CompoundType extends Type
  - PHPStan\Type\OffsetAccessType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\MixedType implements CompoundType, SubtractableType uses NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGeneralizableTypeTrait, SubstractableTypeTrait
    - PHPStan\Type\ErrorType
      - PHPStan\Type\CircularTypeAliasErrorType
      - PHPStan\Type\Generic\AbsorbedTemplateArgumentType
    - PHPStan\Type\Generic\TemplateMixedType implements TemplateType uses TemplateTypeTrait
  - PHPStan\Type\Accessory\AccessoryNonFalsyStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, TruthyBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\OversizedArrayType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNumericStringType implements CompoundType, AccessoryType uses NonArrayTypeTrait, NonCallableTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait
  - PHPStan\Type\Accessory\HasMethodType implements AccessoryType, CompoundType uses MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, MaybeOffsetAccessibleTypeTrait, MaybeStringTypeTrait, NonArrayTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\NonEmptyArrayType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryArrayListType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonGenericTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\LateResolvableArrayShapeType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\CallableType implements CompoundType, CallableParametersAcceptor uses MaybeArrayTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, MaybeOffsetAccessibleTypeTrait, TruthyBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\KeyOfType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\TemplateKeyOfType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - 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\NeverType implements CompoundType uses UndecidedBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\NonAcceptingNeverType
  - PHPStan\Type\StrictMixedType implements CompoundType uses UndecidedComparisonCompoundTypeTrait, NonArrayTypeTrait, NonIterableTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\TemplateStrictMixedType implements TemplateType uses TemplateTypeTrait
  - PHPStan\Type\ConditionalType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\IntersectionType implements CompoundType uses NonRemoveableTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\TemplateIntersectionType implements TemplateType uses TemplateTypeTrait
  - PHPStan\Type\Generic\UnresolvedTemplateArgumentType implements CompoundType
  - PHPStan\Type\Accessory\AccessoryUppercaseStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\AccessoryDecimalIntegerStringType implements CompoundType, AccessoryType uses NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait
  - PHPStan\Type\Accessory\HasOffsetValueType implements CompoundType, AccessoryType uses MaybeArrayTypeTrait, MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, MaybeStringTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasPropertyType implements AccessoryType, CompoundType uses MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, MaybeOffsetAccessibleTypeTrait, MaybeStringTypeTrait, NonArrayTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasOffsetType implements CompoundType, AccessoryType uses MaybeArrayTypeTrait, MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, MaybeStringTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\ClassConstantAccessType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\ValueOfType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNonEmptyStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, UndecidedBooleanTypeTrait
  - PHPStan\Type\Accessory\AccessoryLowercaseStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\IntegerRangeType implements CompoundType
  - PHPStan\Type\ConditionalTypeForParameter implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\NewObjectType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Helper\GetTemplateTypeType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\UnionType implements CompoundType uses NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\TemplateUnionType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\BenevolentUnionType
      - PHPStan\Type\Generic\TemplateBenevolentUnionType implements TemplateType uses TemplateTypeTrait
  - PHPStan\Type\Generic\TemplateType extends CompoundType
    - PHPStan\Type\NarrowedSubjectType implements TemplateType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\TemplateArrayType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - 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\TemplateFloatType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateBenevolentUnionType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateMixedType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateObjectWithoutClassType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateIntegerType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateConstantIntegerType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateGenericObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateConstantStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateIntersectionType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateStrictMixedType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateConstantArrayType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateObjectShapeType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateKeyOfType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateBooleanType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
- PHPStan\Type\Accessory\AccessoryType extends Type
  - PHPStan\Type\Accessory\AccessoryNonFalsyStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, TruthyBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\OversizedArrayType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNumericStringType implements CompoundType, AccessoryType uses NonArrayTypeTrait, NonCallableTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait
  - PHPStan\Type\Accessory\HasMethodType implements AccessoryType, CompoundType uses MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, MaybeOffsetAccessibleTypeTrait, MaybeStringTypeTrait, NonArrayTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\NonEmptyArrayType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryArrayListType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonGenericTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryLiteralStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\AccessoryUppercaseStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\AccessoryDecimalIntegerStringType implements CompoundType, AccessoryType uses NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait
  - PHPStan\Type\Accessory\HasOffsetValueType implements CompoundType, AccessoryType uses MaybeArrayTypeTrait, MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, MaybeStringTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasPropertyType implements AccessoryType, CompoundType uses MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, MaybeOffsetAccessibleTypeTrait, MaybeStringTypeTrait, NonArrayTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasOffsetType implements CompoundType, AccessoryType uses MaybeArrayTypeTrait, MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, MaybeStringTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNonEmptyStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, UndecidedBooleanTypeTrait
  - PHPStan\Type\Accessory\AccessoryLowercaseStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonArrayTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
- PHPStan\Type\TypeWithClassName extends Type
  - 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\ClosureType implements TypeWithClassName, CallableParametersAcceptor uses NonArrayTypeTrait, NonIterableTypeTrait, UndecidedComparisonTypeTrait, NonOffsetAccessibleTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
- 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\ErrorType
      - PHPStan\Type\CircularTypeAliasErrorType
      - PHPStan\Type\Generic\AbsorbedTemplateArgumentType
    - PHPStan\Type\Generic\TemplateMixedType implements TemplateType uses TemplateTypeTrait
  - 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\ConstantScalarType extends Type
  - PHPStan\Type\Constant\ConstantStringType implements ConstantScalarType uses ConstantScalarTypeTrait, ConstantScalarToBooleanTrait
    - PHPStan\Type\Generic\TemplateConstantStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\Constant\ConstantFloatType implements ConstantScalarType uses ConstantScalarTypeTrait, ConstantScalarToBooleanTrait, ConstantNumericComparisonTypeTrait
  - 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\NullType implements ConstantScalarType uses NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, FalseyBooleanTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
    - PHPStan\Type\Generic\TemplateNullType 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

getClassStringType(): Type

Return class-string<Foo> for object type Foo.

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.

It's also used to model array after sort / rsort / usort calls.

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

truncateListToSize(Type $sizeType): Type

Narrows a list-shaped array type to "size lies in $sizeType" — the type-system equivalent of count($list) === N / count($list) >= N / count($list) in [N, M]. Used by TypeSpecifier when specifying types for count() comparisons; the call site is responsible for gating on outer list-ness, so each implementation may assume it's narrowing a list shape.

$sizeType is expected to be a ConstantIntegerType (exact size) or an IntegerRangeType (a min/max bound). Concrete implementations (ConstantArrayType, ArrayType) rebuild the array with a required prefix [0, min) and an optional middle [min, max) (when max is set), or extend with HasOffsetValueType accessories when the upper bound is unbounded. Non-array types return ErrorType.

Implemented by


					
	public

makeListMaybe(): Type

Downgrades the list-ness of the array from Yes to Maybe (e.g. for asort/uksort/etc. which preserve keys but break list ordering). Other shape information (keys, values, accessories like NonEmpty) is preserved.

Implemented by


					
	public

mapValueType(callable(Type): Type $cb): Type

Models "same keys, every value transformed" (e.g. array_walk, array_map($cb, $a), preg_replace* over an array subject). Keys and accessories like list-ness / non-emptiness are preserved.

Implemented by


					
	public

mapKeyType(callable(Type): Type $cb): Type

Replaces the iterable key type via $cb($currentKeyType). For ArrayType rewrites the key type wholesale; for ConstantArrayType the explicit keys (which are already precise constants) are preserved — pass-through, matching the prior TypeTraverser-based callers. Used to widen / narrow the key type after a foreach narrowed $key via is_int($key) / is_string($key) checks.

Implemented by


					
	public

makeAllArrayKeysOptional(): Type

Marks every explicit key in a ConstantArrayType as optional (the shape can have any subset of the original keys). For non-CAT arrays this is a no-op — they already model arbitrary subsets. Used by preg_replace* over array subjects, where the callback can drop entries.

Implemented by


					
	public

changeKeyCaseArray(?int $case): Type

Models array_change_key_case($a, $case). String keys are case-folded (constant ones to a specific value, general ones via accessories); non-string keys, values, accessories and list-ness are preserved. $case matches PHP's CASE_LOWER / CASE_UPPER; null means the case is non-constant and the result is the union of both folds.

Implemented by


					
	public

filterArrayRemovingFalsey(): Type

Models array_filter($a) (no callback): drops entries whose value is definitely falsey, marks possibly-falsey entries optional, keeps definitely-truthy entries unchanged. Keys are preserved; list-ness is downgraded since gaps may appear.

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.

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

toBitwiseNotType(): Type

Models the bitwise-not (~$x) operator. Returns ErrorType for types where ~ is undefined.

Implemented by


					
	public

toGetClassResultType(): Type

Models get_class($x)'s return type per leaf: definite objects yield their class-string projection, definite non-objects yield false, and possibly-objects yield the union of both.

Implemented by


					
	public

toClassConstantType(ReflectionProvider $reflectionProvider): Type

Models the type of $x::class. For known final classes the literal class name is returned; for everything else an IntersectionType[ClassString<X>, AccessoryLiteralStringType]. NullType passes through (mirrors PHP's nullsafe ::class semantics). ReflectionProvider is needed for the final-class lookup.

Implemented by


					
	public

toObjectTypeForInstanceofCheck(): ClassNameToObjectTypeResult

Projects a class-name-or-object Type (the right-hand side of $x instanceof <expr>) to the ObjectType it should be compared against. Constant class strings collapse to their ObjectType exactly; everything kept symbolically (object class names, class-string<X>) carries an uncertainty flag so the caller can fall back to BooleanType instead of a definite yes/no.

Implemented by


					
	public

toObjectTypeForIsACheck(Type $objectOrClassType, bool $allowString, bool $allowSameClass): ClassNameToObjectTypeResult

Projects a class-name-or-object Type (the second argument of is_a($x, $class, $allow_string)) to the ObjectType to narrow $x against. When $allowString is true, the is_a() result also keeps the original class-string accepted alongside the object. $allowSameClass controls whether matching the input's own class collapses to NeverType for final classes (the call site's "always-true" suppression).

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

isDecimalIntegerString(): TrinaryLogic

When isDecimalIntegerString() returns yes(), the type is guaranteed to be cast to an integer in an array key. Examples of constant values covered by this type: "0", "1", "1234", "-1"

When isDecimalIntegerString() returns no(), the type represents strings containing non-decimal integers and other text. These are guaranteed to stay as string in an array key. Examples of constant values covered by this type: "+1", "00", "18E+3", "1.2", "1,3", "foo"

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.

For example, with a class Foo that declares @template T:

// $fooType is Foo<int>
$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<int>, 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

toNativePhpTypeNode(NativeTypePosition $position): Identifier|Name|ComplexType|null

The native PHP type declaration for this type at the given position, widened to what the position allows, e.g. non-empty-string to string. Returns null when the type cannot be declared natively there.

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

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