NormalizeIRI

[Source]

Normalize an IRI per RFC 3987 section 5.3.

Applies NormalizeURI (RFC 3986 section 6 syntax-based and scheme-based normalization), then converts the result to IRI form with URIToIRI to decode ucschar sequences back to literal UTF-8.

NFC normalization is not applied — input is assumed to be NFC-normalized already (RFC 3987 section 5.3.2.4).

Returns InvalidPercentEncoding if any component contains a malformed percent-encoded sequence.

primitive val NormalizeIRI

Constructors

create

[Source]

new val create()
: NormalizeIRI val^

Returns

• NormalizeIRI val^

---

Public Functions

apply

[Source]

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

Parameters

• iri: URI val

Returns

• (URI val | InvalidPercentEncoding val)

---

eq

[Source]

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

Parameters

• that: NormalizeIRI val

Returns

• Bool val

---

ne

[Source]

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

Parameters

• that: NormalizeIRI val

Returns

• Bool val

---