Module Network.URL

Base library for dealing with URLs (Uniform Resource Locators).

Currently, it contains operations for encoding and decoding strings to and from URL encoded format which are useful to construct URLs with parameter strings.

Author: Michael Hanus

Version: April 2025

Summary of exported operations:

string2urlencoded :: String -> String  Deterministic 
Translates strings into equivalent URL encoded strings.
param2urlencoded :: (String,String) -> String  Deterministic 
Translates a parameter (name/value pair) into an URL encoded string where both components are URL encoded and separated by =.
params2urlencoded :: [(String,String)] -> String  Deterministic 
Translates a list of parameters (name/value pairs) into URL encoded strings where the parameters are separated by &.
urlencoded2string :: String -> String  Deterministic 
Translates an URL encoded string into an equivalent ASCII string.

Exported operations:

string2urlencoded :: String -> String  Deterministic 

Translates strings into equivalent URL encoded strings. See also http://www.w3.org/TR/html4/interact/forms.html#h-17.13.4.1.

Further infos:
  • partially defined

param2urlencoded :: (String,String) -> String  Deterministic 

Translates a parameter (name/value pair) into an URL encoded string where both components are URL encoded and separated by =. The separator is omitted if the value is the empty string.

Further infos:
  • partially defined

params2urlencoded :: [(String,String)] -> String  Deterministic 

Translates a list of parameters (name/value pairs) into URL encoded strings where the parameters are separated by &.

urlencoded2string :: String -> String  Deterministic 

Translates an URL encoded string into an equivalent ASCII string.

Properties:

urlencoded2string (string2urlencoded s) -=- s (testUrlEnconding)

Further infos:
  • partially defined