IotaTime.Tzdb.Windows.Platform

Definitions

record WindowsRegistrySource : Type

  Native Windows adapters provide one atomic registry snapshot containing
  both the available zones and locally configured Windows zone identifier.

Totality: total
Visibility: export
Constructor: 

MkWindowsRegistrySource : IO (Either String WindowsRegistrySnapshot) -> WindowsRegistrySource

Projection: 

.sourceRegistrySnapshot : WindowsRegistrySource -> IO (Either String WindowsRegistrySnapshot)

windowsRegistrySource : IO (Either String WindowsRegistrySnapshot) -> WindowsRegistrySource

Totality: total
Visibility: export

windowsRegistryTimeZoneProvider : WindowsRegistrySource -> TimeZoneProviderRep

  Build a provider around a Windows registry reader.

Totality: total
Visibility: export

windowsRegistrySnapshotProvider : WindowsRegistrySource -> IO (Either TzdbError TimeZoneProviderRep)

  Read a registry source once and return a provider with a consistent,
  immutable view of its zones and local-zone identifier.

Totality: total
Visibility: export

windowsNativeRegistrySource : WindowsRegistrySource

  Registry source backed by Win32 registry APIs through the native FFI.

Totality: total
Visibility: export