Trait arithmetic_eval::NativeFn

pub trait NativeFn<T: Grammar> {
    fn evaluate<'a>(
        &self, 
        args: Vec<SpannedValue<'a, T>>, 
        context: &mut CallContext<'_, 'a>
    ) -> EvalResult<'a, T>;
}

Function on zero or more Values.

Required methods

fn evaluate<'a>(
    &self,
    args: Vec<SpannedValue<'a, T>>,
    context: &mut CallContext<'_, 'a>
) -> EvalResult<'a, T>

Executes the function on the specified arguments.

Loading content...

Trait Implementations

impl<T: Grammar> Debug for dyn NativeFn<T>

fn fmt(&self, formatter: &mut Formatter) -> Result

Formats the value using the given formatter.

Implementors

impl<F, T> NativeFn<T> for Binary<F> where
    T: Grammar,
    F: Fn(T::Lit, T::Lit) -> T::Lit, 

fn evaluate<'a>(
    &self,
    args: Vec<SpannedValue<'a, T>>,
    ctx: &mut CallContext<'_, 'a>
) -> EvalResult<'a, T>

impl<F, T> NativeFn<T> for Unary<F> where
    T: Grammar,
    F: Fn(T::Lit) -> T::Lit, 

fn evaluate<'a>(
    &self,
    args: Vec<SpannedValue<'a, T>>,
    ctx: &mut CallContext<'_, 'a>
) -> EvalResult<'a, T>

impl<T> NativeFn<T> for Compare where
    T: Grammar,
    T::Lit: Num + Neg<Output = T::Lit> + Pow<T::Lit, Output = T::Lit> + PartialOrd, 

fn evaluate<'a>(
    &self,
    args: Vec<SpannedValue<'a, T>>,
    ctx: &mut CallContext<'_, 'a>
) -> EvalResult<'a, T>

impl<T> NativeFn<T> for Filter where
    T: Grammar,
    T::Lit: Num + Neg<Output = T::Lit> + Pow<T::Lit, Output = T::Lit>, 

fn evaluate<'a>(
    &self,
    args: Vec<SpannedValue<'a, T>>,
    ctx: &mut CallContext<'_, 'a>
) -> EvalResult<'a, T>

impl<T> NativeFn<T> for Fold where
    T: Grammar,
    T::Lit: Num + Neg<Output = T::Lit> + Pow<T::Lit, Output = T::Lit>, 

fn evaluate<'a>(
    &self,
    args: Vec<SpannedValue<'a, T>>,
    ctx: &mut CallContext<'_, 'a>
) -> EvalResult<'a, T>

impl<T> NativeFn<T> for If where
    T: Grammar,
    T::Lit: Num + Neg<Output = T::Lit> + Pow<T::Lit, Output = T::Lit>, 

fn evaluate<'a>(
    &self,
    args: Vec<SpannedValue<'a, T>>,
    ctx: &mut CallContext<'_, 'a>
) -> EvalResult<'a, T>

impl<T> NativeFn<T> for Loop where
    T: Grammar,
    T::Lit: Num + Neg<Output = T::Lit> + Pow<T::Lit, Output = T::Lit>, 

fn evaluate<'a>(
    &self,
    args: Vec<SpannedValue<'a, T>>,
    ctx: &mut CallContext<'_, 'a>
) -> EvalResult<'a, T>

impl<T> NativeFn<T> for Map where
    T: Grammar,
    T::Lit: Num + Neg<Output = T::Lit> + Pow<T::Lit, Output = T::Lit>, 

fn evaluate<'a>(
    &self,
    args: Vec<SpannedValue<'a, T>>,
    ctx: &mut CallContext<'_, 'a>
) -> EvalResult<'a, T>

impl<T> NativeFn<T> for Merge where
    T: Grammar,
    T::Lit: Num + Neg<Output = T::Lit> + Pow<T::Lit, Output = T::Lit>, 

fn evaluate<'a>(
    &self,
    args: Vec<SpannedValue<'a, T>>,
    ctx: &mut CallContext<'_, 'a>
) -> EvalResult<'a, T>

impl<T> NativeFn<T> for Push where
    T: Grammar,
    T::Lit: Num + Neg<Output = T::Lit> + Pow<T::Lit, Output = T::Lit>, 

fn evaluate<'a>(
    &self,
    args: Vec<SpannedValue<'a, T>>,
    ctx: &mut CallContext<'_, 'a>
) -> EvalResult<'a, T>

impl<T: Grammar> NativeFn<T> for Assert

fn evaluate<'a>(
    &self,
    args: Vec<SpannedValue<'a, T>>,
    ctx: &mut CallContext<'_, 'a>
) -> EvalResult<'a, T>

Loading content...