pub trait FirstElementIs<P>: Sealed { }
Expand description
Utility trait used with RouterExt to ensure the first element of a tuple type is a
given type.
If you see it in type errors its most likely because the first argument to your handler doesn’t
implement TypedPath.
You normally shouldn’t have to use this trait directly.
It is sealed such that it cannot be implemented outside this crate.
impl<P, E, T1, T2, T3, T4> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4) where
P: TypedPath,
sourceimpl<P, T1, T2, T3, T4, T5> FirstElementIs<P> for (Option<P>, T1, T2, T3, T4, T5) where
P: TypedPath,
sourceimpl<P, E, T1, T2, T3, T4, T5> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4, T5) where
P: TypedPath,
sourceimpl<P, T1, T2, T3, T4, T5, T6> FirstElementIs<P> for (Option<P>, T1, T2, T3, T4, T5, T6) where
P: TypedPath,
sourceimpl<P, E, T1, T2, T3, T4, T5, T6> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4, T5, T6) where
P: TypedPath,
sourceimpl<P, T1, T2, T3, T4, T5, T6, T7> FirstElementIs<P> for (Option<P>, T1, T2, T3, T4, T5, T6, T7) where
P: TypedPath,
sourceimpl<P, E, T1, T2, T3, T4, T5, T6, T7> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4, T5, T6, T7) where
P: TypedPath,
sourceimpl<P, T1, T2, T3, T4, T5, T6, T7, T8> FirstElementIs<P> for (Option<P>, T1, T2, T3, T4, T5, T6, T7, T8) where
P: TypedPath,
sourceimpl<P, E, T1, T2, T3, T4, T5, T6, T7, T8> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4, T5, T6, T7, T8) where
P: TypedPath,
sourceimpl<P, T1, T2, T3, T4, T5, T6, T7, T8, T9> FirstElementIs<P> for (Option<P>, T1, T2, T3, T4, T5, T6, T7, T8, T9) where
P: TypedPath,
sourceimpl<P, E, T1, T2, T3, T4, T5, T6, T7, T8, T9> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4, T5, T6, T7, T8, T9) where
P: TypedPath,
sourceimpl<P, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> FirstElementIs<P> for (Option<P>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) where
P: TypedPath,
sourceimpl<P, E, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) where
P: TypedPath,
sourceimpl<P, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> FirstElementIs<P> for (Option<P>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11) where
P: TypedPath,
sourceimpl<P, E, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11) where
P: TypedPath,
sourceimpl<P, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> FirstElementIs<P> for (Option<P>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) where
P: TypedPath,
sourceimpl<P, E, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) where
P: TypedPath,
sourceimpl<P, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13> FirstElementIs<P> for (Option<P>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) where
P: TypedPath,
sourceimpl<P, E, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) where
P: TypedPath,
sourceimpl<P, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14> FirstElementIs<P> for (Option<P>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14) where
P: TypedPath,
sourceimpl<P, E, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14) where
P: TypedPath,
sourceimpl<P, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> FirstElementIs<P> for (Option<P>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15) where
P: TypedPath,
sourceimpl<P, E, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15) where
P: TypedPath,
sourceimpl<P, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> FirstElementIs<P> for (Option<P>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16) where
P: TypedPath,
sourceimpl<P, E, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> FirstElementIs<P> for (Result<P, E>, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16) where
P: TypedPath,
