Struct opendp::core::Measurement

pub struct Measurement<DI: Domain, TO, MI: Metric, MO: Measure> {
    pub input_domain: DI,
    pub function: Function<DI::Carrier, TO>,
    pub input_metric: MI,
    pub output_measure: MO,
    pub privacy_map: PrivacyMap<MI, MO>,
}

A randomized mechanism with certain privacy characteristics.

The trait bounds provided by the Rust type system guarantee that:

• input_domain and output_domain are valid domains
• input_metric is a valid metric
• output_measure is a valid measure

It is, however, left to constructor functions to prove that:

• input_metric is compatible with input_domain
• privacy_map is a mapping from the input metric to the output measure

Fields

input_domain: DI

function: Function<DI::Carrier, TO>

input_metric: MI

output_measure: MO

privacy_map: PrivacyMap<MI, MO>

Implementations

impl<Q: 'static, A: 'static> Measurement<AnyDomain, Queryable<Q, A>, AnyMetric, AnyMeasure>

pub fn into_any_Q( self ) -> Measurement<AnyDomain, Queryable<AnyObject, A>, AnyMetric, AnyMeasure>

impl<DI: Domain, TO, MI: Metric, MO: Measure> Measurement<DI, TO, MI, MO>where (DI, MI): MetricSpace,

pub fn new( input_domain: DI, function: Function<DI::Carrier, TO>, input_metric: MI, output_measure: MO, privacy_map: PrivacyMap<MI, MO> ) -> Fallible<Self>

pub(crate) fn with_map<MI2: Metric, MO2: Measure>( &self, input_metric: MI2, output_metric: MO2, privacy_map: PrivacyMap<MI2, MO2> ) -> Fallible<Measurement<DI, TO, MI2, MO2>>where (DI, MI2): MetricSpace,

impl<DI: Domain, TO, MI: Metric, MO: Measure> Measurement<DI, TO, MI, MO>

pub fn invoke(&self, arg: &DI::Carrier) -> Fallible<TO>

pub fn map(&self, d_in: &MI::Distance) -> Fallible<MO::Distance>

pub fn check(&self, d_in: &MI::Distance, d_out: &MO::Distance) -> Fallible<bool>where MO::Distance: TotalOrd,

impl<DI, TO, MI, MO> Measurement<DI, TO, MI, MO>where DI: 'static + Domain, DI::Carrier: 'static, TO: 'static, MI: 'static + Metric, MO: 'static + Measure, (DI, MI): MetricSpace,

pub fn into_poly(self) -> Measurement<DI, Box<dyn Any>, MI, MO>

Converts this Measurement into one with polymorphic output. This is useful for composition of heterogeneous Measurements.

impl<DI: Domain, TO, MI: Metric, MO: Measure> Measurement<DI, TO, MI, MO>where (DI, MI): MetricSpace,

pub fn invoke_wrap( &self, arg: &DI::Carrier, wrapper: impl Fn(PolyQueryable) -> Fallible<PolyQueryable> + 'static ) -> Fallible<TO>

Trait Implementations

impl<DI: Domain, TO, MI: Metric, MO: Measure> Clone for Measurement<DI, TO, MI, MO>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<DI: 'static + Domain, TO: 'static, MI: 'static + Metric, MO: 'static + Measure> IntoAnyMeasurementExt for Measurement<DI, TO, MI, MO>where DI::Carrier: 'static, MI::Distance: 'static, MO::Distance: 'static, (DI, MI): MetricSpace,

Turn a Measurement into an AnyMeasurement.

fn into_any(self) -> Measurement<AnyDomain, AnyObject, AnyMetric, AnyMeasure>

impl<TO: 'static> IntoAnyMeasurementOutExt for Measurement<AnyDomain, TO, AnyMetric, AnyMeasure>

fn into_any_out( self ) -> Measurement<AnyDomain, AnyObject, AnyMetric, AnyMeasure>

impl<DI, TX, TO, MI, MO> Shr<Function<TX, TO>> for Measurement<DI, TX, MI, MO>where DI: 'static + Domain, TX: 'static, TO: 'static, MI: 'static + Metric, MO: 'static + Measure, (DI, MI): MetricSpace,

type Output = Result<Measurement<DI, TO, MI, MO>, Error>

The resulting type after applying the >> operator.

fn shr(self, rhs: Function<TX, TO>) -> Self::Output

Performs the >> operation.

impl<DI, DX, TO, MI, MX, MO> Shr<Measurement<DX, TO, MX, MO>> for Fallible<Transformation<DI, DX, MI, MX>>where DI: 'static + Domain, DX: 'static + Domain, TO: 'static, MI: 'static + Metric, MX: 'static + Metric, MO: 'static + Measure, (DI, MI): MetricSpace, (DX, MX): MetricSpace,

type Output = Result<Measurement<DI, TO, MI, MO>, Error>

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl<DI, DX, TO, MI, MX, MO> Shr<Measurement<DX, TO, MX, MO>> for PartialTransformation<DI, DX, MI, MX>where DI: 'static + Domain, DX: 'static + Domain, TO: 'static, MI: 'static + Metric, MX: 'static + Metric, MO: 'static + Measure, (DI, MI): MetricSpace, (DX, MX): MetricSpace,

type Output = PartialMeasurement<DI, TO, MI, MO>

The resulting type after applying the >> operator.

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

Performs the >> operation.

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

type Output = Result<Measurement<DI, TO, MI, MO>, Error>

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl<DI, DX, DO, MI, MO, MTI, MTO> Shr<Transformation<DX, DO, MTI, MTO>> for Measurement<DI, DX::Carrier, MI, MO>where DI: 'static + Domain, DX: 'static + Domain, DO: 'static + Domain, MI: 'static + Metric, MO: 'static + Measure, MTI: 'static + Metric, MTO: 'static + Metric, (DI, MI): MetricSpace, (DX, MTI): MetricSpace, (DO, MTO): MetricSpace,

type Output = Result<Measurement<DI, <DO as Domain>::Carrier, MI, MO>, Error>

The resulting type after applying the >> operator.

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

Performs the >> operation.