Trait Magmoid 

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

    // Provided method
    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 Group<'a, T>

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

impl<'a, T: Copy + PartialEq> Magmoid<T> for Loop<'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>