Trait Function

pub trait Function<Domain: SetStructure, Range: SetStructure>: 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: SetStructure, B: SetStructure, C: SetStructure, AB: Function<A, B>, BC: Function<B, C>> Function<A, C> for CompositionMorphism<A, B, C, AB, BC>

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