[go: up one dir, main page]

Trait Identity

Source
pub trait Identity<O: Operator> {
    // Required method
    fn identity() -> Self;

    // Provided method
    fn id(_: O) -> Self
       where Self: Sized { ... }
}
Expand description

A type that is equipped with identity.

Required Methods§

Source

fn identity() -> Self

The identity element.

Provided Methods§

Source

fn id(_: O) -> Self
where Self: Sized,

Specific identity.

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.

Implementations on Foreign Types§

Source§

impl Identity<Additive> for f32

Source§

impl Identity<Additive> for f64

Source§

impl Identity<Additive> for i8

Source§

impl Identity<Additive> for i16

Source§

impl Identity<Additive> for i32

Source§

impl Identity<Additive> for i64

Source§

impl Identity<Additive> for i128

Source§

impl Identity<Additive> for isize

Source§

impl Identity<Additive> for u8

Source§

impl Identity<Additive> for u16

Source§

impl Identity<Additive> for u32

Source§

impl Identity<Additive> for u64

Source§

impl Identity<Additive> for u128

Source§

impl Identity<Additive> for usize

Source§

impl Identity<Multiplicative> for f32

Source§

impl Identity<Multiplicative> for f64

Source§

impl Identity<Multiplicative> for i8

Source§

impl Identity<Multiplicative> for i16

Source§

impl Identity<Multiplicative> for i32

Source§

impl Identity<Multiplicative> for i64

Source§

impl Identity<Multiplicative> for i128

Source§

impl Identity<Multiplicative> for isize

Source§

impl Identity<Multiplicative> for u8

Source§

impl Identity<Multiplicative> for u16

Source§

impl Identity<Multiplicative> for u32

Source§

impl Identity<Multiplicative> for u64

Source§

impl Identity<Multiplicative> for u128

Source§

impl Identity<Multiplicative> for usize

Source§

impl<N: Num + Clone> Identity<Multiplicative> for Complex<N>

Source§

fn identity() -> Self

Source§

impl<N: Identity<Additive>> Identity<Additive> for Complex<N>

Source§

fn identity() -> Self

Implementors§

Source§

impl<O: Operator> Identity<O> for Id<O>