Adding Network.URI.escape

Gwern Branwen gwern0 at
Fri Dec 25 10:35:43 EST 2009

Network.URI.escapeURIString is pretty much always used to make a
String a URL or a part of a URL.

The existing definition
forces one to do extra work by having to specify a `Char -> Bool`.

More than a few packages & libraries simply define an 'escape'
function `escapeURIString isAllowedInURI` (either inline or as a named
function). This sort of repetition is unfortunate.

The name 'escape' is commonly used to express exactly that

What would people say to adding such a function?

-------------- next part --------------
A non-text attachment was scrubbed...
Name: escape
Type: application/octet-stream
Size: 5243 bytes
Desc: not available
Url :

More information about the Libraries mailing list