def Std.Time.Database.defaultGetZoneRules : String → IO TimeZone.ZoneRules

Gets the zone rules for a specific time zone identifier, handling Windows and non-Windows platforms. In windows it uses the current icu.h in Windows SDK. If it's linux or macos then it will use the tzdata files.

Equations

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

def Std.Time.Database.defaultGetLocalZoneRules : IO TimeZone.ZoneRules

Gets the local zone rules, accounting for platform differences. In windows it uses the current icu.h in Windows SDK. If it's linux or macos then it will use the tzdata files.

Equations

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