Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

inverse of @uri #798

Closed
pkoppstein opened this issue May 27, 2015 · 2 comments · Fixed by #3161
Closed

inverse of @uri #798

pkoppstein opened this issue May 27, 2015 · 2 comments · Fixed by #3161

Comments

@pkoppstein
Copy link
Contributor

@uri does a nice job with multi-byte characters, e.g.:

"á" | @uri' -> "%C3%A1"

It seems that currently there is no support for the inverse of @uri. Since the inverse is quite tricky to code (as illustrated by the above), it would be helpful to have a builtin filter for performing the inverse operation.

@dtolnay
Copy link
Member

dtolnay commented Jul 25, 2015

jvp_hex_next from #373 may be useful for this.

@jcracknell
Copy link

I needed an implementation of this:
https://gist.github.com/jcracknell/52cf4e0f8c4518a853784638db8a258d

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants