Value Object representing a Compound Type.

A Intersection Type is not so much a special keyword or object reference but is a series of Types that are separated using an AND operator (&). This combination of types signifies that whatever is associated with this Intersection type may contain a value with any of the given types.

  • psalm-immutable
public __construct(array $types)

Initializes a intersection type (i.e. \A&\B) and tests if the provided types all implement the Type interface.

  • param \Type[] $types
public phpDocumentor\Reflection\Types\AggregatedType::__toString() : string

Returns a rendered output of the Type as it would be used in a DocBlock.

public phpDocumentor\Reflection\Types\AggregatedType::contains(phpDocumentor\Reflection\Type $type) : bool

Tests if this compound type contains the given type.

public phpDocumentor\Reflection\Types\AggregatedType::get(int $index) : ?phpDocumentor\Reflection\Type

Returns the type at the given index.

public phpDocumentor\Reflection\Types\AggregatedType::getIterator() : ArrayIterator
  • return \ArrayIterator<int,\Type>
public phpDocumentor\Reflection\Types\AggregatedType::has(int $index) : bool

Tests if this compound type has a type with the given index.

© 2024 Bruce Wells
Search Namespaces \ Classes