Struct ListComprehension 

pub struct ListComprehension {
    pub span: SourceSpan,
    pub bindings: Vec<Identifier>,
    pub iterables: Vec<Expr>,
    pub body: Box<ScalarExpr>,
    pub selector: Option<ScalarExpr>,
    pub ty: Option<Type>,
}

Fields

span: SourceSpan

bindings: Vec<Identifier>

The names to be bound to each element of their corresponding iterable in iterables

NOTE: There must be the same number of bindings as iterables.

iterables: Vec<Expr>

The generators for this comprehension.

Each iterable must produce the same number of elements as the others.

NOTE: There must be the same number of iterables as bindings.

body: Box<ScalarExpr>

The expression which will be evaluated at each step of the comprehension

selector: Option<ScalarExpr>

An optional filter applied to the generator expression at each iteration, which skips values for which the selector evaluates to zero (false).

When the comprehension is used as a constraint, this field is only valid for use in integrity constraints.

ty: Option<Type>

The type of the result of this list comprehension, e.g. vector[5]

This is set during semantic analysis

Implementations

impl ListComprehension

pub fn new( span: SourceSpan, body: ScalarExpr, context: ComprehensionContext, selector: Option<ScalarExpr>, ) -> Self

Creates a new list comprehension.

Trait Implementations

impl Clone for ListComprehension

fn clone(&self) -> ListComprehension

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ListComprehension

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

Formats the value using the given formatter.

impl Display for ListComprehension

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

Formats the value using the given formatter.

impl From<ListComprehension> for Expr

fn from(expr: ListComprehension) -> Self

Converts to this type from the input type.

impl PartialEq for ListComprehension

fn eq(&self, other: &Self) -> 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 Spanned for ListComprehension

fn span(&self) -> SourceSpan

impl Eq for ListComprehension