8000 Converting between PathCodec[Unit] and Path should be easy · Issue #3514 · zio/zio-http · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Converting between PathCodec[Unit] and Path should be easy #3514
New issue
New issue
Open
Open
Converting between PathCodec[Unit] and Path should be easy#3514
Labels
enhancementNew feature or request
@nafg

Description

@nafg
nafg
opened on May 27, 2025

Currently is seems that converting from PathCodec[Unit] to Path requires .encode(()).toOption.get.

I don't understand how encoding can fail.

And the other direction is altogether unclear. Perhaps PathCodec(path.encode)?

I often need the same endpoint both as a request pattern and as a URL, but there seems to be more friction than necessary.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0