Trait opendp::core::Domain

pub trait Domain: Clone + PartialEq + Debug {
    type Carrier;
    fn member(&self, val: &Self::Carrier) -> Fallible<bool>;
}

A set which constrains the input or output of a Function.

Domains capture the notion of what values are allowed to be the input or output of a Function.

Associated Types

type Carrier

The underlying type that the Domain specializes.

Required methods

fn member(&self, val: &Self::Carrier) -> Fallible<bool>

Predicate to test an element for membership in the domain.

Implementors

impl Domain for PolyDomain

type Carrier = Box<dyn Any>

impl<D0: Domain, D1: Domain> Domain for PairDomain<D0, D1>

type Carrier = (D0::Carrier, D1::Carrier)

impl<D: Domain> Domain for BoxDomain<D>

type Carrier = Box<D::Carrier>

impl<D: Domain> Domain for DataDomain<D> where
    D::Carrier: 'static + Any, 

type Carrier = Box<dyn Any>

impl<D: Domain> Domain for InherentNullDomain<D> where
    D::Carrier: InherentNull, 

type Carrier = D::Carrier

impl<D: Domain> Domain for OptionNullDomain<D>

type Carrier = Option<D::Carrier>

impl<D: Domain> Domain for SizedDomain<D>

type Carrier = D::Carrier

impl<D: Domain> Domain for VectorDomain<D>

type Carrier = Vec<D::Carrier>

impl<DK: Domain, DV: Domain> Domain for MapDomain<DK, DV> where
    DK::Carrier: Eq + Hash, 

type Carrier = HashMap<DK::Carrier, DV::Carrier>

impl<T: CheckNull> Domain for AllDomain<T>

type Carrier = T

impl<T: Clone + TotalOrd> Domain for BoundedDomain<T>

type Carrier = T