Trait enso_prelude::semigroup::PartialSemigroup [−][src]
pub trait PartialSemigroup<T>: Clone { fn concat_mut(&mut self, other: T); fn concat_ref(&self, other: T) -> Self
where
Self: Clone, { ... } fn concat(self, other: T) -> Self { ... } }
Expand description
Mutable Semigroup definition. Impls should satisfy the associativity law:
x.concat(y.concat(z)) = x.concat(y).concat(z)
, in symbolic form:
x <> (y <> z) = (x <> y) <> z
Required methods
fn concat_mut(&mut self, other: T)
fn concat_mut(&mut self, other: T)
An associative operation.
Provided methods
fn concat_ref(&self, other: T) -> Self where
Self: Clone,
fn concat_ref(&self, other: T) -> Self where
Self: Clone,
An associative operation.