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".

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,