structure Std.Time.Database.TZdb : Type

Represents a Time Zone Database (TZdb) configuration with paths to local and general timezone data.

• localPath : System.FilePath

  The path to the local timezone file. This is typically a symlink to a file within the timezone database that corresponds to the current local time zone.

• zonesPaths : Array System.FilePath

  All the possible paths to the directories containing all available time zone files. These files define various time zones and their rules.

@[inline]

def Std.Time.Database.TZdb.default : TZdb

Returns a default TZdb instance with common timezone data paths for most Linux distributions and macOS.

Equations

• Std.Time.Database.TZdb.default = { }

def Std.Time.Database.TZdb.parseTZif (bin : ByteArray) (id : String) : Except String TimeZone.ZoneRules

Parses binary timezone data into zone rules based on a given timezone ID.

Equations

• Std.Time.Database.TZdb.parseTZif bin id = do let database ← Std.Time.TimeZone.TZif.parse.run bin Std.Time.TimeZone.convertTZif database id

def Std.Time.Database.TZdb.parseTZIfFromDisk (path : System.FilePath) (id : String) : IO TimeZone.ZoneRules

Reads a TZif file from disk and retrieves the zone rules for the specified timezone ID.

Equations

• One or more equations did not get rendered due to their size.

def Std.Time.Database.TZdb.idFromPath (path : System.FilePath) : Option String

Extracts a timezone ID from a file path.

Equations

• One or more equations did not get rendered due to their size.

def Std.Time.Database.TZdb.localRules (path : System.FilePath) : IO TimeZone.ZoneRules

Retrieves the timezone rules from the local timezone data file.

Equations

• One or more equations did not get rendered due to their size.

def Std.Time.Database.TZdb.readRulesFromDisk (path : System.FilePath) (id : String) : IO TimeZone.ZoneRules

Reads timezone rules from disk based on the provided file path and timezone ID.

Equations

• Std.Time.Database.TZdb.readRulesFromDisk path id = Std.Time.Database.TZdb.parseTZIfFromDisk (path.join { toString := id }) id

instance Std.Time.Database.TZdb.inst : Time.Database TZdb

Equations

• One or more equations did not get rendered due to their size.