Class PHPStan\Type\ClosureType

`implements`	`TypeWithClassName, CallableParametersAcceptor`
`uses`	`NonArrayTypeTrait, NonIterableTypeTrait, UndecidedComparisonTypeTrait, NonOffsetAccessibleTypeTrait, NonRemoveableTypeTrait, NonGeneralizableTypeTrait`


					
	public

__construct(
	list<ParameterReflection>|null $parameters = null,
	?Type $returnType = null,
	bool $variadic = true,
	?TemplateTypeMap $templateTypeMap = null,
	?TemplateTypeMap $resolvedTemplateTypeMap = null,
	?TemplateTypeVarianceMap $callSiteVarianceMap = null,
	array<non-empty-string, TemplateTag> $templateTags = [],
	SimpleThrowPoint[] $throwPoints = [],
	?SimpleImpurePoint[] $impurePoints = null,
	InvalidateExprNode[] $invalidateExpressions = [],
	string[] $usedVariables = [],
	?TrinaryLogic $acceptsNamedArguments = null,
)

#


					
	public

getTemplateTags(): array<non-empty-string, TemplateTag>

#


					
	public
					static

createPure(): self

#


					
	public

isPure(): TrinaryLogic

Implements

PHPStan\Reflection\Callables\CallableParametersAcceptor::isPure()

#


					
	public

getClassName(): string

Implements

PHPStan\Type\TypeWithClassName::getClassName()

#


					
	public

getClassReflection(): ?ClassReflection

Implements

PHPStan\Type\TypeWithClassName::getClassReflection()

#


					
	public

getAncestorWithClassName(string $className): ?TypeWithClassName

Implements

PHPStan\Type\TypeWithClassName::getAncestorWithClassName()

#


					
	public

getReferencedClasses(): array

Implements

PHPStan\Type\Type::getReferencedClasses()

#


					
	public

getObjectClassNames(): array

Implements

PHPStan\Type\Type::getObjectClassNames()

#


					
	public

getObjectClassReflections(): array

Implements

PHPStan\Type\Type::getObjectClassReflections()

#


					
	public

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

Implements

PHPStan\Type\Type::accepts()

#


					
	public

isSuperTypeOf(Type $type): IsSuperTypeOfResult

Implements

PHPStan\Type\Type::isSuperTypeOf()

#


					
	public

equals(Type $type): bool

Implements

PHPStan\Type\Type::equals()

#


					
	public

describe(VerbosityLevel $level): string

Implements

PHPStan\Type\Type::describe()

#


					
	public

isOffsetAccessLegal(): TrinaryLogic

Implements

PHPStan\Type\Type::isOffsetAccessLegal()

#


					
	public

isObject(): TrinaryLogic

Implements

PHPStan\Type\Type::isObject()

#


					
	public

isEnum(): TrinaryLogic

Implements

PHPStan\Type\Type::isEnum()

#


					
	public

getTemplateType(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.

Implements

PHPStan\Type\Type::getTemplateType()

#


					
	public

canAccessProperties(): TrinaryLogic

Implements

PHPStan\Type\Type::canAccessProperties()

#


					
	public

hasProperty(string $propertyName): TrinaryLogic

Implements

PHPStan\Type\Type::hasProperty()

#


					
	public

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

Implements

PHPStan\Type\Type::getProperty()

#


					
	public

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

Implements

PHPStan\Type\Type::getUnresolvedPropertyPrototype()

#


					
	public

canCallMethods(): TrinaryLogic

Implements

PHPStan\Type\Type::canCallMethods()

#


					
	public

hasMethod(string $methodName): TrinaryLogic

Implements

PHPStan\Type\Type::hasMethod()

#


					
	public

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

Implements

PHPStan\Type\Type::getMethod()

#


					
	public

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

Implements

PHPStan\Type\Type::getUnresolvedMethodPrototype()

#


					
	public

canAccessConstants(): TrinaryLogic

Implements

PHPStan\Type\Type::canAccessConstants()

#


					
	public

hasConstant(string $constantName): TrinaryLogic

Implements

PHPStan\Type\Type::hasConstant()

#


					
	public

getConstant(string $constantName): ClassConstantReflection

Implements

PHPStan\Type\Type::getConstant()

#


					
	public

getConstantStrings(): array

Implements

PHPStan\Type\Type::getConstantStrings()

#


					
	public

isIterable(): TrinaryLogic

Implements

PHPStan\Type\Type::isIterable()

#


					
	public

isIterableAtLeastOnce(): TrinaryLogic

Implements

PHPStan\Type\Type::isIterableAtLeastOnce()

#


					
	public

isCallable(): TrinaryLogic

Implements

PHPStan\Type\Type::isCallable()

#


					
	public

getEnumCases(): array

Implements

PHPStan\Type\Type::getEnumCases()

#


					
	public

isCommonCallable(): bool

#


					
	public

getCallableParametersAcceptors(ClassMemberAccessAnswerer $scope): array

Implements

PHPStan\Type\Type::getCallableParametersAcceptors()

#


					
	public

getThrowPoints(): array

Implements

PHPStan\Reflection\Callables\CallableParametersAcceptor::getThrowPoints()

#


					
	public

getImpurePoints(): array

Implements

PHPStan\Reflection\Callables\CallableParametersAcceptor::getImpurePoints()

#


					
	public

getInvalidateExpressions(): array

Implements

PHPStan\Reflection\Callables\CallableParametersAcceptor::getInvalidateExpressions()

#


					
	public

getUsedVariables(): array

Implements

PHPStan\Reflection\Callables\CallableParametersAcceptor::getUsedVariables()

#


					
	public

acceptsNamedArguments(): TrinaryLogic

Implements

PHPStan\Reflection\Callables\CallableParametersAcceptor::acceptsNamedArguments()

#


					
	public

isCloneable(): TrinaryLogic

Implements

PHPStan\Type\Type::isCloneable()

#


					
	public

toBoolean(): BooleanType

Implements

PHPStan\Type\Type::toBoolean()

#


					
	public

toNumber(): Type

Implements

PHPStan\Type\Type::toNumber()

#


					
	public

toAbsoluteNumber(): Type

Implements

PHPStan\Type\Type::toAbsoluteNumber()

#


					
	public

toInteger(): Type

Implements

PHPStan\Type\Type::toInteger()

#


					
	public

toFloat(): Type

Implements

PHPStan\Type\Type::toFloat()

#


					
	public

toString(): Type

Implements

PHPStan\Type\Type::toString()

#


					
	public

toArray(): Type

Implements

PHPStan\Type\Type::toArray()

#


					
	public

toArrayKey(): Type

Implements

PHPStan\Type\Type::toArrayKey()

#


					
	public

getTemplateTypeMap(): TemplateTypeMap

Implements

PHPStan\Reflection\ParametersAcceptor::getTemplateTypeMap()

#


					
	public

getResolvedTemplateTypeMap(): TemplateTypeMap

Implements

PHPStan\Reflection\ParametersAcceptor::getResolvedTemplateTypeMap()

#


					
	public

getCallSiteVarianceMap(): TemplateTypeVarianceMap

#


					
	public

getParameters(): list<ParameterReflection>

Implements

PHPStan\Reflection\ParametersAcceptor::getParameters()

#


					
	public

isVariadic(): bool

Implements

PHPStan\Reflection\ParametersAcceptor::isVariadic()

#


					
	public

getReturnType(): Type

Implements

PHPStan\Reflection\ParametersAcceptor::getReturnType()

#


					
	public

inferTemplateTypes(Type $receivedType): TemplateTypeMap

Infers template types

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

Implements

PHPStan\Type\Type::inferTemplateTypes()

#


					
	public

getReferencedTemplateTypes(TemplateTypeVariance $positionVariance): array

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.

Implements

PHPStan\Type\Type::getReferencedTemplateTypes()

#


					
	public

traverse(callable $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.

Implements

PHPStan\Type\Type::traverse()

#


					
	public

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

Traverses inner types while keeping the same context in another type.

Implements

PHPStan\Type\Type::traverseSimultaneously()

#


					
	public

isNull(): TrinaryLogic

Implements

PHPStan\Type\Type::isNull()

#


					
	public

isConstantValue(): TrinaryLogic

Is Type of a known constant value? Includes literal strings, integers, floats, true, false, null, and array shapes.

Implements

PHPStan\Type\Type::isConstantValue()

#


					
	public

isConstantScalarValue(): TrinaryLogic

Is Type of a known constant scalar value? Includes literal strings, integers, floats, true, false, and null.

Implements

PHPStan\Type\Type::isConstantScalarValue()

#


					
	public

getConstantScalarTypes(): array

Implements

PHPStan\Type\Type::getConstantScalarTypes()

#


					
	public

getConstantScalarValues(): array

Implements

PHPStan\Type\Type::getConstantScalarValues()

#


					
	public

isTrue(): TrinaryLogic

Implements

PHPStan\Type\Type::isTrue()

#


					
	public

isFalse(): TrinaryLogic

Implements

PHPStan\Type\Type::isFalse()

#


					
	public

isBoolean(): TrinaryLogic

Implements

PHPStan\Type\Type::isBoolean()

#


					
	public

isFloat(): TrinaryLogic

Implements

PHPStan\Type\Type::isFloat()

#


					
	public

isInteger(): TrinaryLogic

Implements

PHPStan\Type\Type::isInteger()

#


					
	public

isString(): TrinaryLogic

Implements

PHPStan\Type\Type::isString()

#


					
	public

isNumericString(): TrinaryLogic

Implements

PHPStan\Type\Type::isNumericString()

#


					
	public

isNonEmptyString(): TrinaryLogic

Implements

PHPStan\Type\Type::isNonEmptyString()

#


					
	public

isNonFalsyString(): TrinaryLogic

Implements

PHPStan\Type\Type::isNonFalsyString()

#


					
	public

isLiteralString(): TrinaryLogic

Implements

PHPStan\Type\Type::isLiteralString()

#


					
	public

isLowercaseString(): TrinaryLogic

Implements

PHPStan\Type\Type::isLowercaseString()

#


					
	public

isClassString(): TrinaryLogic

Implements

PHPStan\Type\Type::isClassString()

#


					
	public

isUppercaseString(): TrinaryLogic

Implements

PHPStan\Type\Type::isUppercaseString()

#


					
	public

getClassStringObjectType(): Type

Returns object type Foo for class-string<Foo> and 'Foo' (if Foo is a valid class).

Implements

PHPStan\Type\Type::getClassStringObjectType()

#


					
	public

getObjectTypeOrClassStringObjectType(): Type

Returns object type Foo for class-string<Foo>, 'Foo' (if Foo is a valid class), and object type Foo.

Implements

PHPStan\Type\Type::getObjectTypeOrClassStringObjectType()

#


					
	public

isVoid(): TrinaryLogic

Implements

PHPStan\Type\Type::isVoid()

#


					
	public

isScalar(): TrinaryLogic

Implements

PHPStan\Type\Type::isScalar()

#


					
	public

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

Implements

PHPStan\Type\Type::looseCompare()

#


					
	public

exponentiate(Type $exponent): Type

Implements

PHPStan\Type\Type::exponentiate()

#


					
	public

getFiniteTypes(): array

Returns a list of finite values.

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.

Implements

PHPStan\Type\Type::getFiniteTypes()

#


					
	public

toPhpDocNode(): TypeNode

Implements

PHPStan\Type\Type::toPhpDocNode()

#

Namespaces

Classes

Interfaces

Class PHPStan\Type\ClosureType

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Parameters

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements