Trait alga::general::AbstractMagma

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

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

Types that are closed under a given operator.

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

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Additive> for u16

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Additive> for u32

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Additive> for u64

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Additive> for usize

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Additive> for i8

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Additive> for i16

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Additive> for i32

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Additive> for i64

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Additive> for isize

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Additive> for f32

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Additive> for f64

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Multiplicative> for u8

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Multiplicative> for u16

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Multiplicative> for u32

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Multiplicative> for u64

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Multiplicative> for usize

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Multiplicative> for i8

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Multiplicative> for i16

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Multiplicative> for i32

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Multiplicative> for i64

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Multiplicative> for isize

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Multiplicative> for f32

fn operate(&self, lhs: &Self) -> Self

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

impl AbstractMagma<Multiplicative> for f64

fn operate(&self, lhs: &Self) -> Self

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

impl<N: AbstractMagma<Additive>> AbstractMagma<Additive> for Complex<N>

fn operate(&self, lhs: &Self) -> Self

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

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

fn operate(&self, lhs: &Self) -> Self

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

Implementors

• impl<O: Operator> AbstractMagma<O> for Id<O>