Copyright	(c) Galois Inc. 2007 2008
License	BSD3
Maintainer	Iavor S. Diatchki
Stability	Provisional
Portability	Portable
Safe Haskell	Safe
Language	Haskell98

Network.URL

Description

Provides a convenient way for working with HTTP URLs. Based on RFC 1738. See also: RFC 3986

Synopsis

data URL = URL {
- url_type :: URLType
- url_path :: String
- url_params :: [(String, String)]
}
data URLType
- = Absolute Host
- | HostRelative
- | PathRelative
data Host = Host {
- protocol :: Protocol
- host :: String
- port :: Maybe Integer
}
data Protocol
- = HTTP Bool
- | FTP Bool
- | RawProt String
secure :: Host -> Bool
secure_prot :: Protocol -> Bool
exportURL :: URL -> String
importURL :: String -> Maybe URL
exportHost :: Host -> String
add_param :: URL -> (String, String) -> URL
decString :: Bool -> String -> Maybe String
encString :: Bool -> (Char -> Bool) -> String -> String
ok_host :: Char -> Bool
ok_url :: Char -> Bool
ok_param :: Char -> Bool
ok_path :: Char -> Bool
exportParams :: [(String, String)] -> String
importParams :: String -> Maybe [(String, String)]

Documentation

data URL Source #

A type for working with URL. The parameters are in application/x-www-form-urlencoded format: http://www.w3.org/TR/html4/interact/forms.html#h-17.13.4.1

Constructors

URL
Fields url_type :: URLType url_path :: String url_params :: [(String, String)]

Instances

Instances details

Eq URL Source #
Instance details Defined in Network.URL Methods (==) :: URL -> URL -> Bool (/=) :: URL -> URL -> Bool
Ord URL Source #
Instance details Defined in Network.URL Methods compare :: URL -> URL -> Ordering (<) :: URL -> URL -> Bool (<=) :: URL -> URL -> Bool (>) :: URL -> URL -> Bool (>=) :: URL -> URL -> Bool max :: URL -> URL -> URL min :: URL -> URL -> URL
Show URL Source #
Instance details Defined in Network.URL Methods showsPrec :: Int -> URL -> ShowS show :: URL -> String showList :: [URL] -> ShowS

data URLType Source #

Different types of URL.

Constructors

Absolute Host	Has a host
HostRelative	Does not have a host
PathRelative	Relative to another URL

Instances

Instances details

Eq URLType Source #
Instance details Defined in Network.URL Methods (==) :: URLType -> URLType -> Bool (/=) :: URLType -> URLType -> Bool
Ord URLType Source #
Instance details Defined in Network.URL Methods compare :: URLType -> URLType -> Ordering (<) :: URLType -> URLType -> Bool (<=) :: URLType -> URLType -> Bool (>) :: URLType -> URLType -> Bool (>=) :: URLType -> URLType -> Bool max :: URLType -> URLType -> URLType min :: URLType -> URLType -> URLType
Show URLType Source #
Instance details Defined in Network.URL Methods showsPrec :: Int -> URLType -> ShowS show :: URLType -> String showList :: [URLType] -> ShowS

data Host Source #

Contains information about the connection to the host.

Constructors

Host
Fields protocol :: Protocol host :: String port :: Maybe Integer

Instances

Instances details

Eq Host Source #
Instance details Defined in Network.URL Methods (==) :: Host -> Host -> Bool (/=) :: Host -> Host -> Bool
Ord Host Source #
Instance details Defined in Network.URL Methods compare :: Host -> Host -> Ordering (<) :: Host -> Host -> Bool (<=) :: Host -> Host -> Bool (>) :: Host -> Host -> Bool (>=) :: Host -> Host -> Bool max :: Host -> Host -> Host min :: Host -> Host -> Host
Show Host Source #
Instance details Defined in Network.URL Methods showsPrec :: Int -> Host -> ShowS show :: Host -> String showList :: [Host] -> ShowS

data Protocol Source #

The type of known protocols.

Constructors

HTTP Bool
FTP Bool
RawProt String

Instances

Instances details

Eq Protocol Source #
Instance details Defined in Network.URL Methods (==) :: Protocol -> Protocol -> Bool (/=) :: Protocol -> Protocol -> Bool
Ord Protocol Source #
Instance details Defined in Network.URL Methods compare :: Protocol -> Protocol -> Ordering (<) :: Protocol -> Protocol -> Bool (<=) :: Protocol -> Protocol -> Bool (>) :: Protocol -> Protocol -> Bool (>=) :: Protocol -> Protocol -> Bool max :: Protocol -> Protocol -> Protocol min :: Protocol -> Protocol -> Protocol
Show Protocol Source #
Instance details Defined in Network.URL Methods showsPrec :: Int -> Protocol -> ShowS show :: Protocol -> String showList :: [Protocol] -> ShowS

secure :: Host -> Bool Source #

Does this host use a "secure" protocol (e.g., https).

secure_prot :: Protocol -> Bool Source #

Is this a "secure" protocol. This works only for known protocols, for RawProt values we return False.

exportURL :: URL -> String Source #

Convert a URL to a list of "bytes". We represent non-ASCII characters using UTF8.

importURL :: String -> Maybe URL Source #

Convert a list of "bytes" to a URL.

exportHost :: Host -> String Source #

Convert the host part of a URL to a list of "bytes".

add_param :: URL -> (String, String) -> URL Source #

Add a (key,value) parameter to a URL.

decString :: Bool -> String -> Maybe String Source #

Decode a list of "bytes" to a string. Performs % and UTF8 decoding.

encString :: Bool -> (Char -> Bool) -> String -> String Source #

Convert a string to bytes by escaping the characters that do not satisfy the input predicate. The first argument specifies if we should replace spaces with +.

ok_host :: Char -> Bool Source #

ok_url :: Char -> Bool Source #

Characters that do not need to be encoded in URL

ok_param :: Char -> Bool Source #

ok_path :: Char -> Bool Source #

Characters that can appear non % encoded in the path part of the URL

exportParams :: [(String, String)] -> String Source #

importParams :: String -> Maybe [(String, String)] Source #