Trait AssociativeCompositionSignature 

pub trait AssociativeCompositionSignature: CompositionSignature {
    // Provided method
    fn compose_nonempty_list(
        &self,
        elems: Vec<impl Borrow<Self::Set>>,
    ) -> Option<Self::Set> { ... }
}

When composition is associative.

Provided Methods

fn compose_nonempty_list( &self, elems: Vec<impl Borrow<Self::Set>>, ) -> Option<Self::Set>

Returns None if the list is empty.

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.

Implementors

impl AssociativeCompositionSignature for C2CanonicalStructure

impl AssociativeCompositionSignature for algebraeon_groups::permutation::PermutationCanonicalStructure

impl<const N: usize> AssociativeCompositionSignature for algebraeon_groups::examples::symmetric::PermutationCanonicalStructure<N>