UniquenessConstraint

Struct UniquenessConstraint 

Source
pub struct UniquenessConstraint { /* private fields */ }
Expand description

A unified constraint that handles all types of uniqueness validation.

This constraint consolidates the functionality of multiple uniqueness-related constraints:

  • UniquenessConstraint - Full uniqueness with threshold
  • DistinctnessConstraint - Distinctness ratio validation
  • UniqueValueRatioConstraint - Values appearing exactly once
  • PrimaryKeyConstraint - Unique + non-null validation

§Examples

§Full Uniqueness (replacing UniquenessConstraint)

use term_guard::constraints::{UniquenessConstraint, UniquenessType};

// Single column uniqueness
let constraint = UniquenessConstraint::full_uniqueness("user_id", 1.0)?;

// Multi-column uniqueness with threshold
let constraint = UniquenessConstraint::full_uniqueness_multi(
    vec!["email", "domain"],
    0.95
)?;

§Distinctness (replacing DistinctnessConstraint)

use term_guard::constraints::{UniquenessConstraint, Assertion};

let constraint = UniquenessConstraint::distinctness(
    vec!["category"],
    Assertion::GreaterThan(0.8)
)?;

§Primary Key (replacing PrimaryKeyConstraint)

use term_guard::constraints::UniquenessConstraint;

let constraint = UniquenessConstraint::primary_key(
    vec!["order_id", "line_item_id"]
)?;

Implementations§

Source§

impl UniquenessConstraint

Source

pub fn new<I, S>( columns: I, uniqueness_type: UniquenessType, options: UniquenessOptions, ) -> Result<Self>
where I: IntoIterator<Item = S>, S: Into<String>,

Creates a new unified uniqueness constraint.

§Arguments
  • columns - The columns to check for uniqueness
  • uniqueness_type - The type of uniqueness validation to perform
  • options - Configuration options for the constraint
§Errors

Returns error if column names are invalid or thresholds are out of range.

Source

pub fn full_uniqueness( column: impl Into<String>, threshold: f64, ) -> Result<Self>

Creates a full uniqueness constraint for a single column.

This replaces UniquenessConstraint::single().

Source

pub fn full_uniqueness_multi<I, S>(columns: I, threshold: f64) -> Result<Self>
where I: IntoIterator<Item = S>, S: Into<String>,

Creates a full uniqueness constraint for multiple columns.

This replaces UniquenessConstraint::multiple() and UniquenessConstraint::with_threshold().

Source

pub fn distinctness<I, S>(columns: I, assertion: Assertion) -> Result<Self>
where I: IntoIterator<Item = S>, S: Into<String>,

Creates a distinctness constraint.

This replaces DistinctnessConstraint::new().

Source

pub fn unique_value_ratio<I, S>( columns: I, assertion: Assertion, ) -> Result<Self>
where I: IntoIterator<Item = S>, S: Into<String>,

Creates a unique value ratio constraint.

This replaces UniqueValueRatioConstraint::new().

Source

pub fn primary_key<I, S>(columns: I) -> Result<Self>
where I: IntoIterator<Item = S>, S: Into<String>,

Creates a primary key constraint.

This replaces PrimaryKeyConstraint::new().

Source

pub fn unique_with_nulls<I, S>( columns: I, threshold: f64, null_handling: NullHandling, ) -> Result<Self>
where I: IntoIterator<Item = S>, S: Into<String>,

Creates a uniqueness constraint that allows NULLs.

Source

pub fn unique_composite<I, S>( columns: I, threshold: f64, null_handling: NullHandling, case_sensitive: bool, ) -> Result<Self>
where I: IntoIterator<Item = S>, S: Into<String>,

Creates a composite uniqueness constraint with advanced options.

Source

pub fn columns(&self) -> &[String]

Returns the columns being validated.

Source

pub fn uniqueness_type(&self) -> &UniquenessType

Returns the uniqueness type.

Source

pub fn options(&self) -> &UniquenessOptions

Returns the constraint options.

Trait Implementations§

Source§

impl Clone for UniquenessConstraint

Source§

fn clone(&self) -> UniquenessConstraint

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Constraint for UniquenessConstraint

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,

Evaluates the constraint against the data in the session context. Read more
Source§

fn name(&self) -> &str

Returns the name of the constraint.
Source§

fn column(&self) -> Option<&str>

Returns the column this constraint operates on (if single-column). Read more
Source§

fn metadata(&self) -> ConstraintMetadata

Returns the metadata associated with this constraint. Read more
Source§

fn description(&self) -> Option<&str>

Returns a description of what this constraint validates. Read more
Source§

impl Debug for UniquenessConstraint

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

Source§

impl<T> ErasedDestructor for T
where T: 'static,