Trait Identity

pub trait Identity<N> {
    // Required method
    fn identity(&self) -> N;
}

A trait that specifies that this Operation has an identity element.

An identity must satisfy combine(a, id) = a and combine(id, a) = a, where id is something returned by identity.

Required Methods

fn identity(&self) -> N

Returns an element such that if combined with any element a the result must be a.

Implementors

impl Identity<bool> for And

impl Identity<bool> for Or

impl Identity<bool> for Xor

impl Identity<f32> for Add

impl Identity<f32> for MaxIgnoreNaN

impl Identity<f32> for MaxTakeNaN

impl Identity<f32> for MinIgnoreNaN

impl Identity<f32> for MinTakeNaN

impl Identity<f32> for Mul

impl Identity<f64> for Add

impl Identity<f64> for MaxIgnoreNaN

impl Identity<f64> for MaxTakeNaN

impl Identity<f64> for MinIgnoreNaN

impl Identity<f64> for MinTakeNaN

impl Identity<f64> for Mul

impl Identity<i8> for Add

impl Identity<i8> for And

impl Identity<i8> for Max

impl Identity<i8> for Min

impl Identity<i8> for Mul

impl Identity<i8> for Or

impl Identity<i8> for Xor

impl Identity<i16> for Add

impl Identity<i16> for And

impl Identity<i16> for Max

impl Identity<i16> for Min

impl Identity<i16> for Mul

impl Identity<i16> for Or

impl Identity<i16> for Xor

impl Identity<i32> for Add

impl Identity<i32> for And

impl Identity<i32> for Max

impl Identity<i32> for Min

impl Identity<i32> for Mul

impl Identity<i32> for Or

impl Identity<i32> for Xor

impl Identity<i64> for Add

impl Identity<i64> for And

impl Identity<i64> for Max

impl Identity<i64> for Min

impl Identity<i64> for Mul

impl Identity<i64> for Or

impl Identity<i64> for Xor

impl Identity<i128> for Add

impl Identity<i128> for And

impl Identity<i128> for Max

impl Identity<i128> for Min

impl Identity<i128> for Mul

impl Identity<i128> for Or

impl Identity<i128> for Xor

impl Identity<isize> for Add

impl Identity<isize> for And

impl Identity<isize> for Max

impl Identity<isize> for Min

impl Identity<isize> for Mul

impl Identity<isize> for Or

impl Identity<isize> for Xor

impl Identity<u8> for Add

impl Identity<u8> for And

impl Identity<u8> for Max

impl Identity<u8> for Min

impl Identity<u8> for Mul

impl Identity<u8> for Or

impl Identity<u8> for Xor

impl Identity<u16> for Add

impl Identity<u16> for And

impl Identity<u16> for Max

impl Identity<u16> for Min

impl Identity<u16> for Mul

impl Identity<u16> for Or

impl Identity<u16> for Xor

impl Identity<u32> for Add

impl Identity<u32> for And

impl Identity<u32> for Max

impl Identity<u32> for Min

impl Identity<u32> for Mul

impl Identity<u32> for Or

impl Identity<u32> for Xor

impl Identity<u64> for Add

impl Identity<u64> for And

impl Identity<u64> for Max

impl Identity<u64> for Min

impl Identity<u64> for Mul

impl Identity<u64> for Or

impl Identity<u64> for Xor

impl Identity<u128> for Add

impl Identity<u128> for And

impl Identity<u128> for Max

impl Identity<u128> for Min

impl Identity<u128> for Mul

impl Identity<u128> for Or

impl Identity<u128> for Xor

impl Identity<usize> for Add

impl Identity<usize> for And

impl Identity<usize> for Max

impl Identity<usize> for Min

impl Identity<usize> for Mul

impl Identity<usize> for Or

impl Identity<usize> for Xor

impl Identity<Wrapping<i8>> for Add

impl Identity<Wrapping<i8>> for Mul

impl Identity<Wrapping<i16>> for Add

impl Identity<Wrapping<i16>> for Mul

impl Identity<Wrapping<i32>> for Add

impl Identity<Wrapping<i32>> for Mul

impl Identity<Wrapping<i64>> for Add

impl Identity<Wrapping<i64>> for Mul

impl Identity<Wrapping<i128>> for Add

impl Identity<Wrapping<i128>> for Mul

impl Identity<Wrapping<isize>> for Add

impl Identity<Wrapping<isize>> for Mul

impl Identity<Wrapping<u8>> for Add

impl Identity<Wrapping<u8>> for Mul

impl Identity<Wrapping<u16>> for Add

impl Identity<Wrapping<u16>> for Mul

impl Identity<Wrapping<u32>> for Add

impl Identity<Wrapping<u32>> for Mul

impl Identity<Wrapping<u64>> for Add

impl Identity<Wrapping<u64>> for Mul

impl Identity<Wrapping<u128>> for Add

impl Identity<Wrapping<u128>> for Mul

impl Identity<Wrapping<usize>> for Add

impl Identity<Wrapping<usize>> for Mul

impl Identity<BigInt> for Add

impl Identity<BigInt> for Mul

impl Identity<BigUint> for Add

impl Identity<BigUint> for Mul

impl<TA, TB, A: Identity<TA>, B: Identity<TB>> Identity<(TA, TB)> for Pair<A, B>