conspire 0.7.2

The Rust interface to conspire.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

mod owned;

use super::{Assert, AssertionError, FiniteDifference};
use crate::math::Tensor;
use std::fmt::Display;

/// Finite-difference equality assertions, overloaded across owned and borrowed operands.
pub trait AssertFd<Rhs = Self> {
    fn eq_within_fd_tol(tols: &Assert, a: Self, b: Rhs) -> Result<(), AssertionError>;
}

pub(super) fn eq_within_fd_tol_impl<T: Display + FiniteDifference + Tensor>(
    tols: &Assert,
    a: &T,
    b: &T,
) -> Result<(), AssertionError> {
    if let Some((failed, count)) = a.error_fd(b, tols.fd_tol) {
        if failed {
            let abs = a.sub_abs(b);
            let rel = a.sub_rel(b);
            Err(AssertionError {
                message: format!(
                    "\n\x1b[1;91mAssertion `left ≈= right` failed in {count} places.\n\x1b[0;91m  left: {a}\n right: {b}\n   abs: {abs}\n   rel: {rel}\x1b[0m"
                ),
            })
        } else {
            println!(
                "Warning: \n\x1b[1;93mAssertion `left ≈= right` was weak in {count} places.\x1b[0m"
            );
            Ok(())
        }
    } else {
        Ok(())
    }
}

impl<T> AssertFd<T> for &T
where
    T: Display + PartialEq + Tensor + FiniteDifference,
{
    fn eq_within_fd_tol(tols: &Assert, a: Self, b: T) -> Result<(), AssertionError> {
        eq_within_fd_tol_impl(tols, a, &b)
    }
}

impl<'a, T> AssertFd<&'a T> for T
where
    T: Display + PartialEq + Tensor + FiniteDifference,
{
    fn eq_within_fd_tol(tols: &Assert, a: Self, b: &'a T) -> Result<(), AssertionError> {
        eq_within_fd_tol_impl(tols, &a, b)
    }
}

impl<'a, T> AssertFd<&'a T> for &'a T
where
    T: Display + PartialEq + Tensor + FiniteDifference,
{
    fn eq_within_fd_tol(tols: &Assert, a: Self, b: &'a T) -> Result<(), AssertionError> {
        eq_within_fd_tol_impl(tols, a, b)
    }
}