Datetime Module
The datetime module provides Unix timestamp utilities, calendar field extraction, formatting, and blocking sleep helpers.
Import
Time Retrieval
datetime.now() returns result<int, string>datetime.now_millis() returns result<int, string>
now() returns seconds since Unix epoch in UTC. now_millis() returns milliseconds since Unix epoch in UTC.
Calendar Fields
datetime.year(int ts) returns result<int, string>datetime.month(int ts) returns result<int, string>datetime.day(int ts) returns result<int, string>datetime.hour(int ts) returns result<int, string>datetime.minute(int ts) returns result<int, string>datetime.second(int ts) returns result<int, string>datetime.weekday(int ts) returns result<int, string>where0 = Sunday ... 6 = Saturday
Formatting
datetime.format(int ts, string pattern) returns result<string, string>for UTC outputdatetime.format_local(int ts, string pattern) returns result<string, string>for local timezone output
Format patterns use chrono strftime tokens:
%Afull weekday name%aabbreviated weekday name%Bfull month name%babbreviated month name%Y-%m-%d %H:%M:%Sdate and time
Sleep
datetime.sleep(int seconds) returns result<void, string>datetime.sleep_millis(int milliseconds) returns result<void, string>
Both functions block at the call site and return err for negative durations.