kairos-core-0.1: A utility program for converting between timezones.
Safe HaskellNone
LanguageHaskell2010

Kairos

Description

This module provides functions for reading time strings. We also provide functions for converting between timezones.

Since: 0.1

Synopsis

High-level parsing/conversion

readConvertTime Source #

Arguments

:: (HasCallStack, MonadCatch m, MonadTime m) 
=> Maybe TimeReader

Source time.

-> Maybe TZInput

Dest timezone.

-> m ZonedTime

Converted time.

Reads the given time string based on the source TimeReader and converts to the destination timezone. This is the composition of readTime and convertTime. If the source is Nothing then we read the local system time. Similarly, if the dest is Nothing, we convert to the local system timezone.

Throws:

Since: 0.1

readTime Source #

Arguments

:: (HasCallStack, MonadCatch m, MonadTime m) 
=> Maybe TimeReader

Optional time reader.

-> m ZonedTime

Read time.

Reads a time based on the TimeReader. If given Nothing we read the local system time instead.

Throws:

Since: 0.1

convertTime Source #

Arguments

:: (HasCallStack, MonadCatch m, MonadTime m) 
=> ZonedTime

Time to convert.

-> Maybe TZInput

Optional destination timezone.

-> m ZonedTime

Converted time.

Converts the given time to the destination timezone. If no destination timezone is given then we convert to the local system timezone.

Throws:

Since: 0.1

Low-level functions

Parsing time strings

readTimeFormatM Source #

Arguments

:: forall t m. (HasCallStack, MonadThrow m, ParseTime t) 
=> NonEmpty TimeFormat

Formats.

-> Text

Text to parse.

-> m t 

readTimeFormatM that throws ParseTimeException.

Since: 0.1

readTimeFormat :: ParseTime t => NonEmpty TimeFormat -> Text -> Maybe t Source #

readTimeFormat locale format timeStr attempts to parse the timeStr given the expected format. No timezone is assumed, so if it is left off then the result is UTC.

Since: 0.1

Converting ZonedTime

convertZoned :: ZonedTime -> TZInput -> ZonedTime Source #

Converts a zoned time to the given timezone.

Since: 0.1

convertLocalToZoned :: LocalTime -> TZInput -> ZonedTime Source #

Converts a local time to the given timezone.

Since: 0.1

Types

data Date where Source #

Represents a date string in the format YYYY-MM-DD.

Since: 0.1

Bundled Patterns

pattern MkDateString :: Text -> Date

Since: 0.1

Instances

Instances details
NFData Date Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

rnf :: Date -> () #

Generic Date Source # 
Instance details

Defined in Kairos.Types.Date.Internal

Associated Types

type Rep Date

Since: kairos-core-0.1

Instance details

Defined in Kairos.Types.Date.Internal

type Rep Date = D1 ('MetaData "Date" "Kairos.Types.Date.Internal" "kairos-core-0.1-inplace" 'False) (C1 ('MetaCons "UnsafeDate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word16) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word8))))

Methods

from :: Date -> Rep Date x #

to :: Rep Date x -> Date #

Show Date Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

showsPrec :: Int -> Date -> ShowS #

show :: Date -> String #

showList :: [Date] -> ShowS #

Eq Date Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

(==) :: Date -> Date -> Bool #

(/=) :: Date -> Date -> Bool #

HasField "day" Date Word8 Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

getField :: Date -> Word8 #

HasField "month" Date Word8 Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

getField :: Date -> Word8 #

HasField "unDateString" Date Text Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

getField :: Date -> Text #

HasField "year" Date Word16 Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

getField :: Date -> Word16 #

(k ~ A_Getter, a ~ Word8, b ~ Word8) => LabelOptic "day" k Date Date a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

labelOptic :: Optic k NoIx Date Date a b Source #

(k ~ A_Getter, a ~ Word8, b ~ Word8) => LabelOptic "month" k Date Date a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

labelOptic :: Optic k NoIx Date Date a b Source #

(k ~ A_Getter, a ~ (Word16, Word8, Word8), b ~ (Word16, Word8, Word8)) => LabelOptic "unDate" k Date Date a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

labelOptic :: Optic k NoIx Date Date a b Source #

(k ~ A_Getter, a ~ Text, b ~ Text) => LabelOptic "unDateString" k Date Date a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

labelOptic :: Optic k NoIx Date Date a b Source #

(k ~ A_Getter, a ~ Word16, b ~ Word16) => LabelOptic "year" k Date Date a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

labelOptic :: Optic k NoIx Date Date a b Source #

HasField "unDate" Date (Word16, Word8, Word8) Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

getField :: Date -> (Word16, Word8, Word8) #

type Rep Date Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

type Rep Date = D1 ('MetaData "Date" "Kairos.Types.Date.Internal" "kairos-core-0.1-inplace" 'False) (C1 ('MetaCons "UnsafeDate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word16) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word8))))

newtype TimeFormat Source #

Time formatting string. The Monoid instance behaves like Text.

Since: 0.1

Constructors

MkTimeFormat 

Fields

Instances

Instances details
NFData TimeFormat Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeFormat

Methods

rnf :: TimeFormat -> () #

Monoid TimeFormat Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeFormat

Methods

mempty :: TimeFormat #

mappend :: TimeFormat -> TimeFormat -> TimeFormat #

mconcat :: [TimeFormat] -> TimeFormat #

Semigroup TimeFormat Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeFormat

Methods

(<>) :: TimeFormat -> TimeFormat -> TimeFormat #

sconcat :: NonEmpty TimeFormat -> TimeFormat #

stimes :: Integral b => b -> TimeFormat -> TimeFormat #

IsString TimeFormat Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeFormat

Methods

fromString :: String -> TimeFormat #

Generic TimeFormat Source # 
Instance details

Defined in Kairos.Types.TimeFormat

Associated Types

type Rep TimeFormat

Since: kairos-core-0.1

Instance details

Defined in Kairos.Types.TimeFormat

type Rep TimeFormat = D1 ('MetaData "TimeFormat" "Kairos.Types.TimeFormat" "kairos-core-0.1-inplace" 'True) (C1 ('MetaCons "MkTimeFormat" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTimeFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: TimeFormat -> Rep TimeFormat x #

to :: Rep TimeFormat x -> TimeFormat #

Show TimeFormat Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeFormat

Methods

showsPrec :: Int -> TimeFormat -> ShowS #

show :: TimeFormat -> String #

showList :: [TimeFormat] -> ShowS #

Eq TimeFormat Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeFormat

Methods

(==) :: TimeFormat -> TimeFormat -> Bool #

(/=) :: TimeFormat -> TimeFormat -> Bool #

(k ~ An_Iso, a ~ Text, b ~ Text) => LabelOptic "unTimeFormat" k TimeFormat TimeFormat a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeFormat

Methods

labelOptic :: Optic k NoIx TimeFormat TimeFormat a b Source #

type Rep TimeFormat Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeFormat

type Rep TimeFormat = D1 ('MetaData "TimeFormat" "Kairos.Types.TimeFormat" "kairos-core-0.1-inplace" 'True) (C1 ('MetaCons "MkTimeFormat" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTimeFormat") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data TimeReader Source #

Determines how to read a time string.

Since: 0.1

Constructors

MkTimeReader 

Fields

  • formats :: NonEmpty TimeFormat

    Format(s) used when parsing the time string. This should not include timezone formatting e.g. %Z. Use srcTZ instead. It should also not include date information. Use date instead.

    The formats are tried in order.

    Since: 0.1

  • srcTZ :: Maybe TZInput

    Timezone in which to read the string. Nothing corresponds to local timezone.

    Since: 0.1

  • date :: Maybe Date

    Date corresponding to the timeString. If Nothing, uses the current date, determined by the source.

    Since: 0.1

  • timeString :: Text

    The time string to parse. This should not include a timezone e.g. EST. Use srcTZ instead.

    Since: 0.1

Instances

Instances details
NFData TimeReader Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeReader

Methods

rnf :: TimeReader -> () #

Generic TimeReader Source # 
Instance details

Defined in Kairos.Types.TimeReader

Associated Types

type Rep TimeReader

Since: kairos-core-0.1

Instance details

Defined in Kairos.Types.TimeReader

type Rep TimeReader = D1 ('MetaData "TimeReader" "Kairos.Types.TimeReader" "kairos-core-0.1-inplace" 'False) (C1 ('MetaCons "MkTimeReader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "formats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty TimeFormat)) :*: S1 ('MetaSel ('Just "srcTZ") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe TZInput))) :*: (S1 ('MetaSel ('Just "date") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Date)) :*: S1 ('MetaSel ('Just "timeString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

Methods

from :: TimeReader -> Rep TimeReader x #

to :: Rep TimeReader x -> TimeReader #

Show TimeReader Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeReader

Methods

showsPrec :: Int -> TimeReader -> ShowS #

show :: TimeReader -> String #

showList :: [TimeReader] -> ShowS #

Eq TimeReader Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeReader

Methods

(==) :: TimeReader -> TimeReader -> Bool #

(/=) :: TimeReader -> TimeReader -> Bool #

(k ~ A_Lens, a ~ Maybe Date, b ~ Maybe Date) => LabelOptic "date" k TimeReader TimeReader a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeReader

Methods

labelOptic :: Optic k NoIx TimeReader TimeReader a b Source #

(k ~ A_Lens, a ~ NonEmpty TimeFormat, b ~ NonEmpty TimeFormat) => LabelOptic "formats" k TimeReader TimeReader a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeReader

Methods

labelOptic :: Optic k NoIx TimeReader TimeReader a b Source #

(k ~ A_Lens, a ~ Maybe TZInput, b ~ Maybe TZInput) => LabelOptic "srcTZ" k TimeReader TimeReader a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeReader

Methods

labelOptic :: Optic k NoIx TimeReader TimeReader a b Source #

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "timeString" k TimeReader TimeReader a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeReader

Methods

labelOptic :: Optic k NoIx TimeReader TimeReader a b Source #

type Rep TimeReader Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TimeReader

type Rep TimeReader = D1 ('MetaData "TimeReader" "Kairos.Types.TimeReader" "kairos-core-0.1-inplace" 'False) (C1 ('MetaCons "MkTimeReader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "formats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty TimeFormat)) :*: S1 ('MetaSel ('Just "srcTZ") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe TZInput))) :*: (S1 ('MetaSel ('Just "date") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Date)) :*: S1 ('MetaSel ('Just "timeString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

data TZInput Source #

Timezone input.

Constructors

TZDatabase TZLabel

TZ database label like America/New_York.

TZActual TimeZone

Actual timezone.

Instances

Instances details
NFData TZInput Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TZInput

Methods

rnf :: TZInput -> () #

Generic TZInput Source # 
Instance details

Defined in Kairos.Types.TZInput

Associated Types

type Rep TZInput

Since: kairos-core-0.1

Instance details

Defined in Kairos.Types.TZInput

type Rep TZInput = D1 ('MetaData "TZInput" "Kairos.Types.TZInput" "kairos-core-0.1-inplace" 'False) (C1 ('MetaCons "TZDatabase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TZLabel)) :+: C1 ('MetaCons "TZActual" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TimeZone)))

Methods

from :: TZInput -> Rep TZInput x #

to :: Rep TZInput x -> TZInput #

Show TZInput Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TZInput

Methods

showsPrec :: Int -> TZInput -> ShowS #

show :: TZInput -> String #

showList :: [TZInput] -> ShowS #

Eq TZInput Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TZInput

Methods

(==) :: TZInput -> TZInput -> Bool #

(/=) :: TZInput -> TZInput -> Bool #

type Rep TZInput Source #

Since: 0.1

Instance details

Defined in Kairos.Types.TZInput

type Rep TZInput = D1 ('MetaData "TZInput" "Kairos.Types.TZInput" "kairos-core-0.1-inplace" 'False) (C1 ('MetaCons "TZDatabase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TZLabel)) :+: C1 ('MetaCons "TZActual" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TimeZone)))

Re-exports

data TZLabel Source #

Enumeration of time zone locations.

Constructors

Africa__Abidjan 
Africa__Accra 
Africa__Addis_Ababa 
Africa__Algiers 
Africa__Asmara 
Africa__Asmera 
Africa__Bamako 
Africa__Bangui 
Africa__Banjul 
Africa__Bissau 
Africa__Blantyre 
Africa__Brazzaville 
Africa__Bujumbura 
Africa__Cairo 
Africa__Casablanca 
Africa__Ceuta 
Africa__Conakry 
Africa__Dakar 
Africa__Dar_es_Salaam 
Africa__Djibouti 
Africa__Douala 
Africa__El_Aaiun 
Africa__Freetown 
Africa__Gaborone 
Africa__Harare 
Africa__Johannesburg 
Africa__Juba 
Africa__Kampala 
Africa__Khartoum 
Africa__Kigali 
Africa__Kinshasa 
Africa__Lagos 
Africa__Libreville 
Africa__Lome 
Africa__Luanda 
Africa__Lubumbashi 
Africa__Lusaka 
Africa__Malabo 
Africa__Maputo 
Africa__Maseru 
Africa__Mbabane 
Africa__Mogadishu 
Africa__Monrovia 
Africa__Nairobi 
Africa__Ndjamena 
Africa__Niamey 
Africa__Nouakchott 
Africa__Ouagadougou 
Africa__Porto_Novo 
Africa__Sao_Tome 
Africa__Timbuktu 
Africa__Tripoli 
Africa__Tunis 
Africa__Windhoek 
America__Adak 
America__Anchorage 
America__Anguilla 
America__Antigua 
America__Araguaina 
America__Argentina__Buenos_Aires 
America__Argentina__Catamarca 
America__Argentina__ComodRivadavia 
America__Argentina__Cordoba 
America__Argentina__Jujuy 
America__Argentina__La_Rioja 
America__Argentina__Mendoza 
America__Argentina__Rio_Gallegos 
America__Argentina__Salta 
America__Argentina__San_Juan 
America__Argentina__San_Luis 
America__Argentina__Tucuman 
America__Argentina__Ushuaia 
America__Aruba 
America__Asuncion 
America__Atikokan 
America__Atka 
America__Bahia 
America__Bahia_Banderas 
America__Barbados 
America__Belem 
America__Belize 
America__Blanc_Sablon 
America__Boa_Vista 
America__Bogota 
America__Boise 
America__Buenos_Aires 
America__Cambridge_Bay 
America__Campo_Grande 
America__Cancun 
America__Caracas 
America__Catamarca 
America__Cayenne 
America__Cayman 
America__Chicago 
America__Chihuahua 
America__Ciudad_Juarez 
America__Coral_Harbour 
America__Cordoba 
America__Costa_Rica 
America__Creston 
America__Cuiaba 
America__Curacao 
America__Danmarkshavn 
America__Dawson 
America__Dawson_Creek 
America__Denver 
America__Detroit 
America__Dominica 
America__Edmonton 
America__Eirunepe 
America__El_Salvador 
America__Ensenada 
America__Fort_Nelson 
America__Fort_Wayne 
America__Fortaleza 
America__Glace_Bay 
America__Godthab 
America__Goose_Bay 
America__Grand_Turk 
America__Grenada 
America__Guadeloupe 
America__Guatemala 
America__Guayaquil 
America__Guyana 
America__Halifax 
America__Havana 
America__Hermosillo 
America__Indiana__Indianapolis 
America__Indiana__Knox 
America__Indiana__Marengo 
America__Indiana__Petersburg 
America__Indiana__Tell_City 
America__Indiana__Vevay 
America__Indiana__Vincennes 
America__Indiana__Winamac 
America__Indianapolis 
America__Inuvik 
America__Iqaluit 
America__Jamaica 
America__Jujuy 
America__Juneau 
America__Kentucky__Louisville 
America__Kentucky__Monticello 
America__Knox_IN 
America__Kralendijk 
America__La_Paz 
America__Lima 
America__Los_Angeles 
America__Louisville 
America__Lower_Princes 
America__Maceio 
America__Managua 
America__Manaus 
America__Marigot 
America__Martinique 
America__Matamoros 
America__Mazatlan 
America__Mendoza 
America__Menominee 
America__Merida 
America__Metlakatla 
America__Mexico_City 
America__Miquelon 
America__Moncton 
America__Monterrey 
America__Montevideo 
America__Montreal 
America__Montserrat 
America__Nassau 
America__New_York 
America__Nipigon 
America__Nome 
America__Noronha 
America__North_Dakota__Beulah 
America__North_Dakota__Center 
America__North_Dakota__New_Salem 
America__Nuuk 
America__Ojinaga 
America__Panama 
America__Pangnirtung 
America__Paramaribo 
America__Phoenix 
America__Port_au_Prince 
America__Port_of_Spain 
America__Porto_Acre 
America__Porto_Velho 
America__Puerto_Rico 
America__Punta_Arenas 
America__Rainy_River 
America__Rankin_Inlet 
America__Recife 
America__Regina 
America__Resolute 
America__Rio_Branco 
America__Rosario 
America__Santa_Isabel 
America__Santarem 
America__Santiago 
America__Santo_Domingo 
America__Sao_Paulo 
America__Scoresbysund 
America__Shiprock 
America__Sitka 
America__St_Barthelemy 
America__St_Johns 
America__St_Kitts 
America__St_Lucia 
America__St_Thomas 
America__St_Vincent 
America__Swift_Current 
America__Tegucigalpa 
America__Thule 
America__Thunder_Bay 
America__Tijuana 
America__Toronto 
America__Tortola 
America__Vancouver 
America__Virgin 
America__Whitehorse 
America__Winnipeg 
America__Yakutat 
America__Yellowknife 
Antarctica__Casey 
Antarctica__Davis 
Antarctica__DumontDUrville 
Antarctica__Macquarie 
Antarctica__Mawson 
Antarctica__McMurdo 
Antarctica__Palmer 
Antarctica__Rothera 
Antarctica__South_Pole 
Antarctica__Syowa 
Antarctica__Troll 
Antarctica__Vostok 
Arctic__Longyearbyen 
Asia__Aden 
Asia__Almaty 
Asia__Amman 
Asia__Anadyr 
Asia__Aqtau 
Asia__Aqtobe 
Asia__Ashgabat 
Asia__Ashkhabad 
Asia__Atyrau 
Asia__Baghdad 
Asia__Bahrain 
Asia__Baku 
Asia__Bangkok 
Asia__Barnaul 
Asia__Beirut 
Asia__Bishkek 
Asia__Brunei 
Asia__Calcutta 
Asia__Chita 
Asia__Choibalsan 
Asia__Chongqing 
Asia__Chungking 
Asia__Colombo 
Asia__Dacca 
Asia__Damascus 
Asia__Dhaka 
Asia__Dili 
Asia__Dubai 
Asia__Dushanbe 
Asia__Famagusta 
Asia__Gaza 
Asia__Harbin 
Asia__Hebron 
Asia__Ho_Chi_Minh 
Asia__Hong_Kong 
Asia__Hovd 
Asia__Irkutsk 
Asia__Istanbul 
Asia__Jakarta 
Asia__Jayapura 
Asia__Jerusalem 
Asia__Kabul 
Asia__Kamchatka 
Asia__Karachi 
Asia__Kashgar 
Asia__Kathmandu 
Asia__Katmandu 
Asia__Khandyga 
Asia__Kolkata 
Asia__Krasnoyarsk 
Asia__Kuala_Lumpur 
Asia__Kuching 
Asia__Kuwait 
Asia__Macao 
Asia__Macau 
Asia__Magadan 
Asia__Makassar 
Asia__Manila 
Asia__Muscat 
Asia__Nicosia 
Asia__Novokuznetsk 
Asia__Novosibirsk 
Asia__Omsk 
Asia__Oral 
Asia__Phnom_Penh 
Asia__Pontianak 
Asia__Pyongyang 
Asia__Qatar 
Asia__Qostanay 
Asia__Qyzylorda 
Asia__Rangoon 
Asia__Riyadh 
Asia__Saigon 
Asia__Sakhalin 
Asia__Samarkand 
Asia__Seoul 
Asia__Shanghai 
Asia__Singapore 
Asia__Srednekolymsk 
Asia__Taipei 
Asia__Tashkent 
Asia__Tbilisi 
Asia__Tehran 
Asia__Tel_Aviv 
Asia__Thimbu 
Asia__Thimphu 
Asia__Tokyo 
Asia__Tomsk 
Asia__Ujung_Pandang 
Asia__Ulaanbaatar 
Asia__Ulan_Bator 
Asia__Urumqi 
Asia__Ust_Nera 
Asia__Vientiane 
Asia__Vladivostok 
Asia__Yakutsk 
Asia__Yangon 
Asia__Yekaterinburg 
Asia__Yerevan 
Atlantic__Azores 
Atlantic__Bermuda 
Atlantic__Canary 
Atlantic__Cape_Verde 
Atlantic__Faeroe 
Atlantic__Faroe 
Atlantic__Jan_Mayen 
Atlantic__Madeira 
Atlantic__Reykjavik 
Atlantic__South_Georgia 
Atlantic__St_Helena 
Atlantic__Stanley 
Australia__ACT 
Australia__Adelaide 
Australia__Brisbane 
Australia__Broken_Hill 
Australia__Canberra 
Australia__Currie 
Australia__Darwin 
Australia__Eucla 
Australia__Hobart 
Australia__LHI 
Australia__Lindeman 
Australia__Lord_Howe 
Australia__Melbourne 
Australia__NSW 
Australia__North 
Australia__Perth 
Australia__Queensland 
Australia__South 
Australia__Sydney 
Australia__Tasmania 
Australia__Victoria 
Australia__West 
Australia__Yancowinna 
Brazil__Acre 
Brazil__DeNoronha 
Brazil__East 
Brazil__West 
CET 
CST6CDT 
Canada__Atlantic 
Canada__Central 
Canada__Eastern 
Canada__Mountain 
Canada__Newfoundland 
Canada__Pacific 
Canada__Saskatchewan 
Canada__Yukon 
Chile__Continental 
Chile__EasterIsland 
Cuba 
EET 
EST 
EST5EDT 
Egypt 
Eire 
Etc__GMT 
Etc__GMT'0 
Etc__GMT'1 
Etc__GMT'10 
Etc__GMT'11 
Etc__GMT'12 
Etc__GMT'2 
Etc__GMT'3 
Etc__GMT'4 
Etc__GMT'5 
Etc__GMT'6 
Etc__GMT'7 
Etc__GMT'8 
Etc__GMT'9 
Etc__GMT_0 
Etc__GMT_1 
Etc__GMT_10 
Etc__GMT_11 
Etc__GMT_12 
Etc__GMT_13 
Etc__GMT_14 
Etc__GMT_2 
Etc__GMT_3 
Etc__GMT_4 
Etc__GMT_5 
Etc__GMT_6 
Etc__GMT_7 
Etc__GMT_8 
Etc__GMT_9 
Etc__GMT0 
Etc__Greenwich 
Etc__UCT 
Etc__UTC 
Etc__Universal 
Etc__Zulu 
Europe__Amsterdam 
Europe__Andorra 
Europe__Astrakhan 
Europe__Athens 
Europe__Belfast 
Europe__Belgrade 
Europe__Berlin 
Europe__Bratislava 
Europe__Brussels 
Europe__Bucharest 
Europe__Budapest 
Europe__Busingen 
Europe__Chisinau 
Europe__Copenhagen 
Europe__Dublin 
Europe__Gibraltar 
Europe__Guernsey 
Europe__Helsinki 
Europe__Isle_of_Man 
Europe__Istanbul 
Europe__Jersey 
Europe__Kaliningrad 
Europe__Kiev 
Europe__Kirov 
Europe__Kyiv 
Europe__Lisbon 
Europe__Ljubljana 
Europe__London 
Europe__Luxembourg 
Europe__Madrid 
Europe__Malta 
Europe__Mariehamn 
Europe__Minsk 
Europe__Monaco 
Europe__Moscow 
Europe__Nicosia 
Europe__Oslo 
Europe__Paris 
Europe__Podgorica 
Europe__Prague 
Europe__Riga 
Europe__Rome 
Europe__Samara 
Europe__San_Marino 
Europe__Sarajevo 
Europe__Saratov 
Europe__Simferopol 
Europe__Skopje 
Europe__Sofia 
Europe__Stockholm 
Europe__Tallinn 
Europe__Tirane 
Europe__Tiraspol 
Europe__Ulyanovsk 
Europe__Uzhgorod 
Europe__Vaduz 
Europe__Vatican 
Europe__Vienna 
Europe__Vilnius 
Europe__Volgograd 
Europe__Warsaw 
Europe__Zagreb 
Europe__Zaporozhye 
Europe__Zurich 
Factory 
GB 
GB_Eire 
GMT 
GMT'0 
GMT_0 
GMT0 
Greenwich 
HST 
Hongkong 
Iceland 
Indian__Antananarivo 
Indian__Chagos 
Indian__Christmas 
Indian__Cocos 
Indian__Comoro 
Indian__Kerguelen 
Indian__Mahe 
Indian__Maldives 
Indian__Mauritius 
Indian__Mayotte 
Indian__Reunion 
Iran 
Israel 
Jamaica 
Japan 
Kwajalein 
Libya 
MET 
MST 
MST7MDT 
Mexico__BajaNorte 
Mexico__BajaSur 
Mexico__General 
NZ 
NZ_CHAT 
Navajo 
PRC 
PST8PDT 
Pacific__Apia 
Pacific__Auckland 
Pacific__Bougainville 
Pacific__Chatham 
Pacific__Chuuk 
Pacific__Easter 
Pacific__Efate 
Pacific__Enderbury 
Pacific__Fakaofo 
Pacific__Fiji 
Pacific__Funafuti 
Pacific__Galapagos 
Pacific__Gambier 
Pacific__Guadalcanal 
Pacific__Guam 
Pacific__Honolulu 
Pacific__Johnston 
Pacific__Kanton 
Pacific__Kiritimati 
Pacific__Kosrae 
Pacific__Kwajalein 
Pacific__Majuro 
Pacific__Marquesas 
Pacific__Midway 
Pacific__Nauru 
Pacific__Niue 
Pacific__Norfolk 
Pacific__Noumea 
Pacific__Pago_Pago 
Pacific__Palau 
Pacific__Pitcairn 
Pacific__Pohnpei 
Pacific__Ponape 
Pacific__Port_Moresby 
Pacific__Rarotonga 
Pacific__Saipan 
Pacific__Samoa 
Pacific__Tahiti 
Pacific__Tarawa 
Pacific__Tongatapu 
Pacific__Truk 
Pacific__Wake 
Pacific__Wallis 
Pacific__Yap 
Poland 
Portugal 
ROC 
ROK 
Singapore 
Turkey 
UCT 
US__Alaska 
US__Aleutian 
US__Arizona 
US__Central 
US__East_Indiana 
US__Eastern 
US__Hawaii 
US__Indiana_Starke 
US__Michigan 
US__Mountain 
US__Pacific 
US__Samoa 
UTC 
Universal 
W_SU 
WET 
Zulu 

Instances

Instances details
NFData TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Methods

rnf :: TZLabel -> () #

Data TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TZLabel -> c TZLabel #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TZLabel #

toConstr :: TZLabel -> Constr #

dataTypeOf :: TZLabel -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TZLabel) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TZLabel) #

gmapT :: (forall b. Data b => b -> b) -> TZLabel -> TZLabel #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TZLabel -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TZLabel -> r #

gmapQ :: (forall d. Data d => d -> u) -> TZLabel -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TZLabel -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TZLabel -> m TZLabel #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TZLabel -> m TZLabel #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TZLabel -> m TZLabel #

Bounded TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Methods

minBound :: TZLabel #

maxBound :: TZLabel #

Enum TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Methods

succ :: TZLabel -> TZLabel #

pred :: TZLabel -> TZLabel #

toEnum :: Int -> TZLabel #

fromEnum :: TZLabel -> Int #

enumFrom :: TZLabel -> [TZLabel] #

enumFromThen :: TZLabel -> TZLabel -> [TZLabel] #

enumFromTo :: TZLabel -> TZLabel -> [TZLabel] #

enumFromThenTo :: TZLabel -> TZLabel -> TZLabel -> [TZLabel] #

Generic TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Associated Types

type Rep TZLabel 
Instance details

Defined in Data.Time.Zones.DB

type Rep TZLabel = D1 ('MetaData "TZLabel" "Data.Time.Zones.DB" "tzdata-0.2.20240201.0-G6ws27uP5i82SsEzoQvstt" 'False) (((((((((C1 ('MetaCons "Africa__Abidjan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Accra" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Addis_Ababa" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Algiers" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Africa__Asmara" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Asmera" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Bamako" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Bangui" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Banjul" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Africa__Bissau" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Blantyre" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Brazzaville" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Bujumbura" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Africa__Cairo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Casablanca" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Ceuta" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Conakry" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Dakar" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Africa__Dar_es_Salaam" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Djibouti" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Douala" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__El_Aaiun" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Africa__Freetown" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Gaborone" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Harare" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Johannesburg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Juba" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Africa__Kampala" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Khartoum" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Kigali" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Kinshasa" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Lagos" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Africa__Libreville" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Lome" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Luanda" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Lubumbashi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Lusaka" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Africa__Malabo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Maputo" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Maseru" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Mbabane" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Africa__Mogadishu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Monrovia" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Nairobi" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Ndjamena" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Niamey" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Africa__Nouakchott" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Ouagadougou" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Porto_Novo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Sao_Tome" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Africa__Timbuktu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Tripoli" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Tunis" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Windhoek" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Adak" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__Anchorage" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Anguilla" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Antigua" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Araguaina" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Argentina__Buenos_Aires" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__Catamarca" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Argentina__ComodRivadavia" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Argentina__Cordoba" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__Jujuy" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Argentina__La_Rioja" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__Mendoza" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Argentina__Rio_Gallegos" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Argentina__Salta" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__San_Juan" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Argentina__San_Luis" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__Tucuman" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Argentina__Ushuaia" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Aruba" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Asuncion" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "America__Atikokan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Atka" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Bahia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Bahia_Banderas" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Barbados" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Belem" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Belize" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Blanc_Sablon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Boa_Vista" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Bogota" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Boise" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Buenos_Aires" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Cambridge_Bay" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Campo_Grande" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Cancun" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Caracas" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Catamarca" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Cayenne" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__Cayman" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Chicago" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Chihuahua" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Ciudad_Juarez" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Coral_Harbour" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Cordoba" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Costa_Rica" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Creston" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Cuiaba" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Curacao" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Danmarkshavn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Dawson" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Dawson_Creek" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Denver" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Detroit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Dominica" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Edmonton" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Eirunepe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__El_Salvador" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "America__Ensenada" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Fort_Nelson" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Fort_Wayne" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Fortaleza" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Glace_Bay" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Godthab" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Goose_Bay" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Grand_Turk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Grenada" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Guadeloupe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Guatemala" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Guayaquil" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Guyana" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Halifax" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Havana" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Hermosillo" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Indiana__Indianapolis" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Indiana__Knox" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Indiana__Marengo" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__Indiana__Petersburg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Indiana__Tell_City" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Indiana__Vevay" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Indiana__Vincennes" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Indiana__Winamac" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Indianapolis" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Inuvik" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Iqaluit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Jamaica" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Jujuy" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Juneau" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Kentucky__Louisville" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Kentucky__Monticello" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Knox_IN" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Kralendijk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__La_Paz" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Lima" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Los_Angeles" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Louisville" 'PrefixI 'False) (U1 :: Type -> Type))))))))) :+: (((((((C1 ('MetaCons "America__Lower_Princes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Maceio" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Managua" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Manaus" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Marigot" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Martinique" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Matamoros" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Mazatlan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Mendoza" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Menominee" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Merida" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Metlakatla" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Mexico_City" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Miquelon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Moncton" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Monterrey" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Montevideo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Montreal" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__Montserrat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Nassau" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__New_York" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Nipigon" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Nome" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Noronha" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__North_Dakota__Beulah" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__North_Dakota__Center" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__North_Dakota__New_Salem" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Nuuk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Ojinaga" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Panama" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Pangnirtung" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Paramaribo" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Phoenix" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Port_au_Prince" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Port_of_Spain" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Porto_Acre" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Porto_Velho" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "America__Puerto_Rico" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Punta_Arenas" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Rainy_River" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Rankin_Inlet" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Recife" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Regina" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Resolute" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Rio_Branco" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Rosario" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Santa_Isabel" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Santarem" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Santiago" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Santo_Domingo" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Sao_Paulo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Scoresbysund" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Shiprock" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Sitka" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__St_Barthelemy" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__St_Johns" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__St_Kitts" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__St_Lucia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__St_Thomas" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__St_Vincent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Swift_Current" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Tegucigalpa" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Thule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Thunder_Bay" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Tijuana" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Toronto" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Tortola" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Vancouver" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Virgin" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Whitehorse" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Winnipeg" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Yakutat" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Yellowknife" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__Casey" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "Antarctica__Davis" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__DumontDUrville" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Antarctica__Macquarie" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__Mawson" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Antarctica__McMurdo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__Palmer" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Antarctica__Rothera" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Antarctica__South_Pole" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__Syowa" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Antarctica__Troll" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__Vostok" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Arctic__Longyearbyen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Aden" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Almaty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Amman" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Anadyr" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Aqtau" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Aqtobe" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Asia__Ashgabat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Ashkhabad" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Atyrau" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Baghdad" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Bahrain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Baku" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Bangkok" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Barnaul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Beirut" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Bishkek" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Brunei" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Calcutta" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Chita" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Choibalsan" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Chongqing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Chungking" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Colombo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Dacca" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Damascus" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Asia__Dhaka" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Dili" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Dubai" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Dushanbe" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Famagusta" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Gaza" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Harbin" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Hebron" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Ho_Chi_Minh" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Hong_Kong" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Hovd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Irkutsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Istanbul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Jakarta" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Jayapura" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Jerusalem" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Kabul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Kamchatka" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Karachi" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Asia__Kashgar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Kathmandu" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Katmandu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Khandyga" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Kolkata" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Krasnoyarsk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Kuala_Lumpur" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Kuching" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Kuwait" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Macao" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Macau" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Magadan" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Makassar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Manila" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Muscat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Nicosia" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Novokuznetsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Novosibirsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Omsk" 'PrefixI 'False) (U1 :: Type -> Type)))))))))) :+: ((((((((C1 ('MetaCons "Asia__Oral" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Phnom_Penh" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Pontianak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Pyongyang" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Qatar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Qostanay" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Qyzylorda" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Rangoon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Riyadh" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Saigon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Sakhalin" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Samarkand" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Seoul" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Shanghai" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Singapore" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Srednekolymsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Taipei" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Tashkent" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Asia__Tbilisi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Tehran" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Tel_Aviv" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Thimbu" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Thimphu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Tokyo" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Tomsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Ujung_Pandang" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Ulaanbaatar" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Ulan_Bator" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Urumqi" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Ust_Nera" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Vientiane" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Vladivostok" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Yakutsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Yangon" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Yekaterinburg" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Yerevan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Azores" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Atlantic__Bermuda" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Canary" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Atlantic__Cape_Verde" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Faeroe" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Atlantic__Faroe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Jan_Mayen" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Atlantic__Madeira" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Atlantic__Reykjavik" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__South_Georgia" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Atlantic__St_Helena" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Stanley" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Australia__ACT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Adelaide" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Australia__Brisbane" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Broken_Hill" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Australia__Canberra" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Australia__Currie" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Darwin" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Australia__Eucla" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Hobart" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Australia__LHI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Lindeman" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Australia__Lord_Howe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Melbourne" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Australia__NSW" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Australia__North" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Perth" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Australia__Queensland" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__South" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Australia__Sydney" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Australia__Tasmania" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Victoria" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Australia__West" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Yancowinna" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Brazil__Acre" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Brazil__DeNoronha" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Brazil__East" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "Brazil__West" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CET" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CST6CDT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Canada__Atlantic" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Canada__Central" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Canada__Eastern" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Canada__Mountain" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Canada__Newfoundland" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Canada__Pacific" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Canada__Saskatchewan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Canada__Yukon" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Chile__Continental" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Chile__EasterIsland" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Cuba" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EET" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EST" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EST5EDT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Egypt" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Eire" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT'0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Etc__GMT'10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'11" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT'12" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT'2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'3" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Etc__GMT'4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT'6" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT'7" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'8" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Etc__GMT'9" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT_10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_11" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Etc__GMT_12" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_13" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT_14" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_2" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Etc__GMT_3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_4" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT_6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_7" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Etc__GMT_8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_9" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__Greenwich" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__UCT" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Etc__UTC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__Universal" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__Zulu" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Amsterdam" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Andorra" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Europe__Astrakhan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Athens" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Belfast" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Belgrade" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Europe__Berlin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Bratislava" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Brussels" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Bucharest" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Budapest" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Europe__Busingen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Chisinau" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Copenhagen" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Dublin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Gibraltar" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Europe__Guernsey" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Helsinki" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Isle_of_Man" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Istanbul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Jersey" 'PrefixI 'False) (U1 :: Type -> Type))))))))) :+: (((((((C1 ('MetaCons "Europe__Kaliningrad" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Kiev" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Kirov" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Kyiv" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Europe__Lisbon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Ljubljana" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__London" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Luxembourg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Madrid" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Europe__Malta" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Mariehamn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Minsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Monaco" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Europe__Moscow" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Nicosia" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Oslo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Paris" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Podgorica" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Europe__Prague" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Riga" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Rome" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Samara" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Europe__San_Marino" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Sarajevo" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Saratov" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Simferopol" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Skopje" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Europe__Sofia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Stockholm" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Tallinn" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Tirane" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Tiraspol" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Europe__Ulyanovsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Uzhgorod" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Vaduz" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Vatican" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Vienna" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Europe__Vilnius" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Volgograd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Warsaw" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Zagreb" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Europe__Zaporozhye" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Zurich" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Factory" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GB_Eire" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "GMT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GMT'0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GMT_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GMT0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Greenwich" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "HST" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Hongkong" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Iceland" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Indian__Antananarivo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Chagos" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Indian__Christmas" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Cocos" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Indian__Comoro" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Kerguelen" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Indian__Mahe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Maldives" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Indian__Mauritius" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Indian__Mayotte" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Reunion" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Iran" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Israel" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Jamaica" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Japan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Kwajalein" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Libya" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MET" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MST" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MST7MDT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mexico__BajaNorte" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "Mexico__BajaSur" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mexico__General" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NZ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NZ_CHAT" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Navajo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PRC" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PST8PDT" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Apia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Auckland" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Pacific__Bougainville" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Chatham" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Chuuk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Easter" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Pacific__Efate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Enderbury" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Fakaofo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Fiji" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Funafuti" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Pacific__Galapagos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Gambier" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Guadalcanal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Guam" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Pacific__Honolulu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Johnston" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Kanton" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Kiritimati" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Kosrae" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Pacific__Kwajalein" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Majuro" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Marquesas" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Midway" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Nauru" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Pacific__Niue" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Norfolk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Noumea" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Pago_Pago" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Palau" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Pacific__Pitcairn" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Pohnpei" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Ponape" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Port_Moresby" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Pacific__Rarotonga" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Saipan" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Samoa" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Tahiti" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Tarawa" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Pacific__Tongatapu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Truk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Wake" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Wallis" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Yap" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Poland" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Portugal" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ROC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ROK" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Singapore" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Turkey" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UCT" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "US__Alaska" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "US__Aleutian" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "US__Arizona" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "US__Central" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "US__East_Indiana" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "US__Eastern" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "US__Hawaii" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "US__Indiana_Starke" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "US__Michigan" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "US__Mountain" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "US__Pacific" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "US__Samoa" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "UTC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Universal" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "W_SU" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "WET" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Zulu" 'PrefixI 'False) (U1 :: Type -> Type)))))))))))

Methods

from :: TZLabel -> Rep TZLabel x #

to :: Rep TZLabel x -> TZLabel #

Read TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Methods

readsPrec :: Int -> ReadS TZLabel #

readList :: ReadS [TZLabel] #

readPrec :: ReadPrec TZLabel #

readListPrec :: ReadPrec [TZLabel] #

Show TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Methods

showsPrec :: Int -> TZLabel -> ShowS #

show :: TZLabel -> String #

showList :: [TZLabel] -> ShowS #

Eq TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Methods

(==) :: TZLabel -> TZLabel -> Bool #

(/=) :: TZLabel -> TZLabel -> Bool #

Ord TZLabel 
Instance details

Defined in Data.Time.Zones.DB

Methods

compare :: TZLabel -> TZLabel -> Ordering #

(<) :: TZLabel -> TZLabel -> Bool #

(<=) :: TZLabel -> TZLabel -> Bool #

(>) :: TZLabel -> TZLabel -> Bool #

(>=) :: TZLabel -> TZLabel -> Bool #

max :: TZLabel -> TZLabel -> TZLabel #

min :: TZLabel -> TZLabel -> TZLabel #

type Rep TZLabel 
Instance details

Defined in Data.Time.Zones.DB

type Rep TZLabel = D1 ('MetaData "TZLabel" "Data.Time.Zones.DB" "tzdata-0.2.20240201.0-G6ws27uP5i82SsEzoQvstt" 'False) (((((((((C1 ('MetaCons "Africa__Abidjan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Accra" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Addis_Ababa" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Algiers" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Africa__Asmara" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Asmera" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Bamako" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Bangui" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Banjul" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Africa__Bissau" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Blantyre" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Brazzaville" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Bujumbura" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Africa__Cairo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Casablanca" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Ceuta" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Conakry" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Dakar" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Africa__Dar_es_Salaam" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Djibouti" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Douala" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__El_Aaiun" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Africa__Freetown" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Gaborone" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Harare" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Johannesburg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Juba" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Africa__Kampala" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Khartoum" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Kigali" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Kinshasa" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Lagos" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Africa__Libreville" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Lome" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Luanda" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Lubumbashi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Lusaka" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Africa__Malabo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Maputo" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Maseru" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Mbabane" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Africa__Mogadishu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Monrovia" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Nairobi" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Ndjamena" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Niamey" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Africa__Nouakchott" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Ouagadougou" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Porto_Novo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Sao_Tome" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Africa__Timbuktu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Africa__Tripoli" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Africa__Tunis" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Africa__Windhoek" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Adak" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__Anchorage" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Anguilla" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Antigua" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Araguaina" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Argentina__Buenos_Aires" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__Catamarca" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Argentina__ComodRivadavia" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Argentina__Cordoba" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__Jujuy" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Argentina__La_Rioja" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__Mendoza" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Argentina__Rio_Gallegos" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Argentina__Salta" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__San_Juan" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Argentina__San_Luis" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Argentina__Tucuman" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Argentina__Ushuaia" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Aruba" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Asuncion" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "America__Atikokan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Atka" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Bahia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Bahia_Banderas" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Barbados" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Belem" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Belize" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Blanc_Sablon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Boa_Vista" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Bogota" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Boise" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Buenos_Aires" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Cambridge_Bay" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Campo_Grande" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Cancun" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Caracas" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Catamarca" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Cayenne" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__Cayman" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Chicago" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Chihuahua" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Ciudad_Juarez" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Coral_Harbour" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Cordoba" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Costa_Rica" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Creston" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Cuiaba" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Curacao" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Danmarkshavn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Dawson" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Dawson_Creek" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Denver" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Detroit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Dominica" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Edmonton" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Eirunepe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__El_Salvador" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "America__Ensenada" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Fort_Nelson" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Fort_Wayne" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Fortaleza" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Glace_Bay" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Godthab" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Goose_Bay" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Grand_Turk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Grenada" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Guadeloupe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Guatemala" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Guayaquil" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Guyana" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Halifax" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Havana" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Hermosillo" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Indiana__Indianapolis" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Indiana__Knox" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Indiana__Marengo" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__Indiana__Petersburg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Indiana__Tell_City" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Indiana__Vevay" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Indiana__Vincennes" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Indiana__Winamac" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Indianapolis" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Inuvik" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Iqaluit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Jamaica" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Jujuy" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Juneau" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Kentucky__Louisville" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Kentucky__Monticello" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Knox_IN" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Kralendijk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__La_Paz" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Lima" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Los_Angeles" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Louisville" 'PrefixI 'False) (U1 :: Type -> Type))))))))) :+: (((((((C1 ('MetaCons "America__Lower_Princes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Maceio" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Managua" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Manaus" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Marigot" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Martinique" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Matamoros" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Mazatlan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Mendoza" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Menominee" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Merida" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Metlakatla" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Mexico_City" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Miquelon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Moncton" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Monterrey" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Montevideo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Montreal" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__Montserrat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Nassau" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__New_York" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Nipigon" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Nome" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Noronha" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__North_Dakota__Beulah" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__North_Dakota__Center" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__North_Dakota__New_Salem" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Nuuk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Ojinaga" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Panama" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Pangnirtung" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Paramaribo" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Phoenix" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Port_au_Prince" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Port_of_Spain" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Porto_Acre" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Porto_Velho" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "America__Puerto_Rico" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Punta_Arenas" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Rainy_River" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Rankin_Inlet" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Recife" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Regina" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Resolute" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Rio_Branco" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Rosario" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Santa_Isabel" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Santarem" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Santiago" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Santo_Domingo" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__Sao_Paulo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Scoresbysund" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Shiprock" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Sitka" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__St_Barthelemy" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "America__St_Johns" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__St_Kitts" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__St_Lucia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__St_Thomas" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "America__St_Vincent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Swift_Current" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Tegucigalpa" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Thule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Thunder_Bay" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "America__Tijuana" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Toronto" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Tortola" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Vancouver" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Virgin" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "America__Whitehorse" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "America__Winnipeg" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "America__Yakutat" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "America__Yellowknife" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__Casey" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "Antarctica__Davis" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__DumontDUrville" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Antarctica__Macquarie" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__Mawson" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Antarctica__McMurdo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__Palmer" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Antarctica__Rothera" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Antarctica__South_Pole" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__Syowa" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Antarctica__Troll" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Antarctica__Vostok" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Arctic__Longyearbyen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Aden" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Almaty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Amman" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Anadyr" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Aqtau" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Aqtobe" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Asia__Ashgabat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Ashkhabad" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Atyrau" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Baghdad" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Bahrain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Baku" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Bangkok" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Barnaul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Beirut" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Bishkek" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Brunei" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Calcutta" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Chita" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Choibalsan" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Chongqing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Chungking" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Colombo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Dacca" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Damascus" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Asia__Dhaka" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Dili" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Dubai" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Dushanbe" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Famagusta" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Gaza" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Harbin" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Hebron" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Ho_Chi_Minh" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Hong_Kong" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Hovd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Irkutsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Istanbul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Jakarta" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Jayapura" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Jerusalem" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Kabul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Kamchatka" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Karachi" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Asia__Kashgar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Kathmandu" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Katmandu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Khandyga" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Kolkata" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Krasnoyarsk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Kuala_Lumpur" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Kuching" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Kuwait" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Macao" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Macau" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Magadan" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Makassar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Manila" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Muscat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Nicosia" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Novokuznetsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Novosibirsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Omsk" 'PrefixI 'False) (U1 :: Type -> Type)))))))))) :+: ((((((((C1 ('MetaCons "Asia__Oral" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Phnom_Penh" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Pontianak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Pyongyang" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Qatar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Qostanay" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Qyzylorda" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Rangoon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Riyadh" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Saigon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Sakhalin" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Samarkand" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Seoul" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Shanghai" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Singapore" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Srednekolymsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Taipei" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Tashkent" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Asia__Tbilisi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Tehran" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Tel_Aviv" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Thimbu" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Asia__Thimphu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Tokyo" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Tomsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Ujung_Pandang" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Ulaanbaatar" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Asia__Ulan_Bator" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Urumqi" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Ust_Nera" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Vientiane" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Vladivostok" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Asia__Yakutsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Asia__Yangon" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Asia__Yekaterinburg" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Asia__Yerevan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Azores" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Atlantic__Bermuda" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Canary" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Atlantic__Cape_Verde" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Faeroe" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Atlantic__Faroe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Jan_Mayen" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Atlantic__Madeira" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Atlantic__Reykjavik" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__South_Georgia" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Atlantic__St_Helena" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Atlantic__Stanley" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Australia__ACT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Adelaide" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Australia__Brisbane" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Broken_Hill" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Australia__Canberra" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Australia__Currie" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Darwin" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Australia__Eucla" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Hobart" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Australia__LHI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Lindeman" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Australia__Lord_Howe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Melbourne" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Australia__NSW" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Australia__North" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Perth" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Australia__Queensland" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__South" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Australia__Sydney" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Australia__Tasmania" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Victoria" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Australia__West" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Australia__Yancowinna" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Brazil__Acre" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Brazil__DeNoronha" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Brazil__East" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "Brazil__West" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CET" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CST6CDT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Canada__Atlantic" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Canada__Central" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Canada__Eastern" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Canada__Mountain" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Canada__Newfoundland" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Canada__Pacific" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Canada__Saskatchewan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Canada__Yukon" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Chile__Continental" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Chile__EasterIsland" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Cuba" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EET" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EST" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EST5EDT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Egypt" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Eire" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT'0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Etc__GMT'10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'11" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT'12" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT'2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'3" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Etc__GMT'4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'5" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT'6" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT'7" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT'8" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Etc__GMT'9" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT_10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_11" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Etc__GMT_12" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_13" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT_14" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_2" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Etc__GMT_3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_4" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT_5" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__GMT_6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_7" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Etc__GMT_8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__GMT_9" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__GMT0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Etc__Greenwich" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__UCT" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Etc__UTC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Etc__Universal" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Etc__Zulu" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Amsterdam" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Andorra" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Europe__Astrakhan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Athens" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Belfast" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Belgrade" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Europe__Berlin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Bratislava" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Brussels" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Bucharest" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Budapest" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Europe__Busingen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Chisinau" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Copenhagen" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Dublin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Gibraltar" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Europe__Guernsey" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Helsinki" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Isle_of_Man" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Istanbul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Jersey" 'PrefixI 'False) (U1 :: Type -> Type))))))))) :+: (((((((C1 ('MetaCons "Europe__Kaliningrad" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Kiev" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Kirov" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Kyiv" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Europe__Lisbon" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Ljubljana" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__London" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Luxembourg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Madrid" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Europe__Malta" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Mariehamn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Minsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Monaco" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Europe__Moscow" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Nicosia" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Oslo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Paris" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Podgorica" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Europe__Prague" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Riga" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Rome" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Samara" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Europe__San_Marino" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Sarajevo" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Saratov" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Simferopol" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Skopje" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Europe__Sofia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Stockholm" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Tallinn" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Tirane" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Tiraspol" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Europe__Ulyanovsk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Uzhgorod" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Vaduz" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Europe__Vatican" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Vienna" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Europe__Vilnius" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Volgograd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Europe__Warsaw" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Zagreb" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Europe__Zaporozhye" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Europe__Zurich" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Factory" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GB_Eire" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "GMT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GMT'0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GMT_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GMT0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Greenwich" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "HST" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Hongkong" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Iceland" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Indian__Antananarivo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Chagos" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Indian__Christmas" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Cocos" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Indian__Comoro" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Kerguelen" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Indian__Mahe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Maldives" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Indian__Mauritius" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Indian__Mayotte" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Reunion" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Iran" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Israel" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Jamaica" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Japan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Kwajalein" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Libya" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MET" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MST" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MST7MDT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mexico__BajaNorte" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "Mexico__BajaSur" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mexico__General" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NZ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NZ_CHAT" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Navajo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PRC" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PST8PDT" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Apia" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Auckland" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Pacific__Bougainville" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Chatham" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Chuuk" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Easter" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Pacific__Efate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Enderbury" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Fakaofo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Fiji" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Funafuti" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Pacific__Galapagos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Gambier" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Guadalcanal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Guam" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Pacific__Honolulu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Johnston" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Kanton" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Kiritimati" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Kosrae" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Pacific__Kwajalein" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Majuro" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Marquesas" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Midway" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Nauru" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Pacific__Niue" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Norfolk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Noumea" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Pago_Pago" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Palau" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "Pacific__Pitcairn" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Pohnpei" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Ponape" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Port_Moresby" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Pacific__Rarotonga" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Saipan" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Samoa" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Tahiti" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Tarawa" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Pacific__Tongatapu" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Truk" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Pacific__Wake" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Wallis" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pacific__Yap" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Poland" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Portugal" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ROC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ROK" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Singapore" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "Turkey" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UCT" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "US__Alaska" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "US__Aleutian" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "US__Arizona" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "US__Central" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "US__East_Indiana" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "US__Eastern" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "US__Hawaii" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "US__Indiana_Starke" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "US__Michigan" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "US__Mountain" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "US__Pacific" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "US__Samoa" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "UTC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Universal" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "W_SU" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "WET" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Zulu" 'PrefixI 'False) (U1 :: Type -> Type)))))))))))

data ZonedTime #

A local time together with a time zone.

There is no Eq instance for ZonedTime. If you want to compare local times, use zonedTimeToLocalTime. If you want to compare absolute times, use zonedTimeToUTC.

Constructors

ZonedTime 

Fields

Instances

Instances details
NFData ZonedTime 
Instance details

Defined in Data.Time.LocalTime.Internal.ZonedTime

Methods

rnf :: ZonedTime -> () #

Data ZonedTime 
Instance details

Defined in Data.Time.LocalTime.Internal.ZonedTime

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ZonedTime -> c ZonedTime #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ZonedTime #

toConstr :: ZonedTime -> Constr #

dataTypeOf :: ZonedTime -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ZonedTime) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ZonedTime) #

gmapT :: (forall b. Data b => b -> b) -> ZonedTime -> ZonedTime #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ZonedTime -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ZonedTime -> r #

gmapQ :: (forall d. Data d => d -> u) -> ZonedTime -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ZonedTime -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ZonedTime -> m ZonedTime #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ZonedTime -> m ZonedTime #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ZonedTime -> m ZonedTime #

Show ZonedTime

For the time zone, this only shows the name, or offset if the name is empty.

Instance details

Defined in Data.Time.LocalTime.Internal.ZonedTime

Methods

showsPrec :: Int -> ZonedTime -> ShowS #

show :: ZonedTime -> String #

showList :: [ZonedTime] -> ShowS #

ISO8601 ZonedTime

yyyy-mm-ddThh:mm:ss[.sss]±hh:mm (ISO 8601:2004(E) sec. 4.3.2 extended format)

Instance details

Defined in Data.Time.Format.ISO8601

Methods

iso8601Format :: Format ZonedTime #

Exceptions

data ParseTimeException Source #

Exception parsing time string.

Since: 0.1

Constructors

MkParseTimeException (NonEmpty TimeFormat) Text 

Instances

Instances details
NFData ParseTimeException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

Methods

rnf :: ParseTimeException -> () #

Exception ParseTimeException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

Methods

toException :: ParseTimeException -> SomeException #

fromException :: SomeException -> Maybe ParseTimeException #

displayException :: ParseTimeException -> String #

backtraceDesired :: ParseTimeException -> Bool #

Generic ParseTimeException Source # 
Instance details

Defined in Kairos.Types.Exception

Associated Types

type Rep ParseTimeException

Since: kairos-core-0.1

Instance details

Defined in Kairos.Types.Exception

type Rep ParseTimeException = D1 ('MetaData "ParseTimeException" "Kairos.Types.Exception" "kairos-core-0.1-inplace" 'False) (C1 ('MetaCons "MkParseTimeException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty TimeFormat)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Methods

from :: ParseTimeException -> Rep ParseTimeException x #

to :: Rep ParseTimeException x -> ParseTimeException #

Show ParseTimeException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

Methods

showsPrec :: Int -> ParseTimeException -> ShowS #

show :: ParseTimeException -> String #

showList :: [ParseTimeException] -> ShowS #

type Rep ParseTimeException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

type Rep ParseTimeException = D1 ('MetaData "ParseTimeException" "Kairos.Types.Exception" "kairos-core-0.1-inplace" 'False) (C1 ('MetaCons "MkParseTimeException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty TimeFormat)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

newtype ParseTZInputException Source #

Exception parsing tz input names.

Since: 0.1

Constructors

MkParseTZInputException Text 

Instances

Instances details
NFData ParseTZInputException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

Methods

rnf :: ParseTZInputException -> () #

Exception ParseTZInputException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

Methods

toException :: ParseTZInputException -> SomeException #

fromException :: SomeException -> Maybe ParseTZInputException #

displayException :: ParseTZInputException -> String #

backtraceDesired :: ParseTZInputException -> Bool #

Generic ParseTZInputException Source # 
Instance details

Defined in Kairos.Types.Exception

Associated Types

type Rep ParseTZInputException

Since: kairos-core-0.1

Instance details

Defined in Kairos.Types.Exception

type Rep ParseTZInputException = D1 ('MetaData "ParseTZInputException" "Kairos.Types.Exception" "kairos-core-0.1-inplace" 'True) (C1 ('MetaCons "MkParseTZInputException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: ParseTZInputException -> Rep ParseTZInputException x #

to :: Rep ParseTZInputException x -> ParseTZInputException #

Show ParseTZInputException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

Methods

showsPrec :: Int -> ParseTZInputException -> ShowS #

show :: ParseTZInputException -> String #

showList :: [ParseTZInputException] -> ShowS #

type Rep ParseTZInputException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

type Rep ParseTZInputException = D1 ('MetaData "ParseTZInputException" "Kairos.Types.Exception" "kairos-core-0.1-inplace" 'True) (C1 ('MetaCons "MkParseTZInputException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data LocalTimeZoneException Source #

Exception reading local system timezone.

Since: 0.1

Constructors

Exception e => MkLocalTimeZoneException e 

Instances

Instances details
Exception LocalTimeZoneException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

Methods

toException :: LocalTimeZoneException -> SomeException #

fromException :: SomeException -> Maybe LocalTimeZoneException #

displayException :: LocalTimeZoneException -> String #

backtraceDesired :: LocalTimeZoneException -> Bool #

Show LocalTimeZoneException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

Methods

showsPrec :: Int -> LocalTimeZoneException -> ShowS #

show :: LocalTimeZoneException -> String #

showList :: [LocalTimeZoneException] -> ShowS #

data LocalTZException Source #

Exception reading local system tz. In contrast to LocalTimeZoneException, this is for when we try and fail to find the local tz_database name e.g. America/New_York.

Since: 0.1

Constructors

Exception e => MkLocalTZException e 

Instances

Instances details
Exception LocalTZException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

Methods

toException :: LocalTZException -> SomeException #

fromException :: SomeException -> Maybe LocalTZException #

displayException :: LocalTZException -> String #

backtraceDesired :: LocalTZException -> Bool #

Show LocalTZException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

Methods

showsPrec :: Int -> LocalTZException -> ShowS #

show :: LocalTZException -> String #

showList :: [LocalTZException] -> ShowS #

data LocalSystemTimeException Source #

Exception reading local system time.

Since: 0.1

Constructors

Exception e => MkLocalSystemTimeException e 

Instances

Instances details
Exception LocalSystemTimeException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

Methods

toException :: LocalSystemTimeException -> SomeException #

fromException :: SomeException -> Maybe LocalSystemTimeException #

displayException :: LocalSystemTimeException -> String #

backtraceDesired :: LocalSystemTimeException -> Bool #

Show LocalSystemTimeException Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Exception

Methods

showsPrec :: Int -> LocalSystemTimeException -> ShowS #

show :: LocalSystemTimeException -> String #

showList :: [LocalSystemTimeException] -> ShowS #