Trait 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 FloatEqUlpsTol for f32

type UlpsTol = u32

impl FloatEqUlpsTol for f64

type UlpsTol = u64

impl FloatEqUlpsTol for ()

type UlpsTol = ()

impl<A> FloatEqUlpsTol for (A,)

where A: ?Sized + FloatEqUlpsTol, UlpsTol<A>: Sized,

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

impl<A: FloatEqUlpsTol, B> FloatEqUlpsTol for (A, B)

where B: ?Sized + FloatEqUlpsTol, UlpsTol<A>: Sized, UlpsTol<B>: Sized,

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

impl<A: FloatEqUlpsTol, B: FloatEqUlpsTol, C> FloatEqUlpsTol for (A, B, C)

where C: ?Sized + FloatEqUlpsTol, 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 for (A, B, C, D)

where D: ?Sized + FloatEqUlpsTol, 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 for (A, B, C, D, E)

where E: ?Sized + FloatEqUlpsTol, 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 for (A, B, C, D, E, F)

where F: ?Sized + FloatEqUlpsTol, 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 for (A, B, C, D, E, F, G)

where G: ?Sized + FloatEqUlpsTol, 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 for (A, B, C, D, E, F, G, H)

where H: ?Sized + FloatEqUlpsTol, 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 for (A, B, C, D, E, F, G, H, I)

where I: ?Sized + FloatEqUlpsTol, 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 for (A, B, C, D, E, F, G, H, I, J)

where J: ?Sized + FloatEqUlpsTol, 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 for (A, B, C, D, E, F, G, H, I, J, K)

where K: ?Sized + FloatEqUlpsTol, 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 for (A, B, C, D, E, F, G, H, I, J, K, L)

where L: ?Sized + FloatEqUlpsTol, 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<K, V> FloatEqUlpsTol for BTreeMap<K, V>

where V: FloatEqUlpsTol, UlpsTol<V>: Sized,

type UlpsTol = BTreeMap<K, <V 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<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<T: FloatEqUlpsTol> FloatEqUlpsTol for LinkedList<T>

where UlpsTol<T>: Sized,

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

impl<T: FloatEqUlpsTol> FloatEqUlpsTol for VecDeque<T>

where UlpsTol<T>: Sized,

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

impl<T: FloatEqUlpsTol> FloatEqUlpsTol for Vec<T>

where UlpsTol<T>: Sized,

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

impl<T: FloatEqUlpsTol> FloatEqUlpsTol for Complex<T>

where UlpsTol<T>: Sized,

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

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

where UlpsTol<T>: Sized,

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

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

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

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

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

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

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

Implementors