pub trait Monoid<O: Op>: MonoidApprox<O> + Semigroup<O> {
// Provided method
fn prop_operating_identity_element_is_noop(a: Self) -> bool { ... }
}Expand description
A semigroup equipped with an identity element.
∃ e ∈ Self, ∀ a ∈ Self, e ∘ a = a ∘ e = aProvided Methods§
Sourcefn prop_operating_identity_element_is_noop(a: Self) -> bool
fn prop_operating_identity_element_is_noop(a: Self) -> bool
Checks whether operating with the identity element is a no-op for the given argument.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.