IotaTime.Tzdb.Windows

Definitions

parseWindowsRegistrySnapshot : String -> Either WindowsRegistryProtocolError WindowsRegistrySnapshot

  Parse the strict protocol produced by the Windows command adapter.

Totality: total
Visibility: public export

parseWindowsTzi : String -> String -> List Bits8 -> Either WindowsZoneError WindowsZoneRule

  Decode a binary Windows REG_TZI_FORMAT value. Display names are stored in
  separate registry values and are supplied explicitly.

Totality: total
Visibility: public export

windowsRecurringTimeZone : String -> TransitionInfo -> List (Instant, TransitionInfo) -> WindowsZoneRule -> Either WindowsTimeZoneError TimeZone

  Validate Windows TZI data and construct an invariant-preserving zone.

Totality: total
Visibility: public export

windowsTimeZone : String -> WindowsZoneRule -> Either WindowsTimeZoneError TimeZone

  Validate a complete Windows TZI value. Month-zero transition dates describe
  a fixed standard-offset zone; paired nonzero dates describe recurrence.

Totality: total
Visibility: public export

windowsDynamicTimeZone : String -> WindowsZoneRule -> List WindowsDynamicRule -> Either WindowsTimeZoneError TimeZone

  Construct a zone from Windows Dynamic DST values. When values are present,
  the first applies without a lower bound and the last remains in force.

Totality: total
Visibility: public export

windowsRegistryTimeZoneAs : String -> WindowsRegistryZone -> Either WindowsRegistryError TimeZone

  Convert registry bytes captured by a native adapter into a validated zone.

Totality: total
Visibility: public export

windowsRegistryTimeZone : WindowsRegistryZone -> Either WindowsRegistryError TimeZone

  Convert registry bytes using the Windows registry identifier as zone
  identity.

Totality: total
Visibility: public export