Module opendp::domains

Various implementations of Domain.

These different versions of Domain provide a general set of models used throughout OpenDP. Most of the implementations are generic, with the type parameter setting the underlying Domain::Carrier type.

A data domain is a representation of the set of values on which the function associated with a transformation or measurement can operate. Each metric (see crate::metrics) is associated with certain data domains. The Domain trait is implemented for all domains used in OpenDP.

Modules

• contrib 🔒
• ffi 🔒
• poly 🔒

Macros

• type_name 🔒
  retrieves the type_name for a given type

Structs

• AtomDomain
  Proof Definition
• Bounds
  Proof Definition
• BoxDomain
  A Domain that carries an underlying Domain in a Box.
• DataDomain
  A Domain that unwraps a Data wrapper.
• MapDomain
  A Domain that contains maps of (homogeneous) values.
• Null
  Proof Definition
• OptionDomain
  A domain that represents nullity via the Option type.
• PairDomain
  A Domain that contains pairs of values.
• VectorDomain
  A Domain that contains vectors of (homogeneous) values.