Interface PHPStan\Type\Type

PHPStan\Type\Type
- PHPStan\Type\NonexistentParentClassType implements Type uses JustNullableTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonOffsetAccessibleTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
- PHPStan\Type\ArrayType implements Type uses MaybeCallableTypeTrait, NonObjectTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Constant\ConstantArrayType implements ConstantType
    - PHPStan\Type\Generic\TemplateConstantArrayType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\Generic\TemplateArrayType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
- PHPStan\Type\BooleanType implements Type uses JustNullableTypeTrait, 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\IntegerType implements Type uses JustNullableTypeTrait, 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\StringType implements Type uses JustNullableTypeTrait, MaybeCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonTypeTrait, NonGenericTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\StringAlwaysAcceptingObjectWithToStringType
  - PHPStan\Type\Constant\ConstantStringType implements ConstantScalarType uses ConstantScalarTypeTrait, ConstantScalarToBooleanTrait
    - PHPStan\Type\Generic\TemplateConstantStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\Generic\TemplateStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\ClassStringType
    - PHPStan\Type\Generic\GenericClassStringType
- PHPStan\Type\VoidType implements Type uses NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, NonOffsetAccessibleTypeTrait, FalseyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
- PHPStan\Type\ResourceType implements Type uses JustNullableTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonOffsetAccessibleTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
- PHPStan\Type\FloatType implements Type uses 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\CompoundType extends Type
  - PHPStan\Type\IterableType implements CompoundType uses MaybeCallableTypeTrait, MaybeObjectTypeTrait, MaybeOffsetAccessibleTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\StrictMixedType implements CompoundType uses UndecidedComparisonCompoundTypeTrait, 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\MixedType implements CompoundType, SubtractableType uses NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\TemplateMixedType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\ErrorType
      - PHPStan\Type\CircularTypeAliasErrorType
  - 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\NeverType implements CompoundType uses UndecidedBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\NonEmptyArrayType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNonEmptyStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, UndecidedBooleanTypeTrait
  - PHPStan\Type\Accessory\OversizedArrayType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryLiteralStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNumericStringType implements CompoundType, AccessoryType uses NonCallableTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait
  - PHPStan\Type\Accessory\AccessoryNonFalsyStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, TruthyBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\HasPropertyType implements AccessoryType, CompoundType uses ObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasMethodType implements AccessoryType, CompoundType uses ObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasOffsetValueType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasOffsetType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, 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\CallableType implements CompoundType, ParametersAcceptor uses MaybeIterableTypeTrait, MaybeObjectTypeTrait, MaybeOffsetAccessibleTypeTrait, TruthyBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\ValueOfType implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\IntegerRangeType implements CompoundType
  - PHPStan\Type\ConditionalTypeForParameter implements CompoundType, LateResolvableType uses LateResolvableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Generic\TemplateType extends CompoundType
    - PHPStan\Type\Generic\TemplateFloatType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateConstantIntegerType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateIntegerType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateKeyOfType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateGenericObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateUnionType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateMixedType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateStringType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateBooleanType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
    - PHPStan\Type\Generic\TemplateBenevolentUnionType 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\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\TemplateObjectWithoutClassType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
- PHPStan\Type\SubtractableType extends Type
  - PHPStan\Type\MixedType implements CompoundType, SubtractableType uses NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\TemplateMixedType implements TemplateType uses TemplateTypeTrait
    - PHPStan\Type\ErrorType
      - PHPStan\Type\CircularTypeAliasErrorType
  - PHPStan\Type\ObjectWithoutClassType implements SubtractableType uses ObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\TemplateObjectWithoutClassType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
  - PHPStan\Type\ObjectType implements TypeWithClassName, SubtractableType uses NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\GenericObjectType
      - PHPStan\Type\Generic\TemplateGenericObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Enum\EnumCaseObjectType
  - PHPStan\Type\StaticType implements TypeWithClassName, SubtractableType uses NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\ThisType
- PHPStan\Type\TypeWithClassName extends Type
  - PHPStan\Type\ClosureType implements TypeWithClassName, ParametersAcceptor uses NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonOffsetAccessibleTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\ObjectType implements TypeWithClassName, SubtractableType uses NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\Generic\GenericObjectType
      - PHPStan\Type\Generic\TemplateGenericObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Generic\TemplateObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
    - PHPStan\Type\Enum\EnumCaseObjectType
  - PHPStan\Type\StaticType implements TypeWithClassName, SubtractableType uses NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
    - PHPStan\Type\ThisType
- PHPStan\Type\Accessory\AccessoryType extends Type
  - PHPStan\Type\Accessory\NonEmptyArrayType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNonEmptyStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, UndecidedBooleanTypeTrait
  - PHPStan\Type\Accessory\OversizedArrayType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\AccessoryLiteralStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\AccessoryNumericStringType implements CompoundType, AccessoryType uses NonCallableTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, UndecidedBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait
  - PHPStan\Type\Accessory\AccessoryNonFalsyStringType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, NonObjectTypeTrait, NonIterableTypeTrait, TruthyBooleanTypeTrait, UndecidedComparisonCompoundTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait
  - PHPStan\Type\Accessory\HasPropertyType implements AccessoryType, CompoundType uses ObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasMethodType implements AccessoryType, CompoundType uses ObjectTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasOffsetValueType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
  - PHPStan\Type\Accessory\HasOffsetType implements CompoundType, AccessoryType uses MaybeCallableTypeTrait, MaybeIterableTypeTrait, MaybeObjectTypeTrait, TruthyBooleanTypeTrait, NonGenericTypeTrait, UndecidedComparisonCompoundTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait
- PHPStan\Type\ConstantType extends Type
  - PHPStan\Type\Constant\ConstantArrayType implements ConstantType
    - PHPStan\Type\Generic\TemplateConstantArrayType implements TemplateType uses TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait
  - PHPStan\Type\ConstantScalarType extends ConstantType
    - PHPStan\Type\Constant\ConstantIntegerType implements ConstantScalarType uses ConstantScalarTypeTrait, ConstantScalarToBooleanTrait, ConstantNumericComparisonTypeTrait
      - PHPStan\Type\Generic\TemplateConstantIntegerType 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\ConstantFloatType implements ConstantScalarType uses ConstantScalarTypeTrait, ConstantScalarToBooleanTrait, ConstantNumericComparisonTypeTrait
    - PHPStan\Type\Constant\ConstantBooleanType implements ConstantScalarType uses ConstantScalarTypeTrait
    - PHPStan\Type\NullType implements ConstantScalarType uses NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, FalseyBooleanTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait

Methods


					
	public

getReferencedClasses(): string[]

Implemented by


					
	public

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

Implemented by


					
	public

isSuperTypeOf(Type $type): TrinaryLogic

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

Implemented by


					
	public

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

Implemented by


					
	public

getUnresolvedPropertyPrototype(
	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): MethodReflection

Implemented by


					
	public

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

Implemented by


					
	public

canAccessConstants(): TrinaryLogic

Implemented by


					
	public

hasConstant(string $constantName): TrinaryLogic

Implemented by


					
	public

getConstant(string $constantName): ConstantReflection

Implemented by


					
	public

isIterable(): TrinaryLogic

Implemented by


					
	public

isIterableAtLeastOnce(): TrinaryLogic

Implemented by


					
	public

getIterableKeyType(): Type

Implemented by


					
	public

getIterableValueType(): Type

Implemented by


					
	public

isArray(): TrinaryLogic

Implemented by


					
	public

isOversizedArray(): TrinaryLogic

Implemented by


					
	public

isOffsetAccessible(): TrinaryLogic

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

Implemented by


					
	public

unsetOffset(Type $offsetType): Type

Implemented by


					
	public

isCallable(): TrinaryLogic

Implemented by


					
	public

getCallableParametersAcceptors(ClassMemberAccessAnswerer $scope): ParametersAcceptor[]

Implemented by


					
	public

isCloneable(): TrinaryLogic

Implemented by


					
	public

toBoolean(): BooleanType

Implemented by


					
	public

toNumber(): Type

Implemented by


					
	public

toInteger(): Type

Implemented by


					
	public

toFloat(): Type

Implemented by


					
	public

toString(): Type

Implemented by


					
	public

toArray(): Type

Implemented by


					
	public

isSmallerThan(Type $otherType): TrinaryLogic

Implemented by


					
	public

isSmallerThanOrEqual(Type $otherType): TrinaryLogic

Implemented by


					
	public

isString(): TrinaryLogic

Implemented by


					
	public

isNumericString(): TrinaryLogic

Implemented by


					
	public

isNonEmptyString(): TrinaryLogic

Implemented by


					
	public

isNonFalsyString(): TrinaryLogic

Implemented by


					
	public

isLiteralString(): TrinaryLogic

Implemented by


					
	public

getSmallerType(): Type

Implemented by


					
	public

getSmallerOrEqualType(): Type

Implemented by


					
	public

getGreaterType(): Type

Implemented by


					
	public

getGreaterOrEqualType(): Type

Implemented by


					
	public

inferTemplateTypes(Type $receivedType): TemplateTypeMap

Infers template types

Infers the real Type of the TemplateTypes found in $this, based on the received Type.

Implemented by


					
	public

getReferencedTemplateTypes(TemplateTypeVariance $positionVariance): 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

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

Traverses inner types

Returns a new instance with all inner types mapped through $cb. Might return the same instance if inner types did not change.

Implemented by


					
	public

tryRemove(Type $typeToRemove): ?Type

Return the difference with another type, or null if it cannot be represented.

Implemented by


					
	public

generalize(GeneralizePrecision $precision): Type

Implemented by


					
	public
					static

__set_state(mixed[] $properties): self

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

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

Implemented by

Implemented by

Parameters

Implemented by

Implemented by

Implemented by

Implemented by

Implemented by