Trait Identity

Source
pub trait Identity: Set {
    // Required method
    fn id(&self) -> Self::Element;

    // Provided method
    fn is_id(&self, a: &Self::Element) -> bool
       where Self::Element: PartialEq { ... }
}
Expand description

単位元をもつ

Required Methods§

Source

fn id(&self) -> Self::Element

単位元

Provided Methods§

Source

fn is_id(&self, a: &Self::Element) -> bool
where Self::Element: PartialEq,

単位元の判定

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

Source§

impl Identity for BitAnd<u8>

Source§

impl Identity for BitAnd<u16>

Source§

impl Identity for BitAnd<u32>

Source§

impl Identity for BitAnd<u64>

Source§

impl Identity for BitAnd<u128>

Source§

impl Identity for BitAnd<usize>

Source§

impl Identity for BitOr<u8>

Source§

impl Identity for BitOr<u16>

Source§

impl Identity for BitOr<u32>

Source§

impl Identity for BitOr<u64>

Source§

impl Identity for BitOr<u128>

Source§

impl Identity for BitOr<usize>

Source§

impl Identity for BitXor<u8>

Source§

impl Identity for BitXor<u16>

Source§

impl Identity for BitXor<u32>

Source§

impl Identity for BitXor<u64>

Source§

impl Identity for BitXor<u128>

Source§

impl Identity for BitXor<usize>

Source§

impl Identity for haar_lib::algebra::dihedral::Composition

Source§

impl Identity for GCD<i8>

Source§

impl Identity for GCD<i16>

Source§

impl Identity for GCD<i32>

Source§

impl Identity for GCD<i64>

Source§

impl Identity for GCD<i128>

Source§

impl Identity for GCD<isize>

Source§

impl Identity for GCD<u8>

Source§

impl Identity for GCD<u16>

Source§

impl Identity for GCD<u32>

Source§

impl Identity for GCD<u64>

Source§

impl Identity for GCD<u128>

Source§

impl Identity for GCD<usize>

Source§

impl Identity for LCM<i8>

Source§

impl Identity for LCM<i16>

Source§

impl Identity for LCM<i32>

Source§

impl Identity for LCM<i64>

Source§

impl Identity for LCM<i128>

Source§

impl Identity for LCM<isize>

Source§

impl Identity for LCM<u8>

Source§

impl Identity for LCM<u16>

Source§

impl Identity for LCM<u32>

Source§

impl Identity for LCM<u64>

Source§

impl Identity for LCM<u128>

Source§

impl Identity for LCM<usize>

Source§

impl Identity for haar_lib::algebra::max_contiguous_true::Composition

Source§

impl Identity for Max<i8>

Source§

impl Identity for Max<i16>

Source§

impl Identity for Max<i32>

Source§

impl Identity for Max<i64>

Source§

impl Identity for Max<i128>

Source§

impl Identity for Max<isize>

Source§

impl Identity for Max<u8>

Source§

impl Identity for Max<u16>

Source§

impl Identity for Max<u32>

Source§

impl Identity for Max<u64>

Source§

impl Identity for Max<u128>

Source§

impl Identity for Max<usize>

Source§

impl Identity for Min<i8>

Source§

impl Identity for Min<i16>

Source§

impl Identity for Min<i32>

Source§

impl Identity for Min<i64>

Source§

impl Identity for Min<i128>

Source§

impl Identity for Min<isize>

Source§

impl Identity for Min<u8>

Source§

impl Identity for Min<u16>

Source§

impl Identity for Min<u32>

Source§

impl Identity for Min<u64>

Source§

impl Identity for Min<u128>

Source§

impl Identity for Min<usize>

Source§

impl Identity for haar_lib::algebra::parenthesis::Composition

Source§

impl Identity for haar_lib::algebra::permutation::Composition

Source§

impl Identity for Prod<f32>

Source§

impl Identity for Prod<f64>

Source§

impl Identity for Prod<i8>

Source§

impl Identity for Prod<i16>

Source§

impl Identity for Prod<i32>

Source§

impl Identity for Prod<i64>

Source§

impl Identity for Prod<i128>

Source§

impl Identity for Prod<isize>

Source§

impl Identity for Prod<u8>

Source§

impl Identity for Prod<u16>

Source§

impl Identity for Prod<u32>

Source§

impl Identity for Prod<u64>

Source§

impl Identity for Prod<u128>

Source§

impl Identity for Prod<usize>

Source§

impl Identity for Sum<f32>

Source§

impl Identity for Sum<f64>

Source§

impl Identity for Sum<i8>

Source§

impl Identity for Sum<i16>

Source§

impl Identity for Sum<i32>

Source§

impl Identity for Sum<i64>

Source§

impl Identity for Sum<i128>

Source§

impl Identity for Sum<isize>

Source§

impl Identity for Sum<u8>

Source§

impl Identity for Sum<u16>

Source§

impl Identity for Sum<u32>

Source§

impl Identity for Sum<u64>

Source§

impl Identity for Sum<u128>

Source§

impl Identity for Sum<usize>

Source§

impl Identity for haar_lib::algebra::transform::Composition

Source§

impl Identity for Trivial

Source§

impl<M: Set> Identity for AppendId<M>

Source§

impl<R: Semiring + Clone + PartialEq> Identity for ProdMatrix<R>
where R::Element: Copy + PartialEq,

Source§

impl<R: Semiring + Clone + PartialEq> Identity for SumMatrix<R>
where R::Element: Copy + PartialEq,

Source§

impl<S: Identity> Identity for Dual<S>

Source§

impl<T0: Identity, T1: Identity> Identity for Tuple2<T0, T1>

Source§

impl<T0: Identity, T1: Identity, T2: Identity> Identity for Tuple3<T0, T1, T2>

Source§

impl<T0: Identity, T1: Identity, T2: Identity, T3: Identity> Identity for Tuple4<T0, T1, T2, T3>

Source§

impl<T0: Identity, T1: Identity, T2: Identity, T3: Identity, T4: Identity> Identity for Tuple5<T0, T1, T2, T3, T4>

Source§

impl<T> Identity for First<T>

Source§

impl<T> Identity for Last<T>

Source§

impl<T> Identity for ConcatList<T>

Source§

impl<T, U: Zero + PartialEq> Identity for MinCount<T, U>

Source§

impl<T: ZZ> Identity for ProdMod<T>

Source§

impl<T: ZZ> Identity for SumMod<T>

Source§

impl<T: Copy, S: Semiring<Element = T>> Identity for haar_lib::algebra::affine::Composition<S>