Struct axum_valid::validator::ValidEx

pub struct ValidEx<E>(pub E);

ValidEx data extractor

ValidEx can be incorporated with extractors from various modules, similar to Valid. Two differences exist between ValidEx and Valid:

• The inner data type in ValidEx implements ValidateArgs instead of Validate.
• ValidEx includes a second field that represents arguments used during validation of the first field.

The implementation of ValidateArgs is often automatically handled by validator’s derive macros (for more details, please refer to the validator’s documentation).

Although current module documentation predominantly showcases Valid examples, the usage of ValidEx is analogous.

Tuple Fields

0: E

Implementations

impl<E> ValidEx<E>

pub fn into_inner(self) -> E

Consumes the ValidEx and returns the validated data within.

This returns the E type which represents the data that has been successfully validated.

Trait Implementations

impl<E: Clone> Clone for ValidEx<E>

fn clone(&self) -> ValidEx<E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug> Debug for ValidEx<E>

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

Formats the value using the given formatter.

impl<E: Default> Default for ValidEx<E>

fn default() -> ValidEx<E>

Returns the “default value” for a type.

impl<E> Deref for ValidEx<E>

type Target = E

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<E> DerefMut for ValidEx<E>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

impl<T: Display> Display for ValidEx<T>

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

Formats the value using the given formatter.

impl<State, Extractor, Args> FromRequest<State> for ValidEx<Extractor>

where State: Send + Sync, Args: Send + Sync + FromRef<State>, Extractor: for<'v> HasValidateArgs<'v> + FromRequest<State>, for<'v> <Extractor as HasValidateArgs<'v>>::ValidateArgs: ValidateArgs<'v, Args = &'v Args>,

type Rejection = ValidationRejection<ValidationErrors, <Extractor as FromRequest<State>>::Rejection>

If the extractor fails it’ll use this “rejection” type. A rejection is a kind of error that can be converted into a response.

fn from_request<'life0, 'async_trait>( req: Request, state: &'life0 State ) -> Pin<Box<dyn Future<Output = Result<Self, Self::Rejection>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Perform the extraction.

impl<State, Extractor, Args> FromRequestParts<State> for ValidEx<Extractor>

where State: Send + Sync, Args: Send + Sync + FromRef<State>, Extractor: for<'v> HasValidateArgs<'v> + FromRequestParts<State>, for<'v> <Extractor as HasValidateArgs<'v>>::ValidateArgs: ValidateArgs<'v, Args = &'v Args>,

type Rejection = ValidationRejection<ValidationErrors, <Extractor as FromRequestParts<State>>::Rejection>

If the extractor fails it’ll use this “rejection” type. A rejection is a kind of error that can be converted into a response.

fn from_request_parts<'life0, 'life1, 'async_trait>( parts: &'life0 mut Parts, state: &'life1 State ) -> Pin<Box<dyn Future<Output = Result<Self, Self::Rejection>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Perform the extraction.

impl<T> OperationInput for ValidEx<T>

where T: OperationInput,

fn operation_input(ctx: &mut GenContext, operation: &mut Operation)

Modify the operation.

fn inferred_early_responses( ctx: &mut GenContext, operation: &mut Operation ) -> Vec<(Option<u16>, Response)>

Inferred early responses are used to document early returns for extractors, guards inside handlers. For example these could represent JSON parsing errors, authentication failures.

impl<T: TypedPath + Display> TypedPath for ValidEx<T>

const PATH: &'static str = T::PATH

The path with optional captures such as /users/:id.

fn to_uri(&self) -> Uri

Convert the path into a Uri.

fn with_query_params<T>(self, params: T) -> WithQueryParams<Self, T>

where T: Serialize, Self: Sized,

Add query parameters to a path.

impl<E: Copy> Copy for ValidEx<E>