@[inline]

def System.Uri.UriEscape.zero : UInt8

@[inline]

def System.Uri.UriEscape.nine : UInt8

@[inline]

def System.Uri.UriEscape.lettera : UInt8

@[inline]

def System.Uri.UriEscape.letterf : UInt8

@[inline]

def System.Uri.UriEscape.letterA : UInt8

@[inline]

def System.Uri.UriEscape.letterF : UInt8

def System.Uri.UriEscape.decodeUri (uri : String) : String

Decode %HH escapings in the given string. Note that sometimes a consecutive sequence of multiple escapings can represent a utf-8 encoded sequence for a single unicode code point and these will also be decoded correctly.

def System.Uri.UriEscape.decodeUri.hexDigitToUInt8? (c : UInt8) : Option UInt8

def System.Uri.UriEscape.rfc3986ReservedChars : List Char

def System.Uri.UriEscape.uriEscapeAsciiChar (c : Char) : String

def System.Uri.UriEscape.uriEscapeAsciiChar.uInt8ToHex (c : UInt8) : String

def System.Uri.escapeUri (uri : String) : String

Replaces special characters in the given Uri with %HH Uri escapings.

def System.Uri.unescapeUri (s : String) : String

Replaces all %HH Uri escapings in the given string with their corresponding unicode code points. Note that sometimes a consecutive sequence of multiple escapings can represent a utf-8 encoded sequence for a single unicode code point and these will also be decoded correctly.

def System.Uri.pathToUri (fname : FilePath) : String

Convert the given FilePath to a "file:///encodedpath" Uri.

def System.Uri.fileUriToPath? (uri : String) : Option FilePath

Convert the given uri to a FilePath stripping the 'file://' prefix, ignoring the optional host name.