pub trait MonoidApprox<O: Op>: SemigroupApprox<O> + Identity<O> {
// Provided method
fn prop_operating_identity_element_is_noop_approx(a: Self) -> bool { ... }
}Expand description
An approximate semigroup equipped with an identity element.
∃ e ∈ Self, ∀ a ∈ Self, e ∘ a ≈ a and a ∘ e ≈ aProvided Methods§
Sourcefn prop_operating_identity_element_is_noop_approx(a: Self) -> bool
fn prop_operating_identity_element_is_noop_approx(a: Self) -> bool
Checks whether operating with the identity element is approximately 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.