Trait un_algebra::monoid::mul_monoid::MulMonoid

pub trait MulMonoid: MulSemigroup {
    fn one() -> Self;

    fn is_one(&self) -> bool { ... }
}

An algebraic multiplicative monoid.

Required methods

fn one() -> Self

The unique multiplicative identity (i.e. one) element. This should be an associated const, but we need more upstream crates to support them first.

Loading content...

Provided methods

fn is_one(&self) -> bool

Test for the one (multiplicative identity) element.

Loading content...

Implementations on Foreign Types

impl MulMonoid for u8

fn one() -> Self

One is just type one.

impl MulMonoid for u16

fn one() -> Self

One is just type one.

impl MulMonoid for u32

fn one() -> Self

One is just type one.

impl MulMonoid for u64

fn one() -> Self

One is just type one.

impl MulMonoid for u128

fn one() -> Self

One is just type one.

impl MulMonoid for usize

fn one() -> Self

One is just type one.

impl MulMonoid for i8

fn one() -> Self

One is just type one.

impl MulMonoid for i16

fn one() -> Self

One is just type one.

impl MulMonoid for i32

fn one() -> Self

One is just type one.

impl MulMonoid for i64

fn one() -> Self

One is just type one.

impl MulMonoid for i128

fn one() -> Self

One is just type one.

impl MulMonoid for isize

fn one() -> Self

One is just type one.

impl MulMonoid for f32

fn one() -> Self

One is just type one.

impl MulMonoid for f64

fn one() -> Self

One is just type one.

impl MulMonoid for ()

0-tuples form a multiplicative monoid.

fn one() -> Self

One value can only be ().

impl<T: MulMonoid> MulMonoid for (T,)

1-tuples form a multiplicative monoid when their items do.

fn one() -> Self

One is by element type.

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

2-tuples form a multiplicative monoid when their items do.

fn one() -> Self

One is by element type.

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

3-tuples form a multiplicative monoid when their items do.

fn one() -> Self

One is by element type.

impl<T: Copy + MulMonoid> MulMonoid for [T; 0]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 1]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 2]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 3]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 4]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 5]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 6]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 7]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 8]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 9]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 10]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 11]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 12]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 13]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 14]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 15]

fn one() -> Self

impl<T: Copy + MulMonoid> MulMonoid for [T; 16]

fn one() -> Self

Loading content...

Implementors

Loading content...