Enum BodyStatement

pub enum BodyStatement<'a, I: SemanticContextInstruction, E: ExtendedExpression<I>> {
    LetBinding(LetBinding<'a, I, E>),
    Binding(Binding<'a, I, E>),
    FunctionCall(FunctionCall<'a, I, E>),
    If(IfStatement<'a, I, E>),
    Loop(Vec<LoopBodyStatement<'a, I, E>>),
    Expression(Expression<'a, I, E>),
    Return(Expression<'a, I, E>),
}

BodyStatement one of the basic AST elements. It’s part of Function body.

Variants

LetBinding(LetBinding<'a, I, E>)

Let-binding function declaration

Binding(Binding<'a, I, E>)

Binding function declaration

FunctionCall(FunctionCall<'a, I, E>)

Function call

If(IfStatement<'a, I, E>)

If-condition control flow statement

Loop(Vec<LoopBodyStatement<'a, I, E>>)

Loop control flow statement

Expression(Expression<'a, I, E>)

Expression statement

Return(Expression<'a, I, E>)

Return statement

Trait Implementations

impl<'a, I: Clone + SemanticContextInstruction, E: Clone + ExtendedExpression<I>> Clone for BodyStatement<'a, I, E>

fn clone(&self) -> BodyStatement<'a, I, E>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, I: Debug + SemanticContextInstruction, E: Debug + ExtendedExpression<I>> Debug for BodyStatement<'a, I, E>

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

Formats the value using the given formatter.

impl<I: SemanticContextInstruction, E: ExtendedExpression<I>> From<BodyStatement<'_, I, E>> for BodyStatement

fn from(value: BodyStatement<'_, I, E>) -> Self

Converts to this type from the input type.

impl<'a, I: PartialEq + SemanticContextInstruction, E: PartialEq + ExtendedExpression<I>> PartialEq for BodyStatement<'a, I, E>

fn eq(&self, other: &BodyStatement<'a, I, E>) -> 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<'a, I: SemanticContextInstruction, E: ExtendedExpression<I>> StructuralPartialEq for BodyStatement<'a, I, E>