Struct arithmetic_eval::fns::Filter

pub struct Filter;

Filter function that evaluates the provided function on each item of the tuple and retains only elements for which the function returned true.

Type

(using arithmetic-typing notation)

(['T; N], ('T) -> Bool) -> ['T]

Examples

let program = "
    xs = (1, -2, 3, -7, -0.3);
    filter(xs, |x| x > -1) == (1, 3, -0.3)
";
let program = Untyped::<F32Grammar>::parse_statements(program)?;
let module = ExecutableModule::new("test_filter", &program)?;

let mut env = Environment::new();
env.insert_native_fn("filter", fns::Filter);
assert_eq!(module.with_env(&env)?.run()?, Value::Bool(true));

Trait Implementations

impl Clone for Filter

fn clone(&self) -> Filter

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Filter

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

Formats the value using the given formatter.

impl Default for Filter

fn default() -> Filter

Returns the “default value” for a type.

impl<T: 'static + Clone> NativeFn<T> for Filter

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

Executes the function on the specified arguments.

impl Copy for Filter