Struct arithmetic_eval::fns::Push

pub struct Push;

Function that appends a value onto a tuple.

Type

fn<T>([T], T) -> [T]

Examples

let program = r#"
    repeat = |x, times| loop(
        (0, ()),
        |(i, acc)| {
            continue = cmp(i, times) == -1;
            ret = if(continue, (i + 1, push(acc, x)), acc);
            (continue, ret)
        },
    );
    repeat(-2, 3) == (-2, -2, -2) && repeat((7,), 4) == ((7,), (7,), (7,), (7,))
"#;
let block = F32Grammar::parse_statements(Span::new(program)).unwrap();

let mut interpreter = Interpreter::new();
interpreter
    .insert_native_fn("cmp", fns::Compare)
    .insert_native_fn("if", fns::If)
    .insert_native_fn("loop", fns::Loop)
    .insert_native_fn("push", fns::Push);
let ret = interpreter.evaluate(&block).unwrap();
assert_eq!(ret, Value::Bool(true));

Trait Implementations

impl Clone for Push

fn clone(&self) -> Push

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Push

impl Debug for Push

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

Formats the value using the given formatter.

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>

Executes the function on the specified arguments.