Struct arithmetic_eval::fns::AssertEq

pub struct AssertEq;

Equality assertion function.

Type

(using arithmetic-typing notation)

('T, 'T) -> ()

Examples

let program = "
    assert_eq(1 + 2, 3); // this assertion is fine
    assert_eq(3^2, 10); // this one will fail
";
let module = Untyped::<F32Grammar>::parse_statements(program)?;
let module = ExecutableModule::new("test_assert", &module)?;

let mut env = Environment::new();
env.insert_native_fn("assert_eq", fns::AssertEq);

let err = module.with_env(&env)?.run().unwrap_err();
assert_eq!(
    err.source().location().in_module().span(program),
    "assert_eq(3^2, 10)"
);
assert_matches!(
    err.source().kind(),
    ErrorKind::NativeCall(msg) if msg == "Equality assertion failed"
);

Trait Implementations

impl Clone for AssertEq

fn clone(&self) -> AssertEq

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AssertEq

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

Formats the value using the given formatter.

impl Default for AssertEq

fn default() -> AssertEq

Returns the “default value” for a type.

impl<T: Display> NativeFn<T> for AssertEq

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

Executes the function on the specified arguments.

impl Copy for AssertEq