We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
In ghci:
ghci > urlDecode "http://twitter.com/fred/statuses/200" "http://twitter.com/fred/statuses/200" ghci > urlDecode "http://twitter.com/%user_screen_name%/statuses/%id%" "http://twitter.com/*** Exception: Char.digitToInt: not a digit 'u'
It would be vastly nicer if urlDecode's type was something like String -> Either String String.
urlDecode
String -> Either String String
The text was updated successfully, but these errors were encountered:
+1 - even the definition for unEscapeString seems saner.
Sorry, something went wrong.
I wonder if this function even belongs in HTTP - would network-uri be a better home?
network-uri already has unEscapeString which has better behaviour. maybe it should just be thrown out.
No branches or pull requests
In ghci:
It would be vastly nicer if
urlDecode
's type was something likeString -> Either String String
.The text was updated successfully, but these errors were encountered: