Data.Time.Zones.DB

Documentation

toTZName :: TZLabel -> ByteString

Convert a TZLabel to the usual name of the location.

> toTZName Europe__Paris
"Europe/Paris"

fromTZName :: ByteString -> Maybe TZLabel

Lookup the TZLabel by the name of the location.

Returns Nothing if the location is unknown.

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

tzNameLabelMap :: Map ByteString TZLabel

Map mapping know time zone locations to their canonical TZLabels.

tzDataByLabel :: TZLabel -> ByteString

Lookup time zone data by its label.

tzDataByName :: ByteString -> Maybe ByteString

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

Returns Nothing if the location is unknown.

data TZLabel

Enumeration of time zone locations.

Constructors

Africa__Abidjan

Africa__Accra

Africa__Addis_Ababa

Africa__Algiers

Africa__Asmara

Africa__Asmera

Africa__Bamako

Africa__Bangui

Africa__Banjul

Africa__Bissau

Africa__Blantyre

Africa__Brazzaville

Africa__Bujumbura

Africa__Cairo

Africa__Casablanca

Africa__Ceuta

Africa__Conakry

Africa__Dakar

Africa__Dar_es_Salaam

Africa__Djibouti

Africa__Douala

Africa__El_Aaiun

Africa__Freetown

Africa__Gaborone

Africa__Harare

Africa__Johannesburg

Africa__Juba

Africa__Kampala

Africa__Khartoum

Africa__Kigali

Africa__Kinshasa

Africa__Lagos

Africa__Libreville

Africa__Lome

Africa__Luanda

Africa__Lubumbashi

Africa__Lusaka

Africa__Malabo

Africa__Maputo

Africa__Maseru

Africa__Mbabane

Africa__Mogadishu

Africa__Monrovia

Africa__Nairobi

Africa__Ndjamena

Africa__Niamey

Africa__Nouakchott

Africa__Ouagadougou

Africa__Porto_Novo

Africa__Sao_Tome

Africa__Timbuktu

Africa__Tripoli

Africa__Tunis

Africa__Windhoek

America__Adak

America__Anchorage

America__Anguilla

America__Antigua

America__Araguaina

America__Argentina__Buenos_Aires

America__Argentina__Catamarca

America__Argentina__ComodRivadavia

America__Argentina__Cordoba

America__Argentina__Jujuy

America__Argentina__La_Rioja

America__Argentina__Mendoza

America__Argentina__Rio_Gallegos

America__Argentina__Salta

America__Argentina__San_Juan

America__Argentina__San_Luis

America__Argentina__Tucuman

America__Argentina__Ushuaia

America__Aruba

America__Asuncion

America__Atikokan

America__Atka

America__Bahia

America__Bahia_Banderas

America__Barbados

America__Belem

America__Belize

America__Blanc_Sablon

America__Boa_Vista

America__Bogota

America__Boise

America__Buenos_Aires

America__Cambridge_Bay

America__Campo_Grande

America__Cancun

America__Caracas

America__Catamarca

America__Cayenne

America__Cayman

America__Chicago

America__Chihuahua

America__Ciudad_Juarez

America__Coral_Harbour

America__Cordoba

America__Costa_Rica

America__Creston

America__Cuiaba

America__Curacao

America__Danmarkshavn

America__Dawson

America__Dawson_Creek

America__Denver

America__Detroit

America__Dominica

America__Edmonton

America__Eirunepe

America__El_Salvador

America__Ensenada

America__Fort_Nelson

America__Fort_Wayne

America__Fortaleza

America__Glace_Bay

America__Godthab

America__Goose_Bay

America__Grand_Turk

America__Grenada

America__Guadeloupe

America__Guatemala

America__Guayaquil

America__Guyana

America__Halifax

America__Havana

America__Hermosillo

America__Indiana__Indianapolis

America__Indiana__Knox

America__Indiana__Marengo

America__Indiana__Petersburg

America__Indiana__Tell_City

America__Indiana__Vevay

America__Indiana__Vincennes

America__Indiana__Winamac

America__Indianapolis

America__Inuvik

America__Iqaluit

America__Jamaica

America__Jujuy

America__Juneau

America__Kentucky__Louisville

America__Kentucky__Monticello

America__Knox_IN

America__Kralendijk

America__La_Paz

America__Lima

America__Los_Angeles

America__Louisville

America__Lower_Princes

America__Maceio

America__Managua

America__Manaus

America__Marigot

America__Martinique

America__Matamoros

America__Mazatlan

America__Mendoza

America__Menominee

America__Merida

America__Metlakatla

America__Mexico_City

America__Miquelon

America__Moncton

America__Monterrey

America__Montevideo

America__Montreal

America__Montserrat

America__Nassau

America__New_York

America__Nipigon

America__Nome

America__Noronha

America__North_Dakota__Beulah

America__North_Dakota__Center

America__North_Dakota__New_Salem

America__Nuuk

America__Ojinaga

America__Panama

America__Pangnirtung

America__Paramaribo

America__Phoenix

America__Port_au_Prince

America__Port_of_Spain

America__Porto_Acre

America__Porto_Velho

America__Puerto_Rico

America__Punta_Arenas

America__Rainy_River

America__Rankin_Inlet

America__Recife

America__Regina

America__Resolute

America__Rio_Branco

America__Rosario

America__Santa_Isabel

America__Santarem

America__Santiago

America__Santo_Domingo

America__Sao_Paulo

America__Scoresbysund

America__Shiprock

America__Sitka

America__St_Barthelemy

America__St_Johns

America__St_Kitts

America__St_Lucia

America__St_Thomas

America__St_Vincent

America__Swift_Current

America__Tegucigalpa

America__Thule

America__Thunder_Bay

America__Tijuana

America__Toronto

America__Tortola

America__Vancouver

America__Virgin

America__Whitehorse

America__Winnipeg

America__Yakutat

America__Yellowknife

Antarctica__Casey

Antarctica__Davis

Antarctica__DumontDUrville

Antarctica__Macquarie

Antarctica__Mawson

Antarctica__McMurdo

Antarctica__Palmer

Antarctica__Rothera

Antarctica__South_Pole

Antarctica__Syowa

Antarctica__Troll

Antarctica__Vostok

Arctic__Longyearbyen

Asia__Aden

Asia__Almaty

Asia__Amman

Asia__Anadyr

Asia__Aqtau

Asia__Aqtobe

Asia__Ashgabat

Asia__Ashkhabad

Asia__Atyrau

Asia__Baghdad

Asia__Bahrain

Asia__Baku

Asia__Bangkok

Asia__Barnaul

Asia__Beirut

Asia__Bishkek

Asia__Brunei

Asia__Calcutta

Asia__Chita

Asia__Choibalsan

Asia__Chongqing

Asia__Chungking

Asia__Colombo

Asia__Dacca

Asia__Damascus

Asia__Dhaka

Asia__Dili

Asia__Dubai

Asia__Dushanbe

Asia__Famagusta

Asia__Gaza

Asia__Harbin

Asia__Hebron

Asia__Ho_Chi_Minh

Asia__Hong_Kong

Asia__Hovd

Asia__Irkutsk

Asia__Istanbul

Asia__Jakarta

Asia__Jayapura

Asia__Jerusalem

Asia__Kabul

Asia__Kamchatka

Asia__Karachi

Asia__Kashgar

Asia__Kathmandu

Asia__Katmandu

Asia__Khandyga

Asia__Kolkata

Asia__Krasnoyarsk

Asia__Kuala_Lumpur

Asia__Kuching

Asia__Kuwait

Asia__Macao

Asia__Macau

Asia__Magadan

Asia__Makassar

Asia__Manila

Asia__Muscat

Asia__Nicosia

Asia__Novokuznetsk

Asia__Novosibirsk

Asia__Omsk

Asia__Oral

Asia__Phnom_Penh

Asia__Pontianak

Asia__Pyongyang

Asia__Qatar

Asia__Qostanay

Asia__Qyzylorda

Asia__Rangoon

Asia__Riyadh

Asia__Saigon

Asia__Sakhalin

Asia__Samarkand

Asia__Seoul

Asia__Shanghai

Asia__Singapore

Asia__Srednekolymsk

Asia__Taipei

Asia__Tashkent

Asia__Tbilisi

Asia__Tehran

Asia__Tel_Aviv

Asia__Thimbu

Asia__Thimphu

Asia__Tokyo

Asia__Tomsk

Asia__Ujung_Pandang

Asia__Ulaanbaatar

Asia__Ulan_Bator

Asia__Urumqi

Asia__Ust_Nera

Asia__Vientiane

Asia__Vladivostok

Asia__Yakutsk

Asia__Yangon

Asia__Yekaterinburg

Asia__Yerevan

Atlantic__Azores

Atlantic__Bermuda

Atlantic__Canary

Atlantic__Cape_Verde

Atlantic__Faeroe

Atlantic__Faroe

Atlantic__Jan_Mayen

Atlantic__Madeira

Atlantic__Reykjavik

Atlantic__South_Georgia

Atlantic__St_Helena

Atlantic__Stanley

Australia__ACT

Australia__Adelaide

Australia__Brisbane

Australia__Broken_Hill

Australia__Canberra

Australia__Currie

Australia__Darwin

Australia__Eucla

Australia__Hobart

Australia__LHI

Australia__Lindeman

Australia__Lord_Howe

Australia__Melbourne

Australia__NSW

Australia__North

Australia__Perth

Australia__Queensland

Australia__South

Australia__Sydney

Australia__Tasmania

Australia__Victoria

Australia__West

Australia__Yancowinna

Brazil__Acre

Brazil__DeNoronha

Brazil__East

Brazil__West

CET

CST6CDT

Canada__Atlantic

Canada__Central

Canada__Eastern

Canada__Mountain

Canada__Newfoundland

Canada__Pacific

Canada__Saskatchewan

Canada__Yukon

Chile__Continental

Chile__EasterIsland

Cuba

EET

EST

EST5EDT

Egypt

Eire

Etc__GMT

Etc__GMT'0

Etc__GMT'1

Etc__GMT'10

Etc__GMT'11

Etc__GMT'12

Etc__GMT'2

Etc__GMT'3

Etc__GMT'4

Etc__GMT'5

Etc__GMT'6

Etc__GMT'7

Etc__GMT'8

Etc__GMT'9

Etc__GMT_0

Etc__GMT_1

Etc__GMT_10

Etc__GMT_11

Etc__GMT_12

Etc__GMT_13

Etc__GMT_14

Etc__GMT_2

Etc__GMT_3

Etc__GMT_4

Etc__GMT_5

Etc__GMT_6

Etc__GMT_7

Etc__GMT_8

Etc__GMT_9

Etc__GMT0

Etc__Greenwich

Etc__UCT

Etc__UTC

Etc__Universal

Etc__Zulu

Europe__Amsterdam

Europe__Andorra

Europe__Astrakhan

Europe__Athens

Europe__Belfast

Europe__Belgrade

Europe__Berlin

Europe__Bratislava

Europe__Brussels

Europe__Bucharest

Europe__Budapest

Europe__Busingen

Europe__Chisinau

Europe__Copenhagen

Europe__Dublin

Europe__Gibraltar

Europe__Guernsey

Europe__Helsinki

Europe__Isle_of_Man

Europe__Istanbul

Europe__Jersey

Europe__Kaliningrad

Europe__Kiev

Europe__Kirov

Europe__Kyiv

Europe__Lisbon

Europe__Ljubljana

Europe__London

Europe__Luxembourg

Europe__Madrid

Europe__Malta

Europe__Mariehamn

Europe__Minsk

Europe__Monaco

Europe__Moscow

Europe__Nicosia

Europe__Oslo

Europe__Paris

Europe__Podgorica

Europe__Prague

Europe__Riga

Europe__Rome

Europe__Samara

Europe__San_Marino

Europe__Sarajevo

Europe__Saratov

Europe__Simferopol

Europe__Skopje

Europe__Sofia

Europe__Stockholm

Europe__Tallinn

Europe__Tirane

Europe__Tiraspol

Europe__Ulyanovsk

Europe__Uzhgorod

Europe__Vaduz

Europe__Vatican

Europe__Vienna

Europe__Vilnius

Europe__Volgograd

Europe__Warsaw

Europe__Zagreb

Europe__Zaporozhye

Europe__Zurich

Factory

GB

GB_Eire

GMT

GMT'0

GMT_0

GMT0

Greenwich

HST

Hongkong

Iceland

Indian__Antananarivo

Indian__Chagos

Indian__Christmas

Indian__Cocos

Indian__Comoro

Indian__Kerguelen

Indian__Mahe

Indian__Maldives

Indian__Mauritius

Indian__Mayotte

Indian__Reunion

Iran

Israel

Jamaica

Japan

Kwajalein

Libya

MET

MST

MST7MDT

Mexico__BajaNorte

Mexico__BajaSur

Mexico__General

NZ

NZ_CHAT

Navajo

PRC

PST8PDT

Pacific__Apia

Pacific__Auckland

Pacific__Bougainville

Pacific__Chatham

Pacific__Chuuk

Pacific__Easter

Pacific__Efate

Pacific__Enderbury

Pacific__Fakaofo

Pacific__Fiji

Pacific__Funafuti

Pacific__Galapagos

Pacific__Gambier

Pacific__Guadalcanal

Pacific__Guam

Pacific__Honolulu

Pacific__Johnston

Pacific__Kanton

Pacific__Kiritimati

Pacific__Kosrae

Pacific__Kwajalein

Pacific__Majuro

Pacific__Marquesas

Pacific__Midway

Pacific__Nauru

Pacific__Niue

Pacific__Norfolk

Pacific__Noumea

Pacific__Pago_Pago

Pacific__Palau

Pacific__Pitcairn

Pacific__Pohnpei

Pacific__Ponape

Pacific__Port_Moresby

Pacific__Rarotonga

Pacific__Saipan

Pacific__Samoa

Pacific__Tahiti

Pacific__Tarawa

Pacific__Tongatapu

Pacific__Truk

Pacific__Wake

Pacific__Wallis

Pacific__Yap

Poland

Portugal

ROC

ROK

Singapore

Turkey

UCT

US__Alaska

US__Aleutian

US__Arizona

US__Central

US__East_Indiana

US__Eastern

US__Hawaii

US__Indiana_Starke

US__Michigan

US__Mountain

US__Pacific

US__Samoa

UTC

Universal

W_SU

WET

Zulu

Instances

Data TZLabel

Defined in Data.Time.Zones.DB

Methods

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

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

toConstr :: TZLabel -> Constr

dataTypeOf :: TZLabel -> DataType

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

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

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

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

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

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

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

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

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

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

Bounded TZLabel

Defined in Data.Time.Zones.DB

Methods

minBound :: TZLabel

maxBound :: TZLabel

Enum TZLabel

Defined in Data.Time.Zones.DB

Methods

succ :: TZLabel -> TZLabel

pred :: TZLabel -> TZLabel

toEnum :: Int -> TZLabel

fromEnum :: TZLabel -> Int

enumFrom :: TZLabel -> [TZLabel]

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

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

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

Generic TZLabel

Defined in Data.Time.Zones.DB

Associated Types

type Rep TZLabel :: Type -> Type

Methods

from :: TZLabel -> Rep TZLabel x

to :: Rep TZLabel x -> TZLabel

Read TZLabel

Defined in Data.Time.Zones.DB

Methods

readsPrec :: Int -> ReadS TZLabel

readList :: ReadS [TZLabel]

readPrec :: ReadPrec TZLabel

readListPrec :: ReadPrec [TZLabel]

Show TZLabel

Defined in Data.Time.Zones.DB

Methods

showsPrec :: Int -> TZLabel -> ShowS

show :: TZLabel -> String

showList :: [TZLabel] -> ShowS

NFData TZLabel

Defined in Data.Time.Zones.DB

Methods

rnf :: TZLabel -> ()

Eq TZLabel

Defined in Data.Time.Zones.DB

Methods

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

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

Ord TZLabel

Defined in Data.Time.Zones.DB

Methods

compare :: TZLabel -> TZLabel -> Ordering

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

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

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

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

max :: TZLabel -> TZLabel -> TZLabel

min :: TZLabel -> TZLabel -> TZLabel

type Rep TZLabel

Defined in Data.Time.Zones.DB

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

Access to raw data

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

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

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

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

tzDescriptions :: [TZDescription]

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

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

Type-level time zone labels

class KnownTZLabel (label :: TZLabel) where

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

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

Methods

tzLabelVal :: Proxy label -> TZLabel

Instances

KnownTZLabel 'Africa__Abidjan

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Abidjan -> TZLabel

KnownTZLabel 'Africa__Accra

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Accra -> TZLabel

KnownTZLabel 'Africa__Addis_Ababa

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Addis_Ababa -> TZLabel

KnownTZLabel 'Africa__Algiers

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Algiers -> TZLabel

KnownTZLabel 'Africa__Asmara

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Asmara -> TZLabel

KnownTZLabel 'Africa__Asmera

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Asmera -> TZLabel

KnownTZLabel 'Africa__Bamako

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Bamako -> TZLabel

KnownTZLabel 'Africa__Bangui

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Bangui -> TZLabel

KnownTZLabel 'Africa__Banjul

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Banjul -> TZLabel

KnownTZLabel 'Africa__Bissau

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Bissau -> TZLabel

KnownTZLabel 'Africa__Blantyre

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Blantyre -> TZLabel

KnownTZLabel 'Africa__Brazzaville

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Brazzaville -> TZLabel

KnownTZLabel 'Africa__Bujumbura

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Bujumbura -> TZLabel

KnownTZLabel 'Africa__Cairo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Cairo -> TZLabel

KnownTZLabel 'Africa__Casablanca

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Casablanca -> TZLabel

KnownTZLabel 'Africa__Ceuta

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Ceuta -> TZLabel

KnownTZLabel 'Africa__Conakry

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Conakry -> TZLabel

KnownTZLabel 'Africa__Dakar

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Dakar -> TZLabel

KnownTZLabel 'Africa__Dar_es_Salaam

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Dar_es_Salaam -> TZLabel

KnownTZLabel 'Africa__Djibouti

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Djibouti -> TZLabel

KnownTZLabel 'Africa__Douala

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Douala -> TZLabel

KnownTZLabel 'Africa__El_Aaiun

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__El_Aaiun -> TZLabel

KnownTZLabel 'Africa__Freetown

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Freetown -> TZLabel

KnownTZLabel 'Africa__Gaborone

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Gaborone -> TZLabel

KnownTZLabel 'Africa__Harare

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Harare -> TZLabel

KnownTZLabel 'Africa__Johannesburg

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Johannesburg -> TZLabel

KnownTZLabel 'Africa__Juba

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Juba -> TZLabel

KnownTZLabel 'Africa__Kampala

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Kampala -> TZLabel

KnownTZLabel 'Africa__Khartoum

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Khartoum -> TZLabel

KnownTZLabel 'Africa__Kigali

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Kigali -> TZLabel

KnownTZLabel 'Africa__Kinshasa

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Kinshasa -> TZLabel

KnownTZLabel 'Africa__Lagos

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Lagos -> TZLabel

KnownTZLabel 'Africa__Libreville

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Libreville -> TZLabel

KnownTZLabel 'Africa__Lome

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Lome -> TZLabel

KnownTZLabel 'Africa__Luanda

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Luanda -> TZLabel

KnownTZLabel 'Africa__Lubumbashi

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Lubumbashi -> TZLabel

KnownTZLabel 'Africa__Lusaka

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Lusaka -> TZLabel

KnownTZLabel 'Africa__Malabo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Malabo -> TZLabel

KnownTZLabel 'Africa__Maputo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Maputo -> TZLabel

KnownTZLabel 'Africa__Maseru

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Maseru -> TZLabel

KnownTZLabel 'Africa__Mbabane

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Mbabane -> TZLabel

KnownTZLabel 'Africa__Mogadishu

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Mogadishu -> TZLabel

KnownTZLabel 'Africa__Monrovia

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Monrovia -> TZLabel

KnownTZLabel 'Africa__Nairobi

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Nairobi -> TZLabel

KnownTZLabel 'Africa__Ndjamena

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Ndjamena -> TZLabel

KnownTZLabel 'Africa__Niamey

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Niamey -> TZLabel

KnownTZLabel 'Africa__Nouakchott

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Nouakchott -> TZLabel

KnownTZLabel 'Africa__Ouagadougou

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Ouagadougou -> TZLabel

KnownTZLabel 'Africa__Porto_Novo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Porto_Novo -> TZLabel

KnownTZLabel 'Africa__Sao_Tome

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Sao_Tome -> TZLabel

KnownTZLabel 'Africa__Timbuktu

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Timbuktu -> TZLabel

KnownTZLabel 'Africa__Tripoli

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Tripoli -> TZLabel

KnownTZLabel 'Africa__Tunis

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Tunis -> TZLabel

KnownTZLabel 'Africa__Windhoek

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Africa__Windhoek -> TZLabel

KnownTZLabel 'America__Adak

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Adak -> TZLabel

KnownTZLabel 'America__Anchorage

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Anchorage -> TZLabel

KnownTZLabel 'America__Anguilla

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Anguilla -> TZLabel

KnownTZLabel 'America__Antigua

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Antigua -> TZLabel

KnownTZLabel 'America__Araguaina

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Araguaina -> TZLabel

KnownTZLabel 'America__Argentina__Buenos_Aires

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__Buenos_Aires -> TZLabel

KnownTZLabel 'America__Argentina__Catamarca

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__Catamarca -> TZLabel

KnownTZLabel 'America__Argentina__ComodRivadavia

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__ComodRivadavia -> TZLabel

KnownTZLabel 'America__Argentina__Cordoba

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__Cordoba -> TZLabel

KnownTZLabel 'America__Argentina__Jujuy

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__Jujuy -> TZLabel

KnownTZLabel 'America__Argentina__La_Rioja

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__La_Rioja -> TZLabel

KnownTZLabel 'America__Argentina__Mendoza

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__Mendoza -> TZLabel

KnownTZLabel 'America__Argentina__Rio_Gallegos

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__Rio_Gallegos -> TZLabel

KnownTZLabel 'America__Argentina__Salta

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__Salta -> TZLabel

KnownTZLabel 'America__Argentina__San_Juan

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__San_Juan -> TZLabel

KnownTZLabel 'America__Argentina__San_Luis

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__San_Luis -> TZLabel

KnownTZLabel 'America__Argentina__Tucuman

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__Tucuman -> TZLabel

KnownTZLabel 'America__Argentina__Ushuaia

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Argentina__Ushuaia -> TZLabel

KnownTZLabel 'America__Aruba

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Aruba -> TZLabel

KnownTZLabel 'America__Asuncion

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Asuncion -> TZLabel

KnownTZLabel 'America__Atikokan

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Atikokan -> TZLabel

KnownTZLabel 'America__Atka

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Atka -> TZLabel

KnownTZLabel 'America__Bahia

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Bahia -> TZLabel

KnownTZLabel 'America__Bahia_Banderas

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Bahia_Banderas -> TZLabel

KnownTZLabel 'America__Barbados

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Barbados -> TZLabel

KnownTZLabel 'America__Belem

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Belem -> TZLabel

KnownTZLabel 'America__Belize

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Belize -> TZLabel

KnownTZLabel 'America__Blanc_Sablon

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Blanc_Sablon -> TZLabel

KnownTZLabel 'America__Boa_Vista

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Boa_Vista -> TZLabel

KnownTZLabel 'America__Bogota

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Bogota -> TZLabel

KnownTZLabel 'America__Boise

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Boise -> TZLabel

KnownTZLabel 'America__Buenos_Aires

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Buenos_Aires -> TZLabel

KnownTZLabel 'America__Cambridge_Bay

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Cambridge_Bay -> TZLabel

KnownTZLabel 'America__Campo_Grande

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Campo_Grande -> TZLabel

KnownTZLabel 'America__Cancun

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Cancun -> TZLabel

KnownTZLabel 'America__Caracas

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Caracas -> TZLabel

KnownTZLabel 'America__Catamarca

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Catamarca -> TZLabel

KnownTZLabel 'America__Cayenne

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Cayenne -> TZLabel

KnownTZLabel 'America__Cayman

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Cayman -> TZLabel

KnownTZLabel 'America__Chicago

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Chicago -> TZLabel

KnownTZLabel 'America__Chihuahua

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Chihuahua -> TZLabel

KnownTZLabel 'America__Ciudad_Juarez

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Ciudad_Juarez -> TZLabel

KnownTZLabel 'America__Coral_Harbour

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Coral_Harbour -> TZLabel

KnownTZLabel 'America__Cordoba

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Cordoba -> TZLabel

KnownTZLabel 'America__Costa_Rica

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Costa_Rica -> TZLabel

KnownTZLabel 'America__Creston

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Creston -> TZLabel

KnownTZLabel 'America__Cuiaba

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Cuiaba -> TZLabel

KnownTZLabel 'America__Curacao

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Curacao -> TZLabel

KnownTZLabel 'America__Danmarkshavn

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Danmarkshavn -> TZLabel

KnownTZLabel 'America__Dawson

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Dawson -> TZLabel

KnownTZLabel 'America__Dawson_Creek

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Dawson_Creek -> TZLabel

KnownTZLabel 'America__Denver

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Denver -> TZLabel

KnownTZLabel 'America__Detroit

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Detroit -> TZLabel

KnownTZLabel 'America__Dominica

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Dominica -> TZLabel

KnownTZLabel 'America__Edmonton

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Edmonton -> TZLabel

KnownTZLabel 'America__Eirunepe

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Eirunepe -> TZLabel

KnownTZLabel 'America__El_Salvador

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__El_Salvador -> TZLabel

KnownTZLabel 'America__Ensenada

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Ensenada -> TZLabel

KnownTZLabel 'America__Fort_Nelson

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Fort_Nelson -> TZLabel

KnownTZLabel 'America__Fort_Wayne

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Fort_Wayne -> TZLabel

KnownTZLabel 'America__Fortaleza

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Fortaleza -> TZLabel

KnownTZLabel 'America__Glace_Bay

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Glace_Bay -> TZLabel

KnownTZLabel 'America__Godthab

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Godthab -> TZLabel

KnownTZLabel 'America__Goose_Bay

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Goose_Bay -> TZLabel

KnownTZLabel 'America__Grand_Turk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Grand_Turk -> TZLabel

KnownTZLabel 'America__Grenada

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Grenada -> TZLabel

KnownTZLabel 'America__Guadeloupe

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Guadeloupe -> TZLabel

KnownTZLabel 'America__Guatemala

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Guatemala -> TZLabel

KnownTZLabel 'America__Guayaquil

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Guayaquil -> TZLabel

KnownTZLabel 'America__Guyana

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Guyana -> TZLabel

KnownTZLabel 'America__Halifax

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Halifax -> TZLabel

KnownTZLabel 'America__Havana

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Havana -> TZLabel

KnownTZLabel 'America__Hermosillo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Hermosillo -> TZLabel

KnownTZLabel 'America__Indiana__Indianapolis

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Indiana__Indianapolis -> TZLabel

KnownTZLabel 'America__Indiana__Knox

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Indiana__Knox -> TZLabel

KnownTZLabel 'America__Indiana__Marengo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Indiana__Marengo -> TZLabel

KnownTZLabel 'America__Indiana__Petersburg

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Indiana__Petersburg -> TZLabel

KnownTZLabel 'America__Indiana__Tell_City

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Indiana__Tell_City -> TZLabel

KnownTZLabel 'America__Indiana__Vevay

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Indiana__Vevay -> TZLabel

KnownTZLabel 'America__Indiana__Vincennes

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Indiana__Vincennes -> TZLabel

KnownTZLabel 'America__Indiana__Winamac

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Indiana__Winamac -> TZLabel

KnownTZLabel 'America__Indianapolis

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Indianapolis -> TZLabel

KnownTZLabel 'America__Inuvik

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Inuvik -> TZLabel

KnownTZLabel 'America__Iqaluit

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Iqaluit -> TZLabel

KnownTZLabel 'America__Jamaica

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Jamaica -> TZLabel

KnownTZLabel 'America__Jujuy

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Jujuy -> TZLabel

KnownTZLabel 'America__Juneau

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Juneau -> TZLabel

KnownTZLabel 'America__Kentucky__Louisville

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Kentucky__Louisville -> TZLabel

KnownTZLabel 'America__Kentucky__Monticello

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Kentucky__Monticello -> TZLabel

KnownTZLabel 'America__Knox_IN

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Knox_IN -> TZLabel

KnownTZLabel 'America__Kralendijk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Kralendijk -> TZLabel

KnownTZLabel 'America__La_Paz

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__La_Paz -> TZLabel

KnownTZLabel 'America__Lima

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Lima -> TZLabel

KnownTZLabel 'America__Los_Angeles

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Los_Angeles -> TZLabel

KnownTZLabel 'America__Louisville

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Louisville -> TZLabel

KnownTZLabel 'America__Lower_Princes

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Lower_Princes -> TZLabel

KnownTZLabel 'America__Maceio

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Maceio -> TZLabel

KnownTZLabel 'America__Managua

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Managua -> TZLabel

KnownTZLabel 'America__Manaus

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Manaus -> TZLabel

KnownTZLabel 'America__Marigot

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Marigot -> TZLabel

KnownTZLabel 'America__Martinique

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Martinique -> TZLabel

KnownTZLabel 'America__Matamoros

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Matamoros -> TZLabel

KnownTZLabel 'America__Mazatlan

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Mazatlan -> TZLabel

KnownTZLabel 'America__Mendoza

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Mendoza -> TZLabel

KnownTZLabel 'America__Menominee

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Menominee -> TZLabel

KnownTZLabel 'America__Merida

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Merida -> TZLabel

KnownTZLabel 'America__Metlakatla

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Metlakatla -> TZLabel

KnownTZLabel 'America__Mexico_City

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Mexico_City -> TZLabel

KnownTZLabel 'America__Miquelon

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Miquelon -> TZLabel

KnownTZLabel 'America__Moncton

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Moncton -> TZLabel

KnownTZLabel 'America__Monterrey

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Monterrey -> TZLabel

KnownTZLabel 'America__Montevideo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Montevideo -> TZLabel

KnownTZLabel 'America__Montreal

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Montreal -> TZLabel

KnownTZLabel 'America__Montserrat

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Montserrat -> TZLabel

KnownTZLabel 'America__Nassau

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Nassau -> TZLabel

KnownTZLabel 'America__New_York

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__New_York -> TZLabel

KnownTZLabel 'America__Nipigon

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Nipigon -> TZLabel

KnownTZLabel 'America__Nome

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Nome -> TZLabel

KnownTZLabel 'America__Noronha

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Noronha -> TZLabel

KnownTZLabel 'America__North_Dakota__Beulah

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__North_Dakota__Beulah -> TZLabel

KnownTZLabel 'America__North_Dakota__Center

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__North_Dakota__Center -> TZLabel

KnownTZLabel 'America__North_Dakota__New_Salem

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__North_Dakota__New_Salem -> TZLabel

KnownTZLabel 'America__Nuuk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Nuuk -> TZLabel

KnownTZLabel 'America__Ojinaga

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Ojinaga -> TZLabel

KnownTZLabel 'America__Panama

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Panama -> TZLabel

KnownTZLabel 'America__Pangnirtung

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Pangnirtung -> TZLabel

KnownTZLabel 'America__Paramaribo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Paramaribo -> TZLabel

KnownTZLabel 'America__Phoenix

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Phoenix -> TZLabel

KnownTZLabel 'America__Port_au_Prince

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Port_au_Prince -> TZLabel

KnownTZLabel 'America__Port_of_Spain

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Port_of_Spain -> TZLabel

KnownTZLabel 'America__Porto_Acre

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Porto_Acre -> TZLabel

KnownTZLabel 'America__Porto_Velho

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Porto_Velho -> TZLabel

KnownTZLabel 'America__Puerto_Rico

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Puerto_Rico -> TZLabel

KnownTZLabel 'America__Punta_Arenas

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Punta_Arenas -> TZLabel

KnownTZLabel 'America__Rainy_River

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Rainy_River -> TZLabel

KnownTZLabel 'America__Rankin_Inlet

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Rankin_Inlet -> TZLabel

KnownTZLabel 'America__Recife

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Recife -> TZLabel

KnownTZLabel 'America__Regina

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Regina -> TZLabel

KnownTZLabel 'America__Resolute

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Resolute -> TZLabel

KnownTZLabel 'America__Rio_Branco

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Rio_Branco -> TZLabel

KnownTZLabel 'America__Rosario

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Rosario -> TZLabel

KnownTZLabel 'America__Santa_Isabel

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Santa_Isabel -> TZLabel

KnownTZLabel 'America__Santarem

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Santarem -> TZLabel

KnownTZLabel 'America__Santiago

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Santiago -> TZLabel

KnownTZLabel 'America__Santo_Domingo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Santo_Domingo -> TZLabel

KnownTZLabel 'America__Sao_Paulo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Sao_Paulo -> TZLabel

KnownTZLabel 'America__Scoresbysund

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Scoresbysund -> TZLabel

KnownTZLabel 'America__Shiprock

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Shiprock -> TZLabel

KnownTZLabel 'America__Sitka

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Sitka -> TZLabel

KnownTZLabel 'America__St_Barthelemy

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__St_Barthelemy -> TZLabel

KnownTZLabel 'America__St_Johns

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__St_Johns -> TZLabel

KnownTZLabel 'America__St_Kitts

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__St_Kitts -> TZLabel

KnownTZLabel 'America__St_Lucia

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__St_Lucia -> TZLabel

KnownTZLabel 'America__St_Thomas

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__St_Thomas -> TZLabel

KnownTZLabel 'America__St_Vincent

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__St_Vincent -> TZLabel

KnownTZLabel 'America__Swift_Current

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Swift_Current -> TZLabel

KnownTZLabel 'America__Tegucigalpa

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Tegucigalpa -> TZLabel

KnownTZLabel 'America__Thule

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Thule -> TZLabel

KnownTZLabel 'America__Thunder_Bay

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Thunder_Bay -> TZLabel

KnownTZLabel 'America__Tijuana

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Tijuana -> TZLabel

KnownTZLabel 'America__Toronto

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Toronto -> TZLabel

KnownTZLabel 'America__Tortola

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Tortola -> TZLabel

KnownTZLabel 'America__Vancouver

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Vancouver -> TZLabel

KnownTZLabel 'America__Virgin

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Virgin -> TZLabel

KnownTZLabel 'America__Whitehorse

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Whitehorse -> TZLabel

KnownTZLabel 'America__Winnipeg

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Winnipeg -> TZLabel

KnownTZLabel 'America__Yakutat

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Yakutat -> TZLabel

KnownTZLabel 'America__Yellowknife

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Yellowknife -> TZLabel

KnownTZLabel 'Antarctica__Casey

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__Casey -> TZLabel

KnownTZLabel 'Antarctica__Davis

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__Davis -> TZLabel

KnownTZLabel 'Antarctica__DumontDUrville

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__DumontDUrville -> TZLabel

KnownTZLabel 'Antarctica__Macquarie

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__Macquarie -> TZLabel

KnownTZLabel 'Antarctica__Mawson

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__Mawson -> TZLabel

KnownTZLabel 'Antarctica__McMurdo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__McMurdo -> TZLabel

KnownTZLabel 'Antarctica__Palmer

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__Palmer -> TZLabel

KnownTZLabel 'Antarctica__Rothera

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__Rothera -> TZLabel

KnownTZLabel 'Antarctica__South_Pole

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__South_Pole -> TZLabel

KnownTZLabel 'Antarctica__Syowa

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__Syowa -> TZLabel

KnownTZLabel 'Antarctica__Troll

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__Troll -> TZLabel

KnownTZLabel 'Antarctica__Vostok

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__Vostok -> TZLabel

KnownTZLabel 'Arctic__Longyearbyen

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Arctic__Longyearbyen -> TZLabel

KnownTZLabel 'Asia__Aden

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Aden -> TZLabel

KnownTZLabel 'Asia__Almaty

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Almaty -> TZLabel

KnownTZLabel 'Asia__Amman

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Amman -> TZLabel

KnownTZLabel 'Asia__Anadyr

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Anadyr -> TZLabel

KnownTZLabel 'Asia__Aqtau

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Aqtau -> TZLabel

KnownTZLabel 'Asia__Aqtobe

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Aqtobe -> TZLabel

KnownTZLabel 'Asia__Ashgabat

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Ashgabat -> TZLabel

KnownTZLabel 'Asia__Ashkhabad

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Ashkhabad -> TZLabel

KnownTZLabel 'Asia__Atyrau

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Atyrau -> TZLabel

KnownTZLabel 'Asia__Baghdad

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Baghdad -> TZLabel

KnownTZLabel 'Asia__Bahrain

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Bahrain -> TZLabel

KnownTZLabel 'Asia__Baku

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Baku -> TZLabel

KnownTZLabel 'Asia__Bangkok

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Bangkok -> TZLabel

KnownTZLabel 'Asia__Barnaul

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Barnaul -> TZLabel

KnownTZLabel 'Asia__Beirut

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Beirut -> TZLabel

KnownTZLabel 'Asia__Bishkek

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Bishkek -> TZLabel

KnownTZLabel 'Asia__Brunei

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Brunei -> TZLabel

KnownTZLabel 'Asia__Calcutta

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Calcutta -> TZLabel

KnownTZLabel 'Asia__Chita

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Chita -> TZLabel

KnownTZLabel 'Asia__Choibalsan

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Choibalsan -> TZLabel

KnownTZLabel 'Asia__Chongqing

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Chongqing -> TZLabel

KnownTZLabel 'Asia__Chungking

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Chungking -> TZLabel

KnownTZLabel 'Asia__Colombo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Colombo -> TZLabel

KnownTZLabel 'Asia__Dacca

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Dacca -> TZLabel

KnownTZLabel 'Asia__Damascus

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Damascus -> TZLabel

KnownTZLabel 'Asia__Dhaka

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Dhaka -> TZLabel

KnownTZLabel 'Asia__Dili

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Dili -> TZLabel

KnownTZLabel 'Asia__Dubai

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Dubai -> TZLabel

KnownTZLabel 'Asia__Dushanbe

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Dushanbe -> TZLabel

KnownTZLabel 'Asia__Famagusta

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Famagusta -> TZLabel

KnownTZLabel 'Asia__Gaza

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Gaza -> TZLabel

KnownTZLabel 'Asia__Harbin

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Harbin -> TZLabel

KnownTZLabel 'Asia__Hebron

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Hebron -> TZLabel

KnownTZLabel 'Asia__Ho_Chi_Minh

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Ho_Chi_Minh -> TZLabel

KnownTZLabel 'Asia__Hong_Kong

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Hong_Kong -> TZLabel

KnownTZLabel 'Asia__Hovd

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Hovd -> TZLabel

KnownTZLabel 'Asia__Irkutsk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Irkutsk -> TZLabel

KnownTZLabel 'Asia__Istanbul

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Istanbul -> TZLabel

KnownTZLabel 'Asia__Jakarta

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Jakarta -> TZLabel

KnownTZLabel 'Asia__Jayapura

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Jayapura -> TZLabel

KnownTZLabel 'Asia__Jerusalem

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Jerusalem -> TZLabel

KnownTZLabel 'Asia__Kabul

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Kabul -> TZLabel

KnownTZLabel 'Asia__Kamchatka

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Kamchatka -> TZLabel

KnownTZLabel 'Asia__Karachi

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Karachi -> TZLabel

KnownTZLabel 'Asia__Kashgar

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Kashgar -> TZLabel

KnownTZLabel 'Asia__Kathmandu

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Kathmandu -> TZLabel

KnownTZLabel 'Asia__Katmandu

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Katmandu -> TZLabel

KnownTZLabel 'Asia__Khandyga

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Khandyga -> TZLabel

KnownTZLabel 'Asia__Kolkata

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Kolkata -> TZLabel

KnownTZLabel 'Asia__Krasnoyarsk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Krasnoyarsk -> TZLabel

KnownTZLabel 'Asia__Kuala_Lumpur

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Kuala_Lumpur -> TZLabel

KnownTZLabel 'Asia__Kuching

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Kuching -> TZLabel

KnownTZLabel 'Asia__Kuwait

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Kuwait -> TZLabel

KnownTZLabel 'Asia__Macao

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Macao -> TZLabel

KnownTZLabel 'Asia__Macau

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Macau -> TZLabel

KnownTZLabel 'Asia__Magadan

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Magadan -> TZLabel

KnownTZLabel 'Asia__Makassar

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Makassar -> TZLabel

KnownTZLabel 'Asia__Manila

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Manila -> TZLabel

KnownTZLabel 'Asia__Muscat

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Muscat -> TZLabel

KnownTZLabel 'Asia__Nicosia

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Nicosia -> TZLabel

KnownTZLabel 'Asia__Novokuznetsk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Novokuznetsk -> TZLabel

KnownTZLabel 'Asia__Novosibirsk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Novosibirsk -> TZLabel

KnownTZLabel 'Asia__Omsk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Omsk -> TZLabel

KnownTZLabel 'Asia__Oral

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Oral -> TZLabel

KnownTZLabel 'Asia__Phnom_Penh

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Phnom_Penh -> TZLabel

KnownTZLabel 'Asia__Pontianak

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Pontianak -> TZLabel

KnownTZLabel 'Asia__Pyongyang

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Pyongyang -> TZLabel

KnownTZLabel 'Asia__Qatar

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Qatar -> TZLabel

KnownTZLabel 'Asia__Qostanay

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Qostanay -> TZLabel

KnownTZLabel 'Asia__Qyzylorda

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Qyzylorda -> TZLabel

KnownTZLabel 'Asia__Rangoon

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Rangoon -> TZLabel

KnownTZLabel 'Asia__Riyadh

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Riyadh -> TZLabel

KnownTZLabel 'Asia__Saigon

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Saigon -> TZLabel

KnownTZLabel 'Asia__Sakhalin

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Sakhalin -> TZLabel

KnownTZLabel 'Asia__Samarkand

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Samarkand -> TZLabel

KnownTZLabel 'Asia__Seoul

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Seoul -> TZLabel

KnownTZLabel 'Asia__Shanghai

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Shanghai -> TZLabel

KnownTZLabel 'Asia__Singapore

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Singapore -> TZLabel

KnownTZLabel 'Asia__Srednekolymsk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Srednekolymsk -> TZLabel

KnownTZLabel 'Asia__Taipei

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Taipei -> TZLabel

KnownTZLabel 'Asia__Tashkent

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Tashkent -> TZLabel

KnownTZLabel 'Asia__Tbilisi

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Tbilisi -> TZLabel

KnownTZLabel 'Asia__Tehran

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Tehran -> TZLabel

KnownTZLabel 'Asia__Tel_Aviv

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Tel_Aviv -> TZLabel

KnownTZLabel 'Asia__Thimbu

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Thimbu -> TZLabel

KnownTZLabel 'Asia__Thimphu

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Thimphu -> TZLabel

KnownTZLabel 'Asia__Tokyo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Tokyo -> TZLabel

KnownTZLabel 'Asia__Tomsk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Tomsk -> TZLabel

KnownTZLabel 'Asia__Ujung_Pandang

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Ujung_Pandang -> TZLabel

KnownTZLabel 'Asia__Ulaanbaatar

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Ulaanbaatar -> TZLabel

KnownTZLabel 'Asia__Ulan_Bator

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Ulan_Bator -> TZLabel

KnownTZLabel 'Asia__Urumqi

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Urumqi -> TZLabel

KnownTZLabel 'Asia__Ust_Nera

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Ust_Nera -> TZLabel

KnownTZLabel 'Asia__Vientiane

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Vientiane -> TZLabel

KnownTZLabel 'Asia__Vladivostok

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Vladivostok -> TZLabel

KnownTZLabel 'Asia__Yakutsk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Yakutsk -> TZLabel

KnownTZLabel 'Asia__Yangon

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Yangon -> TZLabel

KnownTZLabel 'Asia__Yekaterinburg

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Yekaterinburg -> TZLabel

KnownTZLabel 'Asia__Yerevan

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Asia__Yerevan -> TZLabel

KnownTZLabel 'Atlantic__Azores

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Atlantic__Azores -> TZLabel

KnownTZLabel 'Atlantic__Bermuda

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Atlantic__Bermuda -> TZLabel

KnownTZLabel 'Atlantic__Canary

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Atlantic__Canary -> TZLabel

KnownTZLabel 'Atlantic__Cape_Verde

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Atlantic__Cape_Verde -> TZLabel

KnownTZLabel 'Atlantic__Faeroe

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Atlantic__Faeroe -> TZLabel

KnownTZLabel 'Atlantic__Faroe

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Atlantic__Faroe -> TZLabel

KnownTZLabel 'Atlantic__Jan_Mayen

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Atlantic__Jan_Mayen -> TZLabel

KnownTZLabel 'Atlantic__Madeira

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Atlantic__Madeira -> TZLabel

KnownTZLabel 'Atlantic__Reykjavik

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Atlantic__Reykjavik -> TZLabel

KnownTZLabel 'Atlantic__South_Georgia

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Atlantic__South_Georgia -> TZLabel

KnownTZLabel 'Atlantic__St_Helena

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Atlantic__St_Helena -> TZLabel

KnownTZLabel 'Atlantic__Stanley

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Atlantic__Stanley -> TZLabel

KnownTZLabel 'Australia__ACT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__ACT -> TZLabel

KnownTZLabel 'Australia__Adelaide

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Adelaide -> TZLabel

KnownTZLabel 'Australia__Brisbane

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Brisbane -> TZLabel

KnownTZLabel 'Australia__Broken_Hill

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Broken_Hill -> TZLabel

KnownTZLabel 'Australia__Canberra

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Canberra -> TZLabel

KnownTZLabel 'Australia__Currie

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Currie -> TZLabel

KnownTZLabel 'Australia__Darwin

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Darwin -> TZLabel

KnownTZLabel 'Australia__Eucla

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Eucla -> TZLabel

KnownTZLabel 'Australia__Hobart

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Hobart -> TZLabel

KnownTZLabel 'Australia__LHI

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__LHI -> TZLabel

KnownTZLabel 'Australia__Lindeman

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Lindeman -> TZLabel

KnownTZLabel 'Australia__Lord_Howe

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Lord_Howe -> TZLabel

KnownTZLabel 'Australia__Melbourne

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Melbourne -> TZLabel

KnownTZLabel 'Australia__NSW

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__NSW -> TZLabel

KnownTZLabel 'Australia__North

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__North -> TZLabel

KnownTZLabel 'Australia__Perth

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Perth -> TZLabel

KnownTZLabel 'Australia__Queensland

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Queensland -> TZLabel

KnownTZLabel 'Australia__South

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__South -> TZLabel

KnownTZLabel 'Australia__Sydney

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Sydney -> TZLabel

KnownTZLabel 'Australia__Tasmania

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Tasmania -> TZLabel

KnownTZLabel 'Australia__Victoria

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Victoria -> TZLabel

KnownTZLabel 'Australia__West

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__West -> TZLabel

KnownTZLabel 'Australia__Yancowinna

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Australia__Yancowinna -> TZLabel

KnownTZLabel 'Brazil__Acre

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Brazil__Acre -> TZLabel

KnownTZLabel 'Brazil__DeNoronha

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Brazil__DeNoronha -> TZLabel

KnownTZLabel 'Brazil__East

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Brazil__East -> TZLabel

KnownTZLabel 'Brazil__West

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Brazil__West -> TZLabel

KnownTZLabel 'CET

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'CET -> TZLabel

KnownTZLabel 'CST6CDT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'CST6CDT -> TZLabel

KnownTZLabel 'Canada__Atlantic

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Canada__Atlantic -> TZLabel

KnownTZLabel 'Canada__Central

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Canada__Central -> TZLabel

KnownTZLabel 'Canada__Eastern

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Canada__Eastern -> TZLabel

KnownTZLabel 'Canada__Mountain

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Canada__Mountain -> TZLabel

KnownTZLabel 'Canada__Newfoundland

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Canada__Newfoundland -> TZLabel

KnownTZLabel 'Canada__Pacific

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Canada__Pacific -> TZLabel

KnownTZLabel 'Canada__Saskatchewan

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Canada__Saskatchewan -> TZLabel

KnownTZLabel 'Canada__Yukon

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Canada__Yukon -> TZLabel

KnownTZLabel 'Chile__Continental

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Chile__Continental -> TZLabel

KnownTZLabel 'Chile__EasterIsland

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Chile__EasterIsland -> TZLabel

KnownTZLabel 'Cuba

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Cuba -> TZLabel

KnownTZLabel 'EET

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'EET -> TZLabel

KnownTZLabel 'EST

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'EST -> TZLabel

KnownTZLabel 'EST5EDT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'EST5EDT -> TZLabel

KnownTZLabel 'Egypt

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Egypt -> TZLabel

KnownTZLabel 'Eire

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Eire -> TZLabel

KnownTZLabel 'Etc__GMT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT -> TZLabel

KnownTZLabel 'Etc__GMT'0

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'0 -> TZLabel

KnownTZLabel 'Etc__GMT'1

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'1 -> TZLabel

KnownTZLabel 'Etc__GMT'10

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'10 -> TZLabel

KnownTZLabel 'Etc__GMT'11

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'11 -> TZLabel

KnownTZLabel 'Etc__GMT'12

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'12 -> TZLabel

KnownTZLabel 'Etc__GMT'2

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'2 -> TZLabel

KnownTZLabel 'Etc__GMT'3

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'3 -> TZLabel

KnownTZLabel 'Etc__GMT'4

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'4 -> TZLabel

KnownTZLabel 'Etc__GMT'5

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'5 -> TZLabel

KnownTZLabel 'Etc__GMT'6

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'6 -> TZLabel

KnownTZLabel 'Etc__GMT'7

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'7 -> TZLabel

KnownTZLabel 'Etc__GMT'8

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'8 -> TZLabel

KnownTZLabel 'Etc__GMT'9

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT'9 -> TZLabel

KnownTZLabel 'Etc__GMT0

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT0 -> TZLabel

KnownTZLabel 'Etc__GMT_0

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_0 -> TZLabel

KnownTZLabel 'Etc__GMT_1

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_1 -> TZLabel

KnownTZLabel 'Etc__GMT_10

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_10 -> TZLabel

KnownTZLabel 'Etc__GMT_11

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_11 -> TZLabel

KnownTZLabel 'Etc__GMT_12

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_12 -> TZLabel

KnownTZLabel 'Etc__GMT_13

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_13 -> TZLabel

KnownTZLabel 'Etc__GMT_14

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_14 -> TZLabel

KnownTZLabel 'Etc__GMT_2

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_2 -> TZLabel

KnownTZLabel 'Etc__GMT_3

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_3 -> TZLabel

KnownTZLabel 'Etc__GMT_4

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_4 -> TZLabel

KnownTZLabel 'Etc__GMT_5

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_5 -> TZLabel

KnownTZLabel 'Etc__GMT_6

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_6 -> TZLabel

KnownTZLabel 'Etc__GMT_7

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_7 -> TZLabel

KnownTZLabel 'Etc__GMT_8

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_8 -> TZLabel

KnownTZLabel 'Etc__GMT_9

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__GMT_9 -> TZLabel

KnownTZLabel 'Etc__Greenwich

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__Greenwich -> TZLabel

KnownTZLabel 'Etc__UCT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__UCT -> TZLabel

KnownTZLabel 'Etc__UTC

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__UTC -> TZLabel

KnownTZLabel 'Etc__Universal

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__Universal -> TZLabel

KnownTZLabel 'Etc__Zulu

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Etc__Zulu -> TZLabel

KnownTZLabel 'Europe__Amsterdam

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Amsterdam -> TZLabel

KnownTZLabel 'Europe__Andorra

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Andorra -> TZLabel

KnownTZLabel 'Europe__Astrakhan

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Astrakhan -> TZLabel

KnownTZLabel 'Europe__Athens

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Athens -> TZLabel

KnownTZLabel 'Europe__Belfast

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Belfast -> TZLabel

KnownTZLabel 'Europe__Belgrade

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Belgrade -> TZLabel

KnownTZLabel 'Europe__Berlin

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Berlin -> TZLabel

KnownTZLabel 'Europe__Bratislava

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Bratislava -> TZLabel

KnownTZLabel 'Europe__Brussels

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Brussels -> TZLabel

KnownTZLabel 'Europe__Bucharest

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Bucharest -> TZLabel

KnownTZLabel 'Europe__Budapest

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Budapest -> TZLabel

KnownTZLabel 'Europe__Busingen

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Busingen -> TZLabel

KnownTZLabel 'Europe__Chisinau

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Chisinau -> TZLabel

KnownTZLabel 'Europe__Copenhagen

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Copenhagen -> TZLabel

KnownTZLabel 'Europe__Dublin

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Dublin -> TZLabel

KnownTZLabel 'Europe__Gibraltar

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Gibraltar -> TZLabel

KnownTZLabel 'Europe__Guernsey

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Guernsey -> TZLabel

KnownTZLabel 'Europe__Helsinki

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Helsinki -> TZLabel

KnownTZLabel 'Europe__Isle_of_Man

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Isle_of_Man -> TZLabel

KnownTZLabel 'Europe__Istanbul

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Istanbul -> TZLabel

KnownTZLabel 'Europe__Jersey

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Jersey -> TZLabel

KnownTZLabel 'Europe__Kaliningrad

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Kaliningrad -> TZLabel

KnownTZLabel 'Europe__Kiev

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Kiev -> TZLabel

KnownTZLabel 'Europe__Kirov

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Kirov -> TZLabel

KnownTZLabel 'Europe__Kyiv

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Kyiv -> TZLabel

KnownTZLabel 'Europe__Lisbon

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Lisbon -> TZLabel

KnownTZLabel 'Europe__Ljubljana

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Ljubljana -> TZLabel

KnownTZLabel 'Europe__London

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__London -> TZLabel

KnownTZLabel 'Europe__Luxembourg

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Luxembourg -> TZLabel

KnownTZLabel 'Europe__Madrid

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Madrid -> TZLabel

KnownTZLabel 'Europe__Malta

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Malta -> TZLabel

KnownTZLabel 'Europe__Mariehamn

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Mariehamn -> TZLabel

KnownTZLabel 'Europe__Minsk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Minsk -> TZLabel

KnownTZLabel 'Europe__Monaco

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Monaco -> TZLabel

KnownTZLabel 'Europe__Moscow

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Moscow -> TZLabel

KnownTZLabel 'Europe__Nicosia

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Nicosia -> TZLabel

KnownTZLabel 'Europe__Oslo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Oslo -> TZLabel

KnownTZLabel 'Europe__Paris

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Paris -> TZLabel

KnownTZLabel 'Europe__Podgorica

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Podgorica -> TZLabel

KnownTZLabel 'Europe__Prague

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Prague -> TZLabel

KnownTZLabel 'Europe__Riga

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Riga -> TZLabel

KnownTZLabel 'Europe__Rome

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Rome -> TZLabel

KnownTZLabel 'Europe__Samara

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Samara -> TZLabel

KnownTZLabel 'Europe__San_Marino

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__San_Marino -> TZLabel

KnownTZLabel 'Europe__Sarajevo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Sarajevo -> TZLabel

KnownTZLabel 'Europe__Saratov

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Saratov -> TZLabel

KnownTZLabel 'Europe__Simferopol

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Simferopol -> TZLabel

KnownTZLabel 'Europe__Skopje

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Skopje -> TZLabel

KnownTZLabel 'Europe__Sofia

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Sofia -> TZLabel

KnownTZLabel 'Europe__Stockholm

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Stockholm -> TZLabel

KnownTZLabel 'Europe__Tallinn

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Tallinn -> TZLabel

KnownTZLabel 'Europe__Tirane

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Tirane -> TZLabel

KnownTZLabel 'Europe__Tiraspol

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Tiraspol -> TZLabel

KnownTZLabel 'Europe__Ulyanovsk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Ulyanovsk -> TZLabel

KnownTZLabel 'Europe__Uzhgorod

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Uzhgorod -> TZLabel

KnownTZLabel 'Europe__Vaduz

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Vaduz -> TZLabel

KnownTZLabel 'Europe__Vatican

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Vatican -> TZLabel

KnownTZLabel 'Europe__Vienna

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Vienna -> TZLabel

KnownTZLabel 'Europe__Vilnius

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Vilnius -> TZLabel

KnownTZLabel 'Europe__Volgograd

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Volgograd -> TZLabel

KnownTZLabel 'Europe__Warsaw

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Warsaw -> TZLabel

KnownTZLabel 'Europe__Zagreb

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Zagreb -> TZLabel

KnownTZLabel 'Europe__Zaporozhye

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Zaporozhye -> TZLabel

KnownTZLabel 'Europe__Zurich

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Zurich -> TZLabel

KnownTZLabel 'Factory

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Factory -> TZLabel

KnownTZLabel 'GB

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'GB -> TZLabel

KnownTZLabel 'GB_Eire

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'GB_Eire -> TZLabel

KnownTZLabel 'GMT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'GMT -> TZLabel

KnownTZLabel 'GMT'0

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'GMT'0 -> TZLabel

KnownTZLabel 'GMT0

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'GMT0 -> TZLabel

KnownTZLabel 'GMT_0

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'GMT_0 -> TZLabel

KnownTZLabel 'Greenwich

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Greenwich -> TZLabel

KnownTZLabel 'HST

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'HST -> TZLabel

KnownTZLabel 'Hongkong

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Hongkong -> TZLabel

KnownTZLabel 'Iceland

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Iceland -> TZLabel

KnownTZLabel 'Indian__Antananarivo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Indian__Antananarivo -> TZLabel

KnownTZLabel 'Indian__Chagos

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Indian__Chagos -> TZLabel

KnownTZLabel 'Indian__Christmas

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Indian__Christmas -> TZLabel

KnownTZLabel 'Indian__Cocos

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Indian__Cocos -> TZLabel

KnownTZLabel 'Indian__Comoro

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Indian__Comoro -> TZLabel

KnownTZLabel 'Indian__Kerguelen

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Indian__Kerguelen -> TZLabel

KnownTZLabel 'Indian__Mahe

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Indian__Mahe -> TZLabel

KnownTZLabel 'Indian__Maldives

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Indian__Maldives -> TZLabel

KnownTZLabel 'Indian__Mauritius

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Indian__Mauritius -> TZLabel

KnownTZLabel 'Indian__Mayotte

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Indian__Mayotte -> TZLabel

KnownTZLabel 'Indian__Reunion

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Indian__Reunion -> TZLabel

KnownTZLabel 'Iran

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Iran -> TZLabel

KnownTZLabel 'Israel

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Israel -> TZLabel

KnownTZLabel 'Jamaica

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Jamaica -> TZLabel

KnownTZLabel 'Japan

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Japan -> TZLabel

KnownTZLabel 'Kwajalein

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Kwajalein -> TZLabel

KnownTZLabel 'Libya

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Libya -> TZLabel

KnownTZLabel 'MET

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'MET -> TZLabel

KnownTZLabel 'MST

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'MST -> TZLabel

KnownTZLabel 'MST7MDT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'MST7MDT -> TZLabel

KnownTZLabel 'Mexico__BajaNorte

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Mexico__BajaNorte -> TZLabel

KnownTZLabel 'Mexico__BajaSur

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Mexico__BajaSur -> TZLabel

KnownTZLabel 'Mexico__General

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Mexico__General -> TZLabel

KnownTZLabel 'NZ

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'NZ -> TZLabel

KnownTZLabel 'NZ_CHAT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'NZ_CHAT -> TZLabel

KnownTZLabel 'Navajo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Navajo -> TZLabel

KnownTZLabel 'PRC

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'PRC -> TZLabel

KnownTZLabel 'PST8PDT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'PST8PDT -> TZLabel

KnownTZLabel 'Pacific__Apia

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Apia -> TZLabel

KnownTZLabel 'Pacific__Auckland

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Auckland -> TZLabel

KnownTZLabel 'Pacific__Bougainville

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Bougainville -> TZLabel

KnownTZLabel 'Pacific__Chatham

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Chatham -> TZLabel

KnownTZLabel 'Pacific__Chuuk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Chuuk -> TZLabel

KnownTZLabel 'Pacific__Easter

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Easter -> TZLabel

KnownTZLabel 'Pacific__Efate

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Efate -> TZLabel

KnownTZLabel 'Pacific__Enderbury

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Enderbury -> TZLabel

KnownTZLabel 'Pacific__Fakaofo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Fakaofo -> TZLabel

KnownTZLabel 'Pacific__Fiji

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Fiji -> TZLabel

KnownTZLabel 'Pacific__Funafuti

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Funafuti -> TZLabel

KnownTZLabel 'Pacific__Galapagos

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Galapagos -> TZLabel

KnownTZLabel 'Pacific__Gambier

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Gambier -> TZLabel

KnownTZLabel 'Pacific__Guadalcanal

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Guadalcanal -> TZLabel

KnownTZLabel 'Pacific__Guam

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Guam -> TZLabel

KnownTZLabel 'Pacific__Honolulu

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Honolulu -> TZLabel

KnownTZLabel 'Pacific__Johnston

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Johnston -> TZLabel

KnownTZLabel 'Pacific__Kanton

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Kanton -> TZLabel

KnownTZLabel 'Pacific__Kiritimati

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Kiritimati -> TZLabel

KnownTZLabel 'Pacific__Kosrae

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Kosrae -> TZLabel

KnownTZLabel 'Pacific__Kwajalein

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Kwajalein -> TZLabel

KnownTZLabel 'Pacific__Majuro

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Majuro -> TZLabel

KnownTZLabel 'Pacific__Marquesas

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Marquesas -> TZLabel

KnownTZLabel 'Pacific__Midway

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Midway -> TZLabel

KnownTZLabel 'Pacific__Nauru

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Nauru -> TZLabel

KnownTZLabel 'Pacific__Niue

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Niue -> TZLabel

KnownTZLabel 'Pacific__Norfolk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Norfolk -> TZLabel

KnownTZLabel 'Pacific__Noumea

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Noumea -> TZLabel

KnownTZLabel 'Pacific__Pago_Pago

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Pago_Pago -> TZLabel

KnownTZLabel 'Pacific__Palau

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Palau -> TZLabel

KnownTZLabel 'Pacific__Pitcairn

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Pitcairn -> TZLabel

KnownTZLabel 'Pacific__Pohnpei

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Pohnpei -> TZLabel

KnownTZLabel 'Pacific__Ponape

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Ponape -> TZLabel

KnownTZLabel 'Pacific__Port_Moresby

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Port_Moresby -> TZLabel

KnownTZLabel 'Pacific__Rarotonga

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Rarotonga -> TZLabel

KnownTZLabel 'Pacific__Saipan

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Saipan -> TZLabel

KnownTZLabel 'Pacific__Samoa

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Samoa -> TZLabel

KnownTZLabel 'Pacific__Tahiti

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Tahiti -> TZLabel

KnownTZLabel 'Pacific__Tarawa

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Tarawa -> TZLabel

KnownTZLabel 'Pacific__Tongatapu

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Tongatapu -> TZLabel

KnownTZLabel 'Pacific__Truk

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Truk -> TZLabel

KnownTZLabel 'Pacific__Wake

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Wake -> TZLabel

KnownTZLabel 'Pacific__Wallis

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Wallis -> TZLabel

KnownTZLabel 'Pacific__Yap

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Pacific__Yap -> TZLabel

KnownTZLabel 'Poland

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Poland -> TZLabel

KnownTZLabel 'Portugal

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Portugal -> TZLabel

KnownTZLabel 'ROC

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'ROC -> TZLabel

KnownTZLabel 'ROK

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'ROK -> TZLabel

KnownTZLabel 'Singapore

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Singapore -> TZLabel

KnownTZLabel 'Turkey

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Turkey -> TZLabel

KnownTZLabel 'UCT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'UCT -> TZLabel

KnownTZLabel 'US__Alaska

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'US__Alaska -> TZLabel

KnownTZLabel 'US__Aleutian

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'US__Aleutian -> TZLabel

KnownTZLabel 'US__Arizona

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'US__Arizona -> TZLabel

KnownTZLabel 'US__Central

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'US__Central -> TZLabel

KnownTZLabel 'US__East_Indiana

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'US__East_Indiana -> TZLabel

KnownTZLabel 'US__Eastern

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'US__Eastern -> TZLabel

KnownTZLabel 'US__Hawaii

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'US__Hawaii -> TZLabel

KnownTZLabel 'US__Indiana_Starke

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'US__Indiana_Starke -> TZLabel

KnownTZLabel 'US__Michigan

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'US__Michigan -> TZLabel

KnownTZLabel 'US__Mountain

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'US__Mountain -> TZLabel

KnownTZLabel 'US__Pacific

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'US__Pacific -> TZLabel

KnownTZLabel 'US__Samoa

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'US__Samoa -> TZLabel

KnownTZLabel 'UTC

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'UTC -> TZLabel

KnownTZLabel 'Universal

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Universal -> TZLabel

KnownTZLabel 'WET

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'WET -> TZLabel

KnownTZLabel 'W_SU

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'W_SU -> TZLabel

KnownTZLabel 'Zulu

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Zulu -> TZLabel

data SomeTZLabel where

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

Constructors

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

Instances

Show SomeTZLabel

Defined in Data.Time.Zones.DB

Methods

showsPrec :: Int -> SomeTZLabel -> ShowS

show :: SomeTZLabel -> String

showList :: [SomeTZLabel] -> ShowS

Eq SomeTZLabel

Defined in Data.Time.Zones.DB

Methods

(==) :: SomeTZLabel -> SomeTZLabel -> Bool

(/=) :: SomeTZLabel -> SomeTZLabel -> Bool

someTZLabelVal :: TZLabel -> SomeTZLabel

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

> someTZLabelVal America__New_York
SomeTZLabel Proxy

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

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

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