tzdata-0.1.20161123.0: Time zone database (as files and as a module)

Copyright(C) 2014 Mihaly Barasz
LicenseApache-2.0, see LICENSE
MaintainerMihaly Barasz <klao@nilcons.com>
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Data.Time.Zones.DB

Contents

Description

 

Synopsis

Documentation

toTZName :: TZLabel -> ByteString #

Convert a TZLabel to the usual name of the location.

> toTZName Europe__Paris
"Europe/Paris"

fromTZName :: ByteString -> Maybe TZLabel #

Lookup the TZLabel by the name of the location.

Returns Nothing if the location is unknown.

> :set -XOverloadedStrings
> fromTZName "Europe/Paris"
Just Europe__Paris
> fromTZName "Foo/Bar"
Nothing

tzNameLabelMap :: Map ByteString TZLabel #

Map mapping know time zone locations to their canonical TZLabels.

tzDataByLabel :: TZLabel -> ByteString #

Lookup time zone data by its label.

tzDataByName :: ByteString -> Maybe ByteString #

Lookup time zone data by the name of it's location.

Returns Nothing if the location is unknown.

data TZLabel #

Enumeration of time zone locations.

Constructors

Africa__Abidjan 
Africa__Accra 
Africa__Algiers 
Africa__Bissau 
Africa__Cairo 
Africa__Casablanca 
Africa__Ceuta 
Africa__El_Aaiun 
Africa__Johannesburg 
Africa__Khartoum 
Africa__Lagos 
Africa__Maputo 
Africa__Monrovia 
Africa__Nairobi 
Africa__Ndjamena 
Africa__Tripoli 
Africa__Tunis 
Africa__Windhoek 
America__Adak 
America__Anchorage 
America__Araguaina 
America__Argentina__Buenos_Aires 
America__Argentina__Catamarca 
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__Asuncion 
America__Atikokan 
America__Bahia 
America__Bahia_Banderas 
America__Barbados 
America__Belem 
America__Belize 
America__Blanc_Sablon 
America__Boa_Vista 
America__Bogota 
America__Boise 
America__Cambridge_Bay 
America__Campo_Grande 
America__Cancun 
America__Caracas 
America__Cayenne 
America__Chicago 
America__Chihuahua 
America__Costa_Rica 
America__Creston 
America__Cuiaba 
America__Curacao 
America__Danmarkshavn 
America__Dawson 
America__Dawson_Creek 
America__Denver 
America__Detroit 
America__Edmonton 
America__Eirunepe 
America__El_Salvador 
America__Fort_Nelson 
America__Fortaleza 
America__Glace_Bay 
America__Godthab 
America__Goose_Bay 
America__Grand_Turk 
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__Inuvik 
America__Iqaluit 
America__Jamaica 
America__Juneau 
America__Kentucky__Louisville 
America__Kentucky__Monticello 
America__La_Paz 
America__Lima 
America__Los_Angeles 
America__Maceio 
America__Managua 
America__Manaus 
America__Martinique 
America__Matamoros 
America__Mazatlan 
America__Menominee 
America__Merida 
America__Metlakatla 
America__Mexico_City 
America__Miquelon 
America__Moncton 
America__Monterrey 
America__Montevideo 
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__Ojinaga 
America__Panama 
America__Pangnirtung 
America__Paramaribo 
America__Phoenix 
America__Port_au_Prince 
America__Port_of_Spain 
America__Porto_Velho 
America__Puerto_Rico 
America__Rainy_River 
America__Rankin_Inlet 
America__Recife 
America__Regina 
America__Resolute 
America__Rio_Branco 
America__Santarem 
America__Santiago 
America__Santo_Domingo 
America__Sao_Paulo 
America__Scoresbysund 
America__Sitka 
America__St_Johns 
America__Swift_Current 
America__Tegucigalpa 
America__Thule 
America__Thunder_Bay 
America__Tijuana 
America__Toronto 
America__Vancouver 
America__Whitehorse 
America__Winnipeg 
America__Yakutat 
America__Yellowknife 
Antarctica__Casey 
Antarctica__Davis 
Antarctica__DumontDUrville 
Antarctica__Macquarie 
Antarctica__Mawson 
Antarctica__Palmer 
Antarctica__Rothera 
Antarctica__Syowa 
Antarctica__Troll 
Antarctica__Vostok 
Asia__Almaty 
Asia__Amman 
Asia__Anadyr 
Asia__Aqtau 
Asia__Aqtobe 
Asia__Ashgabat 
Asia__Atyrau 
Asia__Baghdad 
Asia__Baku 
Asia__Bangkok 
Asia__Barnaul 
Asia__Beirut 
Asia__Bishkek 
Asia__Brunei 
Asia__Chita 
Asia__Choibalsan 
Asia__Colombo 
Asia__Damascus 
Asia__Dhaka 
Asia__Dili 
Asia__Dubai 
Asia__Dushanbe 
Asia__Famagusta 
Asia__Gaza 
Asia__Hebron 
Asia__Ho_Chi_Minh 
Asia__Hong_Kong 
Asia__Hovd 
Asia__Irkutsk 
Asia__Jakarta 
Asia__Jayapura 
Asia__Jerusalem 
Asia__Kabul 
Asia__Kamchatka 
Asia__Karachi 
Asia__Kathmandu 
Asia__Khandyga 
Asia__Kolkata 
Asia__Krasnoyarsk 
Asia__Kuala_Lumpur 
Asia__Kuching 
Asia__Macau 
Asia__Magadan 
Asia__Makassar 
Asia__Manila 
Asia__Nicosia 
Asia__Novokuznetsk 
Asia__Novosibirsk 
Asia__Omsk 
Asia__Oral 
Asia__Pontianak 
Asia__Pyongyang 
Asia__Qatar 
Asia__Qyzylorda 
Asia__Riyadh 
Asia__Sakhalin 
Asia__Samarkand 
Asia__Seoul 
Asia__Shanghai 
Asia__Singapore 
Asia__Srednekolymsk 
Asia__Taipei 
Asia__Tashkent 
Asia__Tbilisi 
Asia__Tehran 
Asia__Thimphu 
Asia__Tokyo 
Asia__Tomsk 
Asia__Ulaanbaatar 
Asia__Urumqi 
Asia__Ust_Nera 
Asia__Vladivostok 
Asia__Yakutsk 
Asia__Yangon 
Asia__Yekaterinburg 
Asia__Yerevan 
Atlantic__Azores 
Atlantic__Bermuda 
Atlantic__Canary 
Atlantic__Cape_Verde 
Atlantic__Faroe 
Atlantic__Madeira 
Atlantic__Reykjavik 
Atlantic__South_Georgia 
Atlantic__Stanley 
Australia__Adelaide 
Australia__Brisbane 
Australia__Broken_Hill 
Australia__Currie 
Australia__Darwin 
Australia__Eucla 
Australia__Hobart 
Australia__Lindeman 
Australia__Lord_Howe 
Australia__Melbourne 
Australia__Perth 
Australia__Sydney 
Etc__GMT 
Etc__GMT1 
Etc__GMT10 
Etc__GMT11 
Etc__GMT12 
Etc__GMT2 
Etc__GMT3 
Etc__GMT4 
Etc__GMT5 
Etc__GMT6 
Etc__GMT7 
Etc__GMT8 
Etc__GMT9 
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__UCT 
Etc__UTC 
Europe__Amsterdam 
Europe__Andorra 
Europe__Astrakhan 
Europe__Athens 
Europe__Belgrade 
Europe__Berlin 
Europe__Brussels 
Europe__Bucharest 
Europe__Budapest 
Europe__Chisinau 
Europe__Copenhagen 
Europe__Dublin 
Europe__Gibraltar 
Europe__Helsinki 
Europe__Istanbul 
Europe__Kaliningrad 
Europe__Kiev 
Europe__Kirov 
Europe__Lisbon 
Europe__London 
Europe__Luxembourg 
Europe__Madrid 
Europe__Malta 
Europe__Minsk 
Europe__Monaco 
Europe__Moscow 
Europe__Oslo 
Europe__Paris 
Europe__Prague 
Europe__Riga 
Europe__Rome 
Europe__Samara 
Europe__Saratov 
Europe__Simferopol 
Europe__Sofia 
Europe__Stockholm 
Europe__Tallinn 
Europe__Tirane 
Europe__Ulyanovsk 
Europe__Uzhgorod 
Europe__Vienna 
Europe__Vilnius 
Europe__Volgograd 
Europe__Warsaw 
Europe__Zaporozhye 
Europe__Zurich 
Indian__Chagos 
Indian__Christmas 
Indian__Cocos 
Indian__Kerguelen 
Indian__Mahe 
Indian__Maldives 
Indian__Mauritius 
Indian__Reunion 
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__Kiritimati 
Pacific__Kosrae 
Pacific__Kwajalein 
Pacific__Majuro 
Pacific__Marquesas 
Pacific__Nauru 
Pacific__Niue 
Pacific__Norfolk 
Pacific__Noumea 
Pacific__Pago_Pago 
Pacific__Palau 
Pacific__Pitcairn 
Pacific__Pohnpei 
Pacific__Port_Moresby 
Pacific__Rarotonga 
Pacific__Tahiti 
Pacific__Tarawa 
Pacific__Tongatapu 
Pacific__Wake 
Pacific__Wallis 
Root__CET 
Root__CST6CDT 
Root__EET 
Root__EST 
Root__EST5EDT 
Root__HST 
Root__MET 
Root__MST 
Root__MST7MDT 
Root__PST8PDT 
Root__WET 

Instances

Bounded TZLabel # 
Enum TZLabel # 
Eq TZLabel # 

Methods

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

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

Data TZLabel # 

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 :: (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 #

Ord TZLabel # 
Read TZLabel # 
Show TZLabel # 
Generic TZLabel # 

Associated Types

type Rep TZLabel :: * -> * #

Methods

from :: TZLabel -> Rep TZLabel x #

to :: Rep TZLabel x -> TZLabel #

NFData TZLabel # 

Methods

rnf :: TZLabel -> () #

type Rep TZLabel # 
type Rep TZLabel = D1 (MetaData "TZLabel" "Data.Time.Zones.DB" "tzdata-0.1.20161123.0-CemWihfy82jAdQzzzRI6Tu" False) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Africa__Abidjan" PrefixI False) U1) ((:+:) (C1 (MetaCons "Africa__Accra" PrefixI False) U1) (C1 (MetaCons "Africa__Algiers" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Africa__Bissau" PrefixI False) U1) ((:+:) (C1 (MetaCons "Africa__Cairo" PrefixI False) U1) (C1 (MetaCons "Africa__Casablanca" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Africa__Ceuta" PrefixI False) U1) ((:+:) (C1 (MetaCons "Africa__El_Aaiun" PrefixI False) U1) (C1 (MetaCons "Africa__Johannesburg" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Africa__Khartoum" PrefixI False) U1) ((:+:) (C1 (MetaCons "Africa__Lagos" PrefixI False) U1) (C1 (MetaCons "Africa__Maputo" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Africa__Monrovia" PrefixI False) U1) ((:+:) (C1 (MetaCons "Africa__Nairobi" PrefixI False) U1) (C1 (MetaCons "Africa__Ndjamena" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Africa__Tripoli" PrefixI False) U1) ((:+:) (C1 (MetaCons "Africa__Tunis" PrefixI False) U1) (C1 (MetaCons "Africa__Windhoek" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "America__Adak" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Anchorage" PrefixI False) U1) (C1 (MetaCons "America__Araguaina" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Argentina__Buenos_Aires" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Argentina__Catamarca" PrefixI False) U1) (C1 (MetaCons "America__Argentina__Cordoba" PrefixI False) U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "America__Argentina__Jujuy" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Argentina__La_Rioja" PrefixI False) U1) (C1 (MetaCons "America__Argentina__Mendoza" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Argentina__Rio_Gallegos" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Argentina__Salta" PrefixI False) U1) (C1 (MetaCons "America__Argentina__San_Juan" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "America__Argentina__San_Luis" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Argentina__Tucuman" PrefixI False) U1) (C1 (MetaCons "America__Argentina__Ushuaia" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Asuncion" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Atikokan" PrefixI False) U1) (C1 (MetaCons "America__Bahia" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "America__Bahia_Banderas" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Barbados" PrefixI False) U1) (C1 (MetaCons "America__Belem" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Belize" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Blanc_Sablon" PrefixI False) U1) (C1 (MetaCons "America__Boa_Vista" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "America__Bogota" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Boise" PrefixI False) U1) (C1 (MetaCons "America__Cambridge_Bay" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Campo_Grande" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Cancun" PrefixI False) U1) (C1 (MetaCons "America__Caracas" PrefixI False) U1))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "America__Cayenne" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Chicago" PrefixI False) U1) (C1 (MetaCons "America__Chihuahua" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Costa_Rica" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Creston" PrefixI False) U1) (C1 (MetaCons "America__Cuiaba" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "America__Curacao" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Danmarkshavn" PrefixI False) U1) (C1 (MetaCons "America__Dawson" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Dawson_Creek" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Denver" PrefixI False) U1) (C1 (MetaCons "America__Detroit" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "America__Edmonton" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Eirunepe" PrefixI False) U1) (C1 (MetaCons "America__El_Salvador" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Fort_Nelson" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Fortaleza" PrefixI False) U1) (C1 (MetaCons "America__Glace_Bay" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "America__Godthab" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Goose_Bay" PrefixI False) U1) (C1 (MetaCons "America__Grand_Turk" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Guatemala" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Guayaquil" PrefixI False) U1) (C1 (MetaCons "America__Guyana" PrefixI False) U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "America__Halifax" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Havana" PrefixI False) U1) (C1 (MetaCons "America__Hermosillo" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Indiana__Indianapolis" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Indiana__Knox" PrefixI False) U1) (C1 (MetaCons "America__Indiana__Marengo" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "America__Indiana__Petersburg" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Indiana__Tell_City" PrefixI False) U1) (C1 (MetaCons "America__Indiana__Vevay" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Indiana__Vincennes" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Indiana__Winamac" PrefixI False) U1) (C1 (MetaCons "America__Inuvik" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "America__Iqaluit" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Jamaica" PrefixI False) U1) (C1 (MetaCons "America__Juneau" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Kentucky__Louisville" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Kentucky__Monticello" PrefixI False) U1) (C1 (MetaCons "America__La_Paz" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "America__Lima" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Los_Angeles" PrefixI False) U1) (C1 (MetaCons "America__Maceio" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Managua" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Manaus" PrefixI False) U1) (C1 (MetaCons "America__Martinique" PrefixI False) U1)))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "America__Matamoros" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Mazatlan" PrefixI False) U1) (C1 (MetaCons "America__Menominee" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Merida" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Metlakatla" PrefixI False) U1) (C1 (MetaCons "America__Mexico_City" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "America__Miquelon" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Moncton" PrefixI False) U1) (C1 (MetaCons "America__Monterrey" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Montevideo" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Nassau" PrefixI False) U1) (C1 (MetaCons "America__New_York" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "America__Nipigon" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Nome" PrefixI False) U1) (C1 (MetaCons "America__Noronha" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__North_Dakota__Beulah" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__North_Dakota__Center" PrefixI False) U1) (C1 (MetaCons "America__North_Dakota__New_Salem" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "America__Ojinaga" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Panama" PrefixI False) U1) (C1 (MetaCons "America__Pangnirtung" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Paramaribo" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Phoenix" PrefixI False) U1) (C1 (MetaCons "America__Port_au_Prince" PrefixI False) U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "America__Port_of_Spain" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Porto_Velho" PrefixI False) U1) (C1 (MetaCons "America__Puerto_Rico" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Rainy_River" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Rankin_Inlet" PrefixI False) U1) (C1 (MetaCons "America__Recife" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "America__Regina" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Resolute" PrefixI False) U1) (C1 (MetaCons "America__Rio_Branco" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Santarem" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Santiago" PrefixI False) U1) (C1 (MetaCons "America__Santo_Domingo" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "America__Sao_Paulo" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Scoresbysund" PrefixI False) U1) (C1 (MetaCons "America__Sitka" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__St_Johns" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Swift_Current" PrefixI False) U1) (C1 (MetaCons "America__Tegucigalpa" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "America__Thule" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Thunder_Bay" PrefixI False) U1) (C1 (MetaCons "America__Tijuana" PrefixI False) U1))) ((:+:) (C1 (MetaCons "America__Toronto" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Vancouver" PrefixI False) U1) (C1 (MetaCons "America__Whitehorse" PrefixI False) U1))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "America__Winnipeg" PrefixI False) U1) ((:+:) (C1 (MetaCons "America__Yakutat" PrefixI False) U1) (C1 (MetaCons "America__Yellowknife" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Antarctica__Casey" PrefixI False) U1) ((:+:) (C1 (MetaCons "Antarctica__Davis" PrefixI False) U1) (C1 (MetaCons "Antarctica__DumontDUrville" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Antarctica__Macquarie" PrefixI False) U1) ((:+:) (C1 (MetaCons "Antarctica__Mawson" PrefixI False) U1) (C1 (MetaCons "Antarctica__Palmer" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Antarctica__Rothera" PrefixI False) U1) ((:+:) (C1 (MetaCons "Antarctica__Syowa" PrefixI False) U1) (C1 (MetaCons "Antarctica__Troll" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Antarctica__Vostok" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Almaty" PrefixI False) U1) (C1 (MetaCons "Asia__Amman" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Anadyr" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Aqtau" PrefixI False) U1) (C1 (MetaCons "Asia__Aqtobe" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Asia__Ashgabat" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Atyrau" PrefixI False) U1) (C1 (MetaCons "Asia__Baghdad" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Baku" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Bangkok" PrefixI False) U1) (C1 (MetaCons "Asia__Barnaul" PrefixI False) U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Asia__Beirut" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Bishkek" PrefixI False) U1) (C1 (MetaCons "Asia__Brunei" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Chita" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Choibalsan" PrefixI False) U1) (C1 (MetaCons "Asia__Colombo" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Asia__Damascus" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Dhaka" PrefixI False) U1) (C1 (MetaCons "Asia__Dili" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Dubai" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Dushanbe" PrefixI False) U1) (C1 (MetaCons "Asia__Famagusta" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Asia__Gaza" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Hebron" PrefixI False) U1) (C1 (MetaCons "Asia__Ho_Chi_Minh" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Hong_Kong" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Hovd" PrefixI False) U1) (C1 (MetaCons "Asia__Irkutsk" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Asia__Jakarta" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Jayapura" PrefixI False) U1) (C1 (MetaCons "Asia__Jerusalem" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Kabul" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Kamchatka" PrefixI False) U1) (C1 (MetaCons "Asia__Karachi" PrefixI False) U1))))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Asia__Kathmandu" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Khandyga" PrefixI False) U1) (C1 (MetaCons "Asia__Kolkata" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Krasnoyarsk" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Kuala_Lumpur" PrefixI False) U1) (C1 (MetaCons "Asia__Kuching" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Asia__Macau" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Magadan" PrefixI False) U1) (C1 (MetaCons "Asia__Makassar" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Manila" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Nicosia" PrefixI False) U1) (C1 (MetaCons "Asia__Novokuznetsk" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Asia__Novosibirsk" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Omsk" PrefixI False) U1) (C1 (MetaCons "Asia__Oral" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Pontianak" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Pyongyang" PrefixI False) U1) (C1 (MetaCons "Asia__Qatar" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Asia__Qyzylorda" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Riyadh" PrefixI False) U1) (C1 (MetaCons "Asia__Sakhalin" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Samarkand" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Seoul" PrefixI False) U1) (C1 (MetaCons "Asia__Shanghai" PrefixI False) U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Asia__Singapore" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Srednekolymsk" PrefixI False) U1) (C1 (MetaCons "Asia__Taipei" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Tashkent" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Tbilisi" PrefixI False) U1) (C1 (MetaCons "Asia__Tehran" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Asia__Thimphu" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Tokyo" PrefixI False) U1) (C1 (MetaCons "Asia__Tomsk" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Ulaanbaatar" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Urumqi" PrefixI False) U1) (C1 (MetaCons "Asia__Ust_Nera" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Asia__Vladivostok" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Yakutsk" PrefixI False) U1) (C1 (MetaCons "Asia__Yangon" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Asia__Yekaterinburg" PrefixI False) U1) ((:+:) (C1 (MetaCons "Asia__Yerevan" PrefixI False) U1) (C1 (MetaCons "Atlantic__Azores" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Atlantic__Bermuda" PrefixI False) U1) ((:+:) (C1 (MetaCons "Atlantic__Canary" PrefixI False) U1) (C1 (MetaCons "Atlantic__Cape_Verde" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Atlantic__Faroe" PrefixI False) U1) ((:+:) (C1 (MetaCons "Atlantic__Madeira" PrefixI False) U1) (C1 (MetaCons "Atlantic__Reykjavik" PrefixI False) U1))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Atlantic__South_Georgia" PrefixI False) U1) ((:+:) (C1 (MetaCons "Atlantic__Stanley" PrefixI False) U1) (C1 (MetaCons "Australia__Adelaide" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Australia__Brisbane" PrefixI False) U1) ((:+:) (C1 (MetaCons "Australia__Broken_Hill" PrefixI False) U1) (C1 (MetaCons "Australia__Currie" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Australia__Darwin" PrefixI False) U1) ((:+:) (C1 (MetaCons "Australia__Eucla" PrefixI False) U1) (C1 (MetaCons "Australia__Hobart" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Australia__Lindeman" PrefixI False) U1) ((:+:) (C1 (MetaCons "Australia__Lord_Howe" PrefixI False) U1) (C1 (MetaCons "Australia__Melbourne" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Australia__Perth" PrefixI False) U1) ((:+:) (C1 (MetaCons "Australia__Sydney" PrefixI False) U1) (C1 (MetaCons "Etc__GMT" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Etc__GMT1" PrefixI False) U1) ((:+:) (C1 (MetaCons "Etc__GMT10" PrefixI False) U1) (C1 (MetaCons "Etc__GMT11" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Etc__GMT12" PrefixI False) U1) ((:+:) (C1 (MetaCons "Etc__GMT2" PrefixI False) U1) (C1 (MetaCons "Etc__GMT3" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Etc__GMT4" PrefixI False) U1) ((:+:) (C1 (MetaCons "Etc__GMT5" PrefixI False) U1) (C1 (MetaCons "Etc__GMT6" PrefixI False) U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Etc__GMT7" PrefixI False) U1) ((:+:) (C1 (MetaCons "Etc__GMT8" PrefixI False) U1) (C1 (MetaCons "Etc__GMT9" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Etc__GMT_1" PrefixI False) U1) ((:+:) (C1 (MetaCons "Etc__GMT_10" PrefixI False) U1) (C1 (MetaCons "Etc__GMT_11" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Etc__GMT_12" PrefixI False) U1) ((:+:) (C1 (MetaCons "Etc__GMT_13" PrefixI False) U1) (C1 (MetaCons "Etc__GMT_14" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Etc__GMT_2" PrefixI False) U1) ((:+:) (C1 (MetaCons "Etc__GMT_3" PrefixI False) U1) (C1 (MetaCons "Etc__GMT_4" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Etc__GMT_5" PrefixI False) U1) ((:+:) (C1 (MetaCons "Etc__GMT_6" PrefixI False) U1) (C1 (MetaCons "Etc__GMT_7" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Etc__GMT_8" PrefixI False) U1) ((:+:) (C1 (MetaCons "Etc__GMT_9" PrefixI False) U1) (C1 (MetaCons "Etc__UCT" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Etc__UTC" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Amsterdam" PrefixI False) U1) (C1 (MetaCons "Europe__Andorra" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Europe__Astrakhan" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Athens" PrefixI False) U1) (C1 (MetaCons "Europe__Belgrade" PrefixI False) U1)))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Europe__Berlin" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Brussels" PrefixI False) U1) (C1 (MetaCons "Europe__Bucharest" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Europe__Budapest" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Chisinau" PrefixI False) U1) (C1 (MetaCons "Europe__Copenhagen" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Europe__Dublin" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Gibraltar" PrefixI False) U1) (C1 (MetaCons "Europe__Helsinki" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Europe__Istanbul" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Kaliningrad" PrefixI False) U1) (C1 (MetaCons "Europe__Kiev" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Europe__Kirov" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Lisbon" PrefixI False) U1) (C1 (MetaCons "Europe__London" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Europe__Luxembourg" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Madrid" PrefixI False) U1) (C1 (MetaCons "Europe__Malta" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Europe__Minsk" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Monaco" PrefixI False) U1) (C1 (MetaCons "Europe__Moscow" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Europe__Oslo" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Paris" PrefixI False) U1) (C1 (MetaCons "Europe__Prague" PrefixI False) U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Europe__Riga" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Rome" PrefixI False) U1) (C1 (MetaCons "Europe__Samara" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Europe__Saratov" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Simferopol" PrefixI False) U1) (C1 (MetaCons "Europe__Sofia" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Europe__Stockholm" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Tallinn" PrefixI False) U1) (C1 (MetaCons "Europe__Tirane" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Europe__Ulyanovsk" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Uzhgorod" PrefixI False) U1) (C1 (MetaCons "Europe__Vienna" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Europe__Vilnius" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Volgograd" PrefixI False) U1) (C1 (MetaCons "Europe__Warsaw" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Europe__Zaporozhye" PrefixI False) U1) ((:+:) (C1 (MetaCons "Europe__Zurich" PrefixI False) U1) (C1 (MetaCons "Indian__Chagos" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Indian__Christmas" PrefixI False) U1) ((:+:) (C1 (MetaCons "Indian__Cocos" PrefixI False) U1) (C1 (MetaCons "Indian__Kerguelen" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Indian__Mahe" PrefixI False) U1) ((:+:) (C1 (MetaCons "Indian__Maldives" PrefixI False) U1) (C1 (MetaCons "Indian__Mauritius" PrefixI False) U1))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Indian__Reunion" PrefixI False) U1) ((:+:) (C1 (MetaCons "Pacific__Apia" PrefixI False) U1) (C1 (MetaCons "Pacific__Auckland" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Pacific__Bougainville" PrefixI False) U1) ((:+:) (C1 (MetaCons "Pacific__Chatham" PrefixI False) U1) (C1 (MetaCons "Pacific__Chuuk" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Pacific__Easter" PrefixI False) U1) ((:+:) (C1 (MetaCons "Pacific__Efate" PrefixI False) U1) (C1 (MetaCons "Pacific__Enderbury" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Pacific__Fakaofo" PrefixI False) U1) ((:+:) (C1 (MetaCons "Pacific__Fiji" PrefixI False) U1) (C1 (MetaCons "Pacific__Funafuti" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Pacific__Galapagos" PrefixI False) U1) ((:+:) (C1 (MetaCons "Pacific__Gambier" PrefixI False) U1) (C1 (MetaCons "Pacific__Guadalcanal" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Pacific__Guam" PrefixI False) U1) ((:+:) (C1 (MetaCons "Pacific__Honolulu" PrefixI False) U1) (C1 (MetaCons "Pacific__Kiritimati" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Pacific__Kosrae" PrefixI False) U1) ((:+:) (C1 (MetaCons "Pacific__Kwajalein" PrefixI False) U1) (C1 (MetaCons "Pacific__Majuro" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Pacific__Marquesas" PrefixI False) U1) ((:+:) (C1 (MetaCons "Pacific__Nauru" PrefixI False) U1) (C1 (MetaCons "Pacific__Niue" PrefixI False) U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Pacific__Norfolk" PrefixI False) U1) ((:+:) (C1 (MetaCons "Pacific__Noumea" PrefixI False) U1) (C1 (MetaCons "Pacific__Pago_Pago" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Pacific__Palau" PrefixI False) U1) ((:+:) (C1 (MetaCons "Pacific__Pitcairn" PrefixI False) U1) (C1 (MetaCons "Pacific__Pohnpei" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Pacific__Port_Moresby" PrefixI False) U1) ((:+:) (C1 (MetaCons "Pacific__Rarotonga" PrefixI False) U1) (C1 (MetaCons "Pacific__Tahiti" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Pacific__Tarawa" PrefixI False) U1) ((:+:) (C1 (MetaCons "Pacific__Tongatapu" PrefixI False) U1) (C1 (MetaCons "Pacific__Wake" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Pacific__Wallis" PrefixI False) U1) ((:+:) (C1 (MetaCons "Root__CET" PrefixI False) U1) (C1 (MetaCons "Root__CST6CDT" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Root__EET" PrefixI False) U1) ((:+:) (C1 (MetaCons "Root__EST" PrefixI False) U1) (C1 (MetaCons "Root__EST5EDT" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "Root__HST" PrefixI False) U1) ((:+:) (C1 (MetaCons "Root__MET" PrefixI False) U1) (C1 (MetaCons "Root__MST" PrefixI False) U1))) ((:+:) (C1 (MetaCons "Root__MST7MDT" PrefixI False) U1) ((:+:) (C1 (MetaCons "Root__PST8PDT" PrefixI False) U1) (C1 (MetaCons "Root__WET" PrefixI False) U1))))))))))

Access to raw data

type TZDescription = Either (ByteString, ByteString) (ByteString, TZLabel, ByteString) #

Type of the elements of the compiled-in time zone info database.

Right is a primary location; fields: name, label, content of the Time Zone info file

Left is a location which is an alias for a primary location; fields: name, name of the target

tzDescriptions :: [TZDescription] #

The list with raw data of the compiled-in time zone info database.

The list is sorted by name. (And the Right elements are guaranteed to be in the order of TZLabel constructors.)

Type-level time zone labels

class KnownTZLabel label where #

This class gives the value associated with a type-level time zone label.

> :set -XDataKinds
> :module + Data.Proxy
> tzLabelVal (Proxy :: Proxy 'America__New_York)
America__New_York

Minimal complete definition

tzLabelVal

Methods

tzLabelVal :: Proxy label -> TZLabel #

Instances

KnownTZLabel Africa__Abidjan # 
KnownTZLabel Africa__Accra # 
KnownTZLabel Africa__Algiers # 
KnownTZLabel Africa__Bissau # 
KnownTZLabel Africa__Cairo # 
KnownTZLabel Africa__Casablanca # 
KnownTZLabel Africa__Ceuta # 
KnownTZLabel Africa__El_Aaiun # 
KnownTZLabel Africa__Johannesburg # 
KnownTZLabel Africa__Khartoum # 
KnownTZLabel Africa__Lagos # 
KnownTZLabel Africa__Maputo # 
KnownTZLabel Africa__Monrovia # 
KnownTZLabel Africa__Nairobi # 
KnownTZLabel Africa__Ndjamena # 
KnownTZLabel Africa__Tripoli # 
KnownTZLabel Africa__Tunis # 
KnownTZLabel Africa__Windhoek # 
KnownTZLabel America__Adak # 
KnownTZLabel America__Anchorage # 
KnownTZLabel America__Araguaina # 
KnownTZLabel America__Argentina__Buenos_Aires # 
KnownTZLabel America__Argentina__Catamarca # 
KnownTZLabel America__Argentina__Cordoba # 
KnownTZLabel America__Argentina__Jujuy # 
KnownTZLabel America__Argentina__La_Rioja # 
KnownTZLabel America__Argentina__Mendoza # 
KnownTZLabel America__Argentina__Rio_Gallegos # 
KnownTZLabel America__Argentina__Salta # 
KnownTZLabel America__Argentina__San_Juan # 
KnownTZLabel America__Argentina__San_Luis # 
KnownTZLabel America__Argentina__Tucuman # 
KnownTZLabel America__Argentina__Ushuaia # 
KnownTZLabel America__Asuncion # 
KnownTZLabel America__Atikokan # 
KnownTZLabel America__Bahia # 
KnownTZLabel America__Bahia_Banderas # 
KnownTZLabel America__Barbados # 
KnownTZLabel America__Belem # 
KnownTZLabel America__Belize # 
KnownTZLabel America__Blanc_Sablon # 
KnownTZLabel America__Boa_Vista # 
KnownTZLabel America__Bogota # 
KnownTZLabel America__Boise # 
KnownTZLabel America__Cambridge_Bay # 
KnownTZLabel America__Campo_Grande # 
KnownTZLabel America__Cancun # 
KnownTZLabel America__Caracas # 
KnownTZLabel America__Cayenne # 
KnownTZLabel America__Chicago # 
KnownTZLabel America__Chihuahua # 
KnownTZLabel America__Costa_Rica # 
KnownTZLabel America__Creston # 
KnownTZLabel America__Cuiaba # 
KnownTZLabel America__Curacao # 
KnownTZLabel America__Danmarkshavn # 
KnownTZLabel America__Dawson # 
KnownTZLabel America__Dawson_Creek # 
KnownTZLabel America__Denver # 
KnownTZLabel America__Detroit # 
KnownTZLabel America__Edmonton # 
KnownTZLabel America__Eirunepe # 
KnownTZLabel America__El_Salvador # 
KnownTZLabel America__Fort_Nelson # 
KnownTZLabel America__Fortaleza # 
KnownTZLabel America__Glace_Bay # 
KnownTZLabel America__Godthab # 
KnownTZLabel America__Goose_Bay # 
KnownTZLabel America__Grand_Turk # 
KnownTZLabel America__Guatemala # 
KnownTZLabel America__Guayaquil # 
KnownTZLabel America__Guyana # 
KnownTZLabel America__Halifax # 
KnownTZLabel America__Havana # 
KnownTZLabel America__Hermosillo # 
KnownTZLabel America__Indiana__Indianapolis # 
KnownTZLabel America__Indiana__Knox # 
KnownTZLabel America__Indiana__Marengo # 
KnownTZLabel America__Indiana__Petersburg # 
KnownTZLabel America__Indiana__Tell_City # 
KnownTZLabel America__Indiana__Vevay # 
KnownTZLabel America__Indiana__Vincennes # 
KnownTZLabel America__Indiana__Winamac # 
KnownTZLabel America__Inuvik # 
KnownTZLabel America__Iqaluit # 
KnownTZLabel America__Jamaica # 
KnownTZLabel America__Juneau # 
KnownTZLabel America__Kentucky__Louisville # 
KnownTZLabel America__Kentucky__Monticello # 
KnownTZLabel America__La_Paz # 
KnownTZLabel America__Lima # 
KnownTZLabel America__Los_Angeles # 
KnownTZLabel America__Maceio # 
KnownTZLabel America__Managua # 
KnownTZLabel America__Manaus # 
KnownTZLabel America__Martinique # 
KnownTZLabel America__Matamoros # 
KnownTZLabel America__Mazatlan # 
KnownTZLabel America__Menominee # 
KnownTZLabel America__Merida # 
KnownTZLabel America__Metlakatla # 
KnownTZLabel America__Mexico_City # 
KnownTZLabel America__Miquelon # 
KnownTZLabel America__Moncton # 
KnownTZLabel America__Monterrey # 
KnownTZLabel America__Montevideo # 
KnownTZLabel America__Nassau # 
KnownTZLabel America__New_York # 
KnownTZLabel America__Nipigon # 
KnownTZLabel America__Nome # 
KnownTZLabel America__Noronha # 
KnownTZLabel America__North_Dakota__Beulah # 
KnownTZLabel America__North_Dakota__Center # 
KnownTZLabel America__North_Dakota__New_Salem # 
KnownTZLabel America__Ojinaga # 
KnownTZLabel America__Panama # 
KnownTZLabel America__Pangnirtung # 
KnownTZLabel America__Paramaribo # 
KnownTZLabel America__Phoenix # 
KnownTZLabel America__Port_au_Prince # 
KnownTZLabel America__Port_of_Spain # 
KnownTZLabel America__Porto_Velho # 
KnownTZLabel America__Puerto_Rico # 
KnownTZLabel America__Rainy_River # 
KnownTZLabel America__Rankin_Inlet # 
KnownTZLabel America__Recife # 
KnownTZLabel America__Regina # 
KnownTZLabel America__Resolute # 
KnownTZLabel America__Rio_Branco # 
KnownTZLabel America__Santarem # 
KnownTZLabel America__Santiago # 
KnownTZLabel America__Santo_Domingo # 
KnownTZLabel America__Sao_Paulo # 
KnownTZLabel America__Scoresbysund # 
KnownTZLabel America__Sitka # 
KnownTZLabel America__St_Johns # 
KnownTZLabel America__Swift_Current # 
KnownTZLabel America__Tegucigalpa # 
KnownTZLabel America__Thule # 
KnownTZLabel America__Thunder_Bay # 
KnownTZLabel America__Tijuana # 
KnownTZLabel America__Toronto # 
KnownTZLabel America__Vancouver # 
KnownTZLabel America__Whitehorse # 
KnownTZLabel America__Winnipeg # 
KnownTZLabel America__Yakutat # 
KnownTZLabel America__Yellowknife # 
KnownTZLabel Antarctica__Casey # 
KnownTZLabel Antarctica__Davis # 
KnownTZLabel Antarctica__DumontDUrville # 
KnownTZLabel Antarctica__Macquarie # 
KnownTZLabel Antarctica__Mawson # 
KnownTZLabel Antarctica__Palmer # 
KnownTZLabel Antarctica__Rothera # 
KnownTZLabel Antarctica__Syowa # 
KnownTZLabel Antarctica__Troll # 
KnownTZLabel Antarctica__Vostok # 
KnownTZLabel Asia__Almaty # 
KnownTZLabel Asia__Amman # 
KnownTZLabel Asia__Anadyr # 
KnownTZLabel Asia__Aqtau # 
KnownTZLabel Asia__Aqtobe # 
KnownTZLabel Asia__Ashgabat # 
KnownTZLabel Asia__Atyrau # 
KnownTZLabel Asia__Baghdad # 
KnownTZLabel Asia__Baku # 
KnownTZLabel Asia__Bangkok # 
KnownTZLabel Asia__Barnaul # 
KnownTZLabel Asia__Beirut # 
KnownTZLabel Asia__Bishkek # 
KnownTZLabel Asia__Brunei # 
KnownTZLabel Asia__Chita # 
KnownTZLabel Asia__Choibalsan # 
KnownTZLabel Asia__Colombo # 
KnownTZLabel Asia__Damascus # 
KnownTZLabel Asia__Dhaka # 
KnownTZLabel Asia__Dili # 
KnownTZLabel Asia__Dubai # 
KnownTZLabel Asia__Dushanbe # 
KnownTZLabel Asia__Famagusta # 
KnownTZLabel Asia__Gaza # 
KnownTZLabel Asia__Hebron # 
KnownTZLabel Asia__Ho_Chi_Minh # 
KnownTZLabel Asia__Hong_Kong # 
KnownTZLabel Asia__Hovd # 
KnownTZLabel Asia__Irkutsk # 
KnownTZLabel Asia__Jakarta # 
KnownTZLabel Asia__Jayapura # 
KnownTZLabel Asia__Jerusalem # 
KnownTZLabel Asia__Kabul # 
KnownTZLabel Asia__Kamchatka # 
KnownTZLabel Asia__Karachi # 
KnownTZLabel Asia__Kathmandu # 
KnownTZLabel Asia__Khandyga # 
KnownTZLabel Asia__Kolkata # 
KnownTZLabel Asia__Krasnoyarsk # 
KnownTZLabel Asia__Kuala_Lumpur # 
KnownTZLabel Asia__Kuching # 
KnownTZLabel Asia__Macau # 
KnownTZLabel Asia__Magadan # 
KnownTZLabel Asia__Makassar # 
KnownTZLabel Asia__Manila # 
KnownTZLabel Asia__Nicosia # 
KnownTZLabel Asia__Novokuznetsk # 
KnownTZLabel Asia__Novosibirsk # 
KnownTZLabel Asia__Omsk # 
KnownTZLabel Asia__Oral # 
KnownTZLabel Asia__Pontianak # 
KnownTZLabel Asia__Pyongyang # 
KnownTZLabel Asia__Qatar # 
KnownTZLabel Asia__Qyzylorda # 
KnownTZLabel Asia__Riyadh # 
KnownTZLabel Asia__Sakhalin # 
KnownTZLabel Asia__Samarkand # 
KnownTZLabel Asia__Seoul # 
KnownTZLabel Asia__Shanghai # 
KnownTZLabel Asia__Singapore # 
KnownTZLabel Asia__Srednekolymsk # 
KnownTZLabel Asia__Taipei # 
KnownTZLabel Asia__Tashkent # 
KnownTZLabel Asia__Tbilisi # 
KnownTZLabel Asia__Tehran # 
KnownTZLabel Asia__Thimphu # 
KnownTZLabel Asia__Tokyo # 
KnownTZLabel Asia__Tomsk # 
KnownTZLabel Asia__Ulaanbaatar # 
KnownTZLabel Asia__Urumqi # 
KnownTZLabel Asia__Ust_Nera # 
KnownTZLabel Asia__Vladivostok # 
KnownTZLabel Asia__Yakutsk # 
KnownTZLabel Asia__Yangon # 
KnownTZLabel Asia__Yekaterinburg # 
KnownTZLabel Asia__Yerevan # 
KnownTZLabel Atlantic__Azores # 
KnownTZLabel Atlantic__Bermuda # 
KnownTZLabel Atlantic__Canary # 
KnownTZLabel Atlantic__Cape_Verde # 
KnownTZLabel Atlantic__Faroe # 
KnownTZLabel Atlantic__Madeira # 
KnownTZLabel Atlantic__Reykjavik # 
KnownTZLabel Atlantic__South_Georgia # 
KnownTZLabel Atlantic__Stanley # 
KnownTZLabel Australia__Adelaide # 
KnownTZLabel Australia__Brisbane # 
KnownTZLabel Australia__Broken_Hill # 
KnownTZLabel Australia__Currie # 
KnownTZLabel Australia__Darwin # 
KnownTZLabel Australia__Eucla # 
KnownTZLabel Australia__Hobart # 
KnownTZLabel Australia__Lindeman # 
KnownTZLabel Australia__Lord_Howe # 
KnownTZLabel Australia__Melbourne # 
KnownTZLabel Australia__Perth # 
KnownTZLabel Australia__Sydney # 
KnownTZLabel Etc__GMT # 
KnownTZLabel Etc__GMT1 # 
KnownTZLabel Etc__GMT10 # 
KnownTZLabel Etc__GMT11 # 
KnownTZLabel Etc__GMT12 # 
KnownTZLabel Etc__GMT2 # 
KnownTZLabel Etc__GMT3 # 
KnownTZLabel Etc__GMT4 # 
KnownTZLabel Etc__GMT5 # 
KnownTZLabel Etc__GMT6 # 
KnownTZLabel Etc__GMT7 # 
KnownTZLabel Etc__GMT8 # 
KnownTZLabel Etc__GMT9 # 
KnownTZLabel Etc__GMT_1 # 
KnownTZLabel Etc__GMT_10 # 
KnownTZLabel Etc__GMT_11 # 
KnownTZLabel Etc__GMT_12 # 
KnownTZLabel Etc__GMT_13 # 
KnownTZLabel Etc__GMT_14 # 
KnownTZLabel Etc__GMT_2 # 
KnownTZLabel Etc__GMT_3 # 
KnownTZLabel Etc__GMT_4 # 
KnownTZLabel Etc__GMT_5 # 
KnownTZLabel Etc__GMT_6 # 
KnownTZLabel Etc__GMT_7 # 
KnownTZLabel Etc__GMT_8 # 
KnownTZLabel Etc__GMT_9 # 
KnownTZLabel Etc__UCT # 
KnownTZLabel Etc__UTC # 
KnownTZLabel Europe__Amsterdam # 
KnownTZLabel Europe__Andorra # 
KnownTZLabel Europe__Astrakhan # 
KnownTZLabel Europe__Athens # 
KnownTZLabel Europe__Belgrade # 
KnownTZLabel Europe__Berlin # 
KnownTZLabel Europe__Brussels # 
KnownTZLabel Europe__Bucharest # 
KnownTZLabel Europe__Budapest # 
KnownTZLabel Europe__Chisinau # 
KnownTZLabel Europe__Copenhagen # 
KnownTZLabel Europe__Dublin # 
KnownTZLabel Europe__Gibraltar # 
KnownTZLabel Europe__Helsinki # 
KnownTZLabel Europe__Istanbul # 
KnownTZLabel Europe__Kaliningrad # 
KnownTZLabel Europe__Kiev # 
KnownTZLabel Europe__Kirov # 
KnownTZLabel Europe__Lisbon # 
KnownTZLabel Europe__London # 
KnownTZLabel Europe__Luxembourg # 
KnownTZLabel Europe__Madrid # 
KnownTZLabel Europe__Malta # 
KnownTZLabel Europe__Minsk # 
KnownTZLabel Europe__Monaco # 
KnownTZLabel Europe__Moscow # 
KnownTZLabel Europe__Oslo # 
KnownTZLabel Europe__Paris # 
KnownTZLabel Europe__Prague # 
KnownTZLabel Europe__Riga # 
KnownTZLabel Europe__Rome # 
KnownTZLabel Europe__Samara # 
KnownTZLabel Europe__Saratov # 
KnownTZLabel Europe__Simferopol # 
KnownTZLabel Europe__Sofia # 
KnownTZLabel Europe__Stockholm # 
KnownTZLabel Europe__Tallinn # 
KnownTZLabel Europe__Tirane # 
KnownTZLabel Europe__Ulyanovsk # 
KnownTZLabel Europe__Uzhgorod # 
KnownTZLabel Europe__Vienna # 
KnownTZLabel Europe__Vilnius # 
KnownTZLabel Europe__Volgograd # 
KnownTZLabel Europe__Warsaw # 
KnownTZLabel Europe__Zaporozhye # 
KnownTZLabel Europe__Zurich # 
KnownTZLabel Indian__Chagos # 
KnownTZLabel Indian__Christmas # 
KnownTZLabel Indian__Cocos # 
KnownTZLabel Indian__Kerguelen # 
KnownTZLabel Indian__Mahe # 
KnownTZLabel Indian__Maldives # 
KnownTZLabel Indian__Mauritius # 
KnownTZLabel Indian__Reunion # 
KnownTZLabel Pacific__Apia # 
KnownTZLabel Pacific__Auckland # 
KnownTZLabel Pacific__Bougainville # 
KnownTZLabel Pacific__Chatham # 
KnownTZLabel Pacific__Chuuk # 
KnownTZLabel Pacific__Easter # 
KnownTZLabel Pacific__Efate # 
KnownTZLabel Pacific__Enderbury # 
KnownTZLabel Pacific__Fakaofo # 
KnownTZLabel Pacific__Fiji # 
KnownTZLabel Pacific__Funafuti # 
KnownTZLabel Pacific__Galapagos # 
KnownTZLabel Pacific__Gambier # 
KnownTZLabel Pacific__Guadalcanal # 
KnownTZLabel Pacific__Guam # 
KnownTZLabel Pacific__Honolulu # 
KnownTZLabel Pacific__Kiritimati # 
KnownTZLabel Pacific__Kosrae # 
KnownTZLabel Pacific__Kwajalein # 
KnownTZLabel Pacific__Majuro # 
KnownTZLabel Pacific__Marquesas # 
KnownTZLabel Pacific__Nauru # 
KnownTZLabel Pacific__Niue # 
KnownTZLabel Pacific__Norfolk # 
KnownTZLabel Pacific__Noumea # 
KnownTZLabel Pacific__Pago_Pago # 
KnownTZLabel Pacific__Palau # 
KnownTZLabel Pacific__Pitcairn # 
KnownTZLabel Pacific__Pohnpei # 
KnownTZLabel Pacific__Port_Moresby # 
KnownTZLabel Pacific__Rarotonga # 
KnownTZLabel Pacific__Tahiti # 
KnownTZLabel Pacific__Tarawa # 
KnownTZLabel Pacific__Tongatapu # 
KnownTZLabel Pacific__Wake # 
KnownTZLabel Pacific__Wallis # 
KnownTZLabel Root__CET # 
KnownTZLabel Root__CST6CDT # 
KnownTZLabel Root__EET # 
KnownTZLabel Root__EST # 
KnownTZLabel Root__EST5EDT # 
KnownTZLabel Root__HST # 
KnownTZLabel Root__MET # 
KnownTZLabel Root__MST # 
KnownTZLabel Root__MST7MDT # 
KnownTZLabel Root__PST8PDT # 
KnownTZLabel Root__WET # 

data SomeTZLabel where #

This type represents an unknown type-level time zone label.

Constructors

SomeTZLabel :: KnownTZLabel label => Proxy label -> SomeTZLabel 

someTZLabelVal :: TZLabel -> SomeTZLabel #

Convert a value into an unknown type-level time zone label.

> someTZLabelVal America__New_York
SomeTZLabel Proxy

promoteTZLabel :: forall proxy label a. KnownTZLabel label => proxy label -> (Proxy label -> a) -> a #

Promote a time zone label value to the type-level.

> case someTZLabelVal America__New_York of SomeTZLabel proxy -> promoteTZLabel proxy SomeTZLabel
SomeTZLabel Proxy