Struct ForBinding 

pub struct ForBinding {
    pub prefix: String,
    pub local_name: String,
    pub in_expr: AstNodeId,
    pub slot: Option<u32>,
    pub span: SourceSpan,
}

Variable binding in a for/quantified expression.

Fields

prefix: String

Variable name prefix.

local_name: String

Variable local name.

in_expr: AstNodeId

Expression producing the sequence to iterate.

slot: Option<u32>

Resolved variable slot (set during binding phase).

span: SourceSpan

Source location.

Implementations

impl ForBinding

pub fn new( prefix: String, local_name: String, in_expr: AstNodeId, span: SourceSpan, ) -> Self

Trait Implementations

impl Clone for ForBinding

fn clone(&self) -> ForBinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ForBinding

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

Formats the value using the given formatter.