Trait InjectiveFunction

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

Required Methods

fn try_preimage(&self, x: &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: SetStructure, B: SetStructure, C: SetStructure, AB: InjectiveFunction<A, B>, BC: InjectiveFunction<B, C>> InjectiveFunction<A, C> for CompositionMorphism<A, B, C, AB, BC>

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