Trait MetaTryInverseSignature 

pub trait MetaTryInverseSignature: MetaType
where
    Self::Signature: TryInverseSignature,
{
    // Provided method
    fn try_inverse(&self) -> Option<Self> { ... }
}

Provided Methods

fn try_inverse(&self) -> Option<Self>

Return x such that compose(x, a) = compose(a, x) = e or None if no such x exists.

Note, whenever try_inverse returns Some, try_left_inverse and try_right_inverse must also return the same value. Also, whenever try_left_inverse and try_right_inverse both return a value, it must be the same value an try_inverse must also return that same value.

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

where T: MetaType, T::Signature: TryInverseSignature,