mirror of
https://github.com/tokio-rs/axum.git
synced 2024-11-22 23:30:29 +01:00
be624306f4
* Only allow last extractor to mutate the request * Change `FromRequest` and add `FromRequestParts` trait (#1275) * Add `Once`/`Mut` type parameter for `FromRequest` and `RequestParts` * 🪄 * split traits * `FromRequest` for tuples * Remove `BodyAlreadyExtracted` * don't need fully qualified path * don't export `Once` and `Mut` * remove temp tests * depend on axum again Co-authored-by: Jonas Platte <jplatte+git@posteo.de> * Port `Handler` and most extractors (#1277) * Port `Handler` and most extractors * Put `M` inside `Handler` impls, not trait itself * comment out tuples for now * fix lints * Reorder arguments to `Handler` (#1281) I think `Request<B>, Arc<S>` is better since its consistent with `FromRequest` and `FromRequestParts`. * Port most things in axum-extra (#1282) * Port `#[derive(TypedPath)]` and `#[debug_handler]` (#1283) * port #[derive(TypedPath)] * wip: #[debug_handler] * fix #[debug_handler] * don't need itertools * also require `Send` * update expected error * support fully qualified `self` * Implement FromRequest[Parts] for tuples (#1286) * Port docs for axum and axum-core (#1285) * Port axum-extra (#1287) * Port axum-extra * Update axum-core/Cargo.toml Co-authored-by: Jonas Platte <jplatte+git@posteo.de> * remove `impl FromRequest for Either*` Co-authored-by: Jonas Platte <jplatte+git@posteo.de> * New FromRequest[Parts] trait cleanup (#1288) * Make private module truly private again * Simplify tuple FromRequest implementation * Port `#[derive(FromRequest)]` (#1289) * fix tests * fix docs * revert examples * fix docs link * fix intra docs links * Port examples (#1291) * Document wrapping other extractors (#1292) * axum-extra doesn't need to depend on axum-core (#1294) Missed this in https://github.com/tokio-rs/axum/pull/1287 * Add `FromRequest` changes to changelogs (#1293) * Update changelog * Remove default type for `S` in `Handler` * Clarify which types have default types for `S` * Apply suggestions from code review Co-authored-by: Jonas Platte <jplatte+git@posteo.de> Co-authored-by: Jonas Platte <jplatte+git@posteo.de> * remove unused import * Rename `Mut` and `Once` (#1296) * fix trybuild expected output Co-authored-by: Jonas Platte <jplatte+git@posteo.de>
269 lines
7 KiB
Rust
Executable file
269 lines
7 KiB
Rust
Executable file
//! `Either*` types for combining extractors or responses into a single type.
|
|
//!
|
|
//! # As an extractor
|
|
//!
|
|
//! ```
|
|
//! use axum_extra::either::Either3;
|
|
//! use axum::{
|
|
//! body::Bytes,
|
|
//! Router,
|
|
//! async_trait,
|
|
//! routing::get,
|
|
//! extract::FromRequestParts,
|
|
//! };
|
|
//!
|
|
//! // extractors for checking permissions
|
|
//! struct AdminPermissions {}
|
|
//!
|
|
//! #[async_trait]
|
|
//! impl<S> FromRequestParts<S> for AdminPermissions
|
|
//! where
|
|
//! S: Send + Sync,
|
|
//! {
|
|
//! // check for admin permissions...
|
|
//! # type Rejection = ();
|
|
//! # async fn from_request_parts(parts: &mut axum::http::request::Parts, state: &S) -> Result<Self, Self::Rejection> {
|
|
//! # todo!()
|
|
//! # }
|
|
//! }
|
|
//!
|
|
//! struct User {}
|
|
//!
|
|
//! #[async_trait]
|
|
//! impl<S> FromRequestParts<S> for User
|
|
//! where
|
|
//! S: Send + Sync,
|
|
//! {
|
|
//! // check for a logged in user...
|
|
//! # type Rejection = ();
|
|
//! # async fn from_request_parts(parts: &mut axum::http::request::Parts, state: &S) -> Result<Self, Self::Rejection> {
|
|
//! # todo!()
|
|
//! # }
|
|
//! }
|
|
//!
|
|
//! async fn handler(
|
|
//! body: Either3<AdminPermissions, User, ()>,
|
|
//! ) {
|
|
//! match body {
|
|
//! Either3::E1(admin) => { /* ... */ }
|
|
//! Either3::E2(user) => { /* ... */ }
|
|
//! Either3::E3(guest) => { /* ... */ }
|
|
//! }
|
|
//! }
|
|
//! #
|
|
//! # let _: axum::routing::MethodRouter = axum::routing::get(handler);
|
|
//! ```
|
|
//!
|
|
//! Note that if all the inner extractors reject the request, the rejection from the last
|
|
//! extractor will be returned. For the example above that would be [`BytesRejection`].
|
|
//!
|
|
//! # As a response
|
|
//!
|
|
//! ```
|
|
//! use axum_extra::either::Either3;
|
|
//! use axum::{Json, http::StatusCode, response::IntoResponse};
|
|
//! use serde_json::{Value, json};
|
|
//!
|
|
//! async fn handler() -> Either3<Json<Value>, &'static str, StatusCode> {
|
|
//! if something() {
|
|
//! Either3::E1(Json(json!({ "data": "..." })))
|
|
//! } else if something_else() {
|
|
//! Either3::E2("foobar")
|
|
//! } else {
|
|
//! Either3::E3(StatusCode::NOT_FOUND)
|
|
//! }
|
|
//! }
|
|
//!
|
|
//! fn something() -> bool {
|
|
//! // ...
|
|
//! # false
|
|
//! }
|
|
//!
|
|
//! fn something_else() -> bool {
|
|
//! // ...
|
|
//! # false
|
|
//! }
|
|
//! #
|
|
//! # let _: axum::routing::MethodRouter = axum::routing::get(handler);
|
|
//! ```
|
|
//!
|
|
//! The general recommendation is to use [`IntoResponse::into_response`] to return different response
|
|
//! types, but if you need to preserve the exact type then `Either*` works as well.
|
|
//!
|
|
//! [`BytesRejection`]: axum::extract::rejection::BytesRejection
|
|
//! [`IntoResponse::into_response`]: https://docs.rs/axum/0.5/axum/response/index.html#returning-different-response-types
|
|
|
|
use axum::{
|
|
async_trait,
|
|
extract::FromRequestParts,
|
|
response::{IntoResponse, Response},
|
|
};
|
|
use http::request::Parts;
|
|
|
|
/// Combines two extractors or responses into a single type.
|
|
///
|
|
/// See the [module docs](self) for examples.
|
|
#[derive(Debug, Clone)]
|
|
pub enum Either<E1, E2> {
|
|
#[allow(missing_docs)]
|
|
E1(E1),
|
|
#[allow(missing_docs)]
|
|
E2(E2),
|
|
}
|
|
|
|
/// Combines three extractors or responses into a single type.
|
|
///
|
|
/// See the [module docs](self) for examples.
|
|
#[derive(Debug, Clone)]
|
|
pub enum Either3<E1, E2, E3> {
|
|
#[allow(missing_docs)]
|
|
E1(E1),
|
|
#[allow(missing_docs)]
|
|
E2(E2),
|
|
#[allow(missing_docs)]
|
|
E3(E3),
|
|
}
|
|
|
|
/// Combines four extractors or responses into a single type.
|
|
///
|
|
/// See the [module docs](self) for examples.
|
|
#[derive(Debug, Clone)]
|
|
pub enum Either4<E1, E2, E3, E4> {
|
|
#[allow(missing_docs)]
|
|
E1(E1),
|
|
#[allow(missing_docs)]
|
|
E2(E2),
|
|
#[allow(missing_docs)]
|
|
E3(E3),
|
|
#[allow(missing_docs)]
|
|
E4(E4),
|
|
}
|
|
|
|
/// Combines five extractors or responses into a single type.
|
|
///
|
|
/// See the [module docs](self) for examples.
|
|
#[derive(Debug, Clone)]
|
|
pub enum Either5<E1, E2, E3, E4, E5> {
|
|
#[allow(missing_docs)]
|
|
E1(E1),
|
|
#[allow(missing_docs)]
|
|
E2(E2),
|
|
#[allow(missing_docs)]
|
|
E3(E3),
|
|
#[allow(missing_docs)]
|
|
E4(E4),
|
|
#[allow(missing_docs)]
|
|
E5(E5),
|
|
}
|
|
|
|
/// Combines six extractors or responses into a single type.
|
|
///
|
|
/// See the [module docs](self) for examples.
|
|
#[derive(Debug, Clone)]
|
|
pub enum Either6<E1, E2, E3, E4, E5, E6> {
|
|
#[allow(missing_docs)]
|
|
E1(E1),
|
|
#[allow(missing_docs)]
|
|
E2(E2),
|
|
#[allow(missing_docs)]
|
|
E3(E3),
|
|
#[allow(missing_docs)]
|
|
E4(E4),
|
|
#[allow(missing_docs)]
|
|
E5(E5),
|
|
#[allow(missing_docs)]
|
|
E6(E6),
|
|
}
|
|
|
|
/// Combines seven extractors or responses into a single type.
|
|
///
|
|
/// See the [module docs](self) for examples.
|
|
#[derive(Debug, Clone)]
|
|
pub enum Either7<E1, E2, E3, E4, E5, E6, E7> {
|
|
#[allow(missing_docs)]
|
|
E1(E1),
|
|
#[allow(missing_docs)]
|
|
E2(E2),
|
|
#[allow(missing_docs)]
|
|
E3(E3),
|
|
#[allow(missing_docs)]
|
|
E4(E4),
|
|
#[allow(missing_docs)]
|
|
E5(E5),
|
|
#[allow(missing_docs)]
|
|
E6(E6),
|
|
#[allow(missing_docs)]
|
|
E7(E7),
|
|
}
|
|
|
|
/// Combines eight extractors or responses into a single type.
|
|
///
|
|
/// See the [module docs](self) for examples.
|
|
#[derive(Debug, Clone)]
|
|
pub enum Either8<E1, E2, E3, E4, E5, E6, E7, E8> {
|
|
#[allow(missing_docs)]
|
|
E1(E1),
|
|
#[allow(missing_docs)]
|
|
E2(E2),
|
|
#[allow(missing_docs)]
|
|
E3(E3),
|
|
#[allow(missing_docs)]
|
|
E4(E4),
|
|
#[allow(missing_docs)]
|
|
E5(E5),
|
|
#[allow(missing_docs)]
|
|
E6(E6),
|
|
#[allow(missing_docs)]
|
|
E7(E7),
|
|
#[allow(missing_docs)]
|
|
E8(E8),
|
|
}
|
|
|
|
macro_rules! impl_traits_for_either {
|
|
(
|
|
$either:ident =>
|
|
[$($ident:ident),* $(,)?],
|
|
$last:ident $(,)?
|
|
) => {
|
|
#[async_trait]
|
|
impl<S, $($ident),*, $last> FromRequestParts<S> for $either<$($ident),*, $last>
|
|
where
|
|
$($ident: FromRequestParts<S>),*,
|
|
$last: FromRequestParts<S>,
|
|
S: Send + Sync,
|
|
{
|
|
type Rejection = $last::Rejection;
|
|
|
|
async fn from_request_parts(parts: &mut Parts, state: &S) -> Result<Self, Self::Rejection> {
|
|
$(
|
|
if let Ok(value) = FromRequestParts::from_request_parts(parts, state).await {
|
|
return Ok(Self::$ident(value));
|
|
}
|
|
)*
|
|
|
|
FromRequestParts::from_request_parts(parts, state).await.map(Self::$last)
|
|
}
|
|
}
|
|
|
|
impl<$($ident),*, $last> IntoResponse for $either<$($ident),*, $last>
|
|
where
|
|
$($ident: IntoResponse),*,
|
|
$last: IntoResponse,
|
|
{
|
|
fn into_response(self) -> Response {
|
|
match self {
|
|
$( Self::$ident(value) => value.into_response(), )*
|
|
Self::$last(value) => value.into_response(),
|
|
}
|
|
}
|
|
}
|
|
};
|
|
}
|
|
|
|
impl_traits_for_either!(Either => [E1], E2);
|
|
impl_traits_for_either!(Either3 => [E1, E2], E3);
|
|
impl_traits_for_either!(Either4 => [E1, E2, E3], E4);
|
|
impl_traits_for_either!(Either5 => [E1, E2, E3, E4], E5);
|
|
impl_traits_for_either!(Either6 => [E1, E2, E3, E4, E5], E6);
|
|
impl_traits_for_either!(Either7 => [E1, E2, E3, E4, E5, E6], E7);
|
|
impl_traits_for_either!(Either8 => [E1, E2, E3, E4, E5, E6, E7], E8);
|