Encoding

Tova provides functions for encoding and decoding data in common formats.

Base64

base64_encode

base64Encode(s) -> String

Encodes a string to Base64. Handles Unicode correctly.

base64Encode("hello")           // "aGVsbG8="
base64Encode("Hello, World!")   // "SGVsbG8sIFdvcmxkIQ=="

base64_decode

base64Decode(s) -> String

Decodes a Base64 string back to the original string.

base64Decode("aGVsbG8=")       // "hello"
base64Decode("SGVsbG8sIFdvcmxkIQ==")  // "Hello, World!"

// Round-trip
original = "Tova is great!"
encoded = base64Encode(original)
decoded = base64Decode(encoded)
assertEq(decoded, original)

---

URL Encoding

url_encode

urlEncode(s) -> String

Encodes a string for safe use in URLs. Special characters are percent-encoded.

urlEncode("hello world")       // "hello%20world"
urlEncode("a=1&b=2")           // "a%3D1%26b%3D2"
urlEncode("cafe")               // "cafe"

url_decode

urlDecode(s) -> String

Decodes a URL-encoded string.

urlDecode("hello%20world")     // "hello world"
urlDecode("a%3D1%26b%3D2")     // "a=1&b=2"

// Build a query string
params = [["q", "tova lang"], ["page", "1"]]
query = params
  |> map(fn(pair) "{urlEncode(pair[0])}={urlEncode(pair[1])}")
  |> join("&")
// "q=tova%20lang&page=1"

---

Hex Encoding

hex_encode

hexEncode(s) -> String

Encodes a string to hexadecimal (each character to its 2-digit hex code).

hexEncode("hello")          // "68656c6c6f"
hexEncode("AB")             // "4142"

hex_decode

hexDecode(s) -> String

Decodes a hexadecimal string back to the original string.

hexDecode("68656c6c6f")    // "hello"
hexDecode("4142")           // "AB"

// Round-trip
original = "Tova"
encoded = hexEncode(original)
decoded = hexDecode(encoded)
assertEq(decoded, original)