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__Algiers

Africa__Bissau

Africa__Cairo

Africa__Casablanca

Africa__Ceuta

Africa__El_Aaiun

Africa__Johannesburg

Africa__Juba

Africa__Khartoum

Africa__Lagos

Africa__Maputo

Africa__Monrovia

Africa__Nairobi

Africa__Ndjamena

Africa__Sao_Tome

Africa__Tripoli

Africa__Tunis

Africa__Windhoek

America__Adak

America__Anchorage

America__Araguaina

America__Argentina__Buenos_Aires

America__Argentina__Catamarca

America__Argentina__Cordoba

America__Argentina__Jujuy

America__Argentina__La_Rioja

America__Argentina__Mendoza

America__Argentina__Rio_Gallegos

America__Argentina__Salta

America__Argentina__San_Juan

America__Argentina__San_Luis

America__Argentina__Tucuman

America__Argentina__Ushuaia

America__Asuncion

America__Atikokan

America__Bahia

America__Bahia_Banderas

America__Barbados

America__Belem

America__Belize

America__Blanc_Sablon

America__Boa_Vista

America__Bogota

America__Boise

America__Cambridge_Bay

America__Campo_Grande

America__Cancun

America__Caracas

America__Cayenne

America__Chicago

America__Chihuahua

America__Costa_Rica

America__Creston

America__Cuiaba

America__Curacao

America__Danmarkshavn

America__Dawson

America__Dawson_Creek

America__Denver

America__Detroit

America__Edmonton

America__Eirunepe

America__El_Salvador

America__Fort_Nelson

America__Fortaleza

America__Glace_Bay

America__Godthab

America__Goose_Bay

America__Grand_Turk

America__Guatemala

America__Guayaquil

America__Guyana

America__Halifax

America__Havana

America__Hermosillo

America__Indiana__Indianapolis

America__Indiana__Knox

America__Indiana__Marengo

America__Indiana__Petersburg

America__Indiana__Tell_City

America__Indiana__Vevay

America__Indiana__Vincennes

America__Indiana__Winamac

America__Inuvik

America__Iqaluit

America__Jamaica

America__Juneau

America__Kentucky__Louisville

America__Kentucky__Monticello

America__La_Paz

America__Lima

America__Los_Angeles

America__Maceio

America__Managua

America__Manaus

America__Martinique

America__Matamoros

America__Mazatlan

America__Menominee

America__Merida

America__Metlakatla

America__Mexico_City

America__Miquelon

America__Moncton

America__Monterrey

America__Montevideo

America__Nassau

America__New_York

America__Nipigon

America__Nome

America__Noronha

America__North_Dakota__Beulah

America__North_Dakota__Center

America__North_Dakota__New_Salem

America__Ojinaga

America__Panama

America__Pangnirtung

America__Paramaribo

America__Phoenix

America__Port_au_Prince

America__Port_of_Spain

America__Porto_Velho

America__Puerto_Rico

America__Punta_Arenas

America__Rainy_River

America__Rankin_Inlet

America__Recife

America__Regina

America__Resolute

America__Rio_Branco

America__Santarem

America__Santiago

America__Santo_Domingo

America__Sao_Paulo

America__Scoresbysund

America__Sitka

America__St_Johns

America__Swift_Current

America__Tegucigalpa

America__Thule

America__Thunder_Bay

America__Tijuana

America__Toronto

America__Vancouver

America__Whitehorse

America__Winnipeg

America__Yakutat

America__Yellowknife

Antarctica__Casey

Antarctica__Davis

Antarctica__DumontDUrville

Antarctica__Macquarie

Antarctica__Mawson

Antarctica__Palmer

Antarctica__Rothera

Antarctica__Syowa

Antarctica__Troll

Antarctica__Vostok

Asia__Almaty

Asia__Amman

Asia__Anadyr

Asia__Aqtau

Asia__Aqtobe

Asia__Ashgabat

Asia__Atyrau

Asia__Baghdad

Asia__Baku

Asia__Bangkok

Asia__Barnaul

Asia__Beirut

Asia__Bishkek

Asia__Brunei

Asia__Chita

Asia__Choibalsan

Asia__Colombo

Asia__Damascus

Asia__Dhaka

Asia__Dili

Asia__Dubai

Asia__Dushanbe

Asia__Famagusta

Asia__Gaza

Asia__Hebron

Asia__Ho_Chi_Minh

Asia__Hong_Kong

Asia__Hovd

Asia__Irkutsk

Asia__Jakarta

Asia__Jayapura

Asia__Jerusalem

Asia__Kabul

Asia__Kamchatka

Asia__Karachi

Asia__Kathmandu

Asia__Khandyga

Asia__Kolkata

Asia__Krasnoyarsk

Asia__Kuala_Lumpur

Asia__Kuching

Asia__Macau

Asia__Magadan

Asia__Makassar

Asia__Manila

Asia__Nicosia

Asia__Novokuznetsk

Asia__Novosibirsk

Asia__Omsk

Asia__Oral

Asia__Pontianak

Asia__Pyongyang

Asia__Qatar

Asia__Qostanay

Asia__Qyzylorda

Asia__Riyadh

Asia__Sakhalin

Asia__Samarkand

Asia__Seoul

Asia__Shanghai

Asia__Singapore

Asia__Srednekolymsk

Asia__Taipei

Asia__Tashkent

Asia__Tbilisi

Asia__Tehran

Asia__Thimphu

Asia__Tokyo

Asia__Tomsk

Asia__Ulaanbaatar

Asia__Urumqi

Asia__Ust_Nera

Asia__Vladivostok

Asia__Yakutsk

Asia__Yangon

Asia__Yekaterinburg

Asia__Yerevan

Atlantic__Azores

Atlantic__Bermuda

Atlantic__Canary

Atlantic__Cape_Verde

Atlantic__Faroe

Atlantic__Madeira

Atlantic__Reykjavik

Atlantic__South_Georgia

Atlantic__Stanley

Australia__Adelaide

Australia__Brisbane

Australia__Broken_Hill

Australia__Currie

Australia__Darwin

Australia__Eucla

Australia__Hobart

Australia__Lindeman

Australia__Lord_Howe

Australia__Melbourne

Australia__Perth

Australia__Sydney

Etc__GMT

Etc__GMT1

Etc__GMT10

Etc__GMT11

Etc__GMT12

Etc__GMT2

Etc__GMT3

Etc__GMT4

Etc__GMT5

Etc__GMT6

Etc__GMT7

Etc__GMT8

Etc__GMT9

Etc__GMT_1

Etc__GMT_10

Etc__GMT_11

Etc__GMT_12

Etc__GMT_13

Etc__GMT_14

Etc__GMT_2

Etc__GMT_3

Etc__GMT_4

Etc__GMT_5

Etc__GMT_6

Etc__GMT_7

Etc__GMT_8

Etc__GMT_9

Etc__UTC

Europe__Amsterdam

Europe__Andorra

Europe__Astrakhan

Europe__Athens

Europe__Belgrade

Europe__Berlin

Europe__Brussels

Europe__Bucharest

Europe__Budapest

Europe__Chisinau

Europe__Copenhagen

Europe__Dublin

Europe__Gibraltar

Europe__Helsinki

Europe__Istanbul

Europe__Kaliningrad

Europe__Kiev

Europe__Kirov

Europe__Lisbon

Europe__London

Europe__Luxembourg

Europe__Madrid

Europe__Malta

Europe__Minsk

Europe__Monaco

Europe__Moscow

Europe__Oslo

Europe__Paris

Europe__Prague

Europe__Riga

Europe__Rome

Europe__Samara

Europe__Saratov

Europe__Simferopol

Europe__Sofia

Europe__Stockholm

Europe__Tallinn

Europe__Tirane

Europe__Ulyanovsk

Europe__Uzhgorod

Europe__Vienna

Europe__Vilnius

Europe__Volgograd

Europe__Warsaw

Europe__Zaporozhye

Europe__Zurich

Indian__Chagos

Indian__Christmas

Indian__Cocos

Indian__Kerguelen

Indian__Mahe

Indian__Maldives

Indian__Mauritius

Indian__Reunion

Pacific__Apia

Pacific__Auckland

Pacific__Bougainville

Pacific__Chatham

Pacific__Chuuk

Pacific__Easter

Pacific__Efate

Pacific__Enderbury

Pacific__Fakaofo

Pacific__Fiji

Pacific__Funafuti

Pacific__Galapagos

Pacific__Gambier

Pacific__Guadalcanal

Pacific__Guam

Pacific__Honolulu

Pacific__Kiritimati

Pacific__Kosrae

Pacific__Kwajalein

Pacific__Majuro

Pacific__Marquesas

Pacific__Nauru

Pacific__Niue

Pacific__Norfolk

Pacific__Noumea

Pacific__Pago_Pago

Pacific__Palau

Pacific__Pitcairn

Pacific__Pohnpei

Pacific__Port_Moresby

Pacific__Rarotonga

Pacific__Tahiti

Pacific__Tarawa

Pacific__Tongatapu

Pacific__Wake

Pacific__Wallis

Root__CET

Root__CST6CDT

Root__EET

Root__EST

Root__EST5EDT

Root__HST

Root__MET

Root__MST

Root__MST7MDT

Root__PST8PDT

Root__WET

Instances

Bounded TZLabel

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]

Eq TZLabel

Defined in Data.Time.Zones.DB

Methods

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

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

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 :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TZLabel -> r

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

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

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

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

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

Ord TZLabel

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

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

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

NFData TZLabel

Defined in Data.Time.Zones.DB

Methods

rnf :: TZLabel -> ()

type Rep TZLabel

Defined in Data.Time.Zones.DB

type Rep TZLabel = D1 (MetaData "TZLabel" "Data.Time.Zones.DB" "tzdata-0.1.20190911.0-Gs2gGkuUbDXDMFXhMvMTSH" False) ((((((((C1 (MetaCons "Africa__Abidjan" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Africa__Accra" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Africa__Algiers" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "Africa__Bissau" 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__El_Aaiun" 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__Khartoum" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Africa__Lagos" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "Africa__Maputo" 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__Sao_Tome" 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__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__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__Asuncion" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "America__Atikokan" 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__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__Cayenne" 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__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__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__Fort_Nelson" 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__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__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__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__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__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__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__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__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__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_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__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__Sitka" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "America__St_Johns" 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__Vancouver" 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__Palmer" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "Antarctica__Rothera" 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 "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__Atyrau" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Asia__Baghdad" 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__Chita" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Asia__Choibalsan" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Asia__Colombo" 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__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__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__Kathmandu" 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__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__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__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__Riyadh" 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__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__Ulaanbaatar" 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__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__Faroe" 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__Stanley" 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__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__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__Perth" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Australia__Sydney" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Etc__GMT" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "Etc__GMT1" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Etc__GMT10" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Etc__GMT11" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "Etc__GMT12" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Etc__GMT2" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Etc__GMT3" PrefixI False) (U1 :: Type -> Type)))))) :+: ((((C1 (MetaCons "Etc__GMT4" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Etc__GMT5" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Etc__GMT6" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "Etc__GMT7" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Etc__GMT8" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Etc__GMT9" 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__UTC" 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__Belgrade" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Europe__Berlin" 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__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__Helsinki" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Europe__Istanbul" 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__Lisbon" 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__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__Oslo" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Europe__Paris" 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__Saratov" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Europe__Simferopol" 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__Ulyanovsk" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Europe__Uzhgorod" 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__Zaporozhye" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Europe__Zurich" 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__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__Reunion" 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__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__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__Port_Moresby" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Pacific__Rarotonga" 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__Wake" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Pacific__Wallis" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Root__CET" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "Root__CST6CDT" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Root__EET" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Root__EST" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "Root__EST5EDT" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Root__HST" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Root__MET" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "Root__MST" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Root__MST7MDT" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Root__PST8PDT" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Root__WET" 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__Algiers

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Africa__Algiers -> TZLabel

KnownTZLabel Africa__Bissau

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Africa__Bissau -> 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__El_Aaiun

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Africa__El_Aaiun -> 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__Khartoum

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Africa__Khartoum -> TZLabel

KnownTZLabel Africa__Lagos

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Africa__Lagos -> TZLabel

KnownTZLabel Africa__Maputo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Africa__Maputo -> 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__Sao_Tome

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Africa__Sao_Tome -> 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__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__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__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__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__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__Cayenne

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy America__Cayenne -> 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__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__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__Fort_Nelson

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy America__Fort_Nelson -> 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__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__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__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__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__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__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__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__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__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_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__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__Sitka

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy America__Sitka -> TZLabel

KnownTZLabel America__St_Johns

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy America__St_Johns -> 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__Vancouver

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy America__Vancouver -> 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__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__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 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__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__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__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__Colombo

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Asia__Colombo -> 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__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__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__Kathmandu

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Asia__Kathmandu -> 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__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__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__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__Riyadh

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Asia__Riyadh -> 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__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__Ulaanbaatar

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Asia__Ulaanbaatar -> 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__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__Faroe

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Atlantic__Faroe -> 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__Stanley

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Atlantic__Stanley -> 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__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__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__Perth

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Australia__Perth -> TZLabel

KnownTZLabel Australia__Sydney

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Australia__Sydney -> TZLabel

KnownTZLabel Etc__GMT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT -> TZLabel

KnownTZLabel Etc__GMT1

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT1 -> TZLabel

KnownTZLabel Etc__GMT10

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT10 -> TZLabel

KnownTZLabel Etc__GMT11

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT11 -> TZLabel

KnownTZLabel Etc__GMT12

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT12 -> TZLabel

KnownTZLabel Etc__GMT2

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT2 -> TZLabel

KnownTZLabel Etc__GMT3

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT3 -> TZLabel

KnownTZLabel Etc__GMT4

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT4 -> TZLabel

KnownTZLabel Etc__GMT5

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT5 -> TZLabel

KnownTZLabel Etc__GMT6

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT6 -> TZLabel

KnownTZLabel Etc__GMT7

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT7 -> TZLabel

KnownTZLabel Etc__GMT8

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT8 -> TZLabel

KnownTZLabel Etc__GMT9

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__GMT9 -> 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__UTC

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Etc__UTC -> 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__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__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__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__Helsinki

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Europe__Helsinki -> TZLabel

KnownTZLabel Europe__Istanbul

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Europe__Istanbul -> 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__Lisbon

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Europe__Lisbon -> 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__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__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__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__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__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__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__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__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 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__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__Reunion

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Indian__Reunion -> 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__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__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__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__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__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 Root__CET

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Root__CET -> TZLabel

KnownTZLabel Root__CST6CDT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Root__CST6CDT -> TZLabel

KnownTZLabel Root__EET

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Root__EET -> TZLabel

KnownTZLabel Root__EST

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Root__EST -> TZLabel

KnownTZLabel Root__EST5EDT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Root__EST5EDT -> TZLabel

KnownTZLabel Root__HST

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Root__HST -> TZLabel

KnownTZLabel Root__MET

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Root__MET -> TZLabel

KnownTZLabel Root__MST

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Root__MST -> TZLabel

KnownTZLabel Root__MST7MDT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Root__MST7MDT -> TZLabel

KnownTZLabel Root__PST8PDT

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Root__PST8PDT -> TZLabel

KnownTZLabel Root__WET

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy Root__WET -> TZLabel

data SomeTZLabel where

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

Constructors

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

Instances

Eq SomeTZLabel

Defined in Data.Time.Zones.DB

Methods

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

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

Show SomeTZLabel

Defined in Data.Time.Zones.DB

Methods

showsPrec :: Int -> SomeTZLabel -> ShowS

show :: SomeTZLabel -> String

showList :: [SomeTZLabel] -> ShowS

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