pub enum HirStatement {
    VariableDecl(HirVariableInitialization),
    VariableUpdate(HirVariableUpdate),
    ControlFlow(HirControlFlow),
    Block(HirBlock),
    ConditionalBranch(HirConditionalBranch),
    InfiniteLoop(HirInfiniteLoop),
    Expression(HirExpression),
}
Expand description

Any statement, the difference to an expression is that a statement does not return anything

Variants§

§

VariableDecl(HirVariableInitialization)

A variable declaration, for example let foo = 1

§

VariableUpdate(HirVariableUpdate)

A write to an already existing variable

§

ControlFlow(HirControlFlow)

Controls the program flow

§

Block(HirBlock)

A normal block

§

ConditionalBranch(HirConditionalBranch)

A normal if statement

§

InfiniteLoop(HirInfiniteLoop)

§

Expression(HirExpression)

Implementations§

source§

impl HirStatement

source

pub fn span(&self) -> Span

Trait Implementations§

source§

impl Debug for HirStatement

source§

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

Formats the value using the given formatter. Read more
source§

impl PartialEq for HirStatement

source§

fn eq(&self, other: &HirStatement) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl Eq for HirStatement

source§

impl StructuralEq for HirStatement

source§

impl StructuralPartialEq for HirStatement

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
§

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.