Module Uri

module Uri: sig .. end

Uniform Resource Identifier handling that is RFC3986-compliant.

type t

A single URI that is a compact sequence of characters that identifies an abstract or physical resource.

type component = [ `Authority
       | `Fragment
       | `Host
       | `Path
       | `Query
       | `Query_key
       | `Query_value
       | `Scheme
       | `Userinfo ]

val pct_encode : ?scheme:string -> ?component:component -> string -> string

Percent-encode a string. The scheme argument defaults to 'http' and the component argument defaults to `Path

val pct_decode : string -> string

Percent-decode a percent-encoded string

val of_string : string -> t

Parse a URI string literal into a URI structure

val to_string : t -> string

Convert a URI structure into a percent-encoded URI string

val resolve : string -> t -> t -> t

Resolve a URI against a default scheme and base URI

val query : t -> (string * string list) list

Get a query string from a URI

val encoded_of_query : ?scheme:string -> (string * string list) list -> string

Make a percent-encoded query string from percent-decoded query tuple

val query_of_encoded : string -> (string * string list) list

Parse a percent-encoded query string into a percent-decoded query tuple

val with_query : t -> (string * string list) list -> t

Replace the query URI with the supplied list. Input URI is not modified

val with_query' : t -> (string * string) list -> t

Replace the query URI with the supplied singleton query list. Input URI is not modified

val get_query_param' : t -> string -> string list option

get_query_param' q key returns the list of values for the key parameter in query q. Note that an empty list is not the same as a None return value. For a query foo, the mapping is:

/ returns None
/?foo returns Some []
/?foo= returns Some [""]
/?foo=bar returns Some ["bar"]
/?foo=bar,chi returns Some ["bar","chi"]

Query keys can be duplicated in the URI, in which case the first one is returned. If you want to resolve duplicate keys, obtain the full result set with Uri.query instead.

val get_query_param : t -> string -> string option

get_query_param q key returns the value found for a key in query q. If there are multiple values for the key, then the first one is returned/

val add_query_param : t -> string * string list -> t

Add a query parameter to the input query URI. Input URI is not modified

val add_query_param' : t -> string * string -> t

Add a query parameter to the input singleton query URI. Input URI is not modified

val add_query_params : t -> (string * string list) list -> t

Add a query parameter list to the input query URI. Input URI is not modified

val add_query_params' : t -> (string * string) list -> t

Add a query singleton parameter list to the input query URI. Input URI is not modified

val remove_query_param : t -> string -> t

Remove a query key from the input query URI. Input URI is not modified, and no error is generated if the key does not already exist in the URI.

val make : ?scheme:string ->
       ?userinfo:string ->
       ?host:string ->
       ?port:int ->
       ?path:string ->
       ?query:(string * string list) list -> ?fragment:string -> unit -> t

val path : t -> string

Get the encoded path component of a URI

val path_and_query : t -> string

Get the encoded path and query components of a URI

val with_path : t -> string -> t

Replace the path URI with the supplied encoded path. Input URI is not modified

val scheme : t -> string option

Get the scheme component of a URI

val with_scheme : t -> string option -> t

Replace the scheme portion of the URI with the supplied scheme. Input URI is not modified

val userinfo : t -> string option

Get the userinfo component of a URI

val with_userinfo : t -> string option -> t

Replace the userinfo portion of the URI with the supplied string option. Input URI is not modified

val host : t -> string option

Get the host component of a URI

val with_host : t -> string option -> t

Replace the host component of the URI. Input URI is not modified.

val host_with_default : ?default:string -> t -> string

Get the host component of a URI, with a default supplied if one is not present

val port : t -> int option

Get the port component of a URI

val with_port : t -> int option -> t

Replace the port component of the URI with the supplied port. Input URI is not modified

val fragment : t -> string option

Get the fragment component of a URI

val with_fragment : t -> string option -> t

Replace the fragment component of a URI with the supplied fragment. Input URI is not modified

val pp_hum : Format.formatter -> t -> unit

val t_of_sexp : Sexplib.Sexp.t -> t

val sexp_of_t : t -> Sexplib.Sexp.t

val component_of_sexp : Sexplib.Sexp.t -> component

val __component_of_sexp__ : Sexplib.Sexp.t -> component

val sexp_of_component : component -> Sexplib.Sexp.t

Percent-encode a string. The scheme argument defaults to 'http' and the component argument defaults to `Path

Percent-decode a percent-encoded string

Parse a URI string literal into a URI structure

Convert a URI structure into a percent-encoded URI string

Resolve a URI against a default scheme and base URI

Get a query string from a URI

Make a percent-encoded query string from percent-decoded query tuple

Parse a percent-encoded query string into a percent-decoded query tuple

Replace the query URI with the supplied list. Input URI is not modified

Replace the query URI with the supplied singleton query list. Input URI is not modified

get_query_param' q key returns the list of values for the key parameter in query q. Note that an empty list is not the same as a None return value. For a query foo, the mapping is:

/ returns None
/?foo returns Some []
/?foo= returns Some [""]
/?foo=bar returns Some ["bar"]
/?foo=bar,chi returns Some ["bar","chi"]

Query keys can be duplicated in the URI, in which case the first one is returned. If you want to resolve duplicate keys, obtain the full result set with Uri.query instead.

get_query_param q key returns the value found for a key in query q. If there are multiple values for the key, then the first one is returned/

Add a query parameter to the input query URI. Input URI is not modified

Add a query parameter to the input singleton query URI. Input URI is not modified

Add a query parameter list to the input query URI. Input URI is not modified

Add a query singleton parameter list to the input query URI. Input URI is not modified

Remove a query key from the input query URI. Input URI is not modified, and no error is generated if the key does not already exist in the URI.

Get the encoded path component of a URI

Get the encoded path and query components of a URI

Replace the path URI with the supplied encoded path. Input URI is not modified

Get the scheme component of a URI

Replace the scheme portion of the URI with the supplied scheme. Input URI is not modified

Get the userinfo component of a URI

Replace the userinfo portion of the URI with the supplied string option. Input URI is not modified

Get the host component of a URI

Replace the host component of the URI. Input URI is not modified.

Get the host component of a URI, with a default supplied if one is not present

Get the port component of a URI

Replace the port component of the URI with the supplied port. Input URI is not modified

Get the fragment component of a URI

Replace the fragment component of a URI with the supplied fragment. Input URI is not modified