Trait InjectiveFunction 

pub trait InjectiveFunction<Domain: SetSignature, Range: SetSignature>: Function<Domain, Range> {
    // Required method
    fn try_preimage(&self, y: &Range::Set) -> Option<Domain::Set>;
}

Required Methods

fn try_preimage(&self, y: &Range::Set) -> Option<Domain::Set>

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<A: SetSignature, B: SetSignature, C: SetSignature, AB: InjectiveFunction<A, B>, BC: InjectiveFunction<B, C>> InjectiveFunction<A, C> for CompositionMorphism<A, B, C, AB, BC>

impl<X: SetSignature> InjectiveFunction<X, X> for IdentityMorphism<X>