module Rdf_uri: sig
.. end
URIs.
type
uri
URIs are abstract.
Do not compare with generic comparison
functions (
Pervasives.compare
, (=), ...) as it contains
functional values. Use
Rdf_uri.equal
or
Rdf_uri.compare
.
val string : uri -> string
Create a string from a URI.
val uri : string -> uri
Create a URI from a string.
val concat : uri -> string -> uri
Add the given string to the path of the given URI, using '/' as separator.
val parent : uri -> uri
Return a new URI with the path modified to parent path of the original URI.
val set_fragment : uri -> string -> uri
Modify the fragment part of the URI.
val path : uri -> string list
Get the path part of the URI.
val compare : uri -> uri -> int
Comparison of two URIs, as usual.
val equal : uri -> uri -> bool
Equality over URIs.
val neturl : uri -> Neturl.url
Get a Neturl.url
from the given URI. (Neturl.url
is the underlying represention of URIs).
val of_neturl : Neturl.url -> uri
module Urimap: Map.S
with type key = uri