IRIToURI

[Source]

Convert an IRI to a URI by percent-encoding all non-ASCII bytes.

Each component is processed byte-by-byte: bytes >= 0x80 become %HH, existing %XX triplets pass through unchanged, and ASCII bytes pass through unchanged. The scheme component is always ASCII per RFC 3986 and is passed through without modification.

Always succeeds — any byte sequence is valid input.

primitive val IRIToURI

Constructors

create

[Source]

new val create()
: IRIToURI val^

Returns

• IRIToURI val^

---

Public Functions

apply

[Source]

fun box apply(
  iri: URI val)
: URI val

Parameters

• iri: URI val

Returns

• URI val

---

eq

[Source]

fun box eq(
  that: IRIToURI val)
: Bool val

Parameters

• that: IRIToURI val

Returns

• Bool val

---

ne

[Source]

fun box ne(
  that: IRIToURI val)
: Bool val

Parameters

• that: IRIToURI val

Returns

• Bool val

---