Trait float_eq::FloatEqUlpsTol

pub trait FloatEqUlpsTol {
    type UlpsTol: ?Sized;
}

Per-field tolerances for ULPs comparisons.

This trait establishes a one-to-one relation between an IEEE floating point type and a type whose fields are expected to be structurally identical but specified in ULPs. It is used by ULPs equality checks to specify per-field tolerances.

By convention, this type is named FooUlps for a given type Foo.

The UlpsTol type alias exists to simplify usage, for example UlpsTol<f32> is u32.

To implement this trait over a new type, see How to compare custom types.

Required Associated Types

type UlpsTol: ?Sized

A structurally identical type to Self, with fields recursively wrapped by UlpsTol.

Implementations on Foreign Types

impl<T: FloatEqUlpsTol, const N: usize> FloatEqUlpsTol for [T; N] where
    UlpsTol<T>: Sized, 

type UlpsTol = [<T as FloatEqUlpsTol>::UlpsTol; N]

impl<T: FloatEqUlpsTol> FloatEqUlpsTol for Option<T> where
    UlpsTol<T>: Sized, 

type UlpsTol = Option<<T as FloatEqUlpsTol>::UlpsTol>

impl<T: FloatEqUlpsTol> FloatEqUlpsTol for [T] where
    UlpsTol<T>: Sized, 

type UlpsTol = [<T as FloatEqUlpsTol>::UlpsTol]

impl FloatEqUlpsTol for f32

type UlpsTol = u32

impl FloatEqUlpsTol for f64

type UlpsTol = u64

impl FloatEqUlpsTol for ()

type UlpsTol = ()

impl<A: FloatEqUlpsTol> FloatEqUlpsTol for (A,) where
    A: ?Sized,
    UlpsTol<A>: Sized, 

type UlpsTol = (<A as FloatEqUlpsTol>::UlpsTol,)

impl<A: FloatEqUlpsTol, B: FloatEqUlpsTol> FloatEqUlpsTol for (A, B) where
    B: ?Sized,
    UlpsTol<A>: Sized,
    UlpsTol<B>: Sized, 

type UlpsTol = (<A as FloatEqUlpsTol>::UlpsTol, <B as FloatEqUlpsTol>::UlpsTol)

impl<A: FloatEqUlpsTol, B: FloatEqUlpsTol, C: FloatEqUlpsTol> FloatEqUlpsTol for (A, B, C) where
    C: ?Sized,
    UlpsTol<A>: Sized,
    UlpsTol<B>: Sized,
    UlpsTol<C>: Sized, 

type UlpsTol = (<A as FloatEqUlpsTol>::UlpsTol, <B as FloatEqUlpsTol>::UlpsTol, <C as FloatEqUlpsTol>::UlpsTol)

impl<A: FloatEqUlpsTol, B: FloatEqUlpsTol, C: FloatEqUlpsTol, D: FloatEqUlpsTol> FloatEqUlpsTol for (A, B, C, D) where
    D: ?Sized,
    UlpsTol<A>: Sized,
    UlpsTol<B>: Sized,
    UlpsTol<C>: Sized,
    UlpsTol<D>: Sized, 

type UlpsTol = (<A as FloatEqUlpsTol>::UlpsTol, <B as FloatEqUlpsTol>::UlpsTol, <C as FloatEqUlpsTol>::UlpsTol, <D as FloatEqUlpsTol>::UlpsTol)

impl<A: FloatEqUlpsTol, B: FloatEqUlpsTol, C: FloatEqUlpsTol, D: FloatEqUlpsTol, E: FloatEqUlpsTol> FloatEqUlpsTol for (A, B, C, D, E) where
    E: ?Sized,
    UlpsTol<A>: Sized,
    UlpsTol<B>: Sized,
    UlpsTol<C>: Sized,
    UlpsTol<D>: Sized,
    UlpsTol<E>: Sized, 

type UlpsTol = (<A as FloatEqUlpsTol>::UlpsTol, <B as FloatEqUlpsTol>::UlpsTol, <C as FloatEqUlpsTol>::UlpsTol, <D as FloatEqUlpsTol>::UlpsTol, <E as FloatEqUlpsTol>::UlpsTol)

impl<A: FloatEqUlpsTol, B: FloatEqUlpsTol, C: FloatEqUlpsTol, D: FloatEqUlpsTol, E: FloatEqUlpsTol, F: FloatEqUlpsTol> FloatEqUlpsTol for (A, B, C, D, E, F) where
    F: ?Sized,
    UlpsTol<A>: Sized,
    UlpsTol<B>: Sized,
    UlpsTol<C>: Sized,
    UlpsTol<D>: Sized,
    UlpsTol<E>: Sized,
    UlpsTol<F>: Sized, 

type UlpsTol = (<A as FloatEqUlpsTol>::UlpsTol, <B as FloatEqUlpsTol>::UlpsTol, <C as FloatEqUlpsTol>::UlpsTol, <D as FloatEqUlpsTol>::UlpsTol, <E as FloatEqUlpsTol>::UlpsTol, <F as FloatEqUlpsTol>::UlpsTol)

impl<A: FloatEqUlpsTol, B: FloatEqUlpsTol, C: FloatEqUlpsTol, D: FloatEqUlpsTol, E: FloatEqUlpsTol, F: FloatEqUlpsTol, G: FloatEqUlpsTol> FloatEqUlpsTol for (A, B, C, D, E, F, G) where
    G: ?Sized,
    UlpsTol<A>: Sized,
    UlpsTol<B>: Sized,
    UlpsTol<C>: Sized,
    UlpsTol<D>: Sized,
    UlpsTol<E>: Sized,
    UlpsTol<F>: Sized,
    UlpsTol<G>: Sized, 

type UlpsTol = (<A as FloatEqUlpsTol>::UlpsTol, <B as FloatEqUlpsTol>::UlpsTol, <C as FloatEqUlpsTol>::UlpsTol, <D as FloatEqUlpsTol>::UlpsTol, <E as FloatEqUlpsTol>::UlpsTol, <F as FloatEqUlpsTol>::UlpsTol, <G as FloatEqUlpsTol>::UlpsTol)

impl<A: FloatEqUlpsTol, B: FloatEqUlpsTol, C: FloatEqUlpsTol, D: FloatEqUlpsTol, E: FloatEqUlpsTol, F: FloatEqUlpsTol, G: FloatEqUlpsTol, H: FloatEqUlpsTol> FloatEqUlpsTol for (A, B, C, D, E, F, G, H) where
    H: ?Sized,
    UlpsTol<A>: Sized,
    UlpsTol<B>: Sized,
    UlpsTol<C>: Sized,
    UlpsTol<D>: Sized,
    UlpsTol<E>: Sized,
    UlpsTol<F>: Sized,
    UlpsTol<G>: Sized,
    UlpsTol<H>: Sized, 

type UlpsTol = (<A as FloatEqUlpsTol>::UlpsTol, <B as FloatEqUlpsTol>::UlpsTol, <C as FloatEqUlpsTol>::UlpsTol, <D as FloatEqUlpsTol>::UlpsTol, <E as FloatEqUlpsTol>::UlpsTol, <F as FloatEqUlpsTol>::UlpsTol, <G as FloatEqUlpsTol>::UlpsTol, <H as FloatEqUlpsTol>::UlpsTol)

impl<A: FloatEqUlpsTol, B: FloatEqUlpsTol, C: FloatEqUlpsTol, D: FloatEqUlpsTol, E: FloatEqUlpsTol, F: FloatEqUlpsTol, G: FloatEqUlpsTol, H: FloatEqUlpsTol, I: FloatEqUlpsTol> FloatEqUlpsTol for (A, B, C, D, E, F, G, H, I) where
    I: ?Sized,
    UlpsTol<A>: Sized,
    UlpsTol<B>: Sized,
    UlpsTol<C>: Sized,
    UlpsTol<D>: Sized,
    UlpsTol<E>: Sized,
    UlpsTol<F>: Sized,
    UlpsTol<G>: Sized,
    UlpsTol<H>: Sized,
    UlpsTol<I>: Sized, 

type UlpsTol = (<A as FloatEqUlpsTol>::UlpsTol, <B as FloatEqUlpsTol>::UlpsTol, <C as FloatEqUlpsTol>::UlpsTol, <D as FloatEqUlpsTol>::UlpsTol, <E as FloatEqUlpsTol>::UlpsTol, <F as FloatEqUlpsTol>::UlpsTol, <G as FloatEqUlpsTol>::UlpsTol, <H as FloatEqUlpsTol>::UlpsTol, <I as FloatEqUlpsTol>::UlpsTol)

impl<A: FloatEqUlpsTol, B: FloatEqUlpsTol, C: FloatEqUlpsTol, D: FloatEqUlpsTol, E: FloatEqUlpsTol, F: FloatEqUlpsTol, G: FloatEqUlpsTol, H: FloatEqUlpsTol, I: FloatEqUlpsTol, J: FloatEqUlpsTol> FloatEqUlpsTol for (A, B, C, D, E, F, G, H, I, J) where
    J: ?Sized,
    UlpsTol<A>: Sized,
    UlpsTol<B>: Sized,
    UlpsTol<C>: Sized,
    UlpsTol<D>: Sized,
    UlpsTol<E>: Sized,
    UlpsTol<F>: Sized,
    UlpsTol<G>: Sized,
    UlpsTol<H>: Sized,
    UlpsTol<I>: Sized,
    UlpsTol<J>: Sized, 

type UlpsTol = (<A as FloatEqUlpsTol>::UlpsTol, <B as FloatEqUlpsTol>::UlpsTol, <C as FloatEqUlpsTol>::UlpsTol, <D as FloatEqUlpsTol>::UlpsTol, <E as FloatEqUlpsTol>::UlpsTol, <F as FloatEqUlpsTol>::UlpsTol, <G as FloatEqUlpsTol>::UlpsTol, <H as FloatEqUlpsTol>::UlpsTol, <I as FloatEqUlpsTol>::UlpsTol, <J as FloatEqUlpsTol>::UlpsTol)

impl<A: FloatEqUlpsTol, B: FloatEqUlpsTol, C: FloatEqUlpsTol, D: FloatEqUlpsTol, E: FloatEqUlpsTol, F: FloatEqUlpsTol, G: FloatEqUlpsTol, H: FloatEqUlpsTol, I: FloatEqUlpsTol, J: FloatEqUlpsTol, K: FloatEqUlpsTol> FloatEqUlpsTol for (A, B, C, D, E, F, G, H, I, J, K) where
    K: ?Sized,
    UlpsTol<A>: Sized,
    UlpsTol<B>: Sized,
    UlpsTol<C>: Sized,
    UlpsTol<D>: Sized,
    UlpsTol<E>: Sized,
    UlpsTol<F>: Sized,
    UlpsTol<G>: Sized,
    UlpsTol<H>: Sized,
    UlpsTol<I>: Sized,
    UlpsTol<J>: Sized,
    UlpsTol<K>: Sized, 

type UlpsTol = (<A as FloatEqUlpsTol>::UlpsTol, <B as FloatEqUlpsTol>::UlpsTol, <C as FloatEqUlpsTol>::UlpsTol, <D as FloatEqUlpsTol>::UlpsTol, <E as FloatEqUlpsTol>::UlpsTol, <F as FloatEqUlpsTol>::UlpsTol, <G as FloatEqUlpsTol>::UlpsTol, <H as FloatEqUlpsTol>::UlpsTol, <I as FloatEqUlpsTol>::UlpsTol, <J as FloatEqUlpsTol>::UlpsTol, <K as FloatEqUlpsTol>::UlpsTol)

impl<A: FloatEqUlpsTol, B: FloatEqUlpsTol, C: FloatEqUlpsTol, D: FloatEqUlpsTol, E: FloatEqUlpsTol, F: FloatEqUlpsTol, G: FloatEqUlpsTol, H: FloatEqUlpsTol, I: FloatEqUlpsTol, J: FloatEqUlpsTol, K: FloatEqUlpsTol, L: FloatEqUlpsTol> FloatEqUlpsTol for (A, B, C, D, E, F, G, H, I, J, K, L) where
    L: ?Sized,
    UlpsTol<A>: Sized,
    UlpsTol<B>: Sized,
    UlpsTol<C>: Sized,
    UlpsTol<D>: Sized,
    UlpsTol<E>: Sized,
    UlpsTol<F>: Sized,
    UlpsTol<G>: Sized,
    UlpsTol<H>: Sized,
    UlpsTol<I>: Sized,
    UlpsTol<J>: Sized,
    UlpsTol<K>: Sized,
    UlpsTol<L>: Sized, 

type UlpsTol = (<A as FloatEqUlpsTol>::UlpsTol, <B as FloatEqUlpsTol>::UlpsTol, <C as FloatEqUlpsTol>::UlpsTol, <D as FloatEqUlpsTol>::UlpsTol, <E as FloatEqUlpsTol>::UlpsTol, <F as FloatEqUlpsTol>::UlpsTol, <G as FloatEqUlpsTol>::UlpsTol, <H as FloatEqUlpsTol>::UlpsTol, <I as FloatEqUlpsTol>::UlpsTol, <J as FloatEqUlpsTol>::UlpsTol, <K as FloatEqUlpsTol>::UlpsTol, <L as FloatEqUlpsTol>::UlpsTol)

impl<T: ?Sized + FloatEqUlpsTol> FloatEqUlpsTol for Arc<T>

type UlpsTol = Arc<<T as FloatEqUlpsTol>::UlpsTol>

impl<T: ?Sized + FloatEqUlpsTol> FloatEqUlpsTol for Box<T>

type UlpsTol = Box<<T as FloatEqUlpsTol>::UlpsTol, Global>

impl<T: ?Sized + FloatEqUlpsTol> FloatEqUlpsTol for Rc<T>

type UlpsTol = Rc<<T as FloatEqUlpsTol>::UlpsTol>

impl<T: FloatEqUlpsTol> FloatEqUlpsTol for Vec<T> where
    UlpsTol<T>: Sized, 

type UlpsTol = Vec<<T as FloatEqUlpsTol>::UlpsTol, Global>

impl<T: FloatEqUlpsTol> FloatEqUlpsTol for VecDeque<T> where
    UlpsTol<T>: Sized, 

type UlpsTol = VecDeque<<T as FloatEqUlpsTol>::UlpsTol, Global>

impl<T: FloatEqUlpsTol> FloatEqUlpsTol for LinkedList<T> where
    UlpsTol<T>: Sized, 

type UlpsTol = LinkedList<<T as FloatEqUlpsTol>::UlpsTol>

impl<K, V, S> FloatEqUlpsTol for HashMap<K, V, S> where
    V: FloatEqUlpsTol,
    UlpsTol<V>: Sized, 

type UlpsTol = HashMap<K, <V as FloatEqUlpsTol>::UlpsTol, S>

impl<K, V> FloatEqUlpsTol for BTreeMap<K, V> where
    V: FloatEqUlpsTol,
    UlpsTol<V>: Sized, 

type UlpsTol = BTreeMap<K, <V as FloatEqUlpsTol>::UlpsTol, Global>

impl<T: FloatEqUlpsTol> FloatEqUlpsTol for Complex<T> where
    UlpsTol<T>: Sized, 

type UlpsTol = ComplexUlps<<T as FloatEqUlpsTol>::UlpsTol>

Implementors