Documentation

Std.Time.Zoned.Database

source
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
    Instances For
      source
      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
        Instances For