Enum IterableKind 

pub enum IterableKind {
    Array(TypeId),
    Tuple(Vec<TypeId>),
    String,
    SyncIterator {
        iterator_type: TypeId,
        element_type: TypeId,
    },
    AsyncIterator {
        iterator_type: TypeId,
        element_type: TypeId,
    },
    NotIterable,
}

Classification of how a type can be iterated.

Used by the Checker to determine valid for-of targets, spread behavior, etc.

Variants

Array(TypeId)

Array - provides element type

Tuple(Vec<TypeId>)

Tuple [T, U, V] - provides element union or individual types

String

string - iterates chars

SyncIterator

Has [Symbol.iterator] method returning an iterator

Fields

iterator_type: TypeId

The iterator type returned by [Symbol.iterator]

element_type: TypeId

The yielded element type (from Iterator.next().value)

AsyncIterator

Has [Symbol.asyncIterator] method returning an async iterator

Fields

iterator_type: TypeId

The async iterator type

element_type: TypeId

The yielded element type

NotIterable

Not iterable

Trait Implementations

impl Clone for IterableKind

fn clone(&self) -> IterableKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IterableKind

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

Formats the value using the given formatter.

impl PartialEq for IterableKind

fn eq(&self, other: &IterableKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for IterableKind

impl StructuralPartialEq for IterableKind