Struct Then

pub struct Then {
    pub expr: Box<Expr>,
    pub span: Range<usize>,
    pub then_span: Range<usize>,
}

A then expression, such as then x += 1.

A then expression simply evaluates the expression that follows the then keyword, and returns its result. It is only valid in the context of if and while expressions, and is used to concisely write one-line if and while expressions, such as if x < 10 then x += 1.

Fields

expr: Box<Expr>

The expression to evaluate.

span: Range<usize>

The region of the source code that this expression was parsed from.

then_span: Range<usize>

The span of the then keyword.

Implementations

impl Then

pub fn span(&self) -> Range<usize>

Returns the span of the then expression.

Trait Implementations

impl Clone for Then

fn clone(&self) -> Then

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Then

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

Formats the value using the given formatter.

impl Display for Then

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

Formats the value using the given formatter.

impl Latex for Then

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

Format the value as LaTeX.

fn as_display(&self) -> LatexFormatter<'_, Self>

Wraps the value in a LatexFormatter, which implements Display.

impl<'source> Parse<'source> for Then

fn std_parse( input: &mut Parser<'source>, recoverable_errors: &mut Vec<Error>, ) -> Result<Self, Vec<Error>>

Parses a value from the given stream of tokens, advancing the stream past the consumed tokens if parsing is successful.

fn parse(input: &mut Parser<'source>) -> ParseResult<Self>

Parses a value from the given stream of tokens, advancing the stream past the consumed tokens if parsing is successful.

impl PartialEq for Then

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

impl StructuralPartialEq for Then