TimeZone

The TimeZone module provides a wrapper type for timezone identifiers, offering type safety over raw string-based timezone operations. It also defines the DateTimeError type for date/time parsing errors.

import Timezone

# Create a TimeZone from a string identifier
tz = TimeZone{id: "America/New_York"}
utc = TimeZone{id: "UTC"}
local = TimeZone{id: Time.local-timezone}

TimeZone Type

# Access the timezone id for use with Time.* builtins
tz = TimeZone{id: "Europe/London"}
match tz
  | TimeZone{id} ->
    offset = Time.utc-offset id timestamp
    is-dst = Time.is-dst? id timestamp
    formatted = Time.format-in timestamp id "%Y-%m-%d"

Trait Implementations

TimeZone implements the following traits:

• Show — Displays as TimeZone(America/New_York)
• Eq — Two timezones are equal if their ids match

Common Timezone Identifiers

Timezone identifiers follow the IANA Time Zone Database format:

Use Time.local-timezone to get the system's local timezone, and Time.list-timezones to list all available timezones.

DateTimeError

Error type for date/time parsing and validation operations.

Example Usage

match DateTime.parse "2024-01-15" "%Y-%m-%d"
  | Ok dt -> process dt
  | Err InvalidFormat{input, format} -> println "Bad format: ${input}"
  | Err OutOfRange{field, value, min, max} -> println "${field} out of range"
  | Err InvalidTimezone{timezone} -> println "Unknown timezone: ${timezone}"
  | Err DateTimeError{message} -> println "Error: ${message}"

Trait Implementations

DateTimeError implements:

• Show — Human-readable error description
• Error — Standard error interface with message and kind