Struct EffectIR 

pub struct EffectIR {
    pub opcode: EffectOpcode,
    pub payload: usize,
    pub member_ref: Option<MemberRef>,
}

Effect operation with symbolic member references. Used during compilation; resolved to EffectOp during emission.

Fields

opcode: EffectOpcode

payload: usize

Payload for effects that don’t use member indices.

member_ref: Option<MemberRef>

Member reference for Set/E effects (None for other effects).

Implementations

impl EffectIR

pub fn simple(opcode: EffectOpcode, payload: usize) -> Self

Create a simple effect without member reference.

pub fn with_member(opcode: EffectOpcode, member_ref: MemberRef) -> Self

Create an effect with a member reference.

pub fn node() -> Self

Capture current node value.

pub fn text() -> Self

Capture current node text.

pub fn null() -> Self

Push null value.

pub fn push() -> Self

Push accumulated value to array.

pub fn start_arr() -> Self

Begin array scope.

pub fn end_arr() -> Self

End array scope.

pub fn start_obj() -> Self

Begin object scope.

pub fn end_obj() -> Self

End object scope.

pub fn start_enum() -> Self

Begin enum scope.

pub fn end_enum() -> Self

End enum scope.

pub fn suppress_begin() -> Self

Begin suppression (suppress effects within).

pub fn suppress_end() -> Self

End suppression.

pub fn resolve<F, G>(&self, lookup_member: F, get_member_base: G) -> EffectOp

where F: Fn(Symbol, TypeId) -> Option<u16>, G: Fn(TypeId) -> Option<u16>,

Resolve this IR effect to a concrete EffectOp.

• lookup_member: maps (field_name Symbol, field_type TypeId) to member index
• get_member_base: maps parent TypeId to member base index

Trait Implementations

impl Clone for EffectIR

fn clone(&self) -> EffectIR

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectIR

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

Formats the value using the given formatter.

impl PartialEq for EffectIR

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

impl StructuralPartialEq for EffectIR