Skip to content

urlDecode is partial #81

Description

@erikd

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.

Activity

  1. mwotton commented on Feb 19, 2015

    @mwotton

    +1 - even the definition for unEscapeString seems saner.

  2. hsenag commented on Feb 26, 2015

    @hsenag
    Member

    I wonder if this function even belongs in HTTP - would network-uri be a better home?

  3. mwotton commented on Feb 26, 2015

    @mwotton

    network-uri already has unEscapeString which has better behaviour. maybe it should just be thrown out.

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions