Network.URI.Static

Absolute URIs

uri :: QuasiQuoter

uri is a quasi quoter for staticURI.

>>> [uri|http://www.google.com/|]
http://www.google.com/

>>> [uri|http://www.google.com/##|]

<interactive>...
... Invalid URI: http://www.google.com/##
...

staticURI

Arguments

:: String

String representation of a URI

-> TExpQ URI

URI

staticURI parses a specified string at compile time and return an expression representing the URI when it's a valid URI. Otherwise, it emits an error.

>>> $$(staticURI "http://www.google.com/")
http://www.google.com/

>>> $$(staticURI "http://www.google.com/##")

<interactive>...
... Invalid URI: http://www.google.com/##
...

Relative URIs

relativeReference :: QuasiQuoter

relativeReference is a quasi quoter for staticRelativeReference.

>>> [relativeReference|/foo?bar=baz#quux|]
/foo?bar=baz#quux

>>> [relativeReference|http://www.google.com/|]

<interactive>...
... Invalid relative reference: http://www.google.com/
...

staticRelativeReference

Arguments

:: String

String representation of a reference

-> TExpQ URI

Refererence

staticRelativeReference parses a specified string at compile time and return an expression representing the URI when it's a valid relative reference. Otherwise, it emits an error.

>>> $$(staticRelativeReference "/foo?bar=baz#quux")
/foo?bar=baz#quux

>>> $$(staticRelativeReference "http://www.google.com/")

<interactive>...
... Invalid relative reference: http://www.google.com/
...