Enum ValidatorKind

Source

#[non_exhaustive]pub enum ValidatorKind {
Show 15 variants    EmailRfc,
    E164Phone,
    E164PhoneNational(Region),
    Luhn,
    IbanMod97,
    Ipv4Parse,
    Ipv6Parse,
    EthEip55,
    AadhaarVerhoeff,
    FrNirMod97,
    DeSteuerIdMod1110,
    BsnMod11,
    CpfMod11,
    CnpjMod11,
    UkNhsMod11,
}

Expand description

Closed set of validator implementations used by validator-backed recognizers.

Variants (Non-exhaustive)§

This enum is marked as non-exhaustive

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

§

EmailRfc

Basic email shape validator.

§

E164Phone

Available on crate feature phone-parser only.

Parser-backed E.164 phone validator.

§

E164PhoneNational(Region)

Available on crate feature phone-parser only.

Parser-backed national phone validator for a fixed region.

§

Luhn

Luhn checksum validator.

§

IbanMod97

IBAN MOD-97 validator.

§

Ipv4Parse

Strict decimal dotted-quad IPv4 parser.

§

Ipv6Parse

RFC 4291 / RFC 5952 IPv6 textual parser.

§

EthEip55

EIP-55 Ethereum address checksum validator.

§

AadhaarVerhoeff

Indian Aadhaar Verhoeff checksum validator.

§

FrNirMod97

French NIR MOD-97 key validator.

§

DeSteuerIdMod1110

German Steuer-ID MOD 11,10 checksum validator.

§

BsnMod11

Dutch BSN MOD-11 checksum validator.

§

CpfMod11

Brazilian CPF MOD-11 checksum validator.

§

CnpjMod11

Brazilian CNPJ MOD-11 checksum validator.

§

UkNhsMod11

UK NHS number MOD-11 checksum validator.

Implementations§

Source §

impl ValidatorKind

Source

pub fn parse(s: &str) -> Result<Self, ValidatorKindParseError>

Parses a policy validator kind.

Source

pub fn validates(self, input: &str) -> bool

Returns whether the validator accepts the input.

Source

pub fn validate(self, input: &str) -> ValidatorOutcome

Applies validation and returns a typed outcome for audit.

Source

pub fn canonical_form(self, input: &str) -> Option<String>

Returns the canonical form for accepted input.

Source

pub fn fail_reason(self) -> ValidatorFailReason

Returns the audit reason emitted when validation fails.

Trait Implementations§

Source §

impl Clone for ValidatorKind

Source §

fn clone(&self) -> ValidatorKind

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

Source §

impl Copy for ValidatorKind

Source §

impl Debug for ValidatorKind

Source §

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

Formats the value using the given formatter. Read more

Source §

impl Eq for ValidatorKind

Source §

impl PartialEq for ValidatorKind

Source §

fn eq(&self, other: &ValidatorKind) -> bool

Tests for self and other values to be equal, and is used by ==.

1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

Source §

impl StructuralPartialEq for ValidatorKind

Auto Trait Implementations§

§

impl UnwindSafe for ValidatorKind

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, U> Into 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 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>::Error>

Performs the conversion.

Source §

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

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

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

Performs the conversion.

Enum ValidatorKind Copy item path

Variants (Non-exhaustive)§

EmailRfc

E164Phone

E164PhoneNational(Region)

Luhn

IbanMod97

Ipv4Parse

Ipv6Parse

EthEip55

AadhaarVerhoeff

FrNirMod97

DeSteuerIdMod1110

BsnMod11

CpfMod11

CnpjMod11

UkNhsMod11

Implementations§

impl ValidatorKind

pub fn parse(s: &str) -> Result<Self, ValidatorKindParseError>

pub fn validates(self, input: &str) -> bool

pub fn validate(self, input: &str) -> ValidatorOutcome

pub fn canonical_form(self, input: &str) -> Option<String>

pub fn fail_reason(self) -> ValidatorFailReason

Trait Implementations§

impl Clone for ValidatorKind

fn clone(&self) -> ValidatorKind

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

impl Copy for ValidatorKind

impl Debug for ValidatorKind

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

impl Eq for ValidatorKind

impl PartialEq for ValidatorKind

fn eq(&self, other: &ValidatorKind) -> bool

fn ne(&self, other: &Rhs) -> bool

impl StructuralPartialEq for ValidatorKind

Auto Trait Implementations§

impl Freeze for ValidatorKind

impl RefUnwindSafe for ValidatorKind

impl Send for ValidatorKind

impl Sync for ValidatorKind

impl Unpin for ValidatorKind

impl UnsafeUnpin for ValidatorKind

impl UnwindSafe for ValidatorKind

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> CloneToUninit for Twhere T: Clone,

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

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

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

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

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

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

type Error = Infallible

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

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

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

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

Enum ValidatorKind

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

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

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

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

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

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

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

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

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