Struct Composed 

pub struct Composed<A, B, C, M1, M2> { /* private fields */ }

Sequential composition: A -> B followed by B -> C gives A -> C.

Requires Mid: Clone because the intermediate value must be available both to the second morphism and (optionally) to the composed invariant check.

Implementations

impl<A, B, C, M1, M2> Composed<A, B, C, M1, M2>

where M1: Morphism<A, B>, M2: Morphism<B, C>,

pub fn new(first: M1, second: M2) -> Self

Construct a composed morphism first; second.

Trait Implementations

impl<A, B, C, M1, M2> Morphism<A, C> for Composed<A, B, C, M1, M2>

where M1: Morphism<A, B>, M2: Morphism<B, C>,

fn name(&self) -> &'static str

Human-readable name for diagnostics, traceability, attestation.

fn apply(&self, src: &A) -> C

Apply the morphism. Must be total and deterministic.

impl<A, B, C, M1, M2> ProvenMorphism<A, C> for Composed<A, B, C, M1, M2>

where M1: ProvenMorphism<A, B>, M2: ProvenMorphism<B, C>,

fn check_invariants(&self, src: &A, dst: &C) -> Vec<String>

Return violations (empty = all invariants hold).