Trait Validate 

pub trait Validate<C, S>
where
    S: Context,
    Self: Sized,
{
    // Required method
    fn validate(
        self,
        context: impl Into<S>,
        constraint: &C,
    ) -> Validation<C, Self>;
}

The validation function validates whether the given value complies to the specified constraint.

It returns a Validation value that may be used to perform further validations using its combinator methods and or and_then or get the final result by calling the result method.

The context provides additional information to perform the validation, for example a lookup table or some state information. It may also hold parameters needed to provide additional parameters to the error in case of a constraint violation. (see the crate level documentation for more details on how to use the context)

see the crate level documentation for details about how to implement a the Validate trait for custom constraints and custom types.

Required Methods

fn validate(self, context: impl Into<S>, constraint: &C) -> Validation<C, Self>

Validates this value for being compliant to the specified constraint C in the given context S.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl Validate<Pattern, FieldName> for String

fn validate( self, name: impl Into<FieldName>, constraint: &Pattern, ) -> Validation<Pattern, Self>

impl<T> Validate<MustDefineRange, RelatedFields> for (T, T)

where T: PartialOrd + Into<Value>,

fn validate( self, fields: impl Into<RelatedFields>, constraint: &MustDefineRange, ) -> Validation<MustDefineRange, Self>

impl<T> Validate<MustMatch, RelatedFields> for (T, T)

where T: PartialEq + Into<Value>,

fn validate( self, fields: impl Into<RelatedFields>, _constraint: &MustMatch, ) -> Validation<MustMatch, Self>

Implementors

impl<'a, T, A> Validate<Contains<'a, A>, FieldName> for T

where T: HasMember<A> + Into<Value>, A: Clone + Into<Value>,

impl<T> Validate<AssertFalse, FieldName> for T

where T: HasCheckedValue,

impl<T> Validate<AssertTrue, FieldName> for T

where T: HasCheckedValue,

impl<T> Validate<Bound<T>, FieldName> for T

where T: PartialOrd + Clone + Into<Value>,

impl<T> Validate<CharCount, FieldName> for T

where T: HasCharCount,

impl<T> Validate<Digits, FieldName> for T

where T: HasDecimalDigits,

impl<T> Validate<Length, FieldName> for T

where T: HasLength,

impl<T> Validate<NonZero, FieldName> for T

where T: HasZeroValue + Into<Value>,

impl<T> Validate<NotEmpty, FieldName> for T

where T: HasEmptyValue,