Trait DomainConstraint 

pub trait DomainConstraint:
    Debug
    + Send
    + Sync
    + 'static {
    type Value;

    // Required methods
    fn check(&self, var: &dyn Var, v: &Self::Value) -> Result<(), VarError>;
    fn describe(&self) -> DomainDescription;
}

Required Associated Types

type Value

Required Methods

fn check(&self, var: &dyn Var, v: &Self::Value) -> Result<(), VarError>

fn describe(&self) -> DomainDescription

Describes the accepted values, for tools that validate a parameter’s value without running Self::check.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl DomainConstraint for NonZeroDuration

type Value = Duration

impl DomainConstraint for NumericNonNegNonNan

type Value = Decimal<mz_repr::::adt::numeric::Numeric::{constant#0}>

impl<R> DomainConstraint for ByteSizeInRange<R>

where R: RangeBounds<ByteSize> + Debug + Send + Sync + 'static,

type Value = ByteSize

impl<R> DomainConstraint for NumericInRange<R>

where R: RangeBounds<f64> + Debug + Send + Sync + 'static,

type Value = Decimal<mz_repr::::adt::numeric::Numeric::{constant#0}>

impl<R> DomainConstraint for U32InRange<R>

where R: RangeBounds<u32> + Debug + Send + Sync + 'static,

type Value = u32