Trait valid::Validate

pub trait Validate<C, S> where
    S: Context,
    Self: Sized, {
    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.

Loading content...

Implementations on Foreign Types

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>

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 Validate<Pattern, FieldName> for String

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

Loading content...

Implementors

impl<'a, T, A> Validate<Contains<'a, A>, FieldName> for T where
    T: HasMember<A> + Into<Value>,
    A: Clone + Into<Value>, 

fn validate(
    self,
    name: impl Into<FieldName>,
    constraint: &Contains<'a, A>
) -> Validation<Contains<'a, A>, Self>

impl<T> Validate<Bound<T>, FieldName> for T where
    T: PartialOrd + Clone + Into<Value>, 

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

impl<T> Validate<CharCount, FieldName> for T where
    T: HasCharCount, 

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

impl<T> Validate<Length, FieldName> for T where
    T: HasLength, 

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

impl<T> Validate<AssertFalse, FieldName> for T where
    T: HasCheckedValue, 

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

impl<T> Validate<AssertTrue, FieldName> for T where
    T: HasCheckedValue, 

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

impl<T> Validate<Digits, FieldName> for T where
    T: HasDecimalDigits, 

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

impl<T> Validate<NonZero, FieldName> for T where
    T: HasZeroValue + Into<Value>, 

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

impl<T> Validate<NotEmpty, FieldName> for T where
    T: HasEmptyValue, 

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

Loading content...