Struct ExprArena 

pub struct ExprArena {
    pub exprs: Arena<ExprNode>,
    pub patterns: Arena<ArmPatternNode>,
}

Owns all ExprNodes and ArmPatternNodes for a single compiled Rib expression. Children are referenced by index, never by pointer.

Fields

exprs: Arena<ExprNode>

patterns: Arena<ArmPatternNode>

Implementations

impl ExprArena

pub fn new() -> Self

pub fn alloc_expr(&mut self, node: ExprNode) -> ExprId

Allocate a new expression node, returning its stable ExprId.

pub fn alloc_pattern(&mut self, node: ArmPatternNode) -> ArmPatternId

Allocate a new arm-pattern node, returning its stable ArmPatternId.

pub fn expr(&self, id: ExprId) -> &ExprNode

Look up an expression node by id.

pub fn expr_mut(&mut self, id: ExprId) -> &mut ExprNode

Look up an expression node mutably by id. Used by passes that perform structural mutations (e.g. converting an Identifier node into a Call node during enum/variant inference).

pub fn pattern(&self, id: ArmPatternId) -> &ArmPatternNode

Look up a pattern node by id.

pub fn pattern_mut(&mut self, id: ArmPatternId) -> &mut ArmPatternNode

Look up a pattern node mutably by id.

Trait Implementations

impl Debug for ExprArena

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

Formats the value using the given formatter.

impl Default for ExprArena

fn default() -> ExprArena

Returns the “default value” for a type.