Enum PureStmt 

pub enum PureStmt {
    Local {
        pattern: PurePattern,
        ty: Option<PureType>,
        init: Option<PureExpr>,
    },
    Semi(PureExpr),
    Expr(PureExpr),
    Item(Box<PureItem>),
}

A statement.

Variants

Local

Local variable: let x = 1;

Fields

pattern: PurePattern

Binding pattern (LHS of let).

ty: Option<PureType>

Optional explicit type annotation.

init: Option<PureExpr>

Optional initializer expression.

Semi(PureExpr)

Expression with semicolon.

Expr(PureExpr)

Expression without semicolon (tail expression).

Item(Box<PureItem>)

Item statement (function inside function, etc.).

Implementations

impl PureStmt

pub fn get_expr(&self) -> Option<&PureExpr>

Get the expression contained in this statement.

Returns Some for Local (init expr), Semi, and Expr variants. Returns None for Item or if Local has no initializer.

pub fn get_expr_mut(&mut self) -> Option<&mut PureExpr>

Get mutable expression contained in this statement.

pub fn has_expr(&self) -> bool

Check if this statement contains an expression.

Trait Implementations

impl Clone for PureStmt

fn clone(&self) -> PureStmt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PureStmt

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

Formats the value using the given formatter.

impl PartialEq for PureStmt

fn eq(&self, other: &PureStmt) -> 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 ToSyn for PureStmt

type Output = Stmt

syn output type produced from self.

fn to_syn(&self) -> Result<Stmt, ToSynError>

Convert self back into its syn representation.

impl Eq for PureStmt

impl StructuralPartialEq for PureStmt