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__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__Bahia

America__Bahia_Banderas

America__Barbados

America__Belem

America__Belize

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__Cuiaba

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__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__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__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__Macquarie

Antarctica__Mawson

Antarctica__Palmer

Antarctica__Rothera

Antarctica__Troll

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__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__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__South_Georgia

Atlantic__Stanley

Australia__Adelaide

Australia__Brisbane

Australia__Broken_Hill

Australia__Darwin

Australia__Eucla

Australia__Hobart

Australia__Lindeman

Australia__Lord_Howe

Australia__Melbourne

Australia__Perth

Australia__Sydney

Etc__GMT

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_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__Andorra

Europe__Astrakhan

Europe__Athens

Europe__Belgrade

Europe__Berlin

Europe__Brussels

Europe__Bucharest

Europe__Budapest

Europe__Chisinau

Europe__Dublin

Europe__Gibraltar

Europe__Helsinki

Europe__Istanbul

Europe__Kaliningrad

Europe__Kirov

Europe__Kyiv

Europe__Lisbon

Europe__London

Europe__Madrid

Europe__Malta

Europe__Minsk

Europe__Moscow

Europe__Paris

Europe__Prague

Europe__Riga

Europe__Rome

Europe__Samara

Europe__Saratov

Europe__Simferopol

Europe__Sofia

Europe__Tallinn

Europe__Tirane

Europe__Ulyanovsk

Europe__Vienna

Europe__Vilnius

Europe__Volgograd

Europe__Warsaw

Europe__Zurich

Indian__Chagos

Indian__Maldives

Indian__Mauritius

Pacific__Apia

Pacific__Auckland

Pacific__Bougainville

Pacific__Chatham

Pacific__Easter

Pacific__Efate

Pacific__Fakaofo

Pacific__Fiji

Pacific__Galapagos

Pacific__Gambier

Pacific__Guadalcanal

Pacific__Guam

Pacific__Honolulu

Pacific__Kanton

Pacific__Kiritimati

Pacific__Kosrae

Pacific__Kwajalein

Pacific__Marquesas

Pacific__Nauru

Pacific__Niue

Pacific__Norfolk

Pacific__Noumea

Pacific__Pago_Pago

Pacific__Palau

Pacific__Pitcairn

Pacific__Port_Moresby

Pacific__Rarotonga

Pacific__Tahiti

Pacific__Tarawa

Pacific__Tongatapu

Root__CET

Root__CST6CDT

Root__EET

Root__EST

Root__EST5EDT

Root__HST

Root__MET

Root__MST

Root__MST7MDT

Root__PST8PDT

Root__WET

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.20220923.0-8aYbKEgiiF7ILfxC7Z0WWb" 'False) ((((((((C1 ('MetaCons "Africa__Abidjan" '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__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__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__Cuiaba" '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__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__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__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__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__Troll" '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__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__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__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__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__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_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__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__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__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__London" '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__Moscow" '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__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__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__Zurich" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Indian__Chagos" '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 "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__Easter" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Pacific__Efate" '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__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__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__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__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 "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__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__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__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__Cuiaba

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'America__Cuiaba -> 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__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__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__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__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__Troll

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Antarctica__Troll -> 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__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__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__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__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__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__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__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__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__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__London

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__London -> 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__Moscow

Defined in Data.Time.Zones.DB

Methods

tzLabelVal :: Proxy 'Europe__Moscow -> 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__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__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__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__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 '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__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__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__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__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__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__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 '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

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