Struct LoopExpr

#[repr(C)]
pub struct LoopExpr<'ast> { /* private fields */ }

An unconditional loop expression

    //      vvvvvv A loop expression
    let _ = loop {
        break 3;
    //  ^^^^^^^ A break expression targeting the loop and returning a value
    };

//  vvvvvvvvvvvvvvvvvv An infinite loop
    'infinite: loop {};
//  ^^^^^^^^^       ^^ A block expression as the loop body expression
//      |
//      An optional label to be targeted by break and continue expressions

Implementations

impl<'ast> LoopExpr<'ast>

pub fn label(&self) -> Option<&Ident<'ast>>

pub fn block(&self) -> ExprKind<'ast>

Trait Implementations

impl<'ast> Debug for LoopExpr<'ast>

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

Formats the value using the given formatter.

impl<'ast> ExprData<'ast> for LoopExpr<'ast>

fn id(&self) -> ExprId

Returns the ExprId of this expression.

fn ty(&self) -> TyKind<'ast>

Returns the semantic type of this expression.

fn precedence(&self) -> ExprPrecedence

Returns the ExprPrecedence of this expression.

fn as_expr(&'ast self) -> ExprKind<'ast>

Returns this expression wrapped in it’s ExprKind variant.

impl<'ast> From<&'ast LoopExpr<'ast>> for ExprKind<'ast>

fn from(from: &'ast LoopExpr<'ast>) -> Self

Converts to this type from the input type.

impl<'ast> HasNodeId for LoopExpr<'ast>

fn node_id(&self) -> NodeId

Returns the NodeId of the identifiable node

impl<'ast> HasSpan<'ast> for LoopExpr<'ast>

fn span(&self) -> &Span<'ast>

This returns the Span of the implementing AST node.