
  0 | module IotaTime.TimeZone.Error
  1 | 
  2 | import IotaTime.TimeZone.Core
  3 | import IotaTime.Tzdb.Posix
  4 | import IotaTime.Tzdb.Tzif
  5 | import IotaTime.Tzdb.Windows.Types
  6 | 
  7 | %default total
  8 | 
  9 | public export
 10 | data TzdbError
 11 |   = TzdbFileError String
 12 |   | TzdbParseError TzifError
 13 |   | TzdbPosixError PosixTzError
 14 |   | TzdbZoneError TimeZoneError
 15 |   | TzdbWindowsError WindowsRegistryError
 16 |   | WindowsRegistrySourceError String
 17 |   | WindowsZoneNotFound String
 18 |   | InvalidZoneName String
 19 |   | UnsupportedPlatform String
 20 |