Struct litto::env::KvEnv

pub struct KvEnv<V: Trace>(_);

Recursive key-value environment.

Keys are string names.

An environment has an optional parent environment, which enables scopes. An environment exclusive to a function is useful for implementing closures.

Methods

impl<V: Trace + Clone> KvEnv<V>

pub fn get(&self, name: &str) -> Option<V>

Resolve a name. Ignore parent environments.

pub fn set_local(&self, name: &str, value: V)

Set a name to a value. Ignore parent environments.

pub fn set(&self, name: &str, value: V)

Set a name to a value.

• If the name exists in this environment, it will be updated in-place.
• If the name exists in a parent environment, the closest parent environment will be updated.
• If the name does not exist in this or any of the parent environments, it will be added in this environment.

pub fn nested(&self) -> Self

Create a nested environment. The current environment will be the parent of the returned environment.

Trait Implementations

impl<V: Clone + Trace> Clone for KvEnv<V>

fn clone(&self) -> KvEnv<V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<V: Trace> Default for KvEnv<V>

fn default() -> Self

Returns the "default value" for a type.

impl<V: Trace> Trace for KvEnv<V>

fn trace(&self, tracer: &mut Tracer)

Define how to visit values referred by this value.

fn is_type_tracked() -> bool

Whether this type should be tracked by the collector.

fn as_any(&self) -> Option<&dyn Any>

Provide downcast support.