Struct EnvRef 

pub struct EnvRef(/* private fields */);

A typed wrapper around ArenaIndex representing an environment chain.

Environments are linked lists of (name . value) bindings stored in the arena. Using a distinct type prevents accidentally passing an expression where an environment is expected.

Implementations

impl EnvRef

pub const fn index(self) -> ArenaIndex

Get the underlying ArenaIndex.

pub const fn new(idx: ArenaIndex) -> Self

Create an EnvRef from a raw ArenaIndex.

Trait Implementations

impl Clone for EnvRef

fn clone(&self) -> EnvRef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EnvRef

impl Debug for EnvRef

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

Formats the value using the given formatter.

impl Eq for EnvRef

impl From<ArenaIndex> for EnvRef

fn from(idx: ArenaIndex) -> Self

Converts to this type from the input type.

impl From<EnvRef> for ArenaIndex

fn from(r: EnvRef) -> Self

Converts to this type from the input type.

impl PartialEq for EnvRef

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