Enum debris_hir::hir_nodes::HirExpression

pub enum HirExpression {
    Variable(SpannedIdentifier),
    Path(IdentifierPath),
    PropertyAccess {
        lhs: Box<HirExpression>,
        rhs: SpannedIdentifier,
    },
    Value(HirConstValue),
    UnaryOperation {
        operation: HirPrefix,
        value: Box<HirExpression>,
    },
    BinaryOperation {
        operation: HirInfix,
        lhs: Box<HirExpression>,
        rhs: Box<HirExpression>,
    },
    Block(HirBlock),
    Function(HirFunction),
    FunctionCall(HirFunctionCall),
    ConditionalBranch(HirConditionalBranch),
    StructInitialization(HirStructInitialization),
    TupleInitialization(HirTupleInitialization),
    InfiniteLoop(HirInfiniteLoop),
    ControlFlow(HirControlFlow),
}

Any expression

Variants

Variable(SpannedIdentifier)

A variable, for example a

Path(IdentifierPath)

A path, for example a.b.c

PropertyAccess

Fields

lhs: Box<HirExpression>

rhs: SpannedIdentifier

A generic property access, not necessarily in a path

Value(HirConstValue)

A literal value, for example 2.0 or "Hello World"

UnaryOperation

Fields

operation: HirPrefix

value: Box<HirExpression>

A unary operation, for example -a

BinaryOperation

Fields

operation: HirInfix

lhs: Box<HirExpression>

rhs: Box<HirExpression>

A binary operation, for example a + b

Block(HirBlock)

A block which returns something

Function(HirFunction)

An anonymous function

FunctionCall(HirFunctionCall)

A function call, for example foo() or path.to.foo()

ConditionalBranch(HirConditionalBranch)

StructInitialization(HirStructInitialization)

TupleInitialization(HirTupleInitialization)

InfiniteLoop(HirInfiniteLoop)

ControlFlow(HirControlFlow)

Implementations

impl HirExpression

pub fn span(&self) -> Span

Trait Implementations

impl Debug for HirExpression

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

Formats the value using the given formatter.

impl PartialEq for HirExpression

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

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

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.

impl Eq for HirExpression

impl StructuralEq for HirExpression

impl StructuralPartialEq for HirExpression