Module opendp::dom [−][src]
Expand description
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.
Structs
A Domain that contains all non-null members of the carrier type.
A Domain that contains all the values bounded by an interval.
A Domain that carries an underlying Domain in a Box.
A Domain that unwraps a Data wrapper.
A domain with a built-in representation of nullity, that may take on null values at runtime
A Domain that contains maps of (homogeneous) values.
A domain that represents nullity via the Option type.
The value inside is non-null by definition.
Transformations should not emit data that can take on null-values at runtime.
For example, it is fine to have an OptionDomain<AllDomain
A Domain that contains pairs of values.
A Domain that specifies the length of the enclosed domain
A Domain that contains vectors of (homogeneous) values.