IotaTime.TimeZone.Error

Definitions

data TzdbError : Type

Totality: total
Visibility: public export
Constructors:

TzdbFileError : String -> TzdbError

TzdbParseError : TzifError -> TzdbError

TzdbPosixError : PosixTzError -> TzdbError

TzdbZoneError : TimeZoneError -> TzdbError

TzdbWindowsError : WindowsRegistryError -> TzdbError

WindowsRegistrySourceError : String -> TzdbError

WindowsZoneNotFound : String -> TzdbError

InvalidZoneName : String -> TzdbError

UnsupportedPlatform : String -> TzdbError