pub struct DataTypeConstraint { /* private fields */ }Expand description
A unified constraint that validates data types and type-related properties.
This constraint replaces individual type constraints and provides a consistent interface for all data type validations.
§Examples
use term_guard::constraints::{DataTypeConstraint, DataTypeValidation, NumericValidation};
use term_guard::core::Constraint;
// Check for specific data type
let type_check = DataTypeConstraint::new(
"user_id",
DataTypeValidation::SpecificType("Int64".to_string())
);
// Check for non-negative values
let non_negative = DataTypeConstraint::new(
"amount",
DataTypeValidation::Numeric(NumericValidation::NonNegative)
);
// Check type consistency
let consistency = DataTypeConstraint::new(
"mixed_column",
DataTypeValidation::Consistency { threshold: 0.95 }
);Implementations§
Source§impl DataTypeConstraint
impl DataTypeConstraint
Sourcepub fn non_negative(column: impl Into<String>) -> Result<Self>
pub fn non_negative(column: impl Into<String>) -> Result<Self>
Convenience constructor for non-negative constraint.
Trait Implementations§
Source§impl Clone for DataTypeConstraint
impl Clone for DataTypeConstraint
Source§fn clone(&self) -> DataTypeConstraint
fn clone(&self) -> DataTypeConstraint
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Constraint for DataTypeConstraint
impl Constraint for DataTypeConstraint
Source§fn evaluate<'life0, 'life1, 'async_trait>(
&'life0 self,
ctx: &'life1 SessionContext,
) -> Pin<Box<dyn Future<Output = Result<ConstraintResult>> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
fn evaluate<'life0, 'life1, 'async_trait>(
&'life0 self,
ctx: &'life1 SessionContext,
) -> Pin<Box<dyn Future<Output = Result<ConstraintResult>> + Send + 'async_trait>>where
Self: 'async_trait,
'life0: 'async_trait,
'life1: 'async_trait,
Evaluates the constraint against the data in the session context. Read more
Source§fn metadata(&self) -> ConstraintMetadata
fn metadata(&self) -> ConstraintMetadata
Returns the metadata associated with this constraint. Read more
Auto Trait Implementations§
impl Freeze for DataTypeConstraint
impl RefUnwindSafe for DataTypeConstraint
impl Send for DataTypeConstraint
impl Sync for DataTypeConstraint
impl Unpin for DataTypeConstraint
impl UnwindSafe for DataTypeConstraint
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more