Enum NativeStmt 

pub enum NativeStmt {
    Literal {
        dest: ValueId,
        literal: NativeLiteral,
    },
    Primitive {
        dest: ValueId,
        op: PrimitiveOp,
        args: Vec<ValueId>,
    },
    DirectCall {
        dest: ValueId,
        target: String,
        args: Vec<ValueId>,
    },
    Tuple {
        dest: ValueId,
        items: Vec<ValueId>,
    },
    Record {
        dest: ValueId,
        base: Option<ValueId>,
        fields: Vec<NativeRecordField>,
    },
    RecordWithoutFields {
        dest: ValueId,
        base: ValueId,
        fields: Vec<Name>,
    },
    Variant {
        dest: ValueId,
        tag: Name,
        value: Option<ValueId>,
    },
    Select {
        dest: ValueId,
        base: ValueId,
        field: Name,
    },
    TupleGet {
        dest: ValueId,
        tuple: ValueId,
        index: usize,
    },
    VariantTagEq {
        dest: ValueId,
        variant: ValueId,
        tag: Name,
    },
    VariantPayload {
        dest: ValueId,
        variant: ValueId,
    },
    ValueEq {
        dest: ValueId,
        left: ValueId,
        right: ValueId,
    },
    BoolAnd {
        dest: ValueId,
        left: ValueId,
        right: ValueId,
    },
    MakeClosure {
        dest: ValueId,
        target: String,
        captures: Vec<ValueId>,
    },
    ClosureCall {
        dest: ValueId,
        callee: ValueId,
        args: Vec<ValueId>,
    },
}

Variants

Literal

Fields

dest: ValueId

literal: NativeLiteral

Primitive

Fields

dest: ValueId

op: PrimitiveOp

args: Vec<ValueId>

DirectCall

Fields

dest: ValueId

target: String

args: Vec<ValueId>

Tuple

Fields

dest: ValueId

items: Vec<ValueId>

Record

Fields

dest: ValueId

base: Option<ValueId>

fields: Vec<NativeRecordField>

RecordWithoutFields

Fields

dest: ValueId

base: ValueId

fields: Vec<Name>

Variant

Fields

dest: ValueId

tag: Name

value: Option<ValueId>

Select

Fields

dest: ValueId

base: ValueId

field: Name

TupleGet

Fields

dest: ValueId

tuple: ValueId

index: usize

VariantTagEq

Fields

dest: ValueId

variant: ValueId

tag: Name

VariantPayload

Fields

dest: ValueId

variant: ValueId

ValueEq

Fields

dest: ValueId

left: ValueId

right: ValueId

BoolAnd

Fields

dest: ValueId

left: ValueId

right: ValueId

MakeClosure

Fields

dest: ValueId

target: String

captures: Vec<ValueId>

ClosureCall

Fields

dest: ValueId

callee: ValueId

args: Vec<ValueId>

Trait Implementations

impl Clone for NativeStmt

fn clone(&self) -> NativeStmt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NativeStmt

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

Formats the value using the given formatter.

impl PartialEq for NativeStmt

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

impl StructuralPartialEq for NativeStmt