Trait FromRequest

Source
pub trait FromRequest<S, B, M = ViaRequest>: Sized {
    type Rejection: IntoResponse;

    // Required method
    fn from_request<'life0, 'async_trait>(
        req: Request<B>,
        state: &'life0 S,
    ) -> Pin<Box<dyn Future<Output = Result<Self, Self::Rejection>> + Send + 'async_trait>>
       where 'life0: 'async_trait,
             Self: 'async_trait;
}
Expand description

Types that can be created from requests.

Extractors that implement FromRequest can consume the request body and can thus only be run once for handlers.

If your extractor doesnโ€™t need to consume the request body then you should implement FromRequestParts and not FromRequest.

See axum::extract for more general docs about extractors.

ยงWhat is the B type parameter?

FromRequest is generic over the request body (the B in http::Request<B>). This is to allow FromRequest to be usable with any type of request body. This is necessary because some middleware change the request body, for example to add timeouts.

If youโ€™re writing your own FromRequest that wont be used outside your application, and not using any middleware that changes the request body, you can most likely use axum::body::Body.

If youโ€™re writing a library thatโ€™s intended for others to use, itโ€™s recommended to keep the generic type parameter:

use axum::{
    async_trait,
    extract::FromRequest,
    http::{self, Request},
};

struct MyExtractor;

#[async_trait]
impl<S, B> FromRequest<S, B> for MyExtractor
where
    // these bounds are required by `async_trait`
    B: Send + 'static,
    S: Send + Sync,
{
    type Rejection = http::StatusCode;

    async fn from_request(req: Request<B>, state: &S) -> Result<Self, Self::Rejection> {
        // ...
    }
}

This ensures your extractor is as flexible as possible.

Required Associated Typesยง

Source

type Rejection: IntoResponse

If the extractor fails itโ€™ll use this โ€œrejectionโ€ type. A rejection is a kind of error that can be converted into a response.

Required Methodsยง

Source

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

Perform the extraction.

Dyn Compatibilityยง

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Typesยง

Sourceยง

impl<S, B> FromRequest<S, B> for String
where B: Body + Send + 'static, <B as Body>::Data: Send, <B as Body>::Error: Into<Box<dyn Error + Sync + Send>>, S: Send + Sync,

Sourceยง

type Rejection = StringRejection

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, state: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<String, <String as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, String: 'async_trait,

Sourceยง

impl<S, B> FromRequest<S, B> for Bytes
where B: Body + Send + 'static, <B as Body>::Data: Send, <B as Body>::Error: Into<Box<dyn Error + Sync + Send>>, S: Send + Sync,

Sourceยง

type Rejection = BytesRejection

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, _: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<Bytes, <Bytes as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, Bytes: 'async_trait,

Sourceยง

impl<S, B, T1> FromRequest<S, B> for (T1,)
where T1: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

type Rejection = Response<UnsyncBoxBody<Bytes, Error>>

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, state: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<(T1,), <(T1,) as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, (T1,): 'async_trait,

Sourceยง

impl<S, B, T1, T2> FromRequest<S, B> for (T1, T2)
where T1: FromRequestParts<S> + Send, T2: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

type Rejection = Response<UnsyncBoxBody<Bytes, Error>>

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, state: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<(T1, T2), <(T1, T2) as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, (T1, T2): 'async_trait,

Sourceยง

impl<S, B, T1, T2, T3> FromRequest<S, B> for (T1, T2, T3)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

type Rejection = Response<UnsyncBoxBody<Bytes, Error>>

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, state: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<(T1, T2, T3), <(T1, T2, T3) as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, (T1, T2, T3): 'async_trait,

Sourceยง

impl<S, B, T1, T2, T3, T4> FromRequest<S, B> for (T1, T2, T3, T4)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

type Rejection = Response<UnsyncBoxBody<Bytes, Error>>

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, state: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<(T1, T2, T3, T4), <(T1, T2, T3, T4) as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, (T1, T2, T3, T4): 'async_trait,

Sourceยง

impl<S, B, T1, T2, T3, T4, T5> FromRequest<S, B> for (T1, T2, T3, T4, T5)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequestParts<S> + Send, T5: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

type Rejection = Response<UnsyncBoxBody<Bytes, Error>>

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, state: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<(T1, T2, T3, T4, T5), <(T1, T2, T3, T4, T5) as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, (T1, T2, T3, T4, T5): 'async_trait,

Sourceยง

impl<S, B, T1, T2, T3, T4, T5, T6> FromRequest<S, B> for (T1, T2, T3, T4, T5, T6)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequestParts<S> + Send, T5: FromRequestParts<S> + Send, T6: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

type Rejection = Response<UnsyncBoxBody<Bytes, Error>>

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, state: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<(T1, T2, T3, T4, T5, T6), <(T1, T2, T3, T4, T5, T6) as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, (T1, T2, T3, T4, T5, T6): 'async_trait,

Sourceยง

impl<S, B, T1, T2, T3, T4, T5, T6, T7> FromRequest<S, B> for (T1, T2, T3, T4, T5, T6, T7)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequestParts<S> + Send, T5: FromRequestParts<S> + Send, T6: FromRequestParts<S> + Send, T7: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

type Rejection = Response<UnsyncBoxBody<Bytes, Error>>

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, state: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<(T1, T2, T3, T4, T5, T6, T7), <(T1, T2, T3, T4, T5, T6, T7) as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, (T1, T2, T3, T4, T5, T6, T7): 'async_trait,

Sourceยง

impl<S, B, T1, T2, T3, T4, T5, T6, T7, T8> FromRequest<S, B> for (T1, T2, T3, T4, T5, T6, T7, T8)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequestParts<S> + Send, T5: FromRequestParts<S> + Send, T6: FromRequestParts<S> + Send, T7: FromRequestParts<S> + Send, T8: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

type Rejection = Response<UnsyncBoxBody<Bytes, Error>>

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, state: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<(T1, T2, T3, T4, T5, T6, T7, T8), <(T1, T2, T3, T4, T5, T6, T7, T8) as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, (T1, T2, T3, T4, T5, T6, T7, T8): 'async_trait,

Sourceยง

impl<S, B, T1, T2, T3, T4, T5, T6, T7, T8, T9> FromRequest<S, B> for (T1, T2, T3, T4, T5, T6, T7, T8, T9)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequestParts<S> + Send, T5: FromRequestParts<S> + Send, T6: FromRequestParts<S> + Send, T7: FromRequestParts<S> + Send, T8: FromRequestParts<S> + Send, T9: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

type Rejection = Response<UnsyncBoxBody<Bytes, Error>>

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, state: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<(T1, T2, T3, T4, T5, T6, T7, T8, T9), <(T1, T2, T3, T4, T5, T6, T7, T8, T9) as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, (T1, T2, T3, T4, T5, T6, T7, T8, T9): 'async_trait,

Sourceยง

impl<S, B, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> FromRequest<S, B> for (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequestParts<S> + Send, T5: FromRequestParts<S> + Send, T6: FromRequestParts<S> + Send, T7: FromRequestParts<S> + Send, T8: FromRequestParts<S> + Send, T9: FromRequestParts<S> + Send, T10: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

impl<S, B, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> FromRequest<S, B> for (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequestParts<S> + Send, T5: FromRequestParts<S> + Send, T6: FromRequestParts<S> + Send, T7: FromRequestParts<S> + Send, T8: FromRequestParts<S> + Send, T9: FromRequestParts<S> + Send, T10: FromRequestParts<S> + Send, T11: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

impl<S, B, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> FromRequest<S, B> for (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequestParts<S> + Send, T5: FromRequestParts<S> + Send, T6: FromRequestParts<S> + Send, T7: FromRequestParts<S> + Send, T8: FromRequestParts<S> + Send, T9: FromRequestParts<S> + Send, T10: FromRequestParts<S> + Send, T11: FromRequestParts<S> + Send, T12: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

impl<S, B, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13> FromRequest<S, B> for (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequestParts<S> + Send, T5: FromRequestParts<S> + Send, T6: FromRequestParts<S> + Send, T7: FromRequestParts<S> + Send, T8: FromRequestParts<S> + Send, T9: FromRequestParts<S> + Send, T10: FromRequestParts<S> + Send, T11: FromRequestParts<S> + Send, T12: FromRequestParts<S> + Send, T13: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

impl<S, B, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14> FromRequest<S, B> for (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequestParts<S> + Send, T5: FromRequestParts<S> + Send, T6: FromRequestParts<S> + Send, T7: FromRequestParts<S> + Send, T8: FromRequestParts<S> + Send, T9: FromRequestParts<S> + Send, T10: FromRequestParts<S> + Send, T11: FromRequestParts<S> + Send, T12: FromRequestParts<S> + Send, T13: FromRequestParts<S> + Send, T14: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

impl<S, B, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> FromRequest<S, B> for (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequestParts<S> + Send, T5: FromRequestParts<S> + Send, T6: FromRequestParts<S> + Send, T7: FromRequestParts<S> + Send, T8: FromRequestParts<S> + Send, T9: FromRequestParts<S> + Send, T10: FromRequestParts<S> + Send, T11: FromRequestParts<S> + Send, T12: FromRequestParts<S> + Send, T13: FromRequestParts<S> + Send, T14: FromRequestParts<S> + Send, T15: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

impl<S, B, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> FromRequest<S, B> for (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)
where T1: FromRequestParts<S> + Send, T2: FromRequestParts<S> + Send, T3: FromRequestParts<S> + Send, T4: FromRequestParts<S> + Send, T5: FromRequestParts<S> + Send, T6: FromRequestParts<S> + Send, T7: FromRequestParts<S> + Send, T8: FromRequestParts<S> + Send, T9: FromRequestParts<S> + Send, T10: FromRequestParts<S> + Send, T11: FromRequestParts<S> + Send, T12: FromRequestParts<S> + Send, T13: FromRequestParts<S> + Send, T14: FromRequestParts<S> + Send, T15: FromRequestParts<S> + Send, T16: FromRequest<S, B> + Send, B: Send + 'static, S: Send + Sync,

Sourceยง

impl<S, T, B> FromRequest<S, B> for Option<T>
where T: FromRequest<S, B>, B: Send + 'static, S: Send + Sync,

Sourceยง

type Rejection = Infallible

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, state: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<Option<T>, <Option<T> as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, Option<T>: 'async_trait,

Sourceยง

impl<S, T, B> FromRequest<S, B> for Result<T, <T as FromRequest<S, B>>::Rejection>
where T: FromRequest<S, B>, B: Send + 'static, S: Send + Sync,

Sourceยง

type Rejection = Infallible

Sourceยง

fn from_request<'life0, 'async_trait>( req: Request<B>, state: &'life0 S, ) -> Pin<Box<dyn Future<Output = Result<Result<T, <T as FromRequest<S, B>>::Rejection>, <Result<T, <T as FromRequest<S, B>>::Rejection> as FromRequest<S, B>>::Rejection>> + Send + 'async_trait>>
where 'life0: 'async_trait, Result<T, <T as FromRequest<S, B>>::Rejection>: 'async_trait,

Implementorsยง

Sourceยง

impl<OuterState, InnerState> FromRequest<OuterState, Body> for Context<InnerState>
where OuterState: Send + Sync + 'static, InnerState: FromRef<OuterState> + Send + Sync,

Sourceยง

impl<S, B> FromRequest<S, B> for Parts
where B: Send + 'static, S: Send + Sync,

Sourceยง

impl<S, B> FromRequest<S, B> for Request<B>
where B: Send, S: Send + Sync,

Sourceยง

impl<S, B> FromRequest<S, B> for BodyStream
where B: Body + Send + 'static, <B as Body>::Data: Into<Bytes>, <B as Body>::Error: Into<Box<dyn Error + Sync + Send>>, S: Send + Sync,

Sourceยง

impl<S, B> FromRequest<S, B> for Multipart
where B: Body + Send + 'static, <B as Body>::Data: Into<Bytes>, <B as Body>::Error: Into<Box<dyn Error + Sync + Send>>, S: Send + Sync,

Sourceยง

impl<S, B> FromRequest<S, B> for RawBody<B>
where B: Send, S: Send + Sync,

Sourceยง

impl<S, B> FromRequest<S, B> for RawForm
where B: Body + Send + 'static, <B as Body>::Data: Send, <B as Body>::Error: Into<Box<dyn Error + Sync + Send>>, S: Send + Sync,

Sourceยง

impl<S, B, T> FromRequest<S, B, ViaParts> for T
where B: Send + 'static, S: Send + Sync, T: FromRequestParts<S>,

Sourceยง

impl<T, S, B> FromRequest<S, B> for Form<T>
where T: DeserializeOwned, B: Body + Send + 'static, <B as Body>::Data: Send, <B as Body>::Error: Into<Box<dyn Error + Sync + Send>>, S: Send + Sync,

Sourceยง

impl<T, S, B> FromRequest<S, B> for Json<T>
where T: DeserializeOwned, B: Body + Send + 'static, <B as Body>::Data: Send, <B as Body>::Error: Into<Box<dyn Error + Sync + Send>>, S: Send + Sync,