Trait mathru::algebra::abstr::One

pub trait One: Sized + Mul<Self, Output = Self> {
    fn one() -> Self;
}

Defines a multiplicative identity element for Self.

Required methods

fn one() -> Self

Returns the multiplicative identity element of Self, 1.

Laws

a * 1 = a       ∀ a ∈ Self
1 * a = a       ∀ a ∈ Self

Loading content...

Implementations on Foreign Types

impl One for usize

fn one() -> usize

impl One for u8

fn one() -> u8

impl One for u16

fn one() -> u16

impl One for u32

fn one() -> u32

impl One for u64

fn one() -> u64

impl One for isize

fn one() -> isize

impl One for i8

fn one() -> i8

impl One for i16

fn one() -> i16

impl One for i32

fn one() -> i32

impl One for i64

fn one() -> i64

impl One for f32

fn one() -> f32

impl One for f64

fn one() -> f64

Loading content...

Implementors

impl<T> One for Complex<T> where
    T: One + Mul<T, Output = T> + Add<T, Output = T> + Sub<T, Output = T> + Copy + Zero, 

Returns 1 + i0

fn one() -> Self

Loading content...