Struct IterableSet

pub struct IterableSet {
    pub var: VariableKind,
    pub iterator: Spanned<PreExp>,
    pub span: InputSpan,
}

Represents an iterable set expression in the intermediate language.

An iterable set binds a variable or tuple of variables to elements from an iterator expression. For example: x in 1..10 or (a,b) in pairs(matrix).

Fields

var: VariableKind

The variable(s) being bound

iterator: Spanned<PreExp>

The iterator expression producing values

span: InputSpan

Source code location information

Implementations

impl IterableSet

pub fn new( var: VariableKind, iterator: Spanned<PreExp>, span: InputSpan, ) -> Self

Creates a new IterableSet.

Arguments

• var - The variable(s) to bind iterator values to
• iterator - The iterator expression
• span - Source location information

pub fn populate_token_type_map( &self, context: &mut TypeCheckerContext, fn_context: &FunctionContext<'_>, )

Populates type information for variables in the type checker context.

Arguments

• context - The type checker context to populate
• fn_context - Function context for type checking

pub fn variable_types( &self, context: &TypeCheckerContext, fn_context: &FunctionContext<'_>, ) -> Result<Vec<(Spanned<String>, PrimitiveKind)>, TransformError>

Gets the types of variables bound by this iterable set.

Arguments

• context - Type checker context
• fn_context - Function context for type checking

Returns

• Ok(Vec<(Spanned<String>, PrimitiveKind)>) - List of variable names and their types
• Err(TransformError) - If type checking fails

Trait Implementations

impl Clone for IterableSet

fn clone(&self) -> IterableSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IterableSet

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

Formats the value using the given formatter.

impl Display for IterableSet

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

Formats the value using the given formatter.

impl Serialize for IterableSet

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.