Trait MetaSemiModule 

pub trait MetaSemiModule<Ring: SemiRingSignature>: MetaType
where
    Self::Signature: SemiModuleSignature<Ring>,
{
    // Provided method
    fn scalar_mul(&self, x: &Ring::Set) -> Self { ... }
}

Provided Methods

fn scalar_mul(&self, x: &Ring::Set) -> 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<Ring: SemiRingSignature, T: MetaType> MetaSemiModule<Ring> for T

where Self::Signature: SemiModuleSignature<Ring>,