Trait Idempotent 

pub trait Idempotent: Magma { }

$\forall a \in T, a \circ a = a$

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.

Implementations on Foreign Types

impl Idempotent for ()

impl<A: Idempotent> Idempotent for (A,)

impl<A: Idempotent, B: Idempotent> Idempotent for (A, B)

impl<A: Idempotent, B: Idempotent, C: Idempotent> Idempotent for (A, B, C)

impl<A: Idempotent, B: Idempotent, C: Idempotent, D: Idempotent> Idempotent for (A, B, C, D)

impl<A: Idempotent, B: Idempotent, C: Idempotent, D: Idempotent, E: Idempotent> Idempotent for (A, B, C, D, E)

impl<A: Idempotent, B: Idempotent, C: Idempotent, D: Idempotent, E: Idempotent, F: Idempotent> Idempotent for (A, B, C, D, E, F)

impl<A: Idempotent, B: Idempotent, C: Idempotent, D: Idempotent, E: Idempotent, F: Idempotent, G: Idempotent> Idempotent for (A, B, C, D, E, F, G)

impl<A: Idempotent, B: Idempotent, C: Idempotent, D: Idempotent, E: Idempotent, F: Idempotent, G: Idempotent, H: Idempotent> Idempotent for (A, B, C, D, E, F, G, H)

impl<A: Idempotent, B: Idempotent, C: Idempotent, D: Idempotent, E: Idempotent, F: Idempotent, G: Idempotent, H: Idempotent, I: Idempotent> Idempotent for (A, B, C, D, E, F, G, H, I)

impl<A: Idempotent, B: Idempotent, C: Idempotent, D: Idempotent, E: Idempotent, F: Idempotent, G: Idempotent, H: Idempotent, I: Idempotent, J: Idempotent> Idempotent for (A, B, C, D, E, F, G, H, I, J)

Implementors

impl<M> Idempotent for ReverseOperation<M>

where M: Idempotent,

impl<M, const N: usize> Idempotent for ArrayOperation<M, N>

where M: Idempotent,

impl<T> Idempotent for BitAndOperation<T>

where T: Clone + BitAndIdentity,

impl<T> Idempotent for BitOrOperation<T>

where T: Clone + BitOrIdentity,

impl<T> Idempotent for FirstOperation<T>

where T: Clone,

impl<T> Idempotent for LastOperation<T>

where T: Clone,

impl<T> Idempotent for MaxOperation<T>

where T: Clone + Ord + Bounded,

impl<T> Idempotent for MinOperation<T>

where T: Clone + Ord + Bounded,