add possibility to use → in route pattern, in addition to ->

[fsarradin]

No description provided.

[fsarradin]

XXX: due to infix operation precedence, → has a lower priority than /. So you have to use parentheses in pattern matching when using this operator.

So this works

  case GET → (Root / "test.json") =>

And, this won't

  case GET → Root / "test.json" =>

It gives you something like this

constructor cannot be instantiated to expected type;
 found   : org.http4s.dsl.impl./
 required: org.http4s.Request[cats.effect.IO]
        case GET → Root / "test.json" => true

[rossabaker]

Do you still like the feature, given the limitation?

[fsarradin]

Yes, cause on another I use a rule to rewrite -> into →. And, in a sense, parentheses help to have a better delimitation between method and path 😊

[rossabaker]

If you're on the 0.18 series, we could retarget this for release-0.18.x and get it in a patch sooner. Otherwise, we can target this for the 0.19 series.

👍 after we add a note to that operator.

[rossabaker]

I'd put a scaladoc on this to note the precedence issue. It's obvious when you mention it, but I didn't think about it beforehand.

[fsarradin]

scaladoc added.

And I'm currently using the 0.19 series :)

[rossabaker]

👍 Thanks!