Append path to Uri

The current method / on Uri appends the new segment by first URL encoding it. This is very useful, for example, to append a user name to the path:

> Uri.uri("https://localhost/api/rest/users") / "Simão Martins"
res25: Uri = Uri(Some(https), Some(Authority(None, RegName(localhost), None)), "/api/rest/users/Sim%C3%A3o%20Martins", Query(), None)

However if we want to construct a new Uri from a base Uri, for example: :

> val baseUri = Uri.uri("https://localhost/api/v1")
baseUri: Uri = Uri(Some(https), Some(Authority(None, RegName(localhost), None)), "/api/v1", Query(), None)
> baseUri / "/users/scripts/"
res27: Uri = Uri(Some(https), Some(Authority(None, RegName(localhost), None)), "/api/v1/%2Fusers%2Fscripts%2F", Query(), None)

We do not get what we wanted (https://localhost/api/v1/users/scripts/).

An additional method, which does not perform URL encode, should exist. Something like:

    def +/(extraPath: String): Uri = {     
      (uri.path.last == '/', extraPath.last == '/') match {
        case (false, true) | (true, false) => uri.withPath(s"${uri.path}$extraPath")
        case (false, false) => uri.withPath(s"${uri.path}/$extraPath")
        case (true, true) => uri.withPath(s"${uri.path}${extraPath.substring(1)}")
      }
    }

Or maybe an overloaded version of / which receives an additional parameter urlEncode: Boolean.

[reactormonk]

Or overload / to take another Path object, that way you can construct the Path however you want.

[Lasering]

This is already solved by the addPath method on Uri https://http4s.org/v0.21/api/org/http4s/uri#addPath(morePath:org.http4s.Uri.Path):org.http4s.Uri