Struct Arena 

pub struct Arena { /* private fields */ }

Top-level arena that holds all memory pools for expressions, strings, and types.

Implementations

impl Arena

pub fn freeze(&mut self)

Freezes the type arena to mark the current state as baseline.

pub fn free_space(&mut self)

Frees types allocated after the last freeze, reclaiming memory for reuse.

pub fn get_str(&self, key: StrRef) -> &str

Retrieves the interned string associated with the given StrRef.

pub fn str_ref(&self, key: &str) -> Option<StrRef>

If that value has already been interned, it returns the string pointer in the arena.

pub fn get_expr(&self, key: ExprRef) -> Expr

Retrieves the expression node associated with the given ExprRef.

pub fn get_type(&self, key: TypeRef) -> Type

Retrieves the type associated with the given TypeRef.

pub fn get_vec(&self, key: VecRef) -> &[ExprRef]

Returns the slice of expression references for the given VecRef.

pub fn get_rec(&self, key: RecRef) -> &[Field]

Returns the slice of record fields for the given RecRef.

pub fn get_type_rec(&self, key: Record) -> &FxHashMap<StrRef, Type>

Returns the map of type record fields for the given type Record

pub fn get_args(&self, key: ArgsRef) -> &[Type]

Returns the function argument types for the given ArgsRef.

Trait Implementations

impl Default for Arena

fn default() -> Arena

Returns the “default value” for a type.

impl Serialize for Arena

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.