pub struct Valid<E>(pub E);Expand description
Wrapper that validates extracted data before allowing access.
Use as Valid<Json<T>>, Valid<Query<T>>, or Valid<Path<T>>.
Tuple Fields§
§0: EImplementations§
Source§impl<E> Valid<E>
impl<E> Valid<E>
Sourcepub fn into_inner(self) -> E
pub fn into_inner(self) -> E
Extract the inner value, consuming the wrapper.
Trait Implementations§
Source§impl<S, E, T> FromRequest<S> for Valid<E>where
S: Send + Sync,
E: FromRequest<S> + Deref<Target = T> + Send,
T: Validate,
<E as FromRequest<S>>::Rejection: IntoResponse,
––––– FromRequest (Json / Form / Bytes) –––––
impl<S, E, T> FromRequest<S> for Valid<E>where
S: Send + Sync,
E: FromRequest<S> + Deref<Target = T> + Send,
T: Validate,
<E as FromRequest<S>>::Rejection: IntoResponse,
––––– FromRequest (Json / Form / Bytes) –––––
Source§type Rejection = ValidRejection<<E as FromRequest<S>>::Rejection>
type Rejection = ValidRejection<<E as FromRequest<S>>::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.
Source§impl<S, E, T> FromRequestParts<S> for Valid<E>where
S: Send + Sync,
E: FromRequestParts<S> + Deref<Target = T> + Send,
T: Validate,
<E as FromRequestParts<S>>::Rejection: IntoResponse,
––––– FromRequestParts (Query / Path / Headers) –––––
impl<S, E, T> FromRequestParts<S> for Valid<E>where
S: Send + Sync,
E: FromRequestParts<S> + Deref<Target = T> + Send,
T: Validate,
<E as FromRequestParts<S>>::Rejection: IntoResponse,
––––– FromRequestParts (Query / Path / Headers) –––––
Source§type Rejection = ValidRejection<<E as FromRequestParts<S>>::Rejection>
type Rejection = ValidRejection<<E as FromRequestParts<S>>::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.
Auto Trait Implementations§
impl<E> Freeze for Valid<E>where
E: Freeze,
impl<E> RefUnwindSafe for Valid<E>where
E: RefUnwindSafe,
impl<E> Send for Valid<E>where
E: Send,
impl<E> Sync for Valid<E>where
E: Sync,
impl<E> Unpin for Valid<E>where
E: Unpin,
impl<E> UnsafeUnpin for Valid<E>where
E: UnsafeUnpin,
impl<E> UnwindSafe for Valid<E>where
E: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<S, T> FromRequest<S, ViaParts> for T
impl<S, T> FromRequest<S, ViaParts> for T
Source§type Rejection = <T as FromRequestParts<S>>::Rejection
type Rejection = <T as FromRequestParts<S>>::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.
Source§fn from_request(
req: Request<Body>,
state: &S,
) -> impl Future<Output = Result<T, <T as FromRequest<S, ViaParts>>::Rejection>>
fn from_request( req: Request<Body>, state: &S, ) -> impl Future<Output = Result<T, <T as FromRequest<S, ViaParts>>::Rejection>>
Perform the extraction.
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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