Copyright	© 2017–present Mark Karpov
License	BSD 3 clause
Maintainer	Mark Karpov <markkarpov92@gmail.com>
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Text.URI

Contents

Data types
Refined text
Parsing
Rendering

Description

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

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

This module is intended to be imported qualified, e.g.:

import Text.URI (URI)
import qualified Text.URI as URI

See also Text.URI.Lens for lens, prisms, and traversals; see Text.URI.QQ for quasi-quoters for compile-time validation of URIs and refined text components.

Synopsis

data URI = URI {
- uriScheme :: Maybe (RText 'Scheme)
- uriAuthority :: Either Bool Authority
- uriPath :: Maybe (Bool, NonEmpty (RText 'PathPiece))
- uriQuery :: [QueryParam]
- uriFragment :: Maybe (RText 'Fragment)
}
mkURI :: MonadThrow m => Text -> m URI
mkURIBs :: MonadThrow m => ByteString -> m URI
emptyURI :: URI
makeAbsolute :: RText 'Scheme -> URI -> URI
isPathAbsolute :: URI -> Bool
relativeTo :: URI -> URI -> Maybe URI
data Authority = Authority {
- authUserInfo :: Maybe UserInfo
- authHost :: RText 'Host
- authPort :: Maybe Word
}
data UserInfo = UserInfo {
- uiUsername :: RText 'Username
- uiPassword :: Maybe (RText 'Password)
}
data QueryParam
- = QueryFlag (RText 'QueryKey)
- | QueryParam (RText 'QueryKey) (RText 'QueryValue)
newtype ParseException = ParseException (ParseErrorBundle Text Void)
newtype ParseExceptionBs = ParseExceptionBs (ParseErrorBundle ByteString Void)
data RText (l :: RTextLabel)
data RTextLabel
- = Scheme
- | Host
- | Username
- | Password
- | PathPiece
- | QueryKey
- | QueryValue
- | Fragment
mkScheme :: MonadThrow m => Text -> m (RText 'Scheme)
mkHost :: MonadThrow m => Text -> m (RText 'Host)
mkUsername :: MonadThrow m => Text -> m (RText 'Username)
mkPassword :: MonadThrow m => Text -> m (RText 'Password)
mkPathPiece :: MonadThrow m => Text -> m (RText 'PathPiece)
mkQueryKey :: MonadThrow m => Text -> m (RText 'QueryKey)
mkQueryValue :: MonadThrow m => Text -> m (RText 'QueryValue)
mkFragment :: MonadThrow m => Text -> m (RText 'Fragment)
unRText :: forall (l :: RTextLabel). RText l -> Text
data RTextException = RTextException RTextLabel Text
parser :: MonadParsec e Text m => m URI
parserBs :: MonadParsec e ByteString m => m URI
render :: URI -> Text
render' :: URI -> Builder
renderBs :: URI -> ByteString
renderBs' :: URI -> Builder
renderStr :: URI -> String
renderStr' :: URI -> ShowS

Data types

data URI Source #

Uniform resource identifier (URI) reference. We use refined Text (RText l) here because information is presented in human-readable form, i.e. percent-decoded, and thus it may contain Unicode characters.

Constructors

URI

Fields

uriScheme :: Maybe (RText 'Scheme)
URI scheme, if Nothing, then the URI reference is relative
uriAuthority :: Either Bool Authority
Authority component in Right or a Bool value in Left indicating if uriPath path is absolute (True) or relative (False); if we have an Authority component, then the path is necessarily absolute, see isPathAbsolute
Note: before version 0.1.0.0 type of uriAuthority was Maybe Authority
uriPath :: Maybe (Bool, NonEmpty (RText 'PathPiece))
Nothing represents the empty path, while Just contains an indication Bool whether the path component has a trailing slash, and the collection of path pieces NonEmpty (RText PathPiece).
Note: before version 0.2.0.0 type of uriPath was [RText PathPiece].
uriQuery :: [QueryParam]
Query parameters, RFC 3986 does not define the inner organization of query string, so we deconstruct it following RFC 1866 here
uriFragment :: Maybe (RText 'Fragment)
Fragment, without #

Instances

Instances details

Arbitrary URI Source #

Instance details

:: URI	Reference `URI` to make absolute
-> URI	Base `URI`
-> Maybe URI	The target `URI`

Authority
Fields authUserInfo :: Maybe UserInfo User information authHost :: RText 'Host Host authPort :: Maybe Word Port number

UserInfo
Fields uiUsername :: RText 'Username Username uiPassword :: Maybe (RText 'Password) Password, `Nothing` means that there was no `:` character in the user info string

QueryFlag (RText 'QueryKey)	Flag parameter
QueryParam (RText 'QueryKey) (RText 'QueryValue)	Key–value pair

Scheme	See `mkScheme`
Host	See `mkHost`
Username	See `mkUsername`
Password	See `mkPassword`
PathPiece	See `mkPathPiece`
QueryKey	See `mkQueryKey`
QueryValue	See `mkQueryValue`
Fragment	See `mkFragment`

Data types

Instances

Instances

Instances

Instances

Instances

Instances

Refined text

Instances

Instances

Instances

Parsing

Rendering