Trait alga::general::AbstractMagma
[−]
[src]
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