Function opendp::combinators::chain::make_chain_mt

source · 
pub fn make_chain_mt<DI, DX, TO, MI, MX, MO>(
    measurement1: &Measurement<DX, TO, MX, MO>,
    transformation0: &Transformation<DI, DX, MI, MX>
) -> Fallible<Measurement<DI, TO, MI, MO>>
where
    DI: 'static + Domain,
    DX: 'static + Domain,
    TO: 'static,
    MI: 'static + Metric,
    MX: 'static + Metric,
    MO: 'static + Measure,
    (DI, MI): MetricSpace,
    (DX, MX): MetricSpace,
Expand description

Construct the functional composition (measurement1 ○ transformation0). Returns a Measurement that when invoked, computes measurement1(transformation0(x)).

§Arguments

  • measurement1 - outer measurement/mechanism
  • transformation0 - inner transformation

§Generics

  • DI - Input Domain.
  • DX - Intermediate Domain.
  • TO - Output Type.
  • MI - Input Metric.
  • MX - Intermediate Metric.
  • MO - Output Measure.