Trait MetaRightCancellativeCompositionSignature 

pub trait MetaRightCancellativeCompositionSignature: MetaType
where
    Self::Signature: RightCancellativeCompositionSignature,
{
    // Provided method
    fn try_right_difference(&self, b: &Self) -> Option<Self> { ... }
}

Provided Methods

fn try_right_difference(&self, b: &Self) -> Option<Self>

Try to find x such that a = compose(x, b).

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

where T: MetaType, T::Signature: RightCancellativeCompositionSignature,