[][src]Trait alga::general::AbstractMagma

pub trait AbstractMagma<O: Operator>: Sized + Clone {
    fn operate(&self, right: &Self) -> Self;

    fn op(&self, _: O, lhs: &Self) -> Self { ... }
}
[]

A magma is an algebraic structure which consists of a set equipped with a binary operation, ∘, which must be closed.

Closed binary operation

a, b ∈ Self ⇒ a ∘ b ∈ Self

Required methods

fn operate(&self, right: &Self) -> Self[]

Performs an operation.

Provided methods

fn op(&self, _: O, lhs: &Self) -> Self[]

Performs specific operation.

Implementations on Foreign Types

impl AbstractMagma<Additive> for u8[src][]

impl AbstractMagma<Additive> for u16[src][]

impl AbstractMagma<Additive> for u32[src][]

impl AbstractMagma<Additive> for u64[src][]

impl AbstractMagma<Additive> for u128[src][]

impl AbstractMagma<Additive> for usize[src][]

impl AbstractMagma<Additive> for i8[src][]

impl AbstractMagma<Additive> for i16[src][]

impl AbstractMagma<Additive> for i32[src][]

impl AbstractMagma<Additive> for i64[src][]

impl AbstractMagma<Additive> for i128[src][]

impl AbstractMagma<Additive> for isize[src][]

impl AbstractMagma<Additive> for f32[src][]

impl AbstractMagma<Additive> for f64[src][]

impl AbstractMagma<Multiplicative> for u8[src][]

impl AbstractMagma<Multiplicative> for u16[src][]

impl AbstractMagma<Multiplicative> for u32[src][]

impl AbstractMagma<Multiplicative> for u64[src][]

impl AbstractMagma<Multiplicative> for u128[src][]

impl AbstractMagma<Multiplicative> for usize[src][]

impl AbstractMagma<Multiplicative> for i8[src][]

impl AbstractMagma<Multiplicative> for i16[src][]

impl AbstractMagma<Multiplicative> for i32[src][]

impl AbstractMagma<Multiplicative> for i64[src][]

impl AbstractMagma<Multiplicative> for i128[src][]

impl AbstractMagma<Multiplicative> for isize[src][]

impl AbstractMagma<Multiplicative> for f32[src][]

impl AbstractMagma<Multiplicative> for f64[src][]

impl<N: AbstractMagma<Additive>> AbstractMagma<Additive> for Complex<N>[src][]

impl<N: Num + Clone> AbstractMagma<Multiplicative> for Complex<N>[src][]

Implementors

impl<O: Operator> AbstractMagma<O> for Id<O>[src][]