| Copyright | Will Thompson and Iñaki García Etxebarria |
|---|---|
| License | LGPL-2.1 |
| Maintainer | Iñaki García Etxebarria |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
GI.GLib.Structs.Uri
Contents
- Exported types
- Methods
- build
- buildWithUser
- errorQuark
- escapeBytes
- escapeString
- getAuthParams
- getFlags
- getFragment
- getHost
- getPassword
- getPath
- getPort
- getQuery
- getScheme
- getUser
- getUserinfo
- isValid
- join
- joinWithUser
- listExtractUris
- parse
- parseParams
- parseRelative
- parseScheme
- peekScheme
- resolveRelative
- split
- splitNetwork
- splitWithUser
- toString
- toStringPartial
- unescapeBytes
- unescapeSegment
- unescapeString
Description
The GUri type and related functions can be used to parse URIs into
their components, and build valid URIs from individual components.
Since GUri only represents absolute URIs, all GUris will have a
URI scheme, so uriGetScheme will always return a non-NULL
answer. Likewise, by definition, all URIs have a path component, so
uriGetPath will always return a non-NULL string (which may
be empty).
If the URI string has an
‘authority’ component (that
is, if the scheme is followed by :// rather than just :), then the
GUri will contain a hostname, and possibly a port and ‘userinfo’.
Additionally, depending on how the GUri was constructed/parsed (for example,
using the G_URI_FLAGS_HAS_PASSWORD and G_URI_FLAGS_HAS_AUTH_PARAMS flags),
the userinfo may be split out into a username, password, and
additional authorization-related parameters.
Normally, the components of a GUri will have all %-encoded
characters decoded. However, if you construct/parse a GUri with
G_URI_FLAGS_ENCODED, then the %-encoding will be preserved instead in
the userinfo, path, and query fields (and in the host field if also
created with G_URI_FLAGS_NON_DNS). In particular, this is necessary if
the URI may contain binary data or non-UTF-8 text, or if decoding
the components might change the interpretation of the URI.
For example, with the encoded flag:
c code
g_autoptr(GUri) uri = g_uri_parse ("http://host/path?query=http%3A%2F%2Fhost%2Fpath%3Fparam%3Dvalue", G_URI_FLAGS_ENCODED, &err);
g_assert_cmpstr (g_uri_get_query (uri), ==, "query=http%3A%2F%2Fhost%2Fpath%3Fparam%3Dvalue");While the default %-decoding behaviour would give:
c code
g_autoptr(GUri) uri = g_uri_parse ("http://host/path?query=http%3A%2F%2Fhost%2Fpath%3Fparam%3Dvalue", G_URI_FLAGS_NONE, &err);
g_assert_cmpstr (g_uri_get_query (uri), ==, "query=http://host/path?param=value");During decoding, if an invalid UTF-8 string is encountered, parsing will fail with an error indicating the bad string location:
c code
g_autoptr(GUri) uri = g_uri_parse ("http://host/path?query=http%3A%2F%2Fhost%2Fpath%3Fbad%3D%00alue", G_URI_FLAGS_NONE, &err);
g_assert_error (err, G_URI_ERROR, G_URI_ERROR_BAD_QUERY);You should pass G_URI_FLAGS_ENCODED or G_URI_FLAGS_ENCODED_QUERY if you
need to handle that case manually. In particular, if the query string
contains = characters that are %-encoded, you should let
[funcgLib.Uri.parse_params] do the decoding once of the query.
GUri is immutable once constructed, and can safely be accessed from
multiple threads. Its reference counting is atomic.
Note that the scope of GUri is to help manipulate URIs in various applications,
following RFC 3986. In particular,
it doesn't intend to cover web browser needs, and doesn’t implement the
WHATWG URL standard. No APIs are provided to
help prevent
homograph attacks, so
GUri is not suitable for formatting URIs for display to the user for making
security-sensitive decisions.
Relative and absolute URIs
As defined in RFC 3986, the hierarchical nature of URIs means that they can either be ‘relative references’ (sometimes referred to as ‘relative URIs’) or ‘URIs’ (for clarity, ‘URIs’ are referred to in this documentation as ‘absolute URIs’ — although in constrast to RFC 3986, fragment identifiers are always allowed).
Relative references have one or more components of the URI missing. In
particular, they have no scheme. Any other component, such as hostname,
query, etc. may be missing, apart from a path, which has to be specified (but
may be empty). The path may be relative, starting with ./ rather than /.
For example, a valid relative reference is ./path?query,
/?query#fragment or //example.com.
Absolute URIs have a scheme specified. Any other components of the URI which
are missing are specified as explicitly unset in the URI, rather than being
resolved relative to a base URI using uriParseRelative.
For example, a valid absolute URI is file:///home/bob or
https://search.com?query=string.
A GUri instance is always an absolute URI. A string may be an absolute URI
or a relative reference; see the documentation for individual functions as to
what forms they accept.
Parsing URIs
The most minimalist APIs for parsing URIs are [funcgLib.Uri.split] and
[funcgLib.Uri.split_with_user]. These split a URI into its component
parts, and return the parts; the difference between the two is that
[funcgLib.Uri.split] treats the ‘userinfo’ component of the URI as a
single element, while [funcgLib.Uri.split_with_user] can (depending on the
[flagsgLib.UriFlags] you pass) treat it as containing a username, password,
and authentication parameters. Alternatively, [funcgLib.Uri.split_network]
can be used when you are only interested in the components that are
needed to initiate a network connection to the service (scheme,
host, and port).
- func
gLib.Uri.parse - is similar to [func
gLib.Uri.split], but instead of returning individual strings, it returns aGUristructure (and it requires that the URI be an absolute URI). - func
gLib.Uri.resolve_relative - and
uriParseRelativeallow you to resolve a relative URI relative to a base URI. - func
gLib.Uri.resolve_relative - takes two strings and returns a string,
and
uriParseRelativetakes aGUriand a string and returns aGUri.
All of the parsing functions take a [flagsgLib.UriFlags] argument describing
exactly how to parse the URI; see the documentation for that type
for more details on the specific flags that you can pass. If you
need to choose different flags based on the type of URI, you can
use [funcgLib.Uri.peek_scheme] on the URI string to check the scheme
first, and use that to decide what flags to parse it with.
For example, you might want to use G_URI_PARAMS_WWW_FORM when parsing the
params for a web URI, so compare the result of [funcgLib.Uri.peek_scheme]
against http and https.
Building URIs
- func
gLib.Uri.join - and [func
gLib.Uri.join_with_user] can be used to construct valid URI strings from a set of component strings. They are the inverse of [funcgLib.Uri.split] and [funcgLib.Uri.split_with_user].
Similarly, [funcgLib.Uri.build] and [funcgLib.Uri.build_with_user] can be
used to construct a GUri from a set of component strings.
As with the parsing functions, the building functions take a
[flagsgLib.UriFlags] argument. In particular, it is important to keep in mind
whether the URI components you are using are already %-encoded. If so,
you must pass the G_URI_FLAGS_ENCODED flag.
file:// URIs
Note that Windows and Unix both define special rules for parsing
file:// URIs (involving non-UTF-8 character sets on Unix, and the
interpretation of path separators on Windows). GUri does not
implement these rules. Use filenameFromUri and
filenameToUri if you want to properly convert between
file:// URIs and local filenames.
URI Equality
Note that there is no g_uri_equal () function, because comparing
URIs usefully requires scheme-specific knowledge that GUri does
not have. GUri can help with normalization if you use the various
encoded [flagsgLib.UriFlags] as well as G_URI_FLAGS_SCHEME_NORMALIZE
however it is not comprehensive.
For example, data:,foo and data:;base64,Zm9v resolve to the same
thing according to the data: URI specification which GLib does not
handle.
Since: 2.66
Synopsis
- newtype Uri = Uri (ManagedPtr Uri)
- uriBuild :: (HasCallStack, MonadIO m) => [UriFlags] -> Text -> Maybe Text -> Maybe Text -> Int32 -> Text -> Maybe Text -> Maybe Text -> m Uri
- uriBuildWithUser :: (HasCallStack, MonadIO m) => [UriFlags] -> Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Int32 -> Text -> Maybe Text -> Maybe Text -> m Uri
- uriErrorQuark :: (HasCallStack, MonadIO m) => m Word32
- uriEscapeBytes :: (HasCallStack, MonadIO m) => ByteString -> Maybe Text -> m Text
- uriEscapeString :: (HasCallStack, MonadIO m) => Text -> Maybe Text -> Bool -> m Text
- uriGetAuthParams :: (HasCallStack, MonadIO m) => Uri -> m (Maybe Text)
- uriGetFlags :: (HasCallStack, MonadIO m) => Uri -> m [UriFlags]
- uriGetFragment :: (HasCallStack, MonadIO m) => Uri -> m (Maybe Text)
- uriGetHost :: (HasCallStack, MonadIO m) => Uri -> m (Maybe Text)
- uriGetPassword :: (HasCallStack, MonadIO m) => Uri -> m (Maybe Text)
- uriGetPath :: (HasCallStack, MonadIO m) => Uri -> m Text
- uriGetPort :: (HasCallStack, MonadIO m) => Uri -> m Int32
- uriGetQuery :: (HasCallStack, MonadIO m) => Uri -> m (Maybe Text)
- uriGetScheme :: (HasCallStack, MonadIO m) => Uri -> m Text
- uriGetUser :: (HasCallStack, MonadIO m) => Uri -> m (Maybe Text)
- uriGetUserinfo :: (HasCallStack, MonadIO m) => Uri -> m (Maybe Text)
- uriIsValid :: (HasCallStack, MonadIO m) => Text -> [UriFlags] -> m ()
- uriJoin :: (HasCallStack, MonadIO m) => [UriFlags] -> Maybe Text -> Maybe Text -> Maybe Text -> Int32 -> Text -> Maybe Text -> Maybe Text -> m Text
- uriJoinWithUser :: (HasCallStack, MonadIO m) => [UriFlags] -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Int32 -> Text -> Maybe Text -> Maybe Text -> m Text
- uriListExtractUris :: (HasCallStack, MonadIO m) => Text -> m [Text]
- uriParse :: (HasCallStack, MonadIO m) => Text -> [UriFlags] -> m Uri
- uriParseParams :: (HasCallStack, MonadIO m) => Text -> Int64 -> Text -> [UriParamsFlags] -> m (Map Text Text)
- uriParseRelative :: (HasCallStack, MonadIO m) => Maybe Uri -> Text -> [UriFlags] -> m Uri
- uriParseScheme :: (HasCallStack, MonadIO m) => Text -> m (Maybe Text)
- uriPeekScheme :: (HasCallStack, MonadIO m) => Text -> m (Maybe Text)
- uriResolveRelative :: (HasCallStack, MonadIO m) => Maybe Text -> Text -> [UriFlags] -> m Text
- uriSplit :: (HasCallStack, MonadIO m) => Text -> [UriFlags] -> m (Maybe Text, Maybe Text, Maybe Text, Int32, Text, Maybe Text, Maybe Text)
- uriSplitNetwork :: (HasCallStack, MonadIO m) => Text -> [UriFlags] -> m (Maybe Text, Maybe Text, Int32)
- uriSplitWithUser :: (HasCallStack, MonadIO m) => Text -> [UriFlags] -> m (Maybe Text, Maybe Text, Maybe Text, Maybe Text, Maybe Text, Int32, Text, Maybe Text, Maybe Text)
- uriToString :: (HasCallStack, MonadIO m) => Uri -> m Text
- uriToStringPartial :: (HasCallStack, MonadIO m) => Uri -> [UriHideFlags] -> m Text
- uriUnescapeBytes :: (HasCallStack, MonadIO m) => Text -> Int64 -> Maybe Text -> m Bytes
- uriUnescapeSegment :: (HasCallStack, MonadIO m) => Maybe Text -> Maybe Text -> Maybe Text -> m (Maybe Text)
- uriUnescapeString :: (HasCallStack, MonadIO m) => Text -> Maybe Text -> m (Maybe Text)
Exported types
Memory-managed wrapper type.
Instances
| Eq Uri Source # | |
| GBoxed Uri Source # | |
Defined in GI.GLib.Structs.Uri | |
| ManagedPtrNewtype Uri Source # | |
Defined in GI.GLib.Structs.Uri Methods toManagedPtr :: Uri -> ManagedPtr Uri | |
| TypedObject Uri Source # | |
Defined in GI.GLib.Structs.Uri | |
| HasParentTypes Uri Source # | |
Defined in GI.GLib.Structs.Uri | |
| IsGValue (Maybe Uri) Source # | Convert |
Defined in GI.GLib.Structs.Uri Methods gvalueGType_ :: IO GType gvalueSet_ :: Ptr GValue -> Maybe Uri -> IO () gvalueGet_ :: Ptr GValue -> IO (Maybe Uri) | |
| type ParentTypes Uri Source # | |
Defined in GI.GLib.Structs.Uri | |
Methods
Click to display all available methods, including inherited ones
Methods
parseRelative, toString, toStringPartial.
Getters
getAuthParams, getFlags, getFragment, getHost, getPassword, getPath, getPort, getQuery, getScheme, getUser, getUserinfo.
Setters
None.
build
Arguments
| :: (HasCallStack, MonadIO m) | |
| => [UriFlags] |
|
| -> Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> Int32 |
|
| -> Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> m Uri | Returns: a new |
Creates a new Uri from the given components according to flags.
See also uriBuildWithUser, which allows specifying the
components of the "userinfo" separately.
Since: 2.66
buildWithUser
Arguments
| :: (HasCallStack, MonadIO m) | |
| => [UriFlags] |
|
| -> Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> Int32 |
|
| -> Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> m Uri | Returns: a new |
Creates a new Uri from the given components according to flags
(UriFlagsHasPassword is added unconditionally). The flags must be
coherent with the passed values, in particular use %-encoded values with
UriFlagsEncoded.
In contrast to uriBuild, this allows specifying the components
of the ‘userinfo’ field separately. Note that user must be non-Nothing
if either password or authParams is non-Nothing.
Since: 2.66
errorQuark
uriErrorQuark :: (HasCallStack, MonadIO m) => m Word32 Source #
No description available in the introspection data.
escapeBytes
Arguments
| :: (HasCallStack, MonadIO m) | |
| => ByteString |
|
| -> Maybe Text |
|
| -> m Text | Returns: an escaped version of |
Escapes arbitrary data for use in a URI.
Normally all characters that are not ‘unreserved’ (i.e. ASCII
alphanumerical characters plus dash, dot, underscore and tilde) are
escaped. But if you specify characters in reservedCharsAllowed
they are not escaped. This is useful for the ‘reserved’ characters
in the URI specification, since those are allowed unescaped in some
portions of a URI.
Though technically incorrect, this will also allow escaping nul
bytes as %00.
Since: 2.66
escapeString
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Text |
|
| -> Maybe Text |
|
| -> Bool |
|
| -> m Text | Returns: an escaped version of |
Escapes a string for use in a URI.
Normally all characters that are not "unreserved" (i.e. ASCII
alphanumerical characters plus dash, dot, underscore and tilde) are
escaped. But if you specify characters in reservedCharsAllowed
they are not escaped. This is useful for the "reserved" characters
in the URI specification, since those are allowed unescaped in some
portions of a URI.
Since: 2.16
getAuthParams
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Uri |
|
| -> m (Maybe Text) | Returns: |
Gets uri's authentication parameters, which may contain
%-encoding, depending on the flags with which uri was created.
(If uri was not created with UriFlagsHasAuthParams then this will
be Nothing.)
Depending on the URI scheme, uriParseParams may be useful for
further parsing this information.
Since: 2.66
getFlags
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Uri |
|
| -> m [UriFlags] | Returns: |
Gets uri's flags set upon construction.
Since: 2.66
getFragment
Gets uri's fragment, which may contain %-encoding, depending on
the flags with which uri was created.
Since: 2.66
getHost
Gets uri's host. This will never have %-encoded characters,
unless it is non-UTF-8 (which can only be the case if uri was
created with UriFlagsNonDns).
If uri contained an IPv6 address literal, this value will be just
that address, without the brackets around it that are necessary in
the string form of the URI. Note that in this case there may also
be a scope ID attached to the address. Eg, fe80::1234%em1 (or
fe80::1234%25em1 if the string is still encoded).
Since: 2.66
getPassword
Gets uri's password, which may contain %-encoding, depending on
the flags with which uri was created. (If uri was not created
with UriFlagsHasPassword then this will be Nothing.)
Since: 2.66
getPath
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Uri |
|
| -> m Text | Returns: |
Gets uri's path, which may contain %-encoding, depending on the
flags with which uri was created.
Since: 2.66
getPort
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Uri |
|
| -> m Int32 | Returns: |
Gets uri's port.
Since: 2.66
getQuery
Gets uri's query, which may contain %-encoding, depending on the
flags with which uri was created.
For queries consisting of a series of name=value parameters,
UriParamsIter or uriParseParams may be useful.
Since: 2.66
getScheme
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Uri |
|
| -> m Text | Returns: |
Gets uri's scheme. Note that this will always be all-lowercase,
regardless of the string or strings that uri was created from.
Since: 2.66
getUser
Gets the ‘username’ component of uri's userinfo, which may contain
%-encoding, depending on the flags with which uri was created.
If uri was not created with UriFlagsHasPassword or
UriFlagsHasAuthParams, this is the same as uriGetUserinfo.
Since: 2.66
getUserinfo
Gets uri's userinfo, which may contain %-encoding, depending on
the flags with which uri was created.
Since: 2.66
isValid
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Text |
|
| -> [UriFlags] |
|
| -> m () | (Can throw |
Parses uriString according to flags, to determine whether it is a valid
absolute URI, i.e. it does not need to be resolved
relative to another URI using uriParseRelative.
If it’s not a valid URI, an error is returned explaining how it’s invalid.
See uriSplit, and the definition of UriFlags, for more
information on the effect of flags.
Since: 2.66
join
Arguments
| :: (HasCallStack, MonadIO m) | |
| => [UriFlags] |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> Int32 |
|
| -> Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> m Text | Returns: an absolute URI string |
Joins the given components together according to flags to create
an absolute URI string. path may not be Nothing (though it may be the empty
string).
When host is present, path must either be empty or begin with a slash (/)
character. When host is not present, path cannot begin with two slash
characters (//). See
RFC 3986, section 3.
See also uriJoinWithUser, which allows specifying the
components of the ‘userinfo’ separately.
UriFlagsHasPassword and UriFlagsHasAuthParams are ignored if set
in flags.
Since: 2.66
joinWithUser
Arguments
| :: (HasCallStack, MonadIO m) | |
| => [UriFlags] |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> Int32 |
|
| -> Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> m Text | Returns: an absolute URI string |
Joins the given components together according to flags to create
an absolute URI string. path may not be Nothing (though it may be the empty
string).
In contrast to uriJoin, this allows specifying the components
of the ‘userinfo’ separately. It otherwise behaves the same.
UriFlagsHasPassword and UriFlagsHasAuthParams are ignored if set
in flags.
Since: 2.66
listExtractUris
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Text |
|
| -> m [Text] | Returns: a newly allocated |
Splits an URI list conforming to the text/uri-list mime type defined in RFC 2483 into individual URIs, discarding any comments. The URIs are not validated.
Since: 2.6
parse
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Text |
|
| -> [UriFlags] |
|
| -> m Uri |
Parses uriString according to flags. If the result is not a
valid absolute URI, it will be discarded, and an
error returned.
Since: 2.66
parseParams
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Text |
|
| -> Int64 |
|
| -> Text |
|
| -> [UriParamsFlags] |
|
| -> m (Map Text Text) | Returns:
A hash table of attribute/value pairs, with both names and values
fully-decoded; or |
Many URI schemes include one or more attribute/value pairs as part of the URI
value. This method can be used to parse them into a hash table. When an
attribute has multiple occurrences, the last value is the final returned
value. If you need to handle repeated attributes differently, use
UriParamsIter.
The params string is assumed to still be %-encoded, but the returned
values will be fully decoded. (Thus it is possible that the returned values
may contain = or separators, if the value was encoded in the input.)
Invalid %-encoding is treated as with the UriFlagsParseRelaxed
rules for uriParse. (However, if params is the path or query string
from a Uri that was parsed without UriFlagsParseRelaxed and
UriFlagsEncoded, then you already know that it does not contain any
invalid encoding.)
UriParamsFlagsWwwForm is handled as documented for uriParamsIterInit.
If UriParamsFlagsCaseInsensitive is passed to flags, attributes will be
compared case-insensitively, so a params string attr=123&Attr=456 will only
return a single attribute–value pair, Attr=456. Case will be preserved in
the returned attributes.
If params cannot be parsed (for example, it contains two separators
characters in a row), then error is set and Nothing is returned.
Since: 2.66
parseRelative
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Maybe Uri |
|
| -> Text |
|
| -> [UriFlags] |
|
| -> m Uri |
Parses uriRef according to flags and, if it is a
relative URI, resolves it relative to baseUri.
If the result is not a valid absolute URI, it will be discarded, and an error
returned.
Since: 2.66
parseScheme
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Text |
|
| -> m (Maybe Text) | Returns: The ‘scheme’ component of the URI, or
|
Gets the scheme portion of a URI string. RFC 3986 decodes the scheme as: > >URI = scheme ":" hier-part [ "?" query ] [ "#" fragment ]
Common schemes include file, https, svn+ssh, etc.
Since: 2.16
peekScheme
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Text |
|
| -> m (Maybe Text) | Returns: The ‘scheme’ component of the URI, or
|
Gets the scheme portion of a URI string. RFC 3986 decodes the scheme as: > >URI = scheme ":" hier-part [ "?" query ] [ "#" fragment ]
Common schemes include file, https, svn+ssh, etc.
Unlike uriParseScheme, the returned scheme is normalized to
all-lowercase and does not need to be freed.
Since: 2.66
resolveRelative
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Maybe Text |
|
| -> Text |
|
| -> [UriFlags] |
|
| -> m Text | Returns: the resolved URI string,
or NULL on error. (Can throw |
Parses uriRef according to flags and, if it is a
relative URI, resolves it relative to
baseUriString. If the result is not a valid absolute URI, it will be
discarded, and an error returned.
(If baseUriString is Nothing, this just returns uriRef, or
Nothing if uriRef is invalid or not absolute.)
Since: 2.66
split
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Text |
|
| -> [UriFlags] |
|
| -> m (Maybe Text, Maybe Text, Maybe Text, Int32, Text, Maybe Text, Maybe Text) | (Can throw |
Parses uriRef (which can be an
absolute or relative URI) according to flags, and
returns the pieces. Any component that doesn't appear in uriRef will be
returned as Nothing (but note that all URIs always have a path component,
though it may be the empty string).
If flags contains UriFlagsEncoded, then %-encoded characters in
uriRef will remain encoded in the output strings. (If not,
then all such characters will be decoded.) Note that decoding will
only work if the URI components are ASCII or UTF-8, so you will
need to use UriFlagsEncoded if they are not.
Note that the UriFlagsHasPassword and
UriFlagsHasAuthParams flags are ignored by uriSplit,
since it always returns only the full userinfo; use
uriSplitWithUser if you want it split up.
Since: 2.66
splitNetwork
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Text |
|
| -> [UriFlags] |
|
| -> m (Maybe Text, Maybe Text, Int32) | (Can throw |
Parses uriString (which must be an absolute URI)
according to flags, and returns the pieces relevant to connecting to a host.
See the documentation for uriSplit for more details; this is
mostly a wrapper around that function with simpler arguments.
However, it will return an error if uriString is a relative URI,
or does not contain a hostname component.
Since: 2.66
splitWithUser
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Text |
|
| -> [UriFlags] |
|
| -> m (Maybe Text, Maybe Text, Maybe Text, Maybe Text, Maybe Text, Int32, Text, Maybe Text, Maybe Text) | (Can throw |
Parses uriRef (which can be an
absolute or relative URI) according to flags, and
returns the pieces. Any component that doesn't appear in uriRef will be
returned as Nothing (but note that all URIs always have a path component,
though it may be the empty string).
See uriSplit, and the definition of UriFlags, for more
information on the effect of flags. Note that password will only
be parsed out if flags contains UriFlagsHasPassword, and
authParams will only be parsed out if flags contains
UriFlagsHasAuthParams.
Since: 2.66
toString
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Uri |
|
| -> m Text | Returns: a string representing |
Returns a string representing uri.
This is not guaranteed to return a string which is identical to the
string that uri was parsed from. However, if the source URI was
syntactically correct (according to RFC 3986), and it was parsed
with UriFlagsEncoded, then uriToString is guaranteed to return
a string which is at least semantically equivalent to the source
URI (according to RFC 3986).
If uri might contain sensitive details, such as authentication parameters,
or private data in its query string, and the returned string is going to be
logged, then consider using uriToStringPartial to redact parts.
Since: 2.66
toStringPartial
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Uri |
|
| -> [UriHideFlags] |
|
| -> m Text | Returns: a string representing
|
Returns a string representing uri, subject to the options in
flags. See uriToString and UriHideFlags for more details.
Since: 2.66
unescapeBytes
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Text |
|
| -> Int64 |
|
| -> Maybe Text |
|
| -> m Bytes | Returns: an unescaped version of |
Unescapes a segment of an escaped string as binary data.
Note that in contrast to uriUnescapeString, this does allow
nul bytes to appear in the output.
If any of the characters in illegalCharacters appears as an escaped
character in escapedString, then that is an error and Nothing will be
returned. This is useful if you want to avoid for instance having a slash
being expanded in an escaped path element, which might confuse pathname
handling.
Since: 2.66
unescapeSegment
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Maybe Text |
|
| -> Maybe Text |
|
| -> Maybe Text |
|
| -> m (Maybe Text) | Returns: an unescaped version of |
Unescapes a segment of an escaped string.
If any of the characters in illegalCharacters or the NUL
character appears as an escaped character in escapedString, then
that is an error and Nothing will be returned. This is useful if you
want to avoid for instance having a slash being expanded in an
escaped path element, which might confuse pathname handling.
Note: NUL byte is not accepted in the output, in contrast to
uriUnescapeBytes.
Since: 2.16
unescapeString
Arguments
| :: (HasCallStack, MonadIO m) | |
| => Text |
|
| -> Maybe Text |
|
| -> m (Maybe Text) | Returns: an unescaped version of |
Unescapes a whole escaped string.
If any of the characters in illegalCharacters or the NUL
character appears as an escaped character in escapedString, then
that is an error and Nothing will be returned. This is useful if you
want to avoid for instance having a slash being expanded in an
escaped path element, which might confuse pathname handling.
Since: 2.16