Trait Function 

pub trait Function<Domain: SetSignature, Range: SetSignature>: Morphism<Domain, Range> {
    // Required method
    fn image(&self, x: &Domain::Set) -> Range::Set;
}

Required Methods

fn image(&self, x: &Domain::Set) -> Range::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: Function<A, B>, BC: Function<B, C>> Function<A, C> for CompositionMorphism<A, B, C, AB, BC>

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