Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 5 Nov 2026. What's built · Install 0.3.0
jadpo
ReferencePlaces

LanguageValues and typesStandard typesPlaces

Zone

On this page

A time zone, written as its name: Europe/London.

Use it wherever you turn an instant into a local time or the reverse, and to store where a person or a shop is. A fixed gap from UTC with no daylight saving rules is a UtcOffset.

Shape

One of 419 values, such as Zone.africa_abidjan, written Africa/Abidjan. Details has them.

Example

example
Zone.europe_london

text.parse(raw, as: Zone) reads one from text that comes from outside. Text that isn't one at all fails malformed, such as London or GMT+1.

This operation gives one: temporal.zone.

Good to know

  • Each value is its name in lower case with _ for /: Zone.america_new_york.
  • GMT+1 isn't a zone. A city's name in this form is what keeps daylight saving correct.
  • == tells you whether two are the same. < and list.sort_by don't take it.

In JSON

A string, in a request, a response or json.write:

json
"Europe/London""America/New_York"

Details

Text form, storage, how it is shown, and operations

Zone is in the group Places, and has been in Jadpo since 0.1.0.

Every value

Every value, each after Zone., with how it is written:

africa_abidjan (Africa/Abidjan), africa_accra (Africa/Accra), africa_addis_ababa (Africa/Addis_Ababa), africa_algiers (Africa/Algiers), africa_asmara (Africa/Asmara), africa_bamako (Africa/Bamako), africa_bangui (Africa/Bangui), africa_banjul (Africa/Banjul), africa_bissau (Africa/Bissau), africa_blantyre (Africa/Blantyre), africa_brazzaville (Africa/Brazzaville), africa_bujumbura (Africa/Bujumbura), africa_cairo (Africa/Cairo), africa_casablanca (Africa/Casablanca), africa_ceuta (Africa/Ceuta), africa_conakry (Africa/Conakry), africa_dakar (Africa/Dakar), africa_dar_es_salaam (Africa/Dar_es_Salaam), africa_djibouti (Africa/Djibouti), africa_douala (Africa/Douala), africa_el_aaiun (Africa/El_Aaiun), africa_freetown (Africa/Freetown), africa_gaborone (Africa/Gaborone), africa_harare (Africa/Harare), africa_johannesburg (Africa/Johannesburg), africa_juba (Africa/Juba), africa_kampala (Africa/Kampala), africa_khartoum (Africa/Khartoum), africa_kigali (Africa/Kigali), africa_kinshasa (Africa/Kinshasa), africa_lagos (Africa/Lagos), africa_libreville (Africa/Libreville), africa_lome (Africa/Lome), africa_luanda (Africa/Luanda), africa_lubumbashi (Africa/Lubumbashi), africa_lusaka (Africa/Lusaka), africa_malabo (Africa/Malabo), africa_maputo (Africa/Maputo), africa_maseru (Africa/Maseru), africa_mbabane (Africa/Mbabane), africa_mogadishu (Africa/Mogadishu), africa_monrovia (Africa/Monrovia), africa_nairobi (Africa/Nairobi), africa_ndjamena (Africa/Ndjamena), africa_niamey (Africa/Niamey), africa_nouakchott (Africa/Nouakchott), africa_ouagadougou (Africa/Ouagadougou), africa_porto_novo (Africa/Porto-Novo), africa_sao_tome (Africa/Sao_Tome), africa_tripoli (Africa/Tripoli), africa_tunis (Africa/Tunis), africa_windhoek (Africa/Windhoek), america_adak (America/Adak), america_anchorage (America/Anchorage), america_anguilla (America/Anguilla), america_antigua (America/Antigua), america_araguaina (America/Araguaina), america_argentina_buenos_aires (America/Argentina/Buenos_Aires), america_argentina_catamarca (America/Argentina/Catamarca), america_argentina_cordoba (America/Argentina/Cordoba), america_argentina_jujuy (America/Argentina/Jujuy), america_argentina_la_rioja (America/Argentina/La_Rioja), america_argentina_mendoza (America/Argentina/Mendoza), america_argentina_rio_gallegos (America/Argentina/Rio_Gallegos), america_argentina_salta (America/Argentina/Salta), america_argentina_san_juan (America/Argentina/San_Juan), america_argentina_san_luis (America/Argentina/San_Luis), america_argentina_tucuman (America/Argentina/Tucuman), america_argentina_ushuaia (America/Argentina/Ushuaia), america_aruba (America/Aruba), america_asuncion (America/Asuncion), america_atikokan (America/Atikokan), america_bahia (America/Bahia), america_bahia_banderas (America/Bahia_Banderas), america_barbados (America/Barbados), america_belem (America/Belem), america_belize (America/Belize), america_blanc_sablon (America/Blanc-Sablon), america_boa_vista (America/Boa_Vista), america_bogota (America/Bogota), america_boise (America/Boise), america_cambridge_bay (America/Cambridge_Bay), america_campo_grande (America/Campo_Grande), america_cancun (America/Cancun), america_caracas (America/Caracas), america_cayenne (America/Cayenne), america_cayman (America/Cayman), america_chicago (America/Chicago), america_chihuahua (America/Chihuahua), america_ciudad_juarez (America/Ciudad_Juarez), america_costa_rica (America/Costa_Rica), america_coyhaique (America/Coyhaique), america_creston (America/Creston), america_cuiaba (America/Cuiaba), america_curacao (America/Curacao), america_danmarkshavn (America/Danmarkshavn), america_dawson (America/Dawson), america_dawson_creek (America/Dawson_Creek), america_denver (America/Denver), america_detroit (America/Detroit), america_dominica (America/Dominica), america_edmonton (America/Edmonton), america_eirunepe (America/Eirunepe), america_el_salvador (America/El_Salvador), america_fort_nelson (America/Fort_Nelson), america_fortaleza (America/Fortaleza), america_glace_bay (America/Glace_Bay), america_goose_bay (America/Goose_Bay), america_grand_turk (America/Grand_Turk), america_grenada (America/Grenada), america_guadeloupe (America/Guadeloupe), america_guatemala (America/Guatemala), america_guayaquil (America/Guayaquil), america_guyana (America/Guyana), america_halifax (America/Halifax), america_havana (America/Havana), america_hermosillo (America/Hermosillo), america_indiana_indianapolis (America/Indiana/Indianapolis), america_indiana_knox (America/Indiana/Knox), america_indiana_marengo (America/Indiana/Marengo), america_indiana_petersburg (America/Indiana/Petersburg), america_indiana_tell_city (America/Indiana/Tell_City), america_indiana_vevay (America/Indiana/Vevay), america_indiana_vincennes (America/Indiana/Vincennes), america_indiana_winamac (America/Indiana/Winamac), america_inuvik (America/Inuvik), america_iqaluit (America/Iqaluit), america_jamaica (America/Jamaica), america_juneau (America/Juneau), america_kentucky_louisville (America/Kentucky/Louisville), america_kentucky_monticello (America/Kentucky/Monticello), america_kralendijk (America/Kralendijk), america_la_paz (America/La_Paz), america_lima (America/Lima), america_los_angeles (America/Los_Angeles), america_lower_princes (America/Lower_Princes), america_maceio (America/Maceio), america_managua (America/Managua), america_manaus (America/Manaus), america_marigot (America/Marigot), america_martinique (America/Martinique), america_matamoros (America/Matamoros), america_mazatlan (America/Mazatlan), america_menominee (America/Menominee), america_merida (America/Merida), america_metlakatla (America/Metlakatla), america_mexico_city (America/Mexico_City), america_miquelon (America/Miquelon), america_moncton (America/Moncton), america_monterrey (America/Monterrey), america_montevideo (America/Montevideo), america_montserrat (America/Montserrat), america_nassau (America/Nassau), america_new_york (America/New_York), america_nome (America/Nome), america_noronha (America/Noronha), america_north_dakota_beulah (America/North_Dakota/Beulah), america_north_dakota_center (America/North_Dakota/Center), america_north_dakota_new_salem (America/North_Dakota/New_Salem), america_nuuk (America/Nuuk), america_ojinaga (America/Ojinaga), america_panama (America/Panama), america_paramaribo (America/Paramaribo), america_phoenix (America/Phoenix), america_port_au_prince (America/Port-au-Prince), america_port_of_spain (America/Port_of_Spain), america_porto_velho (America/Porto_Velho), america_puerto_rico (America/Puerto_Rico), america_punta_arenas (America/Punta_Arenas), america_rankin_inlet (America/Rankin_Inlet), america_recife (America/Recife), america_regina (America/Regina), america_resolute (America/Resolute), america_rio_branco (America/Rio_Branco), america_santarem (America/Santarem), america_santiago (America/Santiago), america_santo_domingo (America/Santo_Domingo), america_sao_paulo (America/Sao_Paulo), america_scoresbysund (America/Scoresbysund), america_sitka (America/Sitka), america_st_barthelemy (America/St_Barthelemy), america_st_johns (America/St_Johns), america_st_kitts (America/St_Kitts), america_st_lucia (America/St_Lucia), america_st_thomas (America/St_Thomas), america_st_vincent (America/St_Vincent), america_swift_current (America/Swift_Current), america_tegucigalpa (America/Tegucigalpa), america_thule (America/Thule), america_tijuana (America/Tijuana), america_toronto (America/Toronto), america_tortola (America/Tortola), america_vancouver (America/Vancouver), america_whitehorse (America/Whitehorse), america_winnipeg (America/Winnipeg), america_yakutat (America/Yakutat), antarctica_casey (Antarctica/Casey), antarctica_davis (Antarctica/Davis), antarctica_dumontdurville (Antarctica/DumontDUrville), antarctica_macquarie (Antarctica/Macquarie), antarctica_mawson (Antarctica/Mawson), antarctica_mcmurdo (Antarctica/McMurdo), antarctica_palmer (Antarctica/Palmer), antarctica_rothera (Antarctica/Rothera), antarctica_syowa (Antarctica/Syowa), antarctica_troll (Antarctica/Troll), antarctica_vostok (Antarctica/Vostok), arctic_longyearbyen (Arctic/Longyearbyen), asia_aden (Asia/Aden), asia_almaty (Asia/Almaty), asia_amman (Asia/Amman), asia_anadyr (Asia/Anadyr), asia_aqtau (Asia/Aqtau), asia_aqtobe (Asia/Aqtobe), asia_ashgabat (Asia/Ashgabat), asia_atyrau (Asia/Atyrau), asia_baghdad (Asia/Baghdad), asia_bahrain (Asia/Bahrain), asia_baku (Asia/Baku), asia_bangkok (Asia/Bangkok), asia_barnaul (Asia/Barnaul), asia_beirut (Asia/Beirut), asia_bishkek (Asia/Bishkek), asia_brunei (Asia/Brunei), asia_chita (Asia/Chita), asia_colombo (Asia/Colombo), asia_damascus (Asia/Damascus), asia_dhaka (Asia/Dhaka), asia_dili (Asia/Dili), asia_dubai (Asia/Dubai), asia_dushanbe (Asia/Dushanbe), asia_famagusta (Asia/Famagusta), asia_gaza (Asia/Gaza), asia_hebron (Asia/Hebron), asia_ho_chi_minh (Asia/Ho_Chi_Minh), asia_hong_kong (Asia/Hong_Kong), asia_hovd (Asia/Hovd), asia_irkutsk (Asia/Irkutsk), asia_jakarta (Asia/Jakarta), asia_jayapura (Asia/Jayapura), asia_jerusalem (Asia/Jerusalem), asia_kabul (Asia/Kabul), asia_kamchatka (Asia/Kamchatka), asia_karachi (Asia/Karachi), asia_kathmandu (Asia/Kathmandu), asia_khandyga (Asia/Khandyga), asia_kolkata (Asia/Kolkata), asia_krasnoyarsk (Asia/Krasnoyarsk), asia_kuala_lumpur (Asia/Kuala_Lumpur), asia_kuching (Asia/Kuching), asia_kuwait (Asia/Kuwait), asia_macau (Asia/Macau), asia_magadan (Asia/Magadan), asia_makassar (Asia/Makassar), asia_manila (Asia/Manila), asia_muscat (Asia/Muscat), asia_nicosia (Asia/Nicosia), asia_novokuznetsk (Asia/Novokuznetsk), asia_novosibirsk (Asia/Novosibirsk), asia_omsk (Asia/Omsk), asia_oral (Asia/Oral), asia_phnom_penh (Asia/Phnom_Penh), asia_pontianak (Asia/Pontianak), asia_pyongyang (Asia/Pyongyang), asia_qatar (Asia/Qatar), asia_qostanay (Asia/Qostanay), asia_qyzylorda (Asia/Qyzylorda), asia_riyadh (Asia/Riyadh), asia_sakhalin (Asia/Sakhalin), asia_samarkand (Asia/Samarkand), asia_seoul (Asia/Seoul), asia_shanghai (Asia/Shanghai), asia_singapore (Asia/Singapore), asia_srednekolymsk (Asia/Srednekolymsk), asia_taipei (Asia/Taipei), asia_tashkent (Asia/Tashkent), asia_tbilisi (Asia/Tbilisi), asia_tehran (Asia/Tehran), asia_thimphu (Asia/Thimphu), asia_tokyo (Asia/Tokyo), asia_tomsk (Asia/Tomsk), asia_ulaanbaatar (Asia/Ulaanbaatar), asia_urumqi (Asia/Urumqi), asia_ust_nera (Asia/Ust-Nera), asia_vientiane (Asia/Vientiane), asia_vladivostok (Asia/Vladivostok), asia_yakutsk (Asia/Yakutsk), asia_yangon (Asia/Yangon), asia_yekaterinburg (Asia/Yekaterinburg), asia_yerevan (Asia/Yerevan), atlantic_azores (Atlantic/Azores), atlantic_bermuda (Atlantic/Bermuda), atlantic_canary (Atlantic/Canary), atlantic_cape_verde (Atlantic/Cape_Verde), atlantic_faroe (Atlantic/Faroe), atlantic_madeira (Atlantic/Madeira), atlantic_reykjavik (Atlantic/Reykjavik), atlantic_south_georgia (Atlantic/South_Georgia), atlantic_st_helena (Atlantic/St_Helena), atlantic_stanley (Atlantic/Stanley), australia_adelaide (Australia/Adelaide), australia_brisbane (Australia/Brisbane), australia_broken_hill (Australia/Broken_Hill), australia_darwin (Australia/Darwin), australia_eucla (Australia/Eucla), australia_hobart (Australia/Hobart), australia_lindeman (Australia/Lindeman), australia_lord_howe (Australia/Lord_Howe), australia_melbourne (Australia/Melbourne), australia_perth (Australia/Perth), australia_sydney (Australia/Sydney), europe_amsterdam (Europe/Amsterdam), europe_andorra (Europe/Andorra), europe_astrakhan (Europe/Astrakhan), europe_athens (Europe/Athens), europe_belgrade (Europe/Belgrade), europe_berlin (Europe/Berlin), europe_bratislava (Europe/Bratislava), europe_brussels (Europe/Brussels), europe_bucharest (Europe/Bucharest), europe_budapest (Europe/Budapest), europe_busingen (Europe/Busingen), europe_chisinau (Europe/Chisinau), europe_copenhagen (Europe/Copenhagen), europe_dublin (Europe/Dublin), europe_gibraltar (Europe/Gibraltar), europe_guernsey (Europe/Guernsey), europe_helsinki (Europe/Helsinki), europe_isle_of_man (Europe/Isle_of_Man), europe_istanbul (Europe/Istanbul), europe_jersey (Europe/Jersey), europe_kaliningrad (Europe/Kaliningrad), europe_kirov (Europe/Kirov), europe_kyiv (Europe/Kyiv), europe_lisbon (Europe/Lisbon), europe_ljubljana (Europe/Ljubljana), europe_london (Europe/London), europe_luxembourg (Europe/Luxembourg), europe_madrid (Europe/Madrid), europe_malta (Europe/Malta), europe_mariehamn (Europe/Mariehamn), europe_minsk (Europe/Minsk), europe_monaco (Europe/Monaco), europe_moscow (Europe/Moscow), europe_oslo (Europe/Oslo), europe_paris (Europe/Paris), europe_podgorica (Europe/Podgorica), europe_prague (Europe/Prague), europe_riga (Europe/Riga), europe_rome (Europe/Rome), europe_samara (Europe/Samara), europe_san_marino (Europe/San_Marino), europe_sarajevo (Europe/Sarajevo), europe_saratov (Europe/Saratov), europe_simferopol (Europe/Simferopol), europe_skopje (Europe/Skopje), europe_sofia (Europe/Sofia), europe_stockholm (Europe/Stockholm), europe_tallinn (Europe/Tallinn), europe_tirane (Europe/Tirane), europe_ulyanovsk (Europe/Ulyanovsk), europe_vaduz (Europe/Vaduz), europe_vatican (Europe/Vatican), europe_vienna (Europe/Vienna), europe_vilnius (Europe/Vilnius), europe_volgograd (Europe/Volgograd), europe_warsaw (Europe/Warsaw), europe_zagreb (Europe/Zagreb), europe_zurich (Europe/Zurich), indian_antananarivo (Indian/Antananarivo), indian_chagos (Indian/Chagos), indian_christmas (Indian/Christmas), indian_cocos (Indian/Cocos), indian_comoro (Indian/Comoro), indian_kerguelen (Indian/Kerguelen), indian_mahe (Indian/Mahe), indian_maldives (Indian/Maldives), indian_mauritius (Indian/Mauritius), indian_mayotte (Indian/Mayotte), indian_reunion (Indian/Reunion), pacific_apia (Pacific/Apia), pacific_auckland (Pacific/Auckland), pacific_bougainville (Pacific/Bougainville), pacific_chatham (Pacific/Chatham), pacific_chuuk (Pacific/Chuuk), pacific_easter (Pacific/Easter), pacific_efate (Pacific/Efate), pacific_fakaofo (Pacific/Fakaofo), pacific_fiji (Pacific/Fiji), pacific_funafuti (Pacific/Funafuti), pacific_galapagos (Pacific/Galapagos), pacific_gambier (Pacific/Gambier), pacific_guadalcanal (Pacific/Guadalcanal), pacific_guam (Pacific/Guam), pacific_honolulu (Pacific/Honolulu), pacific_kanton (Pacific/Kanton), pacific_kiritimati (Pacific/Kiritimati), pacific_kosrae (Pacific/Kosrae), pacific_kwajalein (Pacific/Kwajalein), pacific_majuro (Pacific/Majuro), pacific_marquesas (Pacific/Marquesas), pacific_midway (Pacific/Midway), pacific_nauru (Pacific/Nauru), pacific_niue (Pacific/Niue), pacific_norfolk (Pacific/Norfolk), pacific_noumea (Pacific/Noumea), pacific_pago_pago (Pacific/Pago_Pago), pacific_palau (Pacific/Palau), pacific_pitcairn (Pacific/Pitcairn), pacific_pohnpei (Pacific/Pohnpei), pacific_port_moresby (Pacific/Port_Moresby), pacific_rarotonga (Pacific/Rarotonga), pacific_saipan (Pacific/Saipan), pacific_tahiti (Pacific/Tahiti), pacific_tarawa (Pacific/Tarawa), pacific_tongatapu (Pacific/Tongatapu), pacific_wake (Pacific/Wake), pacific_wallis (Pacific/Wallis), utc (UTC).

Text form

text.from writes one standard text form, the same form text.parse reads back: Europe/London and America/New_York.

How it is stored

It is stored in one column named for the field, of type text. America/New_York is stored as 'America/New_York'.

How it is shown to people

text.format(value, locale:) shows it to people in their locale.

With locale: Locale.en_gb:

Value Shown
Europe/London UK Time
America/New_York New York Time

Operations

  • temporal.day_bounds(date: CalendarDate, zone: Zone) -> InstantRange: The instants date runs between in zone: 23, 24 or 25 hours.
  • temporal.format_relative(value: T, now: Instant, zone: Zone?, locale: Locale) -> PresentationText: value shown to a person in locale as how long ago it was from now: "just now", minutes, "Today at", "Yesterday at", the weekday, then the long date.
  • temporal.in_zone(instant: Instant, zone: Zone) -> ZonedTime: instant as the local time in zone.
  • temporal.month_bounds(date: CalendarDate, zone: Zone) -> InstantRange: The month holding date in zone.
  • temporal.resolve(date: T, at: Text?, zone: Zone, dst: Dst?) -> ZonedTime: The instant the clock reads at on date in zone, or a LocalDateTime given as date reads with no at:; dst: chooses one in a daylight-saving gap or overlap.
  • temporal.week_bounds(date: CalendarDate, zone: Zone, starts_on: Weekday) -> InstantRange: The week holding date in zone, starting on starts_on.
  • temporal.year_bounds(date: CalendarDate, zone: Zone) -> InstantRange: The year holding date in zone.
  • temporal.zone(value: ZonedTime) -> Zone: The zone a local time is seen in.

It also takes text.parse, text.from, text.format, json.read, json.write and ==. How every standard type behaves says how they work.

Markdown for agents: /docs/types/type-zone.md.Built from Jadpo main at aee2e8f.