Trait un_algebra::magma::magma::Magma

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

An abstract algebraic magma.

Required methods

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

Magma binary operation.

Loading content...

Implementations on Foreign Types

impl Magma for ()

0-tuples form a magma.

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

Binary operation can only be ().

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

1-tuples form a magma when their items do.

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

Binary operation is by matching element.

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

2-tuples form a magma when their items do.

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

Binary operation is by matching element.

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

3-tuples form a magma when their items do.

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

Binary operation is by matching element.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Loading content...

Implementors

Loading content...