Trait arithmetic_eval::VariableMap

pub trait VariableMap<'a, T> {
    fn get_variable(&self, name: &str) -> Option<Value<'a, T>>;

    fn compile_module<Id, G>(
        &self, 
        id: Id, 
        block: &Block<'a, G>
    ) -> Result<ExecutableModule<'a, T>, Error<'a>>
    where
        Id: ModuleId,
        G: Grammar<'a, Lit = T>,
        T: Clone + Debug,
    { ... }
}

Encapsulates read access to named variables.

Required methods

fn get_variable(&self, name: &str) -> Option<Value<'a, T>>

Returns value of the named variable, or None if it is not defined.

Provided methods

fn compile_module<Id, G>(
    &self,
    id: Id,
    block: &Block<'a, G>
) -> Result<ExecutableModule<'a, T>, Error<'a>> where
    Id: ModuleId,
    G: Grammar<'a, Lit = T>,
    T: Clone + Debug, 

Creates a module based on imports solely from this map.

The default implementation is reasonable for most cases.

Implementors

impl<'a, T> VariableMap<'a, T> for Comparisons

fn get_variable(&self, name: &str) -> Option<Value<'a, T>>

impl<'a, T: Clone> VariableMap<'a, T> for Environment<'a, T>

fn get_variable(&self, name: &str) -> Option<Value<'a, T>>

impl<'a, T: Clone> VariableMap<'a, T> for ModuleImports<'a, T>

fn get_variable(&self, name: &str) -> Option<Value<'a, T>>

impl<'a, T: Clone> VariableMap<'a, T> for Prelude

fn get_variable(&self, name: &str) -> Option<Value<'a, T>>

impl<'a, T: Display> VariableMap<'a, T> for Assertions

fn get_variable(&self, name: &str) -> Option<Value<'a, T>>