Enum debris_mir::mir_nodes::MirNode

pub enum MirNode {
    Branch(Branch),
    FunctionCall(FunctionCall),
    Goto(Goto),
    RuntimePromotion(RuntimePromotion),
    RuntimeCopy(RuntimeCopy),
    VerifyValueComptime(VerifyValueComptime),
    VerifyTupleLength(VerifyTupleLength),
    VerifyPropertyExists(VerifyPropertyExists),
    PrimitiveDeclaration(PrimitiveDeclaration),
    VariableUpdate(VariableUpdate),
    PropertyUpdate(PropertyUpdate),
    PropertyAccess(PropertyAccess),
}

Variants

Branch(Branch)

FunctionCall(FunctionCall)

Goto(Goto)

RuntimePromotion(RuntimePromotion)

RuntimeCopy(RuntimeCopy)

VerifyValueComptime(VerifyValueComptime)

VerifyTupleLength(VerifyTupleLength)

VerifyPropertyExists(VerifyPropertyExists)

PrimitiveDeclaration(PrimitiveDeclaration)

VariableUpdate(VariableUpdate)

PropertyUpdate(PropertyUpdate)

PropertyAccess(PropertyAccess)

Trait Implementations

impl Debug for MirNode

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

Formats the value using the given formatter.

impl From<Branch> for MirNode

fn from(value: Branch) -> Self

Converts to this type from the input type.

impl From<FunctionCall> for MirNode

fn from(value: FunctionCall) -> Self

Converts to this type from the input type.

impl From<Goto> for MirNode

fn from(value: Goto) -> Self

Converts to this type from the input type.

impl From<PrimitiveDeclaration> for MirNode

fn from(value: PrimitiveDeclaration) -> Self

Converts to this type from the input type.

impl From<PropertyAccess> for MirNode

fn from(value: PropertyAccess) -> Self

Converts to this type from the input type.

impl From<PropertyUpdate> for MirNode

fn from(value: PropertyUpdate) -> Self

Converts to this type from the input type.

impl From<RuntimeCopy> for MirNode

fn from(value: RuntimeCopy) -> Self

Converts to this type from the input type.

impl From<RuntimePromotion> for MirNode

fn from(value: RuntimePromotion) -> Self

Converts to this type from the input type.

impl From<VariableUpdate> for MirNode

fn from(value: VariableUpdate) -> Self

Converts to this type from the input type.

impl From<VerifyPropertyExists> for MirNode

fn from(value: VerifyPropertyExists) -> Self

Converts to this type from the input type.

impl From<VerifyTupleLength> for MirNode

fn from(value: VerifyTupleLength) -> Self

Converts to this type from the input type.

impl From<VerifyValueComptime> for MirNode

fn from(value: VerifyValueComptime) -> Self

Converts to this type from the input type.