Trait MetaMonoidSignature 

pub trait MetaMonoidSignature: MetaType
where
    Self::Signature: MonoidSignature,
{
    // Provided methods
    fn compose_list(elems: Vec<impl Borrow<Self>>) -> Self { ... }
    fn nat_pow(&self, n: &Natural) -> Self { ... }
}

Provided Methods

fn compose_list(elems: Vec<impl Borrow<Self>>) -> Self

fn nat_pow(&self, n: &Natural) -> Self

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<T> MetaMonoidSignature for T

where T: MetaType, T::Signature: MonoidSignature,