Trait un_algebra::magma::add_magma::AddMagma

pub trait AddMagma: Sized + PartialEq {
    fn add(&self, other: &Self) -> Self;
}

An algebraic additive magma.

Required methods

fn add(&self, other: &Self) -> Self

Binary addition operation.

Loading content...

Implementations on Foreign Types

impl AddMagma for u8

fn add(&self, other: &Self) -> Self

We use "wrapping" add to avoid overflow and guarantee the closure axiom.

impl AddMagma for u16

fn add(&self, other: &Self) -> Self

We use "wrapping" add to avoid overflow and guarantee the closure axiom.

impl AddMagma for u32

fn add(&self, other: &Self) -> Self

We use "wrapping" add to avoid overflow and guarantee the closure axiom.

impl AddMagma for u64

fn add(&self, other: &Self) -> Self

We use "wrapping" add to avoid overflow and guarantee the closure axiom.

impl AddMagma for u128

fn add(&self, other: &Self) -> Self

We use "wrapping" add to avoid overflow and guarantee the closure axiom.

impl AddMagma for usize

fn add(&self, other: &Self) -> Self

We use "wrapping" add to avoid overflow and guarantee the closure axiom.

impl AddMagma for i8

fn add(&self, other: &Self) -> Self

We use "wrapping" add to avoid overflow and guarantee the closure axiom.

impl AddMagma for i16

fn add(&self, other: &Self) -> Self

We use "wrapping" add to avoid overflow and guarantee the closure axiom.

impl AddMagma for i32

fn add(&self, other: &Self) -> Self

We use "wrapping" add to avoid overflow and guarantee the closure axiom.

impl AddMagma for i64

fn add(&self, other: &Self) -> Self

We use "wrapping" add to avoid overflow and guarantee the closure axiom.

impl AddMagma for i128

fn add(&self, other: &Self) -> Self

We use "wrapping" add to avoid overflow and guarantee the closure axiom.

impl AddMagma for isize

fn add(&self, other: &Self) -> Self

We use "wrapping" add to avoid overflow and guarantee the closure axiom.

impl AddMagma for f32

fn add(&self, other: &Self) -> Self

magma addition is just floating point addition.

impl AddMagma for f64

fn add(&self, other: &Self) -> Self

magma addition is just floating point addition.

impl AddMagma for ()

0-tuples form an additive magma.

fn add(&self, _: &Self) -> Self

Addition can only yield a ().

impl<A: AddMagma> AddMagma for (A,)

1-tuples form an additive magma when their items do.

fn add(&self, other: &Self) -> Self

Addition is by matching element.

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

2-tuples form an additive magma when their items do.

fn add(&self, other: &Self) -> Self

Addition is by matching element.

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

3-tuples form an additive magma when their items do.

fn add(&self, other: &Self) -> Self

Addition is by matching element.

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

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

fn add(&self, other: &Self) -> Self

Loading content...

Implementors

Loading content...