Trait Monoidal 

pub trait Monoidal: Arrow {
    // Required methods
    fn unit() -> Self::Object;
    fn tensor(&self, other: &Self) -> Self;
}

Required Methods

fn unit() -> Self::Object

the monoidal unit object

fn tensor(&self, other: &Self) -> Self

f \otimes g of two morphisms

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<K: ArrayKind> Monoidal for FiniteFunction<K>

impl<K: ArrayKind, O, A> Monoidal 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<O: Clone + PartialEq, A: Clone> Monoidal for open_hypergraphs::lax::open_hypergraph::OpenHypergraph<O, A>