Struct CompositionMorphism 

pub struct CompositionMorphism<A: Signature, B: Signature, C: Signature, AB: Morphism<A, B>, BC: Morphism<B, C>> { /* private fields */ }

The composition A -> B -> C of two morphisms A -> B and B -> C

Implementations

impl<A: Signature, B: Signature, C: Signature, AB: Morphism<A, B>, BC: Morphism<B, C>> CompositionMorphism<A, B, C, AB, BC>

pub fn new(a_to_b: AB, b_to_c: BC) -> Self

pub fn a(&self) -> &A

pub fn b(&self) -> &B

pub fn c(&self) -> &C

pub fn a_to_b(&self) -> &AB

pub fn b_to_c(&self) -> &BC

Trait Implementations

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>

fn preimage(&self, x: &C::Set) -> A::Set

impl<A: Clone + Signature, B: Clone + Signature, C: Clone + Signature, AB: Clone + Morphism<A, B>, BC: Clone + Morphism<B, C>> Clone for CompositionMorphism<A, B, C, AB, BC>

fn clone(&self) -> CompositionMorphism<A, B, C, AB, BC>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<A: Debug + Signature, B: Debug + Signature, C: Debug + Signature, AB: Debug + Morphism<A, B>, BC: Debug + Morphism<B, C>> Debug for CompositionMorphism<A, B, C, AB, BC>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

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>

fn image(&self, x: &A::Set) -> C::Set

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>

fn try_preimage(&self, x: &C::Set) -> Option<A::Set>

impl<A: Signature, B: Signature, C: Signature, AB: Morphism<A, B>, BC: Morphism<B, C>> Morphism<A, C> for CompositionMorphism<A, B, C, AB, BC>

fn domain(&self) -> &A

fn range(&self) -> &C

impl<A: PartialEq + Signature, B: PartialEq + Signature, C: PartialEq + Signature, AB: PartialEq + Morphism<A, B>, BC: PartialEq + Morphism<B, C>> PartialEq for CompositionMorphism<A, B, C, AB, BC>

fn eq(&self, other: &CompositionMorphism<A, B, C, AB, BC>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<A: Eq + Signature, B: Eq + Signature, C: Eq + Signature, AB: Eq + Morphism<A, B>, BC: Eq + Morphism<B, C>> Eq for CompositionMorphism<A, B, C, AB, BC>

impl<A: Signature, B: Signature, C: Signature, AB: Morphism<A, B>, BC: Morphism<B, C>> StructuralPartialEq for CompositionMorphism<A, B, C, AB, BC>