Struct arithmetic_eval::fns::All

pub struct All;

Function that checks whether all of array items satisfy the provided predicate.

Type

(using arithmetic-typing notation)

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

Examples

let program = "
    assert(all((1, 2, 3, 5), |x| x > 0));
    assert(!all((1, -2, 3), |x| x > 0));
";
let program = Untyped::<F32Grammar>::parse_statements(program)?;
let module = ExecutableModule::new("test_all", &program)?;

let mut env = Environment::new();
env.insert_native_fn("all", fns::All)
    .insert_native_fn("assert", fns::Assert);
module.with_env(&env)?.run()?;

Trait Implementations

impl Clone for All

fn clone(&self) -> All

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for All

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

Formats the value using the given formatter.

impl Default for All

fn default() -> All

Returns the “default value” for a type.

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

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

Executes the function on the specified arguments.

impl Copy for All