Trait algae_rs::magma::Magmoid

pub trait Magmoid<T: Copy + PartialEq> {
    fn binop(&mut self) -> &mut dyn BinaryOperation<T>;

    fn with(&mut self, left: T, right: T) -> Result<T, PropertyError> { ... }
}

Required Methods

fn binop(&mut self) -> &mut dyn BinaryOperation<T>

Provided Methods

fn with(&mut self, left: T, right: T) -> Result<T, PropertyError>

Implementors

impl<'a, T: Copy + PartialEq> Magmoid<T> for Groupoid<'a, T>

impl<'a, T: Copy + PartialEq> Magmoid<T> for Magma<'a, T>

impl<'a, T: Copy + PartialEq> Magmoid<T> for Monoid<'a, T>

impl<'a, T: Copy + PartialEq> Magmoid<T> for Quasigroup<'a, T>

impl<'a, T: Copy + PartialEq> Magmoid<T> for UnitalMagma<'a, T>