This module contains TimeZone definitions for all Timezones as they are defined in the IANA zoneinfo database.
TimeZone data is parsed lazily so, in order to retrieve a zone's value you
must apply ()
to it. For example:
import Time.DateTime exposing (epoch, toTimestamp)
import Time.TimeZone exposing (abbreviation)
import Time.TimeZones exposing (europe_bucharest)
let
timezone = europe_bucharest ()
in
abbreviation (toTimestamp epoch) timezone
A mapping from TimeZone names to their respective functions. Use this to look up TimeZones by name.
Look up a TimeZone by name.
America/Jamaica
Asia/Singapore
CET
CST6CDT
America/Havana
EET
Africa/Cairo
Europe/Dublin
EST
EST5EDT
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/UCT
Etc/UTC
Etc/UTC
Etc/UTC
Europe/London
Europe/London
Europe/Dublin
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Etc/GMT+0
Asia/Hong_Kong
HST
Atlantic/Reykjavik
Asia/Tehran
Asia/Jerusalem
America/Jamaica
Asia/Tokyo
Pacific/Kwajalein
Africa/Tripoli
MET
MST
MST7MDT
America/Denver
Pacific/Auckland
Pacific/Auckland
Pacific/Kwajalein
Europe/Warsaw
Europe/Lisbon
Asia/Shanghai
PST8PDT
Asia/Taipei
Asia/Seoul
Asia/Singapore
Europe/Istanbul
Etc/UCT
Etc/UTC
Etc/UTC
WET
Etc/UTC
module Time.TimeZones exposing (..)
{-| This module contains TimeZone definitions for all Timezones as they
are defined in the IANA zoneinfo database.
TimeZone data is parsed lazily so, in order to retrieve a zone's value you
must apply `()` to it. For example:
import Time.DateTime exposing (epoch, toTimestamp)
import Time.TimeZone exposing (abbreviation)
import Time.TimeZones exposing (europe_bucharest)
let
timezone = europe_bucharest ()
in
abbreviation (toTimestamp epoch) timezone
@docs all, fromName, 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_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_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_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_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_north, australia_nsw, australia_perth, australia_queensland, australia_south, australia_sydney, australia_tasmania, australia_victoria, australia_west, australia_yancowinna, brazil_acre, brazil_denoronha, brazil_east, brazil_west, canada_atlantic, canada_central, canada_east_saskatchewan, canada_eastern, canada_mountain, canada_newfoundland, canada_pacific, canada_saskatchewan, canada_yukon, cet, chile_continental, chile_easterisland, cst6cdt, cuba, eet, egypt, eire, est, est5edt, etc_gmt, etc_gmt_0, etc_gmt_minus_0, etc_gmt_minus_1, etc_gmt_minus_10, etc_gmt_minus_11, etc_gmt_minus_12, etc_gmt_minus_13, etc_gmt_minus_14, etc_gmt_minus_2, etc_gmt_minus_3, etc_gmt_minus_4, etc_gmt_minus_5, etc_gmt_minus_6, etc_gmt_minus_7, etc_gmt_minus_8, etc_gmt_minus_9, etc_gmt_plus_0, etc_gmt_plus_1, etc_gmt_plus_10, etc_gmt_plus_11, etc_gmt_plus_12, etc_gmt_plus_2, etc_gmt_plus_3, etc_gmt_plus_4, etc_gmt_plus_5, etc_gmt_plus_6, etc_gmt_plus_7, etc_gmt_plus_8, etc_gmt_plus_9, etc_greenwich, etc_uct, etc_universal, etc_utc, 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_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, gb, gb_eire, gmt, gmt_0, gmt_minus_0, gmt_plus_0, greenwich, hongkong, hst, 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, mexico_bajanorte, mexico_bajasur, mexico_general, mst, mst7mdt, navajo, nz, nz_chat, 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_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, prc, pst8pdt, roc, rok, singapore, turkey, uct, universal, 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_pacific_new, us_samoa, utc, w_su, wet, zulu
-}
import Dict exposing (Dict)
import Lazy exposing (Lazy, force)
import Time.TimeZone exposing (TimeZone)
import Time.TimeZoneData exposing (..)
-- TimeZones
-- ---------
{-| Africa/Abidjan -}
africa_abidjan : () -> TimeZone
africa_abidjan () = force africa_abidjan_l
{-| Africa/Accra -}
africa_accra : () -> TimeZone
africa_accra () = force africa_accra_l
{-| Africa/Nairobi -}
africa_addis_ababa : () -> TimeZone
africa_addis_ababa () = force (link "Africa/Nairobi" africa_nairobi_l)
{-| Africa/Algiers -}
africa_algiers : () -> TimeZone
africa_algiers () = force africa_algiers_l
{-| Africa/Nairobi -}
africa_asmara : () -> TimeZone
africa_asmara () = force (link "Africa/Nairobi" africa_nairobi_l)
{-| Africa/Nairobi -}
africa_asmera : () -> TimeZone
africa_asmera () = force (link "Africa/Nairobi" africa_nairobi_l)
{-| Africa/Abidjan -}
africa_bamako : () -> TimeZone
africa_bamako () = force (link "Africa/Abidjan" africa_abidjan_l)
{-| Africa/Lagos -}
africa_bangui : () -> TimeZone
africa_bangui () = force (link "Africa/Lagos" africa_lagos_l)
{-| Africa/Abidjan -}
africa_banjul : () -> TimeZone
africa_banjul () = force (link "Africa/Abidjan" africa_abidjan_l)
{-| Africa/Bissau -}
africa_bissau : () -> TimeZone
africa_bissau () = force africa_bissau_l
{-| Africa/Maputo -}
africa_blantyre : () -> TimeZone
africa_blantyre () = force (link "Africa/Maputo" africa_maputo_l)
{-| Africa/Lagos -}
africa_brazzaville : () -> TimeZone
africa_brazzaville () = force (link "Africa/Lagos" africa_lagos_l)
{-| Africa/Maputo -}
africa_bujumbura : () -> TimeZone
africa_bujumbura () = force (link "Africa/Maputo" africa_maputo_l)
{-| Africa/Cairo -}
africa_cairo : () -> TimeZone
africa_cairo () = force africa_cairo_l
{-| Africa/Casablanca -}
africa_casablanca : () -> TimeZone
africa_casablanca () = force africa_casablanca_l
{-| Africa/Ceuta -}
africa_ceuta : () -> TimeZone
africa_ceuta () = force africa_ceuta_l
{-| Africa/Abidjan -}
africa_conakry : () -> TimeZone
africa_conakry () = force (link "Africa/Abidjan" africa_abidjan_l)
{-| Africa/Abidjan -}
africa_dakar : () -> TimeZone
africa_dakar () = force (link "Africa/Abidjan" africa_abidjan_l)
{-| Africa/Nairobi -}
africa_dar_es_salaam : () -> TimeZone
africa_dar_es_salaam () = force (link "Africa/Nairobi" africa_nairobi_l)
{-| Africa/Nairobi -}
africa_djibouti : () -> TimeZone
africa_djibouti () = force (link "Africa/Nairobi" africa_nairobi_l)
{-| Africa/Lagos -}
africa_douala : () -> TimeZone
africa_douala () = force (link "Africa/Lagos" africa_lagos_l)
{-| Africa/El_Aaiun -}
africa_el_aaiun : () -> TimeZone
africa_el_aaiun () = force africa_el_aaiun_l
{-| Africa/Abidjan -}
africa_freetown : () -> TimeZone
africa_freetown () = force (link "Africa/Abidjan" africa_abidjan_l)
{-| Africa/Maputo -}
africa_gaborone : () -> TimeZone
africa_gaborone () = force (link "Africa/Maputo" africa_maputo_l)
{-| Africa/Maputo -}
africa_harare : () -> TimeZone
africa_harare () = force (link "Africa/Maputo" africa_maputo_l)
{-| Africa/Johannesburg -}
africa_johannesburg : () -> TimeZone
africa_johannesburg () = force africa_johannesburg_l
{-| Africa/Khartoum -}
africa_juba : () -> TimeZone
africa_juba () = force (link "Africa/Khartoum" africa_khartoum_l)
{-| Africa/Nairobi -}
africa_kampala : () -> TimeZone
africa_kampala () = force (link "Africa/Nairobi" africa_nairobi_l)
{-| Africa/Khartoum -}
africa_khartoum : () -> TimeZone
africa_khartoum () = force africa_khartoum_l
{-| Africa/Maputo -}
africa_kigali : () -> TimeZone
africa_kigali () = force (link "Africa/Maputo" africa_maputo_l)
{-| Africa/Lagos -}
africa_kinshasa : () -> TimeZone
africa_kinshasa () = force (link "Africa/Lagos" africa_lagos_l)
{-| Africa/Lagos -}
africa_lagos : () -> TimeZone
africa_lagos () = force africa_lagos_l
{-| Africa/Lagos -}
africa_libreville : () -> TimeZone
africa_libreville () = force (link "Africa/Lagos" africa_lagos_l)
{-| Africa/Abidjan -}
africa_lome : () -> TimeZone
africa_lome () = force (link "Africa/Abidjan" africa_abidjan_l)
{-| Africa/Lagos -}
africa_luanda : () -> TimeZone
africa_luanda () = force (link "Africa/Lagos" africa_lagos_l)
{-| Africa/Maputo -}
africa_lubumbashi : () -> TimeZone
africa_lubumbashi () = force (link "Africa/Maputo" africa_maputo_l)
{-| Africa/Maputo -}
africa_lusaka : () -> TimeZone
africa_lusaka () = force (link "Africa/Maputo" africa_maputo_l)
{-| Africa/Lagos -}
africa_malabo : () -> TimeZone
africa_malabo () = force (link "Africa/Lagos" africa_lagos_l)
{-| Africa/Maputo -}
africa_maputo : () -> TimeZone
africa_maputo () = force africa_maputo_l
{-| Africa/Johannesburg -}
africa_maseru : () -> TimeZone
africa_maseru () = force (link "Africa/Johannesburg" africa_johannesburg_l)
{-| Africa/Johannesburg -}
africa_mbabane : () -> TimeZone
africa_mbabane () = force (link "Africa/Johannesburg" africa_johannesburg_l)
{-| Africa/Nairobi -}
africa_mogadishu : () -> TimeZone
africa_mogadishu () = force (link "Africa/Nairobi" africa_nairobi_l)
{-| Africa/Monrovia -}
africa_monrovia : () -> TimeZone
africa_monrovia () = force africa_monrovia_l
{-| Africa/Nairobi -}
africa_nairobi : () -> TimeZone
africa_nairobi () = force africa_nairobi_l
{-| Africa/Ndjamena -}
africa_ndjamena : () -> TimeZone
africa_ndjamena () = force africa_ndjamena_l
{-| Africa/Lagos -}
africa_niamey : () -> TimeZone
africa_niamey () = force (link "Africa/Lagos" africa_lagos_l)
{-| Africa/Abidjan -}
africa_nouakchott : () -> TimeZone
africa_nouakchott () = force (link "Africa/Abidjan" africa_abidjan_l)
{-| Africa/Abidjan -}
africa_ouagadougou : () -> TimeZone
africa_ouagadougou () = force (link "Africa/Abidjan" africa_abidjan_l)
{-| Africa/Lagos -}
africa_porto_novo : () -> TimeZone
africa_porto_novo () = force (link "Africa/Lagos" africa_lagos_l)
{-| Africa/Abidjan -}
africa_sao_tome : () -> TimeZone
africa_sao_tome () = force (link "Africa/Abidjan" africa_abidjan_l)
{-| Africa/Abidjan -}
africa_timbuktu : () -> TimeZone
africa_timbuktu () = force (link "Africa/Abidjan" africa_abidjan_l)
{-| Africa/Tripoli -}
africa_tripoli : () -> TimeZone
africa_tripoli () = force africa_tripoli_l
{-| Africa/Tunis -}
africa_tunis : () -> TimeZone
africa_tunis () = force africa_tunis_l
{-| Africa/Windhoek -}
africa_windhoek : () -> TimeZone
africa_windhoek () = force africa_windhoek_l
{-| America/Adak -}
america_adak : () -> TimeZone
america_adak () = force america_adak_l
{-| America/Anchorage -}
america_anchorage : () -> TimeZone
america_anchorage () = force america_anchorage_l
{-| America/Port_of_Spain -}
america_anguilla : () -> TimeZone
america_anguilla () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Port_of_Spain -}
america_antigua : () -> TimeZone
america_antigua () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Araguaina -}
america_araguaina : () -> TimeZone
america_araguaina () = force america_araguaina_l
{-| America/Argentina/Buenos_Aires -}
america_argentina_buenos_aires : () -> TimeZone
america_argentina_buenos_aires () = force america_argentina_buenos_aires_l
{-| America/Argentina/Catamarca -}
america_argentina_catamarca : () -> TimeZone
america_argentina_catamarca () = force america_argentina_catamarca_l
{-| America/Argentina/Catamarca -}
america_argentina_comodrivadavia : () -> TimeZone
america_argentina_comodrivadavia () = force (link "America/Argentina/Catamarca" america_argentina_catamarca_l)
{-| America/Argentina/Cordoba -}
america_argentina_cordoba : () -> TimeZone
america_argentina_cordoba () = force america_argentina_cordoba_l
{-| America/Argentina/Jujuy -}
america_argentina_jujuy : () -> TimeZone
america_argentina_jujuy () = force america_argentina_jujuy_l
{-| America/Argentina/La_Rioja -}
america_argentina_la_rioja : () -> TimeZone
america_argentina_la_rioja () = force america_argentina_la_rioja_l
{-| America/Argentina/Mendoza -}
america_argentina_mendoza : () -> TimeZone
america_argentina_mendoza () = force america_argentina_mendoza_l
{-| America/Argentina/Rio_Gallegos -}
america_argentina_rio_gallegos : () -> TimeZone
america_argentina_rio_gallegos () = force america_argentina_rio_gallegos_l
{-| America/Argentina/Salta -}
america_argentina_salta : () -> TimeZone
america_argentina_salta () = force america_argentina_salta_l
{-| America/Argentina/San_Juan -}
america_argentina_san_juan : () -> TimeZone
america_argentina_san_juan () = force america_argentina_san_juan_l
{-| America/Argentina/San_Luis -}
america_argentina_san_luis : () -> TimeZone
america_argentina_san_luis () = force america_argentina_san_luis_l
{-| America/Argentina/Tucuman -}
america_argentina_tucuman : () -> TimeZone
america_argentina_tucuman () = force america_argentina_tucuman_l
{-| America/Argentina/Ushuaia -}
america_argentina_ushuaia : () -> TimeZone
america_argentina_ushuaia () = force america_argentina_ushuaia_l
{-| America/Curacao -}
america_aruba : () -> TimeZone
america_aruba () = force (link "America/Curacao" america_curacao_l)
{-| America/Asuncion -}
america_asuncion : () -> TimeZone
america_asuncion () = force america_asuncion_l
{-| America/Atikokan -}
america_atikokan : () -> TimeZone
america_atikokan () = force america_atikokan_l
{-| America/Adak -}
america_atka : () -> TimeZone
america_atka () = force (link "America/Adak" america_adak_l)
{-| America/Bahia -}
america_bahia : () -> TimeZone
america_bahia () = force america_bahia_l
{-| America/Bahia_Banderas -}
america_bahia_banderas : () -> TimeZone
america_bahia_banderas () = force america_bahia_banderas_l
{-| America/Barbados -}
america_barbados : () -> TimeZone
america_barbados () = force america_barbados_l
{-| America/Belem -}
america_belem : () -> TimeZone
america_belem () = force america_belem_l
{-| America/Belize -}
america_belize : () -> TimeZone
america_belize () = force america_belize_l
{-| America/Blanc-Sablon -}
america_blanc_sablon : () -> TimeZone
america_blanc_sablon () = force america_blanc_sablon_l
{-| America/Boa_Vista -}
america_boa_vista : () -> TimeZone
america_boa_vista () = force america_boa_vista_l
{-| America/Bogota -}
america_bogota : () -> TimeZone
america_bogota () = force america_bogota_l
{-| America/Boise -}
america_boise : () -> TimeZone
america_boise () = force america_boise_l
{-| America/Argentina/Buenos_Aires -}
america_buenos_aires : () -> TimeZone
america_buenos_aires () = force (link "America/Argentina/Buenos_Aires" america_argentina_buenos_aires_l)
{-| America/Cambridge_Bay -}
america_cambridge_bay : () -> TimeZone
america_cambridge_bay () = force america_cambridge_bay_l
{-| America/Campo_Grande -}
america_campo_grande : () -> TimeZone
america_campo_grande () = force america_campo_grande_l
{-| America/Cancun -}
america_cancun : () -> TimeZone
america_cancun () = force america_cancun_l
{-| America/Caracas -}
america_caracas : () -> TimeZone
america_caracas () = force america_caracas_l
{-| America/Argentina/Catamarca -}
america_catamarca : () -> TimeZone
america_catamarca () = force (link "America/Argentina/Catamarca" america_argentina_catamarca_l)
{-| America/Cayenne -}
america_cayenne : () -> TimeZone
america_cayenne () = force america_cayenne_l
{-| America/Panama -}
america_cayman : () -> TimeZone
america_cayman () = force (link "America/Panama" america_panama_l)
{-| America/Chicago -}
america_chicago : () -> TimeZone
america_chicago () = force america_chicago_l
{-| America/Chihuahua -}
america_chihuahua : () -> TimeZone
america_chihuahua () = force america_chihuahua_l
{-| America/Atikokan -}
america_coral_harbour : () -> TimeZone
america_coral_harbour () = force (link "America/Atikokan" america_atikokan_l)
{-| America/Argentina/Cordoba -}
america_cordoba : () -> TimeZone
america_cordoba () = force (link "America/Argentina/Cordoba" america_argentina_cordoba_l)
{-| America/Costa_Rica -}
america_costa_rica : () -> TimeZone
america_costa_rica () = force america_costa_rica_l
{-| America/Creston -}
america_creston : () -> TimeZone
america_creston () = force america_creston_l
{-| America/Cuiaba -}
america_cuiaba : () -> TimeZone
america_cuiaba () = force america_cuiaba_l
{-| America/Curacao -}
america_curacao : () -> TimeZone
america_curacao () = force america_curacao_l
{-| America/Danmarkshavn -}
america_danmarkshavn : () -> TimeZone
america_danmarkshavn () = force america_danmarkshavn_l
{-| America/Dawson -}
america_dawson : () -> TimeZone
america_dawson () = force america_dawson_l
{-| America/Dawson_Creek -}
america_dawson_creek : () -> TimeZone
america_dawson_creek () = force america_dawson_creek_l
{-| America/Denver -}
america_denver : () -> TimeZone
america_denver () = force america_denver_l
{-| America/Detroit -}
america_detroit : () -> TimeZone
america_detroit () = force america_detroit_l
{-| America/Port_of_Spain -}
america_dominica : () -> TimeZone
america_dominica () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Edmonton -}
america_edmonton : () -> TimeZone
america_edmonton () = force america_edmonton_l
{-| America/Eirunepe -}
america_eirunepe : () -> TimeZone
america_eirunepe () = force america_eirunepe_l
{-| America/El_Salvador -}
america_el_salvador : () -> TimeZone
america_el_salvador () = force america_el_salvador_l
{-| America/Tijuana -}
america_ensenada : () -> TimeZone
america_ensenada () = force (link "America/Tijuana" america_tijuana_l)
{-| America/Fort_Nelson -}
america_fort_nelson : () -> TimeZone
america_fort_nelson () = force america_fort_nelson_l
{-| America/Fort_Wayne -}
america_fort_wayne : () -> TimeZone
america_fort_wayne () = force america_fort_wayne_l
{-| America/Fortaleza -}
america_fortaleza : () -> TimeZone
america_fortaleza () = force america_fortaleza_l
{-| America/Glace_Bay -}
america_glace_bay : () -> TimeZone
america_glace_bay () = force america_glace_bay_l
{-| America/Godthab -}
america_godthab : () -> TimeZone
america_godthab () = force america_godthab_l
{-| America/Goose_Bay -}
america_goose_bay : () -> TimeZone
america_goose_bay () = force america_goose_bay_l
{-| America/Grand_Turk -}
america_grand_turk : () -> TimeZone
america_grand_turk () = force america_grand_turk_l
{-| America/Port_of_Spain -}
america_grenada : () -> TimeZone
america_grenada () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Port_of_Spain -}
america_guadeloupe : () -> TimeZone
america_guadeloupe () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Guatemala -}
america_guatemala : () -> TimeZone
america_guatemala () = force america_guatemala_l
{-| America/Guayaquil -}
america_guayaquil : () -> TimeZone
america_guayaquil () = force america_guayaquil_l
{-| America/Guyana -}
america_guyana : () -> TimeZone
america_guyana () = force america_guyana_l
{-| America/Halifax -}
america_halifax : () -> TimeZone
america_halifax () = force america_halifax_l
{-| America/Havana -}
america_havana : () -> TimeZone
america_havana () = force america_havana_l
{-| America/Hermosillo -}
america_hermosillo : () -> TimeZone
america_hermosillo () = force america_hermosillo_l
{-| America/Fort_Wayne -}
america_indiana_indianapolis : () -> TimeZone
america_indiana_indianapolis () = force (link "America/Fort_Wayne" america_fort_wayne_l)
{-| America/Indiana/Knox -}
america_indiana_knox : () -> TimeZone
america_indiana_knox () = force america_indiana_knox_l
{-| America/Indiana/Marengo -}
america_indiana_marengo : () -> TimeZone
america_indiana_marengo () = force america_indiana_marengo_l
{-| America/Indiana/Petersburg -}
america_indiana_petersburg : () -> TimeZone
america_indiana_petersburg () = force america_indiana_petersburg_l
{-| America/Indiana/Tell_City -}
america_indiana_tell_city : () -> TimeZone
america_indiana_tell_city () = force america_indiana_tell_city_l
{-| America/Indiana/Vevay -}
america_indiana_vevay : () -> TimeZone
america_indiana_vevay () = force america_indiana_vevay_l
{-| America/Indiana/Vincennes -}
america_indiana_vincennes : () -> TimeZone
america_indiana_vincennes () = force america_indiana_vincennes_l
{-| America/Indiana/Winamac -}
america_indiana_winamac : () -> TimeZone
america_indiana_winamac () = force america_indiana_winamac_l
{-| America/Fort_Wayne -}
america_indianapolis : () -> TimeZone
america_indianapolis () = force (link "America/Fort_Wayne" america_fort_wayne_l)
{-| America/Inuvik -}
america_inuvik : () -> TimeZone
america_inuvik () = force america_inuvik_l
{-| America/Iqaluit -}
america_iqaluit : () -> TimeZone
america_iqaluit () = force america_iqaluit_l
{-| America/Jamaica -}
america_jamaica : () -> TimeZone
america_jamaica () = force america_jamaica_l
{-| America/Argentina/Jujuy -}
america_jujuy : () -> TimeZone
america_jujuy () = force (link "America/Argentina/Jujuy" america_argentina_jujuy_l)
{-| America/Juneau -}
america_juneau : () -> TimeZone
america_juneau () = force america_juneau_l
{-| America/Kentucky/Louisville -}
america_kentucky_louisville : () -> TimeZone
america_kentucky_louisville () = force america_kentucky_louisville_l
{-| America/Kentucky/Monticello -}
america_kentucky_monticello : () -> TimeZone
america_kentucky_monticello () = force america_kentucky_monticello_l
{-| America/Indiana/Knox -}
america_knox_in : () -> TimeZone
america_knox_in () = force (link "America/Indiana/Knox" america_indiana_knox_l)
{-| America/Curacao -}
america_kralendijk : () -> TimeZone
america_kralendijk () = force (link "America/Curacao" america_curacao_l)
{-| America/La_Paz -}
america_la_paz : () -> TimeZone
america_la_paz () = force america_la_paz_l
{-| America/Lima -}
america_lima : () -> TimeZone
america_lima () = force america_lima_l
{-| America/Los_Angeles -}
america_los_angeles : () -> TimeZone
america_los_angeles () = force america_los_angeles_l
{-| America/Kentucky/Louisville -}
america_louisville : () -> TimeZone
america_louisville () = force (link "America/Kentucky/Louisville" america_kentucky_louisville_l)
{-| America/Curacao -}
america_lower_princes : () -> TimeZone
america_lower_princes () = force (link "America/Curacao" america_curacao_l)
{-| America/Maceio -}
america_maceio : () -> TimeZone
america_maceio () = force america_maceio_l
{-| America/Managua -}
america_managua : () -> TimeZone
america_managua () = force america_managua_l
{-| America/Manaus -}
america_manaus : () -> TimeZone
america_manaus () = force america_manaus_l
{-| America/Port_of_Spain -}
america_marigot : () -> TimeZone
america_marigot () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Martinique -}
america_martinique : () -> TimeZone
america_martinique () = force america_martinique_l
{-| America/Matamoros -}
america_matamoros : () -> TimeZone
america_matamoros () = force america_matamoros_l
{-| America/Mazatlan -}
america_mazatlan : () -> TimeZone
america_mazatlan () = force america_mazatlan_l
{-| America/Argentina/Mendoza -}
america_mendoza : () -> TimeZone
america_mendoza () = force (link "America/Argentina/Mendoza" america_argentina_mendoza_l)
{-| America/Menominee -}
america_menominee : () -> TimeZone
america_menominee () = force america_menominee_l
{-| America/Merida -}
america_merida : () -> TimeZone
america_merida () = force america_merida_l
{-| America/Metlakatla -}
america_metlakatla : () -> TimeZone
america_metlakatla () = force america_metlakatla_l
{-| America/Mexico_City -}
america_mexico_city : () -> TimeZone
america_mexico_city () = force america_mexico_city_l
{-| America/Miquelon -}
america_miquelon : () -> TimeZone
america_miquelon () = force america_miquelon_l
{-| America/Moncton -}
america_moncton : () -> TimeZone
america_moncton () = force america_moncton_l
{-| America/Monterrey -}
america_monterrey : () -> TimeZone
america_monterrey () = force america_monterrey_l
{-| America/Montevideo -}
america_montevideo : () -> TimeZone
america_montevideo () = force america_montevideo_l
{-| America/Toronto -}
america_montreal : () -> TimeZone
america_montreal () = force (link "America/Toronto" america_toronto_l)
{-| America/Port_of_Spain -}
america_montserrat : () -> TimeZone
america_montserrat () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Nassau -}
america_nassau : () -> TimeZone
america_nassau () = force america_nassau_l
{-| America/New_York -}
america_new_york : () -> TimeZone
america_new_york () = force america_new_york_l
{-| America/Nipigon -}
america_nipigon : () -> TimeZone
america_nipigon () = force america_nipigon_l
{-| America/Nome -}
america_nome : () -> TimeZone
america_nome () = force america_nome_l
{-| America/Noronha -}
america_noronha : () -> TimeZone
america_noronha () = force america_noronha_l
{-| America/North_Dakota/Beulah -}
america_north_dakota_beulah : () -> TimeZone
america_north_dakota_beulah () = force america_north_dakota_beulah_l
{-| America/North_Dakota/Center -}
america_north_dakota_center : () -> TimeZone
america_north_dakota_center () = force america_north_dakota_center_l
{-| America/North_Dakota/New_Salem -}
america_north_dakota_new_salem : () -> TimeZone
america_north_dakota_new_salem () = force america_north_dakota_new_salem_l
{-| America/Ojinaga -}
america_ojinaga : () -> TimeZone
america_ojinaga () = force america_ojinaga_l
{-| America/Panama -}
america_panama : () -> TimeZone
america_panama () = force america_panama_l
{-| America/Pangnirtung -}
america_pangnirtung : () -> TimeZone
america_pangnirtung () = force america_pangnirtung_l
{-| America/Paramaribo -}
america_paramaribo : () -> TimeZone
america_paramaribo () = force america_paramaribo_l
{-| America/Phoenix -}
america_phoenix : () -> TimeZone
america_phoenix () = force america_phoenix_l
{-| America/Port-au-Prince -}
america_port_au_prince : () -> TimeZone
america_port_au_prince () = force america_port_au_prince_l
{-| America/Port_of_Spain -}
america_port_of_spain : () -> TimeZone
america_port_of_spain () = force america_port_of_spain_l
{-| America/Rio_Branco -}
america_porto_acre : () -> TimeZone
america_porto_acre () = force (link "America/Rio_Branco" america_rio_branco_l)
{-| America/Porto_Velho -}
america_porto_velho : () -> TimeZone
america_porto_velho () = force america_porto_velho_l
{-| America/Puerto_Rico -}
america_puerto_rico : () -> TimeZone
america_puerto_rico () = force america_puerto_rico_l
{-| America/Rainy_River -}
america_rainy_river : () -> TimeZone
america_rainy_river () = force america_rainy_river_l
{-| America/Rankin_Inlet -}
america_rankin_inlet : () -> TimeZone
america_rankin_inlet () = force america_rankin_inlet_l
{-| America/Recife -}
america_recife : () -> TimeZone
america_recife () = force america_recife_l
{-| America/Regina -}
america_regina : () -> TimeZone
america_regina () = force america_regina_l
{-| America/Resolute -}
america_resolute : () -> TimeZone
america_resolute () = force america_resolute_l
{-| America/Rio_Branco -}
america_rio_branco : () -> TimeZone
america_rio_branco () = force america_rio_branco_l
{-| America/Argentina/Cordoba -}
america_rosario : () -> TimeZone
america_rosario () = force (link "America/Argentina/Cordoba" america_argentina_cordoba_l)
{-| America/Tijuana -}
america_santa_isabel : () -> TimeZone
america_santa_isabel () = force (link "America/Tijuana" america_tijuana_l)
{-| America/Santarem -}
america_santarem : () -> TimeZone
america_santarem () = force america_santarem_l
{-| America/Santiago -}
america_santiago : () -> TimeZone
america_santiago () = force america_santiago_l
{-| America/Santo_Domingo -}
america_santo_domingo : () -> TimeZone
america_santo_domingo () = force america_santo_domingo_l
{-| America/Sao_Paulo -}
america_sao_paulo : () -> TimeZone
america_sao_paulo () = force america_sao_paulo_l
{-| America/Scoresbysund -}
america_scoresbysund : () -> TimeZone
america_scoresbysund () = force america_scoresbysund_l
{-| America/Denver -}
america_shiprock : () -> TimeZone
america_shiprock () = force (link "America/Denver" america_denver_l)
{-| America/Sitka -}
america_sitka : () -> TimeZone
america_sitka () = force america_sitka_l
{-| America/Port_of_Spain -}
america_st_barthelemy : () -> TimeZone
america_st_barthelemy () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/St_Johns -}
america_st_johns : () -> TimeZone
america_st_johns () = force america_st_johns_l
{-| America/Port_of_Spain -}
america_st_kitts : () -> TimeZone
america_st_kitts () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Port_of_Spain -}
america_st_lucia : () -> TimeZone
america_st_lucia () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Port_of_Spain -}
america_st_thomas : () -> TimeZone
america_st_thomas () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Port_of_Spain -}
america_st_vincent : () -> TimeZone
america_st_vincent () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Swift_Current -}
america_swift_current : () -> TimeZone
america_swift_current () = force america_swift_current_l
{-| America/Tegucigalpa -}
america_tegucigalpa : () -> TimeZone
america_tegucigalpa () = force america_tegucigalpa_l
{-| America/Thule -}
america_thule : () -> TimeZone
america_thule () = force america_thule_l
{-| America/Thunder_Bay -}
america_thunder_bay : () -> TimeZone
america_thunder_bay () = force america_thunder_bay_l
{-| America/Tijuana -}
america_tijuana : () -> TimeZone
america_tijuana () = force america_tijuana_l
{-| America/Toronto -}
america_toronto : () -> TimeZone
america_toronto () = force america_toronto_l
{-| America/Port_of_Spain -}
america_tortola : () -> TimeZone
america_tortola () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Vancouver -}
america_vancouver : () -> TimeZone
america_vancouver () = force america_vancouver_l
{-| America/Port_of_Spain -}
america_virgin : () -> TimeZone
america_virgin () = force (link "America/Port_of_Spain" america_port_of_spain_l)
{-| America/Whitehorse -}
america_whitehorse : () -> TimeZone
america_whitehorse () = force america_whitehorse_l
{-| America/Winnipeg -}
america_winnipeg : () -> TimeZone
america_winnipeg () = force america_winnipeg_l
{-| America/Yakutat -}
america_yakutat : () -> TimeZone
america_yakutat () = force america_yakutat_l
{-| America/Yellowknife -}
america_yellowknife : () -> TimeZone
america_yellowknife () = force america_yellowknife_l
{-| Antarctica/Casey -}
antarctica_casey : () -> TimeZone
antarctica_casey () = force antarctica_casey_l
{-| Antarctica/Davis -}
antarctica_davis : () -> TimeZone
antarctica_davis () = force antarctica_davis_l
{-| Antarctica/DumontDUrville -}
antarctica_dumontdurville : () -> TimeZone
antarctica_dumontdurville () = force antarctica_dumontdurville_l
{-| Antarctica/Macquarie -}
antarctica_macquarie : () -> TimeZone
antarctica_macquarie () = force antarctica_macquarie_l
{-| Antarctica/Mawson -}
antarctica_mawson : () -> TimeZone
antarctica_mawson () = force antarctica_mawson_l
{-| Pacific/Auckland -}
antarctica_mcmurdo : () -> TimeZone
antarctica_mcmurdo () = force (link "Pacific/Auckland" pacific_auckland_l)
{-| Antarctica/Palmer -}
antarctica_palmer : () -> TimeZone
antarctica_palmer () = force antarctica_palmer_l
{-| Antarctica/Rothera -}
antarctica_rothera : () -> TimeZone
antarctica_rothera () = force antarctica_rothera_l
{-| Pacific/Auckland -}
antarctica_south_pole : () -> TimeZone
antarctica_south_pole () = force (link "Pacific/Auckland" pacific_auckland_l)
{-| Antarctica/Syowa -}
antarctica_syowa : () -> TimeZone
antarctica_syowa () = force antarctica_syowa_l
{-| Antarctica/Troll -}
antarctica_troll : () -> TimeZone
antarctica_troll () = force antarctica_troll_l
{-| Antarctica/Vostok -}
antarctica_vostok : () -> TimeZone
antarctica_vostok () = force antarctica_vostok_l
{-| Europe/Oslo -}
arctic_longyearbyen : () -> TimeZone
arctic_longyearbyen () = force (link "Europe/Oslo" europe_oslo_l)
{-| Asia/Riyadh -}
asia_aden : () -> TimeZone
asia_aden () = force (link "Asia/Riyadh" asia_riyadh_l)
{-| Asia/Almaty -}
asia_almaty : () -> TimeZone
asia_almaty () = force asia_almaty_l
{-| Asia/Amman -}
asia_amman : () -> TimeZone
asia_amman () = force asia_amman_l
{-| Asia/Anadyr -}
asia_anadyr : () -> TimeZone
asia_anadyr () = force asia_anadyr_l
{-| Asia/Aqtau -}
asia_aqtau : () -> TimeZone
asia_aqtau () = force asia_aqtau_l
{-| Asia/Aqtobe -}
asia_aqtobe : () -> TimeZone
asia_aqtobe () = force asia_aqtobe_l
{-| Asia/Ashgabat -}
asia_ashgabat : () -> TimeZone
asia_ashgabat () = force asia_ashgabat_l
{-| Asia/Ashgabat -}
asia_ashkhabad : () -> TimeZone
asia_ashkhabad () = force (link "Asia/Ashgabat" asia_ashgabat_l)
{-| Asia/Atyrau -}
asia_atyrau : () -> TimeZone
asia_atyrau () = force asia_atyrau_l
{-| Asia/Baghdad -}
asia_baghdad : () -> TimeZone
asia_baghdad () = force asia_baghdad_l
{-| Asia/Qatar -}
asia_bahrain : () -> TimeZone
asia_bahrain () = force (link "Asia/Qatar" asia_qatar_l)
{-| Asia/Baku -}
asia_baku : () -> TimeZone
asia_baku () = force asia_baku_l
{-| Asia/Bangkok -}
asia_bangkok : () -> TimeZone
asia_bangkok () = force asia_bangkok_l
{-| Asia/Barnaul -}
asia_barnaul : () -> TimeZone
asia_barnaul () = force asia_barnaul_l
{-| Asia/Beirut -}
asia_beirut : () -> TimeZone
asia_beirut () = force asia_beirut_l
{-| Asia/Bishkek -}
asia_bishkek : () -> TimeZone
asia_bishkek () = force asia_bishkek_l
{-| Asia/Brunei -}
asia_brunei : () -> TimeZone
asia_brunei () = force asia_brunei_l
{-| Asia/Kolkata -}
asia_calcutta : () -> TimeZone
asia_calcutta () = force (link "Asia/Kolkata" asia_kolkata_l)
{-| Asia/Chita -}
asia_chita : () -> TimeZone
asia_chita () = force asia_chita_l
{-| Asia/Choibalsan -}
asia_choibalsan : () -> TimeZone
asia_choibalsan () = force asia_choibalsan_l
{-| Asia/Shanghai -}
asia_chongqing : () -> TimeZone
asia_chongqing () = force (link "Asia/Shanghai" asia_shanghai_l)
{-| Asia/Shanghai -}
asia_chungking : () -> TimeZone
asia_chungking () = force (link "Asia/Shanghai" asia_shanghai_l)
{-| Asia/Colombo -}
asia_colombo : () -> TimeZone
asia_colombo () = force asia_colombo_l
{-| Asia/Dhaka -}
asia_dacca : () -> TimeZone
asia_dacca () = force (link "Asia/Dhaka" asia_dhaka_l)
{-| Asia/Damascus -}
asia_damascus : () -> TimeZone
asia_damascus () = force asia_damascus_l
{-| Asia/Dhaka -}
asia_dhaka : () -> TimeZone
asia_dhaka () = force asia_dhaka_l
{-| Asia/Dili -}
asia_dili : () -> TimeZone
asia_dili () = force asia_dili_l
{-| Asia/Dubai -}
asia_dubai : () -> TimeZone
asia_dubai () = force asia_dubai_l
{-| Asia/Dushanbe -}
asia_dushanbe : () -> TimeZone
asia_dushanbe () = force asia_dushanbe_l
{-| Asia/Famagusta -}
asia_famagusta : () -> TimeZone
asia_famagusta () = force asia_famagusta_l
{-| Asia/Gaza -}
asia_gaza : () -> TimeZone
asia_gaza () = force asia_gaza_l
{-| Asia/Shanghai -}
asia_harbin : () -> TimeZone
asia_harbin () = force (link "Asia/Shanghai" asia_shanghai_l)
{-| Asia/Hebron -}
asia_hebron : () -> TimeZone
asia_hebron () = force asia_hebron_l
{-| Asia/Ho_Chi_Minh -}
asia_ho_chi_minh : () -> TimeZone
asia_ho_chi_minh () = force asia_ho_chi_minh_l
{-| Asia/Hong_Kong -}
asia_hong_kong : () -> TimeZone
asia_hong_kong () = force asia_hong_kong_l
{-| Asia/Hovd -}
asia_hovd : () -> TimeZone
asia_hovd () = force asia_hovd_l
{-| Asia/Irkutsk -}
asia_irkutsk : () -> TimeZone
asia_irkutsk () = force asia_irkutsk_l
{-| Europe/Istanbul -}
asia_istanbul : () -> TimeZone
asia_istanbul () = force (link "Europe/Istanbul" europe_istanbul_l)
{-| Asia/Jakarta -}
asia_jakarta : () -> TimeZone
asia_jakarta () = force asia_jakarta_l
{-| Asia/Jayapura -}
asia_jayapura : () -> TimeZone
asia_jayapura () = force asia_jayapura_l
{-| Asia/Jerusalem -}
asia_jerusalem : () -> TimeZone
asia_jerusalem () = force asia_jerusalem_l
{-| Asia/Kabul -}
asia_kabul : () -> TimeZone
asia_kabul () = force asia_kabul_l
{-| Asia/Kamchatka -}
asia_kamchatka : () -> TimeZone
asia_kamchatka () = force asia_kamchatka_l
{-| Asia/Karachi -}
asia_karachi : () -> TimeZone
asia_karachi () = force asia_karachi_l
{-| Asia/Urumqi -}
asia_kashgar : () -> TimeZone
asia_kashgar () = force (link "Asia/Urumqi" asia_urumqi_l)
{-| Asia/Kathmandu -}
asia_kathmandu : () -> TimeZone
asia_kathmandu () = force asia_kathmandu_l
{-| Asia/Kathmandu -}
asia_katmandu : () -> TimeZone
asia_katmandu () = force (link "Asia/Kathmandu" asia_kathmandu_l)
{-| Asia/Khandyga -}
asia_khandyga : () -> TimeZone
asia_khandyga () = force asia_khandyga_l
{-| Asia/Kolkata -}
asia_kolkata : () -> TimeZone
asia_kolkata () = force asia_kolkata_l
{-| Asia/Krasnoyarsk -}
asia_krasnoyarsk : () -> TimeZone
asia_krasnoyarsk () = force asia_krasnoyarsk_l
{-| Asia/Kuala_Lumpur -}
asia_kuala_lumpur : () -> TimeZone
asia_kuala_lumpur () = force asia_kuala_lumpur_l
{-| Asia/Kuching -}
asia_kuching : () -> TimeZone
asia_kuching () = force asia_kuching_l
{-| Asia/Riyadh -}
asia_kuwait : () -> TimeZone
asia_kuwait () = force (link "Asia/Riyadh" asia_riyadh_l)
{-| Asia/Macau -}
asia_macao : () -> TimeZone
asia_macao () = force (link "Asia/Macau" asia_macau_l)
{-| Asia/Macau -}
asia_macau : () -> TimeZone
asia_macau () = force asia_macau_l
{-| Asia/Magadan -}
asia_magadan : () -> TimeZone
asia_magadan () = force asia_magadan_l
{-| Asia/Makassar -}
asia_makassar : () -> TimeZone
asia_makassar () = force asia_makassar_l
{-| Asia/Manila -}
asia_manila : () -> TimeZone
asia_manila () = force asia_manila_l
{-| Asia/Dubai -}
asia_muscat : () -> TimeZone
asia_muscat () = force (link "Asia/Dubai" asia_dubai_l)
{-| Asia/Nicosia -}
asia_nicosia : () -> TimeZone
asia_nicosia () = force asia_nicosia_l
{-| Asia/Novokuznetsk -}
asia_novokuznetsk : () -> TimeZone
asia_novokuznetsk () = force asia_novokuznetsk_l
{-| Asia/Novosibirsk -}
asia_novosibirsk : () -> TimeZone
asia_novosibirsk () = force asia_novosibirsk_l
{-| Asia/Omsk -}
asia_omsk : () -> TimeZone
asia_omsk () = force asia_omsk_l
{-| Asia/Oral -}
asia_oral : () -> TimeZone
asia_oral () = force asia_oral_l
{-| Asia/Bangkok -}
asia_phnom_penh : () -> TimeZone
asia_phnom_penh () = force (link "Asia/Bangkok" asia_bangkok_l)
{-| Asia/Pontianak -}
asia_pontianak : () -> TimeZone
asia_pontianak () = force asia_pontianak_l
{-| Asia/Pyongyang -}
asia_pyongyang : () -> TimeZone
asia_pyongyang () = force asia_pyongyang_l
{-| Asia/Qatar -}
asia_qatar : () -> TimeZone
asia_qatar () = force asia_qatar_l
{-| Asia/Qyzylorda -}
asia_qyzylorda : () -> TimeZone
asia_qyzylorda () = force asia_qyzylorda_l
{-| Asia/Rangoon -}
asia_rangoon : () -> TimeZone
asia_rangoon () = force asia_rangoon_l
{-| Asia/Riyadh -}
asia_riyadh : () -> TimeZone
asia_riyadh () = force asia_riyadh_l
{-| Asia/Ho_Chi_Minh -}
asia_saigon : () -> TimeZone
asia_saigon () = force (link "Asia/Ho_Chi_Minh" asia_ho_chi_minh_l)
{-| Asia/Sakhalin -}
asia_sakhalin : () -> TimeZone
asia_sakhalin () = force asia_sakhalin_l
{-| Asia/Samarkand -}
asia_samarkand : () -> TimeZone
asia_samarkand () = force asia_samarkand_l
{-| Asia/Seoul -}
asia_seoul : () -> TimeZone
asia_seoul () = force asia_seoul_l
{-| Asia/Shanghai -}
asia_shanghai : () -> TimeZone
asia_shanghai () = force asia_shanghai_l
{-| Asia/Singapore -}
asia_singapore : () -> TimeZone
asia_singapore () = force asia_singapore_l
{-| Asia/Srednekolymsk -}
asia_srednekolymsk : () -> TimeZone
asia_srednekolymsk () = force asia_srednekolymsk_l
{-| Asia/Taipei -}
asia_taipei : () -> TimeZone
asia_taipei () = force asia_taipei_l
{-| Asia/Tashkent -}
asia_tashkent : () -> TimeZone
asia_tashkent () = force asia_tashkent_l
{-| Asia/Tbilisi -}
asia_tbilisi : () -> TimeZone
asia_tbilisi () = force asia_tbilisi_l
{-| Asia/Tehran -}
asia_tehran : () -> TimeZone
asia_tehran () = force asia_tehran_l
{-| Asia/Jerusalem -}
asia_tel_aviv : () -> TimeZone
asia_tel_aviv () = force (link "Asia/Jerusalem" asia_jerusalem_l)
{-| Asia/Thimphu -}
asia_thimbu : () -> TimeZone
asia_thimbu () = force (link "Asia/Thimphu" asia_thimphu_l)
{-| Asia/Thimphu -}
asia_thimphu : () -> TimeZone
asia_thimphu () = force asia_thimphu_l
{-| Asia/Tokyo -}
asia_tokyo : () -> TimeZone
asia_tokyo () = force asia_tokyo_l
{-| Asia/Tomsk -}
asia_tomsk : () -> TimeZone
asia_tomsk () = force asia_tomsk_l
{-| Asia/Makassar -}
asia_ujung_pandang : () -> TimeZone
asia_ujung_pandang () = force (link "Asia/Makassar" asia_makassar_l)
{-| Asia/Ulaanbaatar -}
asia_ulaanbaatar : () -> TimeZone
asia_ulaanbaatar () = force asia_ulaanbaatar_l
{-| Asia/Ulaanbaatar -}
asia_ulan_bator : () -> TimeZone
asia_ulan_bator () = force (link "Asia/Ulaanbaatar" asia_ulaanbaatar_l)
{-| Asia/Urumqi -}
asia_urumqi : () -> TimeZone
asia_urumqi () = force asia_urumqi_l
{-| Asia/Ust-Nera -}
asia_ust_nera : () -> TimeZone
asia_ust_nera () = force asia_ust_nera_l
{-| Asia/Bangkok -}
asia_vientiane : () -> TimeZone
asia_vientiane () = force (link "Asia/Bangkok" asia_bangkok_l)
{-| Asia/Vladivostok -}
asia_vladivostok : () -> TimeZone
asia_vladivostok () = force asia_vladivostok_l
{-| Asia/Yakutsk -}
asia_yakutsk : () -> TimeZone
asia_yakutsk () = force asia_yakutsk_l
{-| Asia/Rangoon -}
asia_yangon : () -> TimeZone
asia_yangon () = force (link "Asia/Rangoon" asia_rangoon_l)
{-| Asia/Yekaterinburg -}
asia_yekaterinburg : () -> TimeZone
asia_yekaterinburg () = force asia_yekaterinburg_l
{-| Asia/Yerevan -}
asia_yerevan : () -> TimeZone
asia_yerevan () = force asia_yerevan_l
{-| Atlantic/Azores -}
atlantic_azores : () -> TimeZone
atlantic_azores () = force atlantic_azores_l
{-| Atlantic/Bermuda -}
atlantic_bermuda : () -> TimeZone
atlantic_bermuda () = force atlantic_bermuda_l
{-| Atlantic/Canary -}
atlantic_canary : () -> TimeZone
atlantic_canary () = force atlantic_canary_l
{-| Atlantic/Cape_Verde -}
atlantic_cape_verde : () -> TimeZone
atlantic_cape_verde () = force atlantic_cape_verde_l
{-| Atlantic/Faroe -}
atlantic_faeroe : () -> TimeZone
atlantic_faeroe () = force (link "Atlantic/Faroe" atlantic_faroe_l)
{-| Atlantic/Faroe -}
atlantic_faroe : () -> TimeZone
atlantic_faroe () = force atlantic_faroe_l
{-| Europe/Oslo -}
atlantic_jan_mayen : () -> TimeZone
atlantic_jan_mayen () = force (link "Europe/Oslo" europe_oslo_l)
{-| Atlantic/Madeira -}
atlantic_madeira : () -> TimeZone
atlantic_madeira () = force atlantic_madeira_l
{-| Atlantic/Reykjavik -}
atlantic_reykjavik : () -> TimeZone
atlantic_reykjavik () = force atlantic_reykjavik_l
{-| Atlantic/South_Georgia -}
atlantic_south_georgia : () -> TimeZone
atlantic_south_georgia () = force atlantic_south_georgia_l
{-| Africa/Abidjan -}
atlantic_st_helena : () -> TimeZone
atlantic_st_helena () = force (link "Africa/Abidjan" africa_abidjan_l)
{-| Atlantic/Stanley -}
atlantic_stanley : () -> TimeZone
atlantic_stanley () = force atlantic_stanley_l
{-| Australia/Sydney -}
australia_act : () -> TimeZone
australia_act () = force (link "Australia/Sydney" australia_sydney_l)
{-| Australia/Adelaide -}
australia_adelaide : () -> TimeZone
australia_adelaide () = force australia_adelaide_l
{-| Australia/Brisbane -}
australia_brisbane : () -> TimeZone
australia_brisbane () = force australia_brisbane_l
{-| Australia/Broken_Hill -}
australia_broken_hill : () -> TimeZone
australia_broken_hill () = force australia_broken_hill_l
{-| Australia/Sydney -}
australia_canberra : () -> TimeZone
australia_canberra () = force (link "Australia/Sydney" australia_sydney_l)
{-| Australia/Currie -}
australia_currie : () -> TimeZone
australia_currie () = force australia_currie_l
{-| Australia/Darwin -}
australia_darwin : () -> TimeZone
australia_darwin () = force australia_darwin_l
{-| Australia/Eucla -}
australia_eucla : () -> TimeZone
australia_eucla () = force australia_eucla_l
{-| Australia/Hobart -}
australia_hobart : () -> TimeZone
australia_hobart () = force australia_hobart_l
{-| Australia/Lord_Howe -}
australia_lhi : () -> TimeZone
australia_lhi () = force (link "Australia/Lord_Howe" australia_lord_howe_l)
{-| Australia/Lindeman -}
australia_lindeman : () -> TimeZone
australia_lindeman () = force australia_lindeman_l
{-| Australia/Lord_Howe -}
australia_lord_howe : () -> TimeZone
australia_lord_howe () = force australia_lord_howe_l
{-| Australia/Melbourne -}
australia_melbourne : () -> TimeZone
australia_melbourne () = force australia_melbourne_l
{-| Australia/Darwin -}
australia_north : () -> TimeZone
australia_north () = force (link "Australia/Darwin" australia_darwin_l)
{-| Australia/Sydney -}
australia_nsw : () -> TimeZone
australia_nsw () = force (link "Australia/Sydney" australia_sydney_l)
{-| Australia/Perth -}
australia_perth : () -> TimeZone
australia_perth () = force australia_perth_l
{-| Australia/Brisbane -}
australia_queensland : () -> TimeZone
australia_queensland () = force (link "Australia/Brisbane" australia_brisbane_l)
{-| Australia/Adelaide -}
australia_south : () -> TimeZone
australia_south () = force (link "Australia/Adelaide" australia_adelaide_l)
{-| Australia/Sydney -}
australia_sydney : () -> TimeZone
australia_sydney () = force australia_sydney_l
{-| Australia/Hobart -}
australia_tasmania : () -> TimeZone
australia_tasmania () = force (link "Australia/Hobart" australia_hobart_l)
{-| Australia/Melbourne -}
australia_victoria : () -> TimeZone
australia_victoria () = force (link "Australia/Melbourne" australia_melbourne_l)
{-| Australia/Perth -}
australia_west : () -> TimeZone
australia_west () = force (link "Australia/Perth" australia_perth_l)
{-| Australia/Broken_Hill -}
australia_yancowinna : () -> TimeZone
australia_yancowinna () = force (link "Australia/Broken_Hill" australia_broken_hill_l)
{-| America/Rio_Branco -}
brazil_acre : () -> TimeZone
brazil_acre () = force (link "America/Rio_Branco" america_rio_branco_l)
{-| America/Noronha -}
brazil_denoronha : () -> TimeZone
brazil_denoronha () = force (link "America/Noronha" america_noronha_l)
{-| America/Sao_Paulo -}
brazil_east : () -> TimeZone
brazil_east () = force (link "America/Sao_Paulo" america_sao_paulo_l)
{-| America/Manaus -}
brazil_west : () -> TimeZone
brazil_west () = force (link "America/Manaus" america_manaus_l)
{-| America/Halifax -}
canada_atlantic : () -> TimeZone
canada_atlantic () = force (link "America/Halifax" america_halifax_l)
{-| America/Winnipeg -}
canada_central : () -> TimeZone
canada_central () = force (link "America/Winnipeg" america_winnipeg_l)
{-| America/Regina -}
canada_east_saskatchewan : () -> TimeZone
canada_east_saskatchewan () = force (link "America/Regina" america_regina_l)
{-| America/Toronto -}
canada_eastern : () -> TimeZone
canada_eastern () = force (link "America/Toronto" america_toronto_l)
{-| America/Edmonton -}
canada_mountain : () -> TimeZone
canada_mountain () = force (link "America/Edmonton" america_edmonton_l)
{-| America/St_Johns -}
canada_newfoundland : () -> TimeZone
canada_newfoundland () = force (link "America/St_Johns" america_st_johns_l)
{-| America/Vancouver -}
canada_pacific : () -> TimeZone
canada_pacific () = force (link "America/Vancouver" america_vancouver_l)
{-| America/Regina -}
canada_saskatchewan : () -> TimeZone
canada_saskatchewan () = force (link "America/Regina" america_regina_l)
{-| America/Whitehorse -}
canada_yukon : () -> TimeZone
canada_yukon () = force (link "America/Whitehorse" america_whitehorse_l)
{-| CET -}
cet : () -> TimeZone
cet () = force cet_l
{-| America/Santiago -}
chile_continental : () -> TimeZone
chile_continental () = force (link "America/Santiago" america_santiago_l)
{-| Pacific/Easter -}
chile_easterisland : () -> TimeZone
chile_easterisland () = force (link "Pacific/Easter" pacific_easter_l)
{-| CST6CDT -}
cst6cdt : () -> TimeZone
cst6cdt () = force cst6cdt_l
{-| America/Havana -}
cuba : () -> TimeZone
cuba () = force (link "America/Havana" america_havana_l)
{-| EET -}
eet : () -> TimeZone
eet () = force eet_l
{-| Africa/Cairo -}
egypt : () -> TimeZone
egypt () = force (link "Africa/Cairo" africa_cairo_l)
{-| Europe/Dublin -}
eire : () -> TimeZone
eire () = force (link "Europe/Dublin" europe_dublin_l)
{-| EST -}
est : () -> TimeZone
est () = force est_l
{-| EST5EDT -}
est5edt : () -> TimeZone
est5edt () = force est5edt_l
{-| Etc/GMT+0 -}
etc_gmt : () -> TimeZone
etc_gmt () = force (link "Etc/GMT+0" etc_gmt_plus_0_l)
{-| Etc/GMT+0 -}
etc_gmt_0 : () -> TimeZone
etc_gmt_0 () = force (link "Etc/GMT+0" etc_gmt_plus_0_l)
{-| Etc/GMT+0 -}
etc_gmt_minus_0 : () -> TimeZone
etc_gmt_minus_0 () = force (link "Etc/GMT+0" etc_gmt_plus_0_l)
{-| Etc/GMT-1 -}
etc_gmt_minus_1 : () -> TimeZone
etc_gmt_minus_1 () = force etc_gmt_minus_1_l
{-| Etc/GMT-10 -}
etc_gmt_minus_10 : () -> TimeZone
etc_gmt_minus_10 () = force etc_gmt_minus_10_l
{-| Etc/GMT-11 -}
etc_gmt_minus_11 : () -> TimeZone
etc_gmt_minus_11 () = force etc_gmt_minus_11_l
{-| Etc/GMT-12 -}
etc_gmt_minus_12 : () -> TimeZone
etc_gmt_minus_12 () = force etc_gmt_minus_12_l
{-| Etc/GMT-13 -}
etc_gmt_minus_13 : () -> TimeZone
etc_gmt_minus_13 () = force etc_gmt_minus_13_l
{-| Etc/GMT-14 -}
etc_gmt_minus_14 : () -> TimeZone
etc_gmt_minus_14 () = force etc_gmt_minus_14_l
{-| Etc/GMT-2 -}
etc_gmt_minus_2 : () -> TimeZone
etc_gmt_minus_2 () = force etc_gmt_minus_2_l
{-| Etc/GMT-3 -}
etc_gmt_minus_3 : () -> TimeZone
etc_gmt_minus_3 () = force etc_gmt_minus_3_l
{-| Etc/GMT-4 -}
etc_gmt_minus_4 : () -> TimeZone
etc_gmt_minus_4 () = force etc_gmt_minus_4_l
{-| Etc/GMT-5 -}
etc_gmt_minus_5 : () -> TimeZone
etc_gmt_minus_5 () = force etc_gmt_minus_5_l
{-| Etc/GMT-6 -}
etc_gmt_minus_6 : () -> TimeZone
etc_gmt_minus_6 () = force etc_gmt_minus_6_l
{-| Etc/GMT-7 -}
etc_gmt_minus_7 : () -> TimeZone
etc_gmt_minus_7 () = force etc_gmt_minus_7_l
{-| Etc/GMT-8 -}
etc_gmt_minus_8 : () -> TimeZone
etc_gmt_minus_8 () = force etc_gmt_minus_8_l
{-| Etc/GMT-9 -}
etc_gmt_minus_9 : () -> TimeZone
etc_gmt_minus_9 () = force etc_gmt_minus_9_l
{-| Etc/GMT+0 -}
etc_gmt_plus_0 : () -> TimeZone
etc_gmt_plus_0 () = force etc_gmt_plus_0_l
{-| Etc/GMT+1 -}
etc_gmt_plus_1 : () -> TimeZone
etc_gmt_plus_1 () = force etc_gmt_plus_1_l
{-| Etc/GMT+10 -}
etc_gmt_plus_10 : () -> TimeZone
etc_gmt_plus_10 () = force etc_gmt_plus_10_l
{-| Etc/GMT+11 -}
etc_gmt_plus_11 : () -> TimeZone
etc_gmt_plus_11 () = force etc_gmt_plus_11_l
{-| Etc/GMT+12 -}
etc_gmt_plus_12 : () -> TimeZone
etc_gmt_plus_12 () = force etc_gmt_plus_12_l
{-| Etc/GMT+2 -}
etc_gmt_plus_2 : () -> TimeZone
etc_gmt_plus_2 () = force etc_gmt_plus_2_l
{-| Etc/GMT+3 -}
etc_gmt_plus_3 : () -> TimeZone
etc_gmt_plus_3 () = force etc_gmt_plus_3_l
{-| Etc/GMT+4 -}
etc_gmt_plus_4 : () -> TimeZone
etc_gmt_plus_4 () = force etc_gmt_plus_4_l
{-| Etc/GMT+5 -}
etc_gmt_plus_5 : () -> TimeZone
etc_gmt_plus_5 () = force etc_gmt_plus_5_l
{-| Etc/GMT+6 -}
etc_gmt_plus_6 : () -> TimeZone
etc_gmt_plus_6 () = force etc_gmt_plus_6_l
{-| Etc/GMT+7 -}
etc_gmt_plus_7 : () -> TimeZone
etc_gmt_plus_7 () = force etc_gmt_plus_7_l
{-| Etc/GMT+8 -}
etc_gmt_plus_8 : () -> TimeZone
etc_gmt_plus_8 () = force etc_gmt_plus_8_l
{-| Etc/GMT+9 -}
etc_gmt_plus_9 : () -> TimeZone
etc_gmt_plus_9 () = force etc_gmt_plus_9_l
{-| Etc/GMT+0 -}
etc_greenwich : () -> TimeZone
etc_greenwich () = force (link "Etc/GMT+0" etc_gmt_plus_0_l)
{-| Etc/UCT -}
etc_uct : () -> TimeZone
etc_uct () = force etc_uct_l
{-| Etc/UTC -}
etc_universal : () -> TimeZone
etc_universal () = force (link "Etc/UTC" etc_utc_l)
{-| Etc/UTC -}
etc_utc : () -> TimeZone
etc_utc () = force etc_utc_l
{-| Etc/UTC -}
etc_zulu : () -> TimeZone
etc_zulu () = force (link "Etc/UTC" etc_utc_l)
{-| Europe/Amsterdam -}
europe_amsterdam : () -> TimeZone
europe_amsterdam () = force europe_amsterdam_l
{-| Europe/Andorra -}
europe_andorra : () -> TimeZone
europe_andorra () = force europe_andorra_l
{-| Europe/Astrakhan -}
europe_astrakhan : () -> TimeZone
europe_astrakhan () = force europe_astrakhan_l
{-| Europe/Athens -}
europe_athens : () -> TimeZone
europe_athens () = force europe_athens_l
{-| Europe/London -}
europe_belfast : () -> TimeZone
europe_belfast () = force (link "Europe/London" europe_london_l)
{-| Europe/Belgrade -}
europe_belgrade : () -> TimeZone
europe_belgrade () = force europe_belgrade_l
{-| Europe/Berlin -}
europe_berlin : () -> TimeZone
europe_berlin () = force europe_berlin_l
{-| Europe/Prague -}
europe_bratislava : () -> TimeZone
europe_bratislava () = force (link "Europe/Prague" europe_prague_l)
{-| Europe/Brussels -}
europe_brussels : () -> TimeZone
europe_brussels () = force europe_brussels_l
{-| Europe/Bucharest -}
europe_bucharest : () -> TimeZone
europe_bucharest () = force europe_bucharest_l
{-| Europe/Budapest -}
europe_budapest : () -> TimeZone
europe_budapest () = force europe_budapest_l
{-| Europe/Zurich -}
europe_busingen : () -> TimeZone
europe_busingen () = force (link "Europe/Zurich" europe_zurich_l)
{-| Europe/Chisinau -}
europe_chisinau : () -> TimeZone
europe_chisinau () = force europe_chisinau_l
{-| Europe/Copenhagen -}
europe_copenhagen : () -> TimeZone
europe_copenhagen () = force europe_copenhagen_l
{-| Europe/Dublin -}
europe_dublin : () -> TimeZone
europe_dublin () = force europe_dublin_l
{-| Europe/Gibraltar -}
europe_gibraltar : () -> TimeZone
europe_gibraltar () = force europe_gibraltar_l
{-| Europe/London -}
europe_guernsey : () -> TimeZone
europe_guernsey () = force (link "Europe/London" europe_london_l)
{-| Europe/Helsinki -}
europe_helsinki : () -> TimeZone
europe_helsinki () = force europe_helsinki_l
{-| Europe/London -}
europe_isle_of_man : () -> TimeZone
europe_isle_of_man () = force (link "Europe/London" europe_london_l)
{-| Europe/Istanbul -}
europe_istanbul : () -> TimeZone
europe_istanbul () = force europe_istanbul_l
{-| Europe/London -}
europe_jersey : () -> TimeZone
europe_jersey () = force (link "Europe/London" europe_london_l)
{-| Europe/Kaliningrad -}
europe_kaliningrad : () -> TimeZone
europe_kaliningrad () = force europe_kaliningrad_l
{-| Europe/Kiev -}
europe_kiev : () -> TimeZone
europe_kiev () = force europe_kiev_l
{-| Europe/Kirov -}
europe_kirov : () -> TimeZone
europe_kirov () = force europe_kirov_l
{-| Europe/Lisbon -}
europe_lisbon : () -> TimeZone
europe_lisbon () = force europe_lisbon_l
{-| Europe/Belgrade -}
europe_ljubljana : () -> TimeZone
europe_ljubljana () = force (link "Europe/Belgrade" europe_belgrade_l)
{-| Europe/London -}
europe_london : () -> TimeZone
europe_london () = force europe_london_l
{-| Europe/Luxembourg -}
europe_luxembourg : () -> TimeZone
europe_luxembourg () = force europe_luxembourg_l
{-| Europe/Madrid -}
europe_madrid : () -> TimeZone
europe_madrid () = force europe_madrid_l
{-| Europe/Malta -}
europe_malta : () -> TimeZone
europe_malta () = force europe_malta_l
{-| Europe/Helsinki -}
europe_mariehamn : () -> TimeZone
europe_mariehamn () = force (link "Europe/Helsinki" europe_helsinki_l)
{-| Europe/Minsk -}
europe_minsk : () -> TimeZone
europe_minsk () = force europe_minsk_l
{-| Europe/Monaco -}
europe_monaco : () -> TimeZone
europe_monaco () = force europe_monaco_l
{-| Europe/Moscow -}
europe_moscow : () -> TimeZone
europe_moscow () = force europe_moscow_l
{-| Asia/Nicosia -}
europe_nicosia : () -> TimeZone
europe_nicosia () = force (link "Asia/Nicosia" asia_nicosia_l)
{-| Europe/Oslo -}
europe_oslo : () -> TimeZone
europe_oslo () = force europe_oslo_l
{-| Europe/Paris -}
europe_paris : () -> TimeZone
europe_paris () = force europe_paris_l
{-| Europe/Belgrade -}
europe_podgorica : () -> TimeZone
europe_podgorica () = force (link "Europe/Belgrade" europe_belgrade_l)
{-| Europe/Prague -}
europe_prague : () -> TimeZone
europe_prague () = force europe_prague_l
{-| Europe/Riga -}
europe_riga : () -> TimeZone
europe_riga () = force europe_riga_l
{-| Europe/Rome -}
europe_rome : () -> TimeZone
europe_rome () = force europe_rome_l
{-| Europe/Samara -}
europe_samara : () -> TimeZone
europe_samara () = force europe_samara_l
{-| Europe/Rome -}
europe_san_marino : () -> TimeZone
europe_san_marino () = force (link "Europe/Rome" europe_rome_l)
{-| Europe/Belgrade -}
europe_sarajevo : () -> TimeZone
europe_sarajevo () = force (link "Europe/Belgrade" europe_belgrade_l)
{-| Europe/Saratov -}
europe_saratov : () -> TimeZone
europe_saratov () = force europe_saratov_l
{-| Europe/Simferopol -}
europe_simferopol : () -> TimeZone
europe_simferopol () = force europe_simferopol_l
{-| Europe/Belgrade -}
europe_skopje : () -> TimeZone
europe_skopje () = force (link "Europe/Belgrade" europe_belgrade_l)
{-| Europe/Sofia -}
europe_sofia : () -> TimeZone
europe_sofia () = force europe_sofia_l
{-| Europe/Stockholm -}
europe_stockholm : () -> TimeZone
europe_stockholm () = force europe_stockholm_l
{-| Europe/Tallinn -}
europe_tallinn : () -> TimeZone
europe_tallinn () = force europe_tallinn_l
{-| Europe/Tirane -}
europe_tirane : () -> TimeZone
europe_tirane () = force europe_tirane_l
{-| Europe/Chisinau -}
europe_tiraspol : () -> TimeZone
europe_tiraspol () = force (link "Europe/Chisinau" europe_chisinau_l)
{-| Europe/Ulyanovsk -}
europe_ulyanovsk : () -> TimeZone
europe_ulyanovsk () = force europe_ulyanovsk_l
{-| Europe/Uzhgorod -}
europe_uzhgorod : () -> TimeZone
europe_uzhgorod () = force europe_uzhgorod_l
{-| Europe/Zurich -}
europe_vaduz : () -> TimeZone
europe_vaduz () = force (link "Europe/Zurich" europe_zurich_l)
{-| Europe/Rome -}
europe_vatican : () -> TimeZone
europe_vatican () = force (link "Europe/Rome" europe_rome_l)
{-| Europe/Vienna -}
europe_vienna : () -> TimeZone
europe_vienna () = force europe_vienna_l
{-| Europe/Vilnius -}
europe_vilnius : () -> TimeZone
europe_vilnius () = force europe_vilnius_l
{-| Europe/Volgograd -}
europe_volgograd : () -> TimeZone
europe_volgograd () = force europe_volgograd_l
{-| Europe/Warsaw -}
europe_warsaw : () -> TimeZone
europe_warsaw () = force europe_warsaw_l
{-| Europe/Belgrade -}
europe_zagreb : () -> TimeZone
europe_zagreb () = force (link "Europe/Belgrade" europe_belgrade_l)
{-| Europe/Zaporozhye -}
europe_zaporozhye : () -> TimeZone
europe_zaporozhye () = force europe_zaporozhye_l
{-| Europe/Zurich -}
europe_zurich : () -> TimeZone
europe_zurich () = force europe_zurich_l
{-| Europe/London -}
gb : () -> TimeZone
gb () = force (link "Europe/London" europe_london_l)
{-| Europe/London -}
gb_eire : () -> TimeZone
gb_eire () = force (link "Europe/London" europe_london_l)
{-| Etc/GMT+0 -}
gmt : () -> TimeZone
gmt () = force (link "Etc/GMT+0" etc_gmt_plus_0_l)
{-| Etc/GMT+0 -}
gmt_0 : () -> TimeZone
gmt_0 () = force (link "Etc/GMT+0" etc_gmt_plus_0_l)
{-| Etc/GMT+0 -}
gmt_minus_0 : () -> TimeZone
gmt_minus_0 () = force (link "Etc/GMT+0" etc_gmt_plus_0_l)
{-| Etc/GMT+0 -}
gmt_plus_0 : () -> TimeZone
gmt_plus_0 () = force (link "Etc/GMT+0" etc_gmt_plus_0_l)
{-| Etc/GMT+0 -}
greenwich : () -> TimeZone
greenwich () = force (link "Etc/GMT+0" etc_gmt_plus_0_l)
{-| Asia/Hong_Kong -}
hongkong : () -> TimeZone
hongkong () = force (link "Asia/Hong_Kong" asia_hong_kong_l)
{-| HST -}
hst : () -> TimeZone
hst () = force hst_l
{-| Atlantic/Reykjavik -}
iceland : () -> TimeZone
iceland () = force (link "Atlantic/Reykjavik" atlantic_reykjavik_l)
{-| Africa/Nairobi -}
indian_antananarivo : () -> TimeZone
indian_antananarivo () = force (link "Africa/Nairobi" africa_nairobi_l)
{-| Indian/Chagos -}
indian_chagos : () -> TimeZone
indian_chagos () = force indian_chagos_l
{-| Indian/Christmas -}
indian_christmas : () -> TimeZone
indian_christmas () = force indian_christmas_l
{-| Indian/Cocos -}
indian_cocos : () -> TimeZone
indian_cocos () = force indian_cocos_l
{-| Africa/Nairobi -}
indian_comoro : () -> TimeZone
indian_comoro () = force (link "Africa/Nairobi" africa_nairobi_l)
{-| Indian/Kerguelen -}
indian_kerguelen : () -> TimeZone
indian_kerguelen () = force indian_kerguelen_l
{-| Indian/Mahe -}
indian_mahe : () -> TimeZone
indian_mahe () = force indian_mahe_l
{-| Indian/Maldives -}
indian_maldives : () -> TimeZone
indian_maldives () = force indian_maldives_l
{-| Indian/Mauritius -}
indian_mauritius : () -> TimeZone
indian_mauritius () = force indian_mauritius_l
{-| Africa/Nairobi -}
indian_mayotte : () -> TimeZone
indian_mayotte () = force (link "Africa/Nairobi" africa_nairobi_l)
{-| Indian/Reunion -}
indian_reunion : () -> TimeZone
indian_reunion () = force indian_reunion_l
{-| Asia/Tehran -}
iran : () -> TimeZone
iran () = force (link "Asia/Tehran" asia_tehran_l)
{-| Asia/Jerusalem -}
israel : () -> TimeZone
israel () = force (link "Asia/Jerusalem" asia_jerusalem_l)
{-| America/Jamaica -}
jamaica : () -> TimeZone
jamaica () = force (link "America/Jamaica" america_jamaica_l)
{-| Asia/Tokyo -}
japan : () -> TimeZone
japan () = force (link "Asia/Tokyo" asia_tokyo_l)
{-| Pacific/Kwajalein -}
kwajalein : () -> TimeZone
kwajalein () = force (link "Pacific/Kwajalein" pacific_kwajalein_l)
{-| Africa/Tripoli -}
libya : () -> TimeZone
libya () = force (link "Africa/Tripoli" africa_tripoli_l)
{-| MET -}
met : () -> TimeZone
met () = force met_l
{-| America/Tijuana -}
mexico_bajanorte : () -> TimeZone
mexico_bajanorte () = force (link "America/Tijuana" america_tijuana_l)
{-| America/Mazatlan -}
mexico_bajasur : () -> TimeZone
mexico_bajasur () = force (link "America/Mazatlan" america_mazatlan_l)
{-| America/Mexico_City -}
mexico_general : () -> TimeZone
mexico_general () = force (link "America/Mexico_City" america_mexico_city_l)
{-| MST -}
mst : () -> TimeZone
mst () = force mst_l
{-| MST7MDT -}
mst7mdt : () -> TimeZone
mst7mdt () = force mst7mdt_l
{-| America/Denver -}
navajo : () -> TimeZone
navajo () = force (link "America/Denver" america_denver_l)
{-| Pacific/Auckland -}
nz : () -> TimeZone
nz () = force (link "Pacific/Auckland" pacific_auckland_l)
{-| Pacific/Chatham -}
nz_chat : () -> TimeZone
nz_chat () = force (link "Pacific/Chatham" pacific_chatham_l)
{-| Pacific/Apia -}
pacific_apia : () -> TimeZone
pacific_apia () = force pacific_apia_l
{-| Pacific/Auckland -}
pacific_auckland : () -> TimeZone
pacific_auckland () = force pacific_auckland_l
{-| Pacific/Bougainville -}
pacific_bougainville : () -> TimeZone
pacific_bougainville () = force pacific_bougainville_l
{-| Pacific/Chatham -}
pacific_chatham : () -> TimeZone
pacific_chatham () = force pacific_chatham_l
{-| Pacific/Chuuk -}
pacific_chuuk : () -> TimeZone
pacific_chuuk () = force pacific_chuuk_l
{-| Pacific/Easter -}
pacific_easter : () -> TimeZone
pacific_easter () = force pacific_easter_l
{-| Pacific/Efate -}
pacific_efate : () -> TimeZone
pacific_efate () = force pacific_efate_l
{-| Pacific/Enderbury -}
pacific_enderbury : () -> TimeZone
pacific_enderbury () = force pacific_enderbury_l
{-| Pacific/Fakaofo -}
pacific_fakaofo : () -> TimeZone
pacific_fakaofo () = force pacific_fakaofo_l
{-| Pacific/Fiji -}
pacific_fiji : () -> TimeZone
pacific_fiji () = force pacific_fiji_l
{-| Pacific/Funafuti -}
pacific_funafuti : () -> TimeZone
pacific_funafuti () = force pacific_funafuti_l
{-| Pacific/Galapagos -}
pacific_galapagos : () -> TimeZone
pacific_galapagos () = force pacific_galapagos_l
{-| Pacific/Gambier -}
pacific_gambier : () -> TimeZone
pacific_gambier () = force pacific_gambier_l
{-| Pacific/Guadalcanal -}
pacific_guadalcanal : () -> TimeZone
pacific_guadalcanal () = force pacific_guadalcanal_l
{-| Pacific/Guam -}
pacific_guam : () -> TimeZone
pacific_guam () = force pacific_guam_l
{-| Pacific/Honolulu -}
pacific_honolulu : () -> TimeZone
pacific_honolulu () = force pacific_honolulu_l
{-| Pacific/Honolulu -}
pacific_johnston : () -> TimeZone
pacific_johnston () = force (link "Pacific/Honolulu" pacific_honolulu_l)
{-| Pacific/Kiritimati -}
pacific_kiritimati : () -> TimeZone
pacific_kiritimati () = force pacific_kiritimati_l
{-| Pacific/Kosrae -}
pacific_kosrae : () -> TimeZone
pacific_kosrae () = force pacific_kosrae_l
{-| Pacific/Kwajalein -}
pacific_kwajalein : () -> TimeZone
pacific_kwajalein () = force pacific_kwajalein_l
{-| Pacific/Majuro -}
pacific_majuro : () -> TimeZone
pacific_majuro () = force pacific_majuro_l
{-| Pacific/Marquesas -}
pacific_marquesas : () -> TimeZone
pacific_marquesas () = force pacific_marquesas_l
{-| Pacific/Pago_Pago -}
pacific_midway : () -> TimeZone
pacific_midway () = force (link "Pacific/Pago_Pago" pacific_pago_pago_l)
{-| Pacific/Nauru -}
pacific_nauru : () -> TimeZone
pacific_nauru () = force pacific_nauru_l
{-| Pacific/Niue -}
pacific_niue : () -> TimeZone
pacific_niue () = force pacific_niue_l
{-| Pacific/Norfolk -}
pacific_norfolk : () -> TimeZone
pacific_norfolk () = force pacific_norfolk_l
{-| Pacific/Noumea -}
pacific_noumea : () -> TimeZone
pacific_noumea () = force pacific_noumea_l
{-| Pacific/Pago_Pago -}
pacific_pago_pago : () -> TimeZone
pacific_pago_pago () = force pacific_pago_pago_l
{-| Pacific/Palau -}
pacific_palau : () -> TimeZone
pacific_palau () = force pacific_palau_l
{-| Pacific/Pitcairn -}
pacific_pitcairn : () -> TimeZone
pacific_pitcairn () = force pacific_pitcairn_l
{-| Pacific/Pohnpei -}
pacific_pohnpei : () -> TimeZone
pacific_pohnpei () = force pacific_pohnpei_l
{-| Pacific/Pohnpei -}
pacific_ponape : () -> TimeZone
pacific_ponape () = force (link "Pacific/Pohnpei" pacific_pohnpei_l)
{-| Pacific/Port_Moresby -}
pacific_port_moresby : () -> TimeZone
pacific_port_moresby () = force pacific_port_moresby_l
{-| Pacific/Rarotonga -}
pacific_rarotonga : () -> TimeZone
pacific_rarotonga () = force pacific_rarotonga_l
{-| Pacific/Guam -}
pacific_saipan : () -> TimeZone
pacific_saipan () = force (link "Pacific/Guam" pacific_guam_l)
{-| Pacific/Pago_Pago -}
pacific_samoa : () -> TimeZone
pacific_samoa () = force (link "Pacific/Pago_Pago" pacific_pago_pago_l)
{-| Pacific/Tahiti -}
pacific_tahiti : () -> TimeZone
pacific_tahiti () = force pacific_tahiti_l
{-| Pacific/Tarawa -}
pacific_tarawa : () -> TimeZone
pacific_tarawa () = force pacific_tarawa_l
{-| Pacific/Tongatapu -}
pacific_tongatapu : () -> TimeZone
pacific_tongatapu () = force pacific_tongatapu_l
{-| Pacific/Chuuk -}
pacific_truk : () -> TimeZone
pacific_truk () = force (link "Pacific/Chuuk" pacific_chuuk_l)
{-| Pacific/Wake -}
pacific_wake : () -> TimeZone
pacific_wake () = force pacific_wake_l
{-| Pacific/Wallis -}
pacific_wallis : () -> TimeZone
pacific_wallis () = force pacific_wallis_l
{-| Pacific/Chuuk -}
pacific_yap : () -> TimeZone
pacific_yap () = force (link "Pacific/Chuuk" pacific_chuuk_l)
{-| Europe/Warsaw -}
poland : () -> TimeZone
poland () = force (link "Europe/Warsaw" europe_warsaw_l)
{-| Europe/Lisbon -}
portugal : () -> TimeZone
portugal () = force (link "Europe/Lisbon" europe_lisbon_l)
{-| Asia/Shanghai -}
prc : () -> TimeZone
prc () = force (link "Asia/Shanghai" asia_shanghai_l)
{-| PST8PDT -}
pst8pdt : () -> TimeZone
pst8pdt () = force pst8pdt_l
{-| Asia/Taipei -}
roc : () -> TimeZone
roc () = force (link "Asia/Taipei" asia_taipei_l)
{-| Asia/Seoul -}
rok : () -> TimeZone
rok () = force (link "Asia/Seoul" asia_seoul_l)
{-| Asia/Singapore -}
singapore : () -> TimeZone
singapore () = force (link "Asia/Singapore" asia_singapore_l)
{-| Europe/Istanbul -}
turkey : () -> TimeZone
turkey () = force (link "Europe/Istanbul" europe_istanbul_l)
{-| Etc/UCT -}
uct : () -> TimeZone
uct () = force (link "Etc/UCT" etc_uct_l)
{-| Etc/UTC -}
universal : () -> TimeZone
universal () = force (link "Etc/UTC" etc_utc_l)
{-| America/Anchorage -}
us_alaska : () -> TimeZone
us_alaska () = force (link "America/Anchorage" america_anchorage_l)
{-| America/Adak -}
us_aleutian : () -> TimeZone
us_aleutian () = force (link "America/Adak" america_adak_l)
{-| America/Phoenix -}
us_arizona : () -> TimeZone
us_arizona () = force (link "America/Phoenix" america_phoenix_l)
{-| America/Chicago -}
us_central : () -> TimeZone
us_central () = force (link "America/Chicago" america_chicago_l)
{-| America/Fort_Wayne -}
us_east_indiana : () -> TimeZone
us_east_indiana () = force (link "America/Fort_Wayne" america_fort_wayne_l)
{-| America/New_York -}
us_eastern : () -> TimeZone
us_eastern () = force (link "America/New_York" america_new_york_l)
{-| Pacific/Honolulu -}
us_hawaii : () -> TimeZone
us_hawaii () = force (link "Pacific/Honolulu" pacific_honolulu_l)
{-| America/Indiana/Knox -}
us_indiana_starke : () -> TimeZone
us_indiana_starke () = force (link "America/Indiana/Knox" america_indiana_knox_l)
{-| America/Detroit -}
us_michigan : () -> TimeZone
us_michigan () = force (link "America/Detroit" america_detroit_l)
{-| America/Denver -}
us_mountain : () -> TimeZone
us_mountain () = force (link "America/Denver" america_denver_l)
{-| America/Los_Angeles -}
us_pacific : () -> TimeZone
us_pacific () = force (link "America/Los_Angeles" america_los_angeles_l)
{-| America/Los_Angeles -}
us_pacific_new : () -> TimeZone
us_pacific_new () = force (link "America/Los_Angeles" america_los_angeles_l)
{-| Pacific/Pago_Pago -}
us_samoa : () -> TimeZone
us_samoa () = force (link "Pacific/Pago_Pago" pacific_pago_pago_l)
{-| Etc/UTC -}
utc : () -> TimeZone
utc () = force (link "Etc/UTC" etc_utc_l)
{-| Europe/Moscow -}
w_su : () -> TimeZone
w_su () = force (link "Europe/Moscow" europe_moscow_l)
{-| WET -}
wet : () -> TimeZone
wet () = force wet_l
{-| Etc/UTC -}
zulu : () -> TimeZone
zulu () = force (link "Etc/UTC" etc_utc_l)
-- Utils
-- -----
{-| A mapping from TimeZone names to their respective functions. Use
this to look up TimeZones by name. -}
all : Dict String (() -> TimeZone)
all = Dict.fromList [("Africa/Abidjan", africa_abidjan), ("Africa/Accra", africa_accra), ("Africa/Nairobi", africa_addis_ababa), ("Africa/Algiers", africa_algiers), ("Africa/Nairobi", africa_asmara), ("Africa/Nairobi", africa_asmera), ("Africa/Abidjan", africa_bamako), ("Africa/Lagos", africa_bangui), ("Africa/Abidjan", africa_banjul), ("Africa/Bissau", africa_bissau), ("Africa/Maputo", africa_blantyre), ("Africa/Lagos", africa_brazzaville), ("Africa/Maputo", africa_bujumbura), ("Africa/Cairo", africa_cairo), ("Africa/Casablanca", africa_casablanca), ("Africa/Ceuta", africa_ceuta), ("Africa/Abidjan", africa_conakry), ("Africa/Abidjan", africa_dakar), ("Africa/Nairobi", africa_dar_es_salaam), ("Africa/Nairobi", africa_djibouti), ("Africa/Lagos", africa_douala), ("Africa/El_Aaiun", africa_el_aaiun), ("Africa/Abidjan", africa_freetown), ("Africa/Maputo", africa_gaborone), ("Africa/Maputo", africa_harare), ("Africa/Johannesburg", africa_johannesburg), ("Africa/Khartoum", africa_juba), ("Africa/Nairobi", africa_kampala), ("Africa/Khartoum", africa_khartoum), ("Africa/Maputo", africa_kigali), ("Africa/Lagos", africa_kinshasa), ("Africa/Lagos", africa_lagos), ("Africa/Lagos", africa_libreville), ("Africa/Abidjan", africa_lome), ("Africa/Lagos", africa_luanda), ("Africa/Maputo", africa_lubumbashi), ("Africa/Maputo", africa_lusaka), ("Africa/Lagos", africa_malabo), ("Africa/Maputo", africa_maputo), ("Africa/Johannesburg", africa_maseru), ("Africa/Johannesburg", africa_mbabane), ("Africa/Nairobi", africa_mogadishu), ("Africa/Monrovia", africa_monrovia), ("Africa/Nairobi", africa_nairobi), ("Africa/Ndjamena", africa_ndjamena), ("Africa/Lagos", africa_niamey), ("Africa/Abidjan", africa_nouakchott), ("Africa/Abidjan", africa_ouagadougou), ("Africa/Lagos", africa_porto_novo), ("Africa/Abidjan", africa_sao_tome), ("Africa/Abidjan", africa_timbuktu), ("Africa/Tripoli", africa_tripoli), ("Africa/Tunis", africa_tunis), ("Africa/Windhoek", africa_windhoek), ("America/Adak", america_adak), ("America/Anchorage", america_anchorage), ("America/Port_of_Spain", america_anguilla), ("America/Port_of_Spain", america_antigua), ("America/Araguaina", america_araguaina), ("America/Argentina/Buenos_Aires", america_argentina_buenos_aires), ("America/Argentina/Catamarca", america_argentina_catamarca), ("America/Argentina/Catamarca", america_argentina_comodrivadavia), ("America/Argentina/Cordoba", america_argentina_cordoba), ("America/Argentina/Jujuy", america_argentina_jujuy), ("America/Argentina/La_Rioja", america_argentina_la_rioja), ("America/Argentina/Mendoza", america_argentina_mendoza), ("America/Argentina/Rio_Gallegos", america_argentina_rio_gallegos), ("America/Argentina/Salta", america_argentina_salta), ("America/Argentina/San_Juan", america_argentina_san_juan), ("America/Argentina/San_Luis", america_argentina_san_luis), ("America/Argentina/Tucuman", america_argentina_tucuman), ("America/Argentina/Ushuaia", america_argentina_ushuaia), ("America/Curacao", america_aruba), ("America/Asuncion", america_asuncion), ("America/Atikokan", america_atikokan), ("America/Adak", america_atka), ("America/Bahia", america_bahia), ("America/Bahia_Banderas", america_bahia_banderas), ("America/Barbados", america_barbados), ("America/Belem", america_belem), ("America/Belize", america_belize), ("America/Blanc-Sablon", america_blanc_sablon), ("America/Boa_Vista", america_boa_vista), ("America/Bogota", america_bogota), ("America/Boise", america_boise), ("America/Argentina/Buenos_Aires", america_buenos_aires), ("America/Cambridge_Bay", america_cambridge_bay), ("America/Campo_Grande", america_campo_grande), ("America/Cancun", america_cancun), ("America/Caracas", america_caracas), ("America/Argentina/Catamarca", america_catamarca), ("America/Cayenne", america_cayenne), ("America/Panama", america_cayman), ("America/Chicago", america_chicago), ("America/Chihuahua", america_chihuahua), ("America/Atikokan", america_coral_harbour), ("America/Argentina/Cordoba", america_cordoba), ("America/Costa_Rica", america_costa_rica), ("America/Creston", america_creston), ("America/Cuiaba", america_cuiaba), ("America/Curacao", america_curacao), ("America/Danmarkshavn", america_danmarkshavn), ("America/Dawson", america_dawson), ("America/Dawson_Creek", america_dawson_creek), ("America/Denver", america_denver), ("America/Detroit", america_detroit), ("America/Port_of_Spain", america_dominica), ("America/Edmonton", america_edmonton), ("America/Eirunepe", america_eirunepe), ("America/El_Salvador", america_el_salvador), ("America/Tijuana", america_ensenada), ("America/Fort_Nelson", america_fort_nelson), ("America/Fort_Wayne", america_fort_wayne), ("America/Fortaleza", america_fortaleza), ("America/Glace_Bay", america_glace_bay), ("America/Godthab", america_godthab), ("America/Goose_Bay", america_goose_bay), ("America/Grand_Turk", america_grand_turk), ("America/Port_of_Spain", america_grenada), ("America/Port_of_Spain", america_guadeloupe), ("America/Guatemala", america_guatemala), ("America/Guayaquil", america_guayaquil), ("America/Guyana", america_guyana), ("America/Halifax", america_halifax), ("America/Havana", america_havana), ("America/Hermosillo", america_hermosillo), ("America/Fort_Wayne", america_indiana_indianapolis), ("America/Indiana/Knox", america_indiana_knox), ("America/Indiana/Marengo", america_indiana_marengo), ("America/Indiana/Petersburg", america_indiana_petersburg), ("America/Indiana/Tell_City", america_indiana_tell_city), ("America/Indiana/Vevay", america_indiana_vevay), ("America/Indiana/Vincennes", america_indiana_vincennes), ("America/Indiana/Winamac", america_indiana_winamac), ("America/Fort_Wayne", america_indianapolis), ("America/Inuvik", america_inuvik), ("America/Iqaluit", america_iqaluit), ("America/Jamaica", america_jamaica), ("America/Argentina/Jujuy", america_jujuy), ("America/Juneau", america_juneau), ("America/Kentucky/Louisville", america_kentucky_louisville), ("America/Kentucky/Monticello", america_kentucky_monticello), ("America/Indiana/Knox", america_knox_in), ("America/Curacao", america_kralendijk), ("America/La_Paz", america_la_paz), ("America/Lima", america_lima), ("America/Los_Angeles", america_los_angeles), ("America/Kentucky/Louisville", america_louisville), ("America/Curacao", america_lower_princes), ("America/Maceio", america_maceio), ("America/Managua", america_managua), ("America/Manaus", america_manaus), ("America/Port_of_Spain", america_marigot), ("America/Martinique", america_martinique), ("America/Matamoros", america_matamoros), ("America/Mazatlan", america_mazatlan), ("America/Argentina/Mendoza", america_mendoza), ("America/Menominee", america_menominee), ("America/Merida", america_merida), ("America/Metlakatla", america_metlakatla), ("America/Mexico_City", america_mexico_city), ("America/Miquelon", america_miquelon), ("America/Moncton", america_moncton), ("America/Monterrey", america_monterrey), ("America/Montevideo", america_montevideo), ("America/Toronto", america_montreal), ("America/Port_of_Spain", america_montserrat), ("America/Nassau", america_nassau), ("America/New_York", america_new_york), ("America/Nipigon", america_nipigon), ("America/Nome", america_nome), ("America/Noronha", america_noronha), ("America/North_Dakota/Beulah", america_north_dakota_beulah), ("America/North_Dakota/Center", america_north_dakota_center), ("America/North_Dakota/New_Salem", america_north_dakota_new_salem), ("America/Ojinaga", america_ojinaga), ("America/Panama", america_panama), ("America/Pangnirtung", america_pangnirtung), ("America/Paramaribo", america_paramaribo), ("America/Phoenix", america_phoenix), ("America/Port-au-Prince", america_port_au_prince), ("America/Port_of_Spain", america_port_of_spain), ("America/Rio_Branco", america_porto_acre), ("America/Porto_Velho", america_porto_velho), ("America/Puerto_Rico", america_puerto_rico), ("America/Rainy_River", america_rainy_river), ("America/Rankin_Inlet", america_rankin_inlet), ("America/Recife", america_recife), ("America/Regina", america_regina), ("America/Resolute", america_resolute), ("America/Rio_Branco", america_rio_branco), ("America/Argentina/Cordoba", america_rosario), ("America/Tijuana", america_santa_isabel), ("America/Santarem", america_santarem), ("America/Santiago", america_santiago), ("America/Santo_Domingo", america_santo_domingo), ("America/Sao_Paulo", america_sao_paulo), ("America/Scoresbysund", america_scoresbysund), ("America/Denver", america_shiprock), ("America/Sitka", america_sitka), ("America/Port_of_Spain", america_st_barthelemy), ("America/St_Johns", america_st_johns), ("America/Port_of_Spain", america_st_kitts), ("America/Port_of_Spain", america_st_lucia), ("America/Port_of_Spain", america_st_thomas), ("America/Port_of_Spain", america_st_vincent), ("America/Swift_Current", america_swift_current), ("America/Tegucigalpa", america_tegucigalpa), ("America/Thule", america_thule), ("America/Thunder_Bay", america_thunder_bay), ("America/Tijuana", america_tijuana), ("America/Toronto", america_toronto), ("America/Port_of_Spain", america_tortola), ("America/Vancouver", america_vancouver), ("America/Port_of_Spain", america_virgin), ("America/Whitehorse", america_whitehorse), ("America/Winnipeg", america_winnipeg), ("America/Yakutat", america_yakutat), ("America/Yellowknife", america_yellowknife), ("Antarctica/Casey", antarctica_casey), ("Antarctica/Davis", antarctica_davis), ("Antarctica/DumontDUrville", antarctica_dumontdurville), ("Antarctica/Macquarie", antarctica_macquarie), ("Antarctica/Mawson", antarctica_mawson), ("Pacific/Auckland", antarctica_mcmurdo), ("Antarctica/Palmer", antarctica_palmer), ("Antarctica/Rothera", antarctica_rothera), ("Pacific/Auckland", antarctica_south_pole), ("Antarctica/Syowa", antarctica_syowa), ("Antarctica/Troll", antarctica_troll), ("Antarctica/Vostok", antarctica_vostok), ("Europe/Oslo", arctic_longyearbyen), ("Asia/Riyadh", asia_aden), ("Asia/Almaty", asia_almaty), ("Asia/Amman", asia_amman), ("Asia/Anadyr", asia_anadyr), ("Asia/Aqtau", asia_aqtau), ("Asia/Aqtobe", asia_aqtobe), ("Asia/Ashgabat", asia_ashgabat), ("Asia/Ashgabat", asia_ashkhabad), ("Asia/Atyrau", asia_atyrau), ("Asia/Baghdad", asia_baghdad), ("Asia/Qatar", asia_bahrain), ("Asia/Baku", asia_baku), ("Asia/Bangkok", asia_bangkok), ("Asia/Barnaul", asia_barnaul), ("Asia/Beirut", asia_beirut), ("Asia/Bishkek", asia_bishkek), ("Asia/Brunei", asia_brunei), ("Asia/Kolkata", asia_calcutta), ("Asia/Chita", asia_chita), ("Asia/Choibalsan", asia_choibalsan), ("Asia/Shanghai", asia_chongqing), ("Asia/Shanghai", asia_chungking), ("Asia/Colombo", asia_colombo), ("Asia/Dhaka", asia_dacca), ("Asia/Damascus", asia_damascus), ("Asia/Dhaka", asia_dhaka), ("Asia/Dili", asia_dili), ("Asia/Dubai", asia_dubai), ("Asia/Dushanbe", asia_dushanbe), ("Asia/Famagusta", asia_famagusta), ("Asia/Gaza", asia_gaza), ("Asia/Shanghai", asia_harbin), ("Asia/Hebron", asia_hebron), ("Asia/Ho_Chi_Minh", asia_ho_chi_minh), ("Asia/Hong_Kong", asia_hong_kong), ("Asia/Hovd", asia_hovd), ("Asia/Irkutsk", asia_irkutsk), ("Europe/Istanbul", asia_istanbul), ("Asia/Jakarta", asia_jakarta), ("Asia/Jayapura", asia_jayapura), ("Asia/Jerusalem", asia_jerusalem), ("Asia/Kabul", asia_kabul), ("Asia/Kamchatka", asia_kamchatka), ("Asia/Karachi", asia_karachi), ("Asia/Urumqi", asia_kashgar), ("Asia/Kathmandu", asia_kathmandu), ("Asia/Kathmandu", asia_katmandu), ("Asia/Khandyga", asia_khandyga), ("Asia/Kolkata", asia_kolkata), ("Asia/Krasnoyarsk", asia_krasnoyarsk), ("Asia/Kuala_Lumpur", asia_kuala_lumpur), ("Asia/Kuching", asia_kuching), ("Asia/Riyadh", asia_kuwait), ("Asia/Macau", asia_macao), ("Asia/Macau", asia_macau), ("Asia/Magadan", asia_magadan), ("Asia/Makassar", asia_makassar), ("Asia/Manila", asia_manila), ("Asia/Dubai", asia_muscat), ("Asia/Nicosia", asia_nicosia), ("Asia/Novokuznetsk", asia_novokuznetsk), ("Asia/Novosibirsk", asia_novosibirsk), ("Asia/Omsk", asia_omsk), ("Asia/Oral", asia_oral), ("Asia/Bangkok", asia_phnom_penh), ("Asia/Pontianak", asia_pontianak), ("Asia/Pyongyang", asia_pyongyang), ("Asia/Qatar", asia_qatar), ("Asia/Qyzylorda", asia_qyzylorda), ("Asia/Rangoon", asia_rangoon), ("Asia/Riyadh", asia_riyadh), ("Asia/Ho_Chi_Minh", asia_saigon), ("Asia/Sakhalin", asia_sakhalin), ("Asia/Samarkand", asia_samarkand), ("Asia/Seoul", asia_seoul), ("Asia/Shanghai", asia_shanghai), ("Asia/Singapore", asia_singapore), ("Asia/Srednekolymsk", asia_srednekolymsk), ("Asia/Taipei", asia_taipei), ("Asia/Tashkent", asia_tashkent), ("Asia/Tbilisi", asia_tbilisi), ("Asia/Tehran", asia_tehran), ("Asia/Jerusalem", asia_tel_aviv), ("Asia/Thimphu", asia_thimbu), ("Asia/Thimphu", asia_thimphu), ("Asia/Tokyo", asia_tokyo), ("Asia/Tomsk", asia_tomsk), ("Asia/Makassar", asia_ujung_pandang), ("Asia/Ulaanbaatar", asia_ulaanbaatar), ("Asia/Ulaanbaatar", asia_ulan_bator), ("Asia/Urumqi", asia_urumqi), ("Asia/Ust-Nera", asia_ust_nera), ("Asia/Bangkok", asia_vientiane), ("Asia/Vladivostok", asia_vladivostok), ("Asia/Yakutsk", asia_yakutsk), ("Asia/Rangoon", asia_yangon), ("Asia/Yekaterinburg", asia_yekaterinburg), ("Asia/Yerevan", asia_yerevan), ("Atlantic/Azores", atlantic_azores), ("Atlantic/Bermuda", atlantic_bermuda), ("Atlantic/Canary", atlantic_canary), ("Atlantic/Cape_Verde", atlantic_cape_verde), ("Atlantic/Faroe", atlantic_faeroe), ("Atlantic/Faroe", atlantic_faroe), ("Europe/Oslo", atlantic_jan_mayen), ("Atlantic/Madeira", atlantic_madeira), ("Atlantic/Reykjavik", atlantic_reykjavik), ("Atlantic/South_Georgia", atlantic_south_georgia), ("Africa/Abidjan", atlantic_st_helena), ("Atlantic/Stanley", atlantic_stanley), ("Australia/Sydney", australia_act), ("Australia/Adelaide", australia_adelaide), ("Australia/Brisbane", australia_brisbane), ("Australia/Broken_Hill", australia_broken_hill), ("Australia/Sydney", australia_canberra), ("Australia/Currie", australia_currie), ("Australia/Darwin", australia_darwin), ("Australia/Eucla", australia_eucla), ("Australia/Hobart", australia_hobart), ("Australia/Lord_Howe", australia_lhi), ("Australia/Lindeman", australia_lindeman), ("Australia/Lord_Howe", australia_lord_howe), ("Australia/Melbourne", australia_melbourne), ("Australia/Darwin", australia_north), ("Australia/Sydney", australia_nsw), ("Australia/Perth", australia_perth), ("Australia/Brisbane", australia_queensland), ("Australia/Adelaide", australia_south), ("Australia/Sydney", australia_sydney), ("Australia/Hobart", australia_tasmania), ("Australia/Melbourne", australia_victoria), ("Australia/Perth", australia_west), ("Australia/Broken_Hill", australia_yancowinna), ("America/Rio_Branco", brazil_acre), ("America/Noronha", brazil_denoronha), ("America/Sao_Paulo", brazil_east), ("America/Manaus", brazil_west), ("America/Halifax", canada_atlantic), ("America/Winnipeg", canada_central), ("America/Regina", canada_east_saskatchewan), ("America/Toronto", canada_eastern), ("America/Edmonton", canada_mountain), ("America/St_Johns", canada_newfoundland), ("America/Vancouver", canada_pacific), ("America/Regina", canada_saskatchewan), ("America/Whitehorse", canada_yukon), ("CET", cet), ("America/Santiago", chile_continental), ("Pacific/Easter", chile_easterisland), ("CST6CDT", cst6cdt), ("America/Havana", cuba), ("EET", eet), ("Africa/Cairo", egypt), ("Europe/Dublin", eire), ("EST", est), ("EST5EDT", est5edt), ("Etc/GMT+0", etc_gmt), ("Etc/GMT+0", etc_gmt_0), ("Etc/GMT+0", etc_gmt_minus_0), ("Etc/GMT-1", etc_gmt_minus_1), ("Etc/GMT-10", etc_gmt_minus_10), ("Etc/GMT-11", etc_gmt_minus_11), ("Etc/GMT-12", etc_gmt_minus_12), ("Etc/GMT-13", etc_gmt_minus_13), ("Etc/GMT-14", etc_gmt_minus_14), ("Etc/GMT-2", etc_gmt_minus_2), ("Etc/GMT-3", etc_gmt_minus_3), ("Etc/GMT-4", etc_gmt_minus_4), ("Etc/GMT-5", etc_gmt_minus_5), ("Etc/GMT-6", etc_gmt_minus_6), ("Etc/GMT-7", etc_gmt_minus_7), ("Etc/GMT-8", etc_gmt_minus_8), ("Etc/GMT-9", etc_gmt_minus_9), ("Etc/GMT+0", etc_gmt_plus_0), ("Etc/GMT+1", etc_gmt_plus_1), ("Etc/GMT+10", etc_gmt_plus_10), ("Etc/GMT+11", etc_gmt_plus_11), ("Etc/GMT+12", etc_gmt_plus_12), ("Etc/GMT+2", etc_gmt_plus_2), ("Etc/GMT+3", etc_gmt_plus_3), ("Etc/GMT+4", etc_gmt_plus_4), ("Etc/GMT+5", etc_gmt_plus_5), ("Etc/GMT+6", etc_gmt_plus_6), ("Etc/GMT+7", etc_gmt_plus_7), ("Etc/GMT+8", etc_gmt_plus_8), ("Etc/GMT+9", etc_gmt_plus_9), ("Etc/GMT+0", etc_greenwich), ("Etc/UCT", etc_uct), ("Etc/UTC", etc_universal), ("Etc/UTC", etc_utc), ("Etc/UTC", etc_zulu), ("Europe/Amsterdam", europe_amsterdam), ("Europe/Andorra", europe_andorra), ("Europe/Astrakhan", europe_astrakhan), ("Europe/Athens", europe_athens), ("Europe/London", europe_belfast), ("Europe/Belgrade", europe_belgrade), ("Europe/Berlin", europe_berlin), ("Europe/Prague", europe_bratislava), ("Europe/Brussels", europe_brussels), ("Europe/Bucharest", europe_bucharest), ("Europe/Budapest", europe_budapest), ("Europe/Zurich", europe_busingen), ("Europe/Chisinau", europe_chisinau), ("Europe/Copenhagen", europe_copenhagen), ("Europe/Dublin", europe_dublin), ("Europe/Gibraltar", europe_gibraltar), ("Europe/London", europe_guernsey), ("Europe/Helsinki", europe_helsinki), ("Europe/London", europe_isle_of_man), ("Europe/Istanbul", europe_istanbul), ("Europe/London", europe_jersey), ("Europe/Kaliningrad", europe_kaliningrad), ("Europe/Kiev", europe_kiev), ("Europe/Kirov", europe_kirov), ("Europe/Lisbon", europe_lisbon), ("Europe/Belgrade", europe_ljubljana), ("Europe/London", europe_london), ("Europe/Luxembourg", europe_luxembourg), ("Europe/Madrid", europe_madrid), ("Europe/Malta", europe_malta), ("Europe/Helsinki", europe_mariehamn), ("Europe/Minsk", europe_minsk), ("Europe/Monaco", europe_monaco), ("Europe/Moscow", europe_moscow), ("Asia/Nicosia", europe_nicosia), ("Europe/Oslo", europe_oslo), ("Europe/Paris", europe_paris), ("Europe/Belgrade", europe_podgorica), ("Europe/Prague", europe_prague), ("Europe/Riga", europe_riga), ("Europe/Rome", europe_rome), ("Europe/Samara", europe_samara), ("Europe/Rome", europe_san_marino), ("Europe/Belgrade", europe_sarajevo), ("Europe/Saratov", europe_saratov), ("Europe/Simferopol", europe_simferopol), ("Europe/Belgrade", europe_skopje), ("Europe/Sofia", europe_sofia), ("Europe/Stockholm", europe_stockholm), ("Europe/Tallinn", europe_tallinn), ("Europe/Tirane", europe_tirane), ("Europe/Chisinau", europe_tiraspol), ("Europe/Ulyanovsk", europe_ulyanovsk), ("Europe/Uzhgorod", europe_uzhgorod), ("Europe/Zurich", europe_vaduz), ("Europe/Rome", europe_vatican), ("Europe/Vienna", europe_vienna), ("Europe/Vilnius", europe_vilnius), ("Europe/Volgograd", europe_volgograd), ("Europe/Warsaw", europe_warsaw), ("Europe/Belgrade", europe_zagreb), ("Europe/Zaporozhye", europe_zaporozhye), ("Europe/Zurich", europe_zurich), ("Europe/London", gb), ("Europe/London", gb_eire), ("Etc/GMT+0", gmt), ("Etc/GMT+0", gmt_0), ("Etc/GMT+0", gmt_minus_0), ("Etc/GMT+0", gmt_plus_0), ("Etc/GMT+0", greenwich), ("Asia/Hong_Kong", hongkong), ("HST", hst), ("Atlantic/Reykjavik", iceland), ("Africa/Nairobi", indian_antananarivo), ("Indian/Chagos", indian_chagos), ("Indian/Christmas", indian_christmas), ("Indian/Cocos", indian_cocos), ("Africa/Nairobi", indian_comoro), ("Indian/Kerguelen", indian_kerguelen), ("Indian/Mahe", indian_mahe), ("Indian/Maldives", indian_maldives), ("Indian/Mauritius", indian_mauritius), ("Africa/Nairobi", indian_mayotte), ("Indian/Reunion", indian_reunion), ("Asia/Tehran", iran), ("Asia/Jerusalem", israel), ("America/Jamaica", jamaica), ("Asia/Tokyo", japan), ("Pacific/Kwajalein", kwajalein), ("Africa/Tripoli", libya), ("MET", met), ("America/Tijuana", mexico_bajanorte), ("America/Mazatlan", mexico_bajasur), ("America/Mexico_City", mexico_general), ("MST", mst), ("MST7MDT", mst7mdt), ("America/Denver", navajo), ("Pacific/Auckland", nz), ("Pacific/Chatham", nz_chat), ("Pacific/Apia", pacific_apia), ("Pacific/Auckland", pacific_auckland), ("Pacific/Bougainville", pacific_bougainville), ("Pacific/Chatham", pacific_chatham), ("Pacific/Chuuk", pacific_chuuk), ("Pacific/Easter", pacific_easter), ("Pacific/Efate", pacific_efate), ("Pacific/Enderbury", pacific_enderbury), ("Pacific/Fakaofo", pacific_fakaofo), ("Pacific/Fiji", pacific_fiji), ("Pacific/Funafuti", pacific_funafuti), ("Pacific/Galapagos", pacific_galapagos), ("Pacific/Gambier", pacific_gambier), ("Pacific/Guadalcanal", pacific_guadalcanal), ("Pacific/Guam", pacific_guam), ("Pacific/Honolulu", pacific_honolulu), ("Pacific/Honolulu", pacific_johnston), ("Pacific/Kiritimati", pacific_kiritimati), ("Pacific/Kosrae", pacific_kosrae), ("Pacific/Kwajalein", pacific_kwajalein), ("Pacific/Majuro", pacific_majuro), ("Pacific/Marquesas", pacific_marquesas), ("Pacific/Pago_Pago", pacific_midway), ("Pacific/Nauru", pacific_nauru), ("Pacific/Niue", pacific_niue), ("Pacific/Norfolk", pacific_norfolk), ("Pacific/Noumea", pacific_noumea), ("Pacific/Pago_Pago", pacific_pago_pago), ("Pacific/Palau", pacific_palau), ("Pacific/Pitcairn", pacific_pitcairn), ("Pacific/Pohnpei", pacific_pohnpei), ("Pacific/Pohnpei", pacific_ponape), ("Pacific/Port_Moresby", pacific_port_moresby), ("Pacific/Rarotonga", pacific_rarotonga), ("Pacific/Guam", pacific_saipan), ("Pacific/Pago_Pago", pacific_samoa), ("Pacific/Tahiti", pacific_tahiti), ("Pacific/Tarawa", pacific_tarawa), ("Pacific/Tongatapu", pacific_tongatapu), ("Pacific/Chuuk", pacific_truk), ("Pacific/Wake", pacific_wake), ("Pacific/Wallis", pacific_wallis), ("Pacific/Chuuk", pacific_yap), ("Europe/Warsaw", poland), ("Europe/Lisbon", portugal), ("Asia/Shanghai", prc), ("PST8PDT", pst8pdt), ("Asia/Taipei", roc), ("Asia/Seoul", rok), ("Asia/Singapore", singapore), ("Europe/Istanbul", turkey), ("Etc/UCT", uct), ("Etc/UTC", universal), ("America/Anchorage", us_alaska), ("America/Adak", us_aleutian), ("America/Phoenix", us_arizona), ("America/Chicago", us_central), ("America/Fort_Wayne", us_east_indiana), ("America/New_York", us_eastern), ("Pacific/Honolulu", us_hawaii), ("America/Indiana/Knox", us_indiana_starke), ("America/Detroit", us_michigan), ("America/Denver", us_mountain), ("America/Los_Angeles", us_pacific), ("America/Los_Angeles", us_pacific_new), ("Pacific/Pago_Pago", us_samoa), ("Etc/UTC", utc), ("Europe/Moscow", w_su), ("WET", wet), ("Etc/UTC", zulu)]
{-| Look up a TimeZone by name. -}
fromName : String -> Maybe TimeZone
fromName name =
case Dict.get name all of
Nothing ->
Nothing
Just f ->
Just (f ())