FormatConstraint

Struct FormatConstraint 

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

A unified constraint that validates data formats and patterns.

This constraint replaces individual format constraints (PatternConstraint, EmailConstraint, UrlConstraint, CreditCardConstraint) and adds support for many additional formats.

§Examples

use term_guard::constraints::{FormatConstraint, FormatType, FormatOptions};
use term_guard::core::Constraint;

// Email validation
let email_constraint = FormatConstraint::new(
    "email",
    FormatType::Email,
    0.95,
    FormatOptions::default()
).unwrap();

// Phone number validation for US
let phone_constraint = FormatConstraint::new(
    "phone",
    FormatType::Phone { country: Some("US".to_string()) },
    0.90,
    FormatOptions::new().trim_before_check(true)
).unwrap();

// Custom regex pattern
let code_constraint = FormatConstraint::new(
    "product_code",
    FormatType::Regex(r"^[A-Z]{2}\d{4}$".to_string()),
    1.0,
    FormatOptions::default()
).unwrap();

Implementations§

Source§

impl FormatConstraint

Source

pub fn new( column: impl Into<String>, format: FormatType, threshold: f64, options: FormatOptions, ) -> Result<Self>

Creates a new format constraint.

§Arguments
  • column - The column to check
  • format - The format type to validate
  • threshold - The minimum ratio of values that must match (0.0 to 1.0)
  • options - Format validation options
§Errors

Returns error if column name is invalid or threshold is out of range

Source

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

Creates a format constraint for email validation.

Source

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

Creates a format constraint for URL validation.

Source

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

Creates a format constraint for credit card detection.

Source

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

Creates a format constraint for phone number validation.

Source

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

Creates a format constraint for postal code validation.

Source

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

Creates a format constraint for UUID validation.

Source

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

Creates a format constraint for IPv4 address validation.

Source

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

Creates a format constraint for IPv6 address validation.

Source

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

Creates a format constraint for JSON validation.

Source

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

Creates a format constraint for ISO 8601 date-time validation.

Source

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

Creates a format constraint for custom regex pattern validation.

Source

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

Creates a format constraint for Social Security Number pattern detection.

This method checks for SSN patterns (XXX-XX-XXXX or XXXXXXXXX) and excludes known invalid SSNs such as those starting with 000, 666, or 900-999.

§Arguments
  • column - The column to check for SSN patterns
  • threshold - The minimum ratio of values that must match the SSN pattern (0.0 to 1.0)
§Examples
use term_guard::constraints::FormatConstraint;

// Check that at least 95% of values are valid SSN patterns
let ssn_check = FormatConstraint::social_security_number("ssn", 0.95)?;

// For PII detection - flag if more than 1% contain SSN patterns
let ssn_detection = FormatConstraint::social_security_number("description", 0.01)?;

Trait Implementations§

Source§

impl Clone for FormatConstraint

Source§

fn clone(&self) -> FormatConstraint

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 FormatConstraint

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 FormatConstraint

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,