Trait SymmetricMonoidal 

pub trait SymmetricMonoidal: Monoidal {
    // Required method
    fn twist(a: Self::Object, b: Self::Object) -> Self;
}

Required Methods

fn twist(a: Self::Object, b: Self::Object) -> Self

Construct the symmetry \sigma_{a,b} from a and b.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<K: ArrayKind, O, A> SymmetricMonoidal for open_hypergraphs::strict::open_hypergraph::OpenHypergraph<K, O, A>

where K::Type<K::I>: NaturalArray<K>, K::Type<O>: Array<K, O> + PartialEq, K::Type<A>: Array<K, A>,

impl<K: ArrayKind> SymmetricMonoidal for FiniteFunction<K>

impl<O: Clone + PartialEq, A: Clone + PartialEq> SymmetricMonoidal for open_hypergraphs::lax::open_hypergraph::OpenHypergraph<O, A>