Trait DomainConstraint

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

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

Required Associated Types

type Value

Required Methods

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

Implementors

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}>