Enum FullIterableTypeKind 

pub enum FullIterableTypeKind {
    Array(TypeId),
    Tuple(Vec<TupleElement>),
    StringLiteral(Atom),
    Union(Vec<TypeId>),
    Intersection(Vec<TypeId>),
    Object(ObjectShapeId),
    Application {
        base: TypeId,
    },
    TypeParameter {
        constraint: Option<TypeId>,
    },
    Readonly(TypeId),
    FunctionOrCallable,
    ComplexType,
    NotIterable,
}

Comprehensive classification for iterable type checking.

This enum is used by is_iterable_type and related functions to determine if a type is iterable (has Symbol.iterator protocol) without directly matching on TypeData in the checker layer.

Variants

Array(TypeId)

Array type - always iterable

Tuple(Vec<TupleElement>)

Tuple type - always iterable

StringLiteral(Atom)

String literal - always iterable

Union(Vec<TypeId>)

Union type - all members must be iterable

Intersection(Vec<TypeId>)

Intersection type - at least one member must be iterable

Object(ObjectShapeId)

Object type - check for [Symbol.iterator] method

Application

Application type (Set, Map<K,V>, etc.) - check base type

Fields

base: TypeId

TypeParameter

Type parameter - check constraint if present

Fields

constraint: Option<TypeId>

Readonly(TypeId)

Readonly wrapper - check inner type

FunctionOrCallable

Function or Callable - not iterable

ComplexType

Index access, Conditional, Mapped - not directly iterable

NotIterable

Unknown type - not iterable (or needs special handling)

Trait Implementations

impl Clone for FullIterableTypeKind

fn clone(&self) -> FullIterableTypeKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FullIterableTypeKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.