Trait CompositionSignature 

pub trait CompositionSignature: SetSignature {
    // Required method
    fn compose(&self, a: &Self::Set, b: &Self::Set) -> Self::Set;

    // Provided method
    fn compose_mut(&self, a: &mut Self::Set, b: &Self::Set) { ... }
}

A set with a binary operation of composition.

Required Methods

fn compose(&self, a: &Self::Set, b: &Self::Set) -> Self::Set

Provided Methods

fn compose_mut(&self, a: &mut Self::Set, b: &Self::Set)

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 CompositionSignature for C2CanonicalStructure

impl CompositionSignature for algebraeon_groups::permutation::PermutationCanonicalStructure

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