Struct opendp::core::Transformation

pub struct Transformation<DI: Domain, DO: Domain, MI: Metric, MO: Metric> {
    pub input_domain: DI,
    pub output_domain: DO,
    pub function: Function<DI, DO>,
    pub input_metric: MI,
    pub output_metric: MO,
    pub stability_relation: StabilityRelation<MI, MO>,
}

A data transformation with certain stability characteristics.

Fields

input_domain: DI

output_domain: DO

function: Function<DI, DO>

input_metric: MI

output_metric: MO

stability_relation: StabilityRelation<MI, MO>

Implementations

impl<DI: Domain, DO: Domain, MI: Metric, MO: Metric> Transformation<DI, DO, MI, MO>

pub fn new(
    input_domain: DI,
    output_domain: DO,
    function: Function<DI, DO>,
    input_metric: MI,
    output_metric: MO,
    stability_relation: StabilityRelation<MI, MO>
) -> Self

impl<DI, DO, MI, MO> Transformation<DI, DO, MI, MO> where
    DI: 'static + Domain,
    DI::Carrier: 'static,
    DO: 'static + Domain,
    DO::Carrier: 'static,
    MI: 'static + Metric,
    MO: 'static + Metric, 

pub fn into_poly(self) -> Transformation<DI, PolyDomain, MI, MO>

Converts this Transformation into one with polymorphic output. It’s not clear if we’ll need this, but it’s provided for symmetry with Measurement.

Trait Implementations

impl<DI, DX, DO, MI, MX, MO> Shr<Measurement<DX, DO, MX, MO>> for Transformation<DI, DX, MI, MX> where
    DI: 'static + Domain,
    DX: 'static + Domain,
    DO: 'static + Domain,
    MI: 'static + Metric,
    MX: 'static + Metric,
    MO: 'static + Measure, 

type Output = Fallible<Measurement<DI, DO, MI, MO>>

The resulting type after applying the >> operator.

fn shr(self, rhs: Measurement<DX, DO, MX, MO>) -> Self::Output

Performs the >> operation.

impl<DI, DX, DO, MI, MX, MO> Shr<Transformation<DX, DO, MX, MO>> for Transformation<DI, DX, MI, MX> where
    DI: 'static + Domain,
    DX: 'static + Domain,
    DO: 'static + Domain,
    MI: 'static + Metric,
    MX: 'static + Metric,
    MO: 'static + Metric, 

type Output = Fallible<Transformation<DI, DO, MI, MO>>

The resulting type after applying the >> operator.

fn shr(self, rhs: Transformation<DX, DO, MX, MO>) -> Self::Output

Performs the >> operation.

impl<DI, DX, DO, MI, MX, MO> Shr<Transformation<DX, DO, MX, MO>> for Fallible<Transformation<DI, DX, MI, MX>> where
    DI: 'static + Domain,
    DX: 'static + Domain,
    DO: 'static + Domain,
    MI: 'static + Metric,
    MX: 'static + Metric,
    MO: 'static + Metric, 

type Output = Fallible<Transformation<DI, DO, MI, MO>>

The resulting type after applying the >> operator.

fn shr(self, rhs: Transformation<DX, DO, MX, MO>) -> Self::Output

Performs the >> operation.