Trait BijectiveFunction 

pub trait BijectiveFunction<Domain: SetSignature, Range: SetSignature>: InjectiveFunction<Domain, Range> {
    // Provided method
    fn preimage(&self, y: &Range::Set) -> Domain::Set { ... }
}

Provided Methods

fn preimage(&self, y: &Range::Set) -> 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: BijectiveFunction<A, B>, BC: BijectiveFunction<B, C>> BijectiveFunction<A, C> for CompositionMorphism<A, B, C, AB, BC>

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