Modern URI

This is a modern library for working with URIs in Haskell as per RFC 3986:

https://tools.ietf.org/html/rfc3986

Features

The modern-uri package features:

Correct by construction URI data type. The correctness is ensured by making sure that every sub-component of the URI record is by itself cannot be invalid. This boils down to careful use of types and a set of smart constructors.

data type. The correctness is ensured by making sure that every sub-component of the record is by itself cannot be invalid. This boils down to careful use of types and a set of smart constructors. Textual components in the URI data type are represented as Text rather than ByteString , because they are percent-decoded and so they can contain characters outside of ASCII range (i.e. Unicode). This allows for easier manipulation of URI s, while encoding and decoding headaches are handled by the parsers and renders for you.

data type are represented as rather than , because they are percent-decoded and so they can contain characters outside of ASCII range (i.e. Unicode). This allows for easier manipulation of s, while encoding and decoding headaches are handled by the parsers and renders for you. Absolute and relative URIs differ only by the scheme component: if it's Nothing , then URI is relative, otherwise it's absolute.

, then URI is relative, otherwise it's absolute. Megaparsec parser that can be used as a standalone smart constructor for the URI data type (see mkURI ) as well as be seamlessly integrated into a bigger Megaparsec parser that consumes strict Text (see parser ) or strict ByteString (see parserBs ).

data type (see ) as well as be seamlessly integrated into a bigger Megaparsec parser that consumes strict (see ) or strict (see ). The parser performs some normalization, for example it collapses consecutive slashes. Some smart constructors such as mkScheme and mkHost also perform normalization. So in a sense URIs are also “normalized by construction” to some extent.

and also perform normalization. So in a sense URIs are also “normalized by construction” to some extent. Fast rendering to strict Text and ByteString as well as to their respective Builder types and to String / ShowS .

and as well as to their respective types and to / . Extensive set of lensy helpers for easier manipulation of the nested data types (see Text.URI.Lens ).

). Quasi-quoters for compile-time construction of the URI data type and refined text types (see Text.URI.QQ ).

Quick start

The modern-uri package serves three main purposes:

Construction of the URI data type.

data type. Inspection and manipulation of the URI data type (in the sense of changing its parts).

data type (in the sense of changing its parts). Rendering of URI s.

Let's walk through every operation quickly.

Construction of URI s

There are four ways to create a URI value. First off, one could assemble it manually like so:

λ> :set -XOverloadedStrings λ> import qualified Text.URI as URI λ> scheme <- URI.mkScheme "https" λ> scheme "https" λ> host <- URI.mkHost "markkarpov.com" λ> host "markkarpov.com" λ> let uri = URI.URI (Just scheme) (Right (URI.Authority Nothing host Nothing)) Nothing [] Nothing λ> uri URI { uriScheme = Just "https" , uriAuthority = Right (Authority { authUserInfo = Nothing , authHost = "markkarpov.com" , authPort = Nothing }) , uriPath = Nothing , uriQuery = [] , uriFragment = Nothing }

In this library we use quite a few refined text values. They only can be constructed by using smart constructors like mkScheme :: MonadThrow m => Text -> m (RText 'Scheme) . For example, if argument to mkScheme is not a valid scheme, an exception will be thrown. Note that monads such as Maybe are also instances of the MonadThrow type class, and so the smart constructors may be used in pure setting as well.

There is a smart constructor that can make an entire URI too, it's called (unsurprisingly) mkURI :

λ> uri <- URI.mkURI "https://markkarpov.com" λ> uri URI { uriScheme = Just "https" , uriAuthority = Right (Authority { authUserInfo = Nothing , authHost = "markkarpov.com" , authPort = Nothing }) , uriPath = Nothing , uriQuery = [] , uriFragment = Nothing }

If the argument of mkURI is not a valid URI, then an exception will be thrown. The exception will contain full context and the actual parse error.

If some refined text value or URI is known statically at compile time, we can use Template Haskell, namely the “quasi quotes” feature. To do so import the Text.URI.QQ module and enable the QuasiQuotes language extension, like so:

λ> :set -XQuasiQuotes λ> import qualified Text.URI.QQ as QQ λ> let uri = [QQ.uri|https://markkarpov.com|] λ> uri URI { uriScheme = Just "https" , uriAuthority = Right (Authority { authUserInfo = Nothing , authHost = "markkarpov.com" , authPort = Nothing }) , uriPath = Nothing , uriQuery = [] , uriFragment = Nothing }

Note how the value returned by the url quasi quote is pure, its construction cannot fail because when there is an invalid URI inside the quote it's a compilation error. The Text.URI.QQ module has quasi-quoters for scheme, host, and other components.

Finally, the package provides two Megaparsec parsers: parser and parserBs . The first works on strict Text , while other one works on strict ByteString s. You can use the parsers in a bigger Megaparsec parser to parse URI s.

Inspection and manipulation

Although one could use record syntax directly, possibly with language extensions like RecordWildcards , the best way to inspect and edit parts of URI is with lenses. The lenses can be found in the Text.URI.Lens module. If you have never used the lens library, you could probably start by reading/watching materials suggested in the library description on Hackage.

Here are some examples, just to show off what you can do:

λ> import Text.URI.Lens λ> uri <- URI.mkURI "https://example.com/some/path?foo=bar&baz=quux&foo=foo" λ> uri ^. uriScheme Just "https" λ> uri ^? uriAuthority . _Right . authHost Just "example.com" λ> uri ^. isPathAbsolute True λ> uri ^. uriPath ["some","path"] λ> k <- URI.mkQueryKey "foo" λ> uri ^.. uriQuery . queryParam k ["bar","foo"] -- etc.

Rendering

Rendering turns a URI into a sequence of bytes or characters. Currently the following options are available:

render for rendering to strict Text .

for rendering to strict . render' for rendering to text Builder . It's possible to turn that into lazy Text by using the toLazyText function from Data.Text.Lazy.Builder .

for rendering to text . It's possible to turn that into lazy by using the function from . renderBs for rendering to strict ByteString .

for rendering to strict . renderBs' for rendering to byte string Builder . Similarly it's possible to get a lazy ByteString from that by using the toLazyByteString function from Data.ByteString.Builder .

for rendering to byte string . Similarly it's possible to get a lazy from that by using the function from . renderStr can be used to render to String . Sometimes it's handy. The render uses difference lists internally so it's not that slow, but in general I'd advise avoiding String s.

can be used to render to . Sometimes it's handy. The render uses difference lists internally so it's not that slow, but in general I'd advise avoiding s. renderStr' returns ShowS , which is just a synonym for String -> String —a function that prepends the result of rendering to a given String . This is useful when the URI you want to render is a part of a bigger output, just like with the builders mentioned above.

Examples:

λ> uri <- mkURI "https://markkarpov.com/posts.html" λ> render uri "https://markkarpov.com/posts.html" λ> renderBs uri "https://markkarpov.com/posts.html" λ> renderStr uri "https://markkarpov.com/posts.html" -- etc.

Contribution

Issues, bugs, and questions may be reported in the GitHub issue tracker for this project.

Pull requests are also welcome.

License

Copyright © 2017–present Mark Karpov

Distributed under BSD 3 clause license.