Skip to main content

AsyncValidator

Struct AsyncValidator 

Source
pub struct AsyncValidator<'a> { /* private fields */ }
Expand description

Async request validator.

Mirrors crate::validation::Validator ergonomics while adding support for Box<dyn AsyncRule> rules (e.g. DB uniqueness checks). Sync rules run first; async rules run only on fields with no sync error (fail-fast, D-03).

§Example

use ferro_rs::{AsyncValidator, AsyncValidationError, unique};
use ferro_rs::validation::rules::*;
use ferro_rs::rules;

let data = req.input::<serde_json::Value>().await?;
match AsyncValidator::new(&data)
    .rules("slug", rules![required(), string()])
    .async_rule("slug", unique("articles", "slug"))
    .validate_async()
    .await
{
    Ok(()) => {}
    Err(AsyncValidationError::Validation(e)) => {
        return Err(e.with_old_input(&data).into_action_error("/articles/new"));
    }
    Err(AsyncValidationError::Infra(fe)) => {
        return Err(fe.into());
    }
}

Implementations§

Source§

impl<'a> AsyncValidator<'a>

Source

pub fn new(data: &'a Value) -> Self

Create a new async validator for the given data.

Source

pub fn rule<R: Rule + 'static>(self, field: impl Into<String>, rule: R) -> Self

Add a single sync validation rule for a field.

Source

pub fn rules(self, field: impl Into<String>, rules: Vec<Box<dyn Rule>>) -> Self

Add multiple sync validation rules for a field using boxed rules.

§Example
use ferro_rs::rules;
use ferro_rs::validation::rules::*;

AsyncValidator::new(&data)
    .rules("email", rules![required(), email()])
    .rules("name", rules![required(), string(), max(255)]);
Source

pub fn async_rule<R: AsyncRule + 'static>( self, field: impl Into<String>, rule: R, ) -> Self

Add a single async validation rule for a field.

Async rules run only after all sync rules pass for the field (D-03).

Source

pub fn message(self, key: impl Into<String>, message: impl Into<String>) -> Self

Set a custom error message for a field.rule combination.

§Example
AsyncValidator::new(&data)
    .rules("email", rules![required(), email()])
    .message("email.required", "Please provide your email address");
Source

pub fn messages(self, messages: HashMap<String, String>) -> Self

Set custom messages from a map.

Source

pub fn attribute( self, field: impl Into<String>, name: impl Into<String>, ) -> Self

Set a custom attribute name for a field.

§Example
AsyncValidator::new(&data)
    .rules("email", rules![required()])
    .attribute("email", "email address");
// Error: "The email address field is required."
Source

pub fn attributes(self, attributes: HashMap<String, String>) -> Self

Set custom attributes from a map.

Source

pub async fn validate_async(self) -> Result<(), AsyncValidationError>

Run async validation. Returns:

  • Ok(()) — all rules pass.
  • Err(AsyncValidationError::Validation(e)) — field-level failures.
  • Err(AsyncValidationError::Infra(e)) — DB/infra failure (handler → 500).
§Execution order (D-03)

Phase 1: all sync rules run across all fields. Phase 2: async rules run only on fields with no sync error — no DB query is issued for an already-failed field.

§Infra sentinel (D-12)

An async rule that returns Err(msg) where msg starts with __infra_error__: is treated as an infrastructure failure, not a field error. The stripped message is wrapped in AsyncValidationError::Infra(FrameworkError::database(...)) and returned immediately.

Auto Trait Implementations§

§

impl<'a> !RefUnwindSafe for AsyncValidator<'a>

§

impl<'a> !UnwindSafe for AsyncValidator<'a>

§

impl<'a> Freeze for AsyncValidator<'a>

§

impl<'a> Send for AsyncValidator<'a>

§

impl<'a> Sync for AsyncValidator<'a>

§

impl<'a> Unpin for AsyncValidator<'a>

§

impl<'a> UnsafeUnpin for AsyncValidator<'a>

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> Chain<T> for T

Source§

fn len(&self) -> usize

The number of items that this chain link consists of.
Source§

fn append_to(self, v: &mut Vec<T>)

Append the elements in this link to the chain.
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> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

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

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
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