Struct arithmetic_eval::fns::Push

pub struct Push;

Function that appends a value onto a tuple.

Type

(using arithmetic-typing notation)

(['T; N], 'T) -> ['T; N + 1]

Examples

let program = "
    repeat = |x, times| {
        (_, acc) = while(
            (0, ()),
            |(i, _)| i < times,
            |(i, acc)| (i + 1, push(acc, x)),
        );
        acc
    };
    repeat(-2, 3) == (-2, -2, -2) &&
        repeat((7,), 4) == ((7,), (7,), (7,), (7,))
";
let program = Untyped::<F32Grammar>::parse_statements(program)?;
let module = ExecutableModule::new("test_push", &program)?;

let mut env = Environment::new();
env.insert_native_fn("while", fns::While)
    .insert_native_fn("push", fns::Push);
assert_eq!(module.with_env(&env)?.run()?, 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 Debug for Push

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

Formats the value using the given formatter.

impl Default for Push

fn default() -> Push

Returns the “default value” for a type.

impl<T> NativeFn<T> for Push

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

Executes the function on the specified arguments.

impl Copy for Push