Url

Note: this library parses, but does not validate urls

Types

data Url

Url type represented by its serialization, and slices of that serialization.

Syntax in pseudo-BNF:

url = scheme ":" [ hierarchical | non-hierarchical ] [ "?" query ]? [ "#" fragment ]?
non-hierarchical = non-hierarchical-path
non-hierarchical-path = * Does not start with "" */
hierarchical = authority? hierarchical-path
authority = "//" userinfo? host [ ":" port ]?
userinfo = username [ ":" password ]? "@"
hierarchical-path = [ "/" path-segment ]+

Instances

Eq Url

Defined in Url.Unsafe

Methods

(==) :: Url -> Url -> Bool

(/=) :: Url -> Url -> Bool

Ord Url

Defined in Url.Unsafe

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

Defined in Url.Unsafe

Methods

showsPrec :: Int -> Url -> ShowS

show :: Url -> String

showList :: [Url] -> ShowS

data ParseError

Possible parse errors

Constructors

EndOfInput

InvalidAuthority

InvalidPort

Instances

Eq ParseError

Defined in Url.Unsafe

Methods

(==) :: ParseError -> ParseError -> Bool

(/=) :: ParseError -> ParseError -> Bool

Ord ParseError

Defined in Url.Unsafe

Methods

compare :: ParseError -> ParseError -> Ordering

(<) :: ParseError -> ParseError -> Bool

(<=) :: ParseError -> ParseError -> Bool

(>) :: ParseError -> ParseError -> Bool

(>=) :: ParseError -> ParseError -> Bool

max :: ParseError -> ParseError -> ParseError

min :: ParseError -> ParseError -> ParseError

Show ParseError

Defined in Url.Unsafe

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

Parsing

decodeUrl :: Bytes -> Either ParseError Url

Decode a hierarchical URL

Slicing

getScheme :: Url -> Maybe Bytes

Slice into the Url and retrieve the scheme, if it's present

getUsername :: Url -> Maybe Bytes

Slice into the Url and retrieve the username, if it's present

getAuthority :: Url -> Maybe Bytes

getPassword :: Url -> Maybe Bytes

getHost :: Url -> Maybe Bytes

Slice into the Url and retrieve the host, if it's present

getPath :: Url -> Maybe Bytes

Slice into the Url and retrieve the path starting with '/', if it's present

getQuery :: Url -> Maybe Bytes

Slice into the Url and retrieve the query string starting with '?', if it's present

getFragment :: Url -> Maybe Bytes

Slice into the Url and retrieve the fragment starting with '#', if it's present

getExtension :: Url -> Maybe Bytes

This function is intentionally imprecise. E.g. getExtension "google.com/facebook.com" == Just ".com"

getPort :: Url -> Maybe Word16

constructUrl

Arguments

:: Maybe String

scheme

-> String

host

-> Maybe Word16

port

-> String

path

-> [(String, String)]

-> Maybe String

framgent

-> Q (TExp Url)

literalUrl :: String -> Q (TExp Url)