Punycode

Decoding

decode : String -> String

Decodes a Punycode-encoded string into Unicode.

Attempts to follow RFC 3492.

import Punycode


Punycode.decode "bcher-kva" == "bücher"

decodeIdn : String -> String

Decodes an internationalized domain name into Unicode.

Attempts to follow RFC 3492 using the xn-- ACE prefix for each encoded part.

import Punycode


Punycode.decodeIdn "www.xn--bcher-kva.example" == "www.bücher.example"

encode : String -> String

Encodes a Unicode string into Punycode.

Attempts to follow RFC 3492.

import Punycode


Punycode.encode "bücher" == "bcher-kva"

encodeIdn : String -> String

Encodes an internationalized domain name into Punycode.

Attempts to follow RFC 3492 using the xn-- ACE prefix for each encoded part.

import Punycode


Punycode.encodeIdn "www.bücher.example" == "www.xn--bcher-kva.example"