Trait rocket::http::uri::UriPart [−][src]
Expand description
Marker trait for types that mark a part of a URI.
This trait exists solely to categorize types that mark a part of the URI,
currently Path
and Query
. Said another way, types that implement
this trait are marker types that represent a part of a URI at the
type-level.
This trait is sealed: it cannot be implemented outside of Rocket.
Usage
You will find this trait in traits like UriDisplay
or structs like
Formatter
as the bound on a generic parameter: P: UriPart
. Because the
trait is sealed, the generic type is guaranteed to be instantiated as one of
Query
or Path
, effectively creating two instances of the generic
items: UriDisplay<Query>
and UriDisplay<Path>
, and Formatter<Query>
and Formatter<Path>
. Unlike having two distinct, non-generic traits, this
approach enables succinct, type-checked generic implementations of these
items.