1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76

use Error;
use header::{HeaderName, HeaderValue, HeaderMap};
use method::Method;
use sealed::Sealed;
use status::StatusCode;
use uri::{Scheme, Authority, PathAndQuery, Uri};

/// Private trait for the `http` crate to have generic methods with fallible
/// conversions.
///
/// This trait is similar to the `TryFrom` trait proposed in the standard
/// library, except this is specialized for the `http` crate and isn't intended
/// for general consumption.
///
/// This trait cannot be implemented types outside of the `http` crate, and is
/// only intended for use as a generic bound on methods in the `http` crate.
pub trait HttpTryFrom<T>: Sized + Sealed {
    /// Associated error with the conversion this implementation represents.
    type Error: Into<Error>;

    #[doc(hidden)]
    fn try_from(t: T) -> Result<Self, Self::Error>;
}

pub(crate) trait HttpTryInto<T>: Sized {
    fn http_try_into(self) -> Result<T, Error>;
}

#[doc(hidden)]
impl<T, U> HttpTryInto<U> for T
where
    U: HttpTryFrom<T>,
    T: Sized,
{
    fn http_try_into(self) -> Result<U, Error> {
        HttpTryFrom::try_from(self)
            .map_err(|e: U::Error| e.into())
    }
}

macro_rules! reflexive {
    ($($t:ty,)*) => ($(
        impl HttpTryFrom<$t> for $t {
            type Error = Error;

            fn try_from(t: Self) -> Result<Self, Self::Error> {
                Ok(t)
            }
        }

        impl Sealed for $t {}
    )*)
}

reflexive! {
    Uri,
    Method,
    StatusCode,
    HeaderName,
    HeaderValue,
    Scheme,
    Authority,
    PathAndQuery,
}

// HeaderMap<T> can't use reflexive easily due to the generic T

impl<T> HttpTryFrom<HeaderMap<T>> for HeaderMap<T> {
    type Error = Error;

    fn try_from(t: Self) -> Result<Self, Self::Error> {
        Ok(t)
    }
}

impl<T> Sealed for HeaderMap<T> {}