IotaTime.Tzdb

Definitions

unixTimeZoneProvider : TimeZoneProviderRep

  The built-in Unix filesystem provider.

Totality: total
Visibility: export

systemTimeZoneProvider : TimeZoneProviderRep

  The provider selected for the current operating system.

Totality: total
Visibility: export

windowsSnapshotTimeZoneProvider : IO (Either TzdbError TimeZoneProviderRep)

  Read the native Windows registry once and return a provider backed by that
  immutable snapshot. Construct another provider to observe registry changes.
  On non-Windows hosts this returns `UnsupportedPlatform` through the native
  registry source.

Totality: total
Visibility: export

utcWith : TimeZoneProviderRep -> IO (Either TzdbError TimeZone)

  Load UTC through an explicit platform provider.

Totality: total
Visibility: export

timeZoneWith : TimeZoneProviderRep -> String -> IO (Either TzdbError TimeZone)

  Load a named zone through an explicit platform provider.

Totality: total
Visibility: export

localZoneWith : TimeZoneProviderRep -> IO (Either TzdbError TimeZone)

  Load the local zone through an explicit platform provider.

Totality: total
Visibility: export

availableZonesWith : TimeZoneProviderRep -> IO (Either TzdbError (List String))

  Enumerate zones through an explicit platform provider.

Totality: total
Visibility: export

metadataWith : TimeZoneProviderRep -> IO (Either TzdbError TzdbMetadata)

  Query version and identifier metadata through an explicit provider.

Totality: total
Visibility: export

loadSystemUtc : IO (Either TzdbError TimeZone)

  Load UTC from the platform TZDB.

Totality: total
Visibility: export

loadSystemTimeZone : String -> IO (Either TzdbError TimeZone)

  Load a named zone from the platform TZDB.

Totality: total
Visibility: export

loadSystemLocalZone : IO (Either TzdbError TimeZone)

  Load the locally configured platform zone.

Totality: total
Visibility: export

loadSystemAvailableZones : IO (Either TzdbError (List String))

  List every zone available through the platform provider.

Totality: total
Visibility: export

metadata : IO (Either TzdbError TzdbMetadata)

  Query version, aliases, and Windows/IANA mappings from the platform
  provider.

Totality: total
Visibility: export