Trait Associative 

pub trait Associative: Magma { }

$\forall a,\forall b,\forall c \in T, (a \circ b) \circ c = a \circ (b \circ c)$

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 Associative for ()

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

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

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

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

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

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

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

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

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

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

Implementors

impl Associative for Gf2_63

impl Associative for Mersenne61

impl Associative for PermutationOperation

impl Associative for Mersenne61Add

impl Associative for SumMinimum

impl<D: LcaMonoidDispatch> Associative for LcaMonoid<D>

impl<M> Associative for CountingOperation<M>

where M: Associative<T: PartialEq> + Idempotent,

impl<M> Associative for ReverseOperation<M>

where M: Associative,

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

where M: Associative,

impl<R> Associative for FloorPowerSum<R>

where R: SemiRing,

impl<R, const X: usize, const Y: usize> Associative for FloorSum<R, X, Y>

where R: SemiRing,

impl<T> Associative for AdditiveOperation<T>

where T: Clone + Zero + Add<Output = T>,

impl<T> Associative for BitAndOperation<T>

where T: Clone + BitAndIdentity,

impl<T> Associative for BitOrOperation<T>

where T: Clone + BitOrIdentity,

impl<T> Associative for BitXorOperation<T>

where T: Clone + BitXorIdentity,

impl<T> Associative for ConcatenateOperation<T>

where T: Clone,

impl<T> Associative for FindMajorityOperation<T>

where T: Clone + Eq,

impl<T> Associative for FirstOperation<T>

where T: Clone,

impl<T> Associative for LastOperation<T>

where T: Clone,

impl<T> Associative for LinearOperation<T>

where T: Clone + Zero + One + Add<Output = T> + Mul<Output = T>,

impl<T> Associative for LogicalLinearOperation<T>

where T: Clone + BitXorIdentity + BitAndIdentity + BitXor<Output = T> + BitAnd<Output = T>,

impl<T> Associative for MaxOperation<T>

where T: Clone + Ord + Bounded,

impl<T> Associative for MinOperation<T>

where T: Clone + Ord + Bounded,

impl<T> Associative for MinimumIntervalMovementOperation<T>

where T: Clone + Ord + Add<Output = T> + Sub<Output = T> + Zero,

impl<T> Associative for MultiplicativeOperation<T>

where T: Clone + One + Mul<Output = T>,

impl<T> Associative for RangeChminChmaxAdd<T>

where T: Copy + Zero + One + Ord + Bounded + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + PartialEq,

impl<T> Associative for RangeSumRangeChminChmaxAdd<T>

where T: Copy + Zero + One + Ord + Bounded + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + PartialEq,

impl<T> Associative for SortedConcatenateOperation<T>

where T: Clone + Ord,

impl<const K: usize, T> Associative for BottomkOperation<K, T>

where T: Clone + Ord + Bounded,

impl<const K: usize, T> Associative for TopkOperation<K, T>

where T: Clone + Ord + Bounded,