bobcats/countries/2.0.1

NOTE: the latest version is 2.1.0

Rerouted (retagged, needs approval). The tag now points at a different commit than when this version was published. The Lamdera package server serves a copy recovered from https://github.com/bobcats/countries.

What we checked: Tag 2.0.1 is still on github.com/bobcats/countries; its commit 9eb480860887 is from 2021-09-13 20:00 UTC, after the version was published (2021-09-13 19:26 UTC); elm.json is byte-identical to package.elm-lang.org's; the exposed modules match docs.json; the zip's SHA-1 is not the published one and nothing else confirms its contents.

We could not verify this copy against what was published, so the Lamdera compiler asks before using it (y/n). Without a terminal, as in CI, it stops with an error unless approved:

  • lamdera make --auto-approve-package-rerouting approves rerouted versions for that run,
  • LAMDERA_AUTO_APPROVE_PACKAGE_REROUTING=1 does the same for every run in that environment,
  • LAMDERA_CACHE=off skips the Lamdera package server altogether: packages come from package.elm-lang.org and GitHub only, as with elm, and a rerouted version then fails to download.

Details · package.elm-lang.org's zip: https://github.com/bobcats/countries/zipball/2.0.1/

ISO3166

Based upon the country data from https://github.com/countries/countries Countries is a collection of all sorts of useful information for every country in the ISO 3166 standard. It contains info for the following standards ISO3166-1 (countries), ISO3166-2 (states/subdivisions), ISO4217 (currency) and E.164 (phone numbers). I will add any country based data I can get access to. I hope this to be a repository for all country based information.

Types

type alias Country =
{ addressFormat : String
, alpha2 : String
, alpha3 : String
, continent : Continent
, countryCode : String
, currencyCode : String
, emoji : String
, gec : String
, internationalPrefix : String
, ioc : String
, languagesOfficial : List String
, languagesSpoken : List String
, localNames : List String
, name : String
, nanpPrefix : String
, nationalDestinationCodeLengths : List Int
, nationalNumberLengths : List Int
, nationalPrefix : String
, nationality : String
, number : String
, postalCode : Bool
, postalCodeFormat : String
, region : Region
, startOfWeek : Weekday
, subdivisions : List Subdivision
, subregion : Subregion
, unLocode : String
, unofficialNames : List String
, worldRegion : WorldRegion
}

Representation of a country.

Idenification Codes

  c.number # => "840"
  c.alpha2 # => "US"
  c.alpha3 # => "USA"
  c.gec    # => "US"
  c.un_locode # => "US"

Emoji

  c.emoji # => "🇺🇸"

Names and translations

  c.name # => "United States"
  c.unofficialNames # => ["United States of America", "Vereinigte Staaten von Amerika", "États-Unis", "Estados Unidos"]


  c = ISO3166.belgium
  c.localNames # => ["België", "Belgique", "Belgien"]

Subdivisions

  c.subdivisions

Location

  c.region # => "Americas"
  c.subregion # => "Northern America"

Telephone Routing

  c.countryCode # => "1"
  c.nationalDestinationCodeLengths # => [3]
  c.nationalNumberLengths # => [10]
  c.internationalPrefix # => "011"
  c.nationalPrefix # => "1"

Currency

  c.currencyCode # => "USD"

Address Formatting

These templates are compatible with the Liquid template system.

  c.addressFormat # => "{{recipient}}\n{{street}}\n{{city}} {{region_short}} {{postalcode}}\n{{country}}\n"
type alias Subdivision =
{ name : String
, code : String
, unofficialNames : List String
}

Representation of a subdivision.

Helpers

all : List Country

A list of all countries.

fromAlpha2 : String -> Maybe Country

Find a country by it's alpha2 code.

  ISO3166.fromAlpha2 "US" # => Just { name = "United States", alpha2 = "US", alpha3 = "USA", ... }
findSubdivisionByCode : Country -> String -> Maybe Subdivision

Find a subdivision by it's code.

  ISO3166.findSubdivisionByCode ISO3166.countryUS "NY" # => Just { name = "New York", code = "NY", ... }

Countries

countryAF : Country

Afghanistan

countryAL : Country

Albania

countryDZ : Country

Algeria

countryAS : Country

American Samoa

countryAD : Country

Andorra

countryAO : Country

Angola

countryAI : Country

Anguilla

countryAQ : Country

Antarctica

countryAG : Country

Antigua and Barbuda

countryAR : Country

Argentina

countryAM : Country

Armenia

countryAW : Country

Aruba

countryAU : Country

Australia

countryAT : Country

Austria

countryAZ : Country

Azerbaijan

countryBS : Country

Bahamas

countryBH : Country

Bahrain

countryBD : Country

Bangladesh

countryBB : Country

Barbados

countryBY : Country

Belarus

countryBE : Country

Belgium

countryBZ : Country

Belize

countryBJ : Country

Benin

countryBM : Country

Bermuda

countryBT : Country

Bhutan

countryBO : Country

Bolivia (Plurinational State of)

countryBQ : Country

Bonaire, Sint Eustatius and Saba

countryBA : Country

Bosnia and Herzegovina

countryBW : Country

Botswana

countryBV : Country

Bouvet Island

countryBR : Country

Brazil

countryIO : Country

British Indian Ocean Territory

countryBN : Country

Brunei Darussalam

countryBG : Country

Bulgaria

countryBF : Country

Burkina Faso

countryBI : Country

Burundi

countryCV : Country

Cabo Verde

countryKH : Country

Cambodia

countryCM : Country

Cameroon

countryCA : Country

Canada

countryKY : Country

Cayman Islands

countryCF : Country

Central African Republic

countryTD : Country

Chad

countryCL : Country

Chile

countryCN : Country

China

countryCX : Country

Christmas Island

countryCC : Country

Cocos (Keeling) Islands

countryCO : Country

Colombia

countryKM : Country

Comoros

countryCG : Country

Congo

countryCD : Country

Congo (Democratic Republic of the)

countryCK : Country

Cook Islands

countryCR : Country

Costa Rica

countryHR : Country

Croatia

countryCU : Country

Cuba

countryCW : Country

Curaçao

countryCY : Country

Cyprus

countryCZ : Country

Czech Republic

countryCI : Country

Côte d'Ivoire

countryDK : Country

Denmark

countryDJ : Country

Djibouti

countryDM : Country

Dominica

countryDO : Country

Dominican Republic

countryEC : Country

Ecuador

countryEG : Country

Egypt

countrySV : Country

El Salvador

countryGQ : Country

Equatorial Guinea

countryER : Country

Eritrea

countryEE : Country

Estonia

countryET : Country

Ethiopia

countryFK : Country

Falkland Islands (Malvinas)

countryFO : Country

Faroe Islands

countryFJ : Country

Fiji

countryFI : Country

Finland

countryFR : Country

France

countryGF : Country

French Guiana

countryPF : Country

French Polynesia

countryTF : Country

French Southern Territories

countryGA : Country

Gabon

countryGM : Country

Gambia

countryGE : Country

Georgia

countryDE : Country

Germany

countryGH : Country

Ghana

countryGI : Country

Gibraltar

countryGR : Country

Greece

countryGL : Country

Greenland

countryGD : Country

Grenada

countryGP : Country

Guadeloupe

countryGU : Country

Guam

countryGT : Country

Guatemala

countryGG : Country

Guernsey

countryGN : Country

Guinea

countryGW : Country

Guinea-Bissau

countryGY : Country

Guyana

countryHT : Country

Haiti

countryHM : Country

Heard Island and McDonald Islands

countryVA : Country

Holy See

countryHN : Country

Honduras

countryHK : Country

Hong Kong

countryHU : Country

Hungary

countryIS : Country

Iceland

countryIN : Country

India

countryID : Country

Indonesia

countryIR : Country

Iran (Islamic Republic of)

countryIQ : Country

Iraq

countryIE : Country

Ireland

countryIM : Country

Isle of Man

countryIL : Country

Israel

countryIT : Country

Italy

countryJM : Country

Jamaica

countryJP : Country

Japan

countryJE : Country

Jersey

countryJO : Country

Jordan

countryKZ : Country

Kazakhstan

countryKE : Country

Kenya

countryKI : Country

Kiribati

countryKP : Country

Korea (Democratic People's Republic of)

countryKR : Country

Korea (Republic of)

countryKW : Country

Kuwait

countryKG : Country

Kyrgyzstan

countryLA : Country

Lao People's Democratic Republic

countryLV : Country

Latvia

countryLB : Country

Lebanon

countryLS : Country

Lesotho

countryLR : Country

Liberia

countryLY : Country

Libya

countryLI : Country

Liechtenstein

countryLT : Country

Lithuania

countryLU : Country

Luxembourg

countryMO : Country

Macao

countryMG : Country

Madagascar

countryMW : Country

Malawi

countryMY : Country

Malaysia

countryMV : Country

Maldives

countryML : Country

Mali

countryMT : Country

Malta

countryMH : Country

Marshall Islands

countryMQ : Country

Martinique

countryMR : Country

Mauritania

countryMU : Country

Mauritius

countryYT : Country

Mayotte

countryMX : Country

Mexico

countryFM : Country

Micronesia (Federated States of)

countryMD : Country

Moldova (Republic of)

countryMC : Country

Monaco

countryMN : Country

Mongolia

countryME : Country

Montenegro

countryMS : Country

Montserrat

countryMA : Country

Morocco

countryMZ : Country

Mozambique

countryMM : Country

Myanmar

countryNA : Country

Namibia

countryNR : Country

Nauru

countryNP : Country

Nepal

countryNL : Country

Netherlands

countryNC : Country

New Caledonia

countryNZ : Country

New Zealand

countryNI : Country

Nicaragua

countryNE : Country

Niger

countryNG : Country

Nigeria

countryNU : Country

Niue

countryNF : Country

Norfolk Island

countryMK : Country

North Macedonia

countryMP : Country

Northern Mariana Islands

countryNO : Country

Norway

countryOM : Country

Oman

countryPK : Country

Pakistan

countryPW : Country

Palau

countryPS : Country

Palestine, State of

countryPA : Country

Panama

countryPG : Country

Papua New Guinea

countryPY : Country

Paraguay

countryPE : Country

Peru

countryPH : Country

Philippines

countryPN : Country

Pitcairn

countryPL : Country

Poland

countryPT : Country

Portugal

countryPR : Country

Puerto Rico

countryQA : Country

Qatar

countryRO : Country

Romania

countryRU : Country

Russian Federation

countryRW : Country

Rwanda

countryRE : Country

Réunion

countryBL : Country

Saint Barthélemy

countrySH : Country

Saint Helena, Ascension and Tristan da Cunha

countryKN : Country

Saint Kitts and Nevis

countryLC : Country

Saint Lucia

countryMF : Country

Saint Martin (French part)

countryPM : Country

Saint Pierre and Miquelon

countryVC : Country

Saint Vincent and the Grenadines

countryWS : Country

Samoa

countrySM : Country

San Marino

countryST : Country

Sao Tome and Principe

countrySA : Country

Saudi Arabia

countrySN : Country

Senegal

countryRS : Country

Serbia

countrySC : Country

Seychelles

countrySL : Country

Sierra Leone

countrySG : Country

Singapore

countrySX : Country

Sint Maarten (Dutch part)

countrySK : Country

Slovakia

countrySI : Country

Slovenia

countrySB : Country

Solomon Islands

countrySO : Country

Somalia

countryZA : Country

South Africa

countryGS : Country

South Georgia and the South Sandwich Islands

countrySS : Country

South Sudan

countryES : Country

Spain

countryLK : Country

Sri Lanka

countrySD : Country

Sudan

countrySR : Country

Suriname

countrySJ : Country

Svalbard and Jan Mayen

countrySE : Country

Sweden

countryCH : Country

Switzerland

countrySY : Country

Syrian Arab Republic

countryTW : Country

Taiwan, Province of China

countryTJ : Country

Tajikistan

countryTZ : Country

Tanzania, United Republic of

countryTH : Country

Thailand

countryTL : Country

Timor-Leste

countryTG : Country

Togo

countryTK : Country

Tokelau

countryTO : Country

Tonga

countryTT : Country

Trinidad and Tobago

countryTN : Country

Tunisia

countryTR : Country

Turkey

countryTM : Country

Turkmenistan

countryTC : Country

Turks and Caicos Islands

countryTV : Country

Tuvalu

countryUG : Country

Uganda

countryUA : Country

Ukraine

countryAE : Country

United Arab Emirates

countryGB : Country

United Kingdom of Great Britain and Northern Ireland

countryUM : Country

United States Minor Outlying Islands

countryUS : Country

United States of America

countryUY : Country

Uruguay

countryUZ : Country

Uzbekistan

countryVU : Country

Vanuatu

countryVE : Country

Venezuela (Bolivarian Republic of)

countryVN : Country

Viet Nam

countryVG : Country

Virgin Islands (British)

countryVI : Country

Virgin Islands (U.S.)

countryWF : Country

Wallis and Futuna

countryEH : Country

Western Sahara

countryYE : Country

Yemen

countryZM : Country

Zambia

countryZW : Country

Zimbabwe

countrySZ : Country

eSwatini

countryAX : Country

Åland Islands

Subdivisions

countryADSubdivisions : List Subdivision
countryAESubdivisions : List Subdivision
countryAFSubdivisions : List Subdivision
countryAGSubdivisions : List Subdivision
countryAISubdivisions : List Subdivision
countryALSubdivisions : List Subdivision
countryAMSubdivisions : List Subdivision
countryAOSubdivisions : List Subdivision
countryARSubdivisions : List Subdivision
countryASSubdivisions : List Subdivision
countryATSubdivisions : List Subdivision
countryAUSubdivisions : List Subdivision
countryAWSubdivisions : List Subdivision
countryAXSubdivisions : List Subdivision
countryAZSubdivisions : List Subdivision
countryBASubdivisions : List Subdivision
countryBBSubdivisions : List Subdivision
countryBDSubdivisions : List Subdivision
countryBESubdivisions : List Subdivision
countryBFSubdivisions : List Subdivision
countryBGSubdivisions : List Subdivision
countryBHSubdivisions : List Subdivision
countryBISubdivisions : List Subdivision
countryBJSubdivisions : List Subdivision
countryBLSubdivisions : List Subdivision
countryBMSubdivisions : List Subdivision
countryBNSubdivisions : List Subdivision
countryBOSubdivisions : List Subdivision
countryBQSubdivisions : List Subdivision
countryBRSubdivisions : List Subdivision
countryBSSubdivisions : List Subdivision
countryBTSubdivisions : List Subdivision
countryBWSubdivisions : List Subdivision
countryBYSubdivisions : List Subdivision
countryBZSubdivisions : List Subdivision
countryCASubdivisions : List Subdivision
countryCDSubdivisions : List Subdivision
countryCFSubdivisions : List Subdivision
countryCGSubdivisions : List Subdivision
countryCHSubdivisions : List Subdivision
countryCISubdivisions : List Subdivision
countryCKSubdivisions : List Subdivision
countryCLSubdivisions : List Subdivision
countryCMSubdivisions : List Subdivision
countryCNSubdivisions : List Subdivision
countryCOSubdivisions : List Subdivision
countryCRSubdivisions : List Subdivision
countryCUSubdivisions : List Subdivision
countryCVSubdivisions : List Subdivision
countryCWSubdivisions : List Subdivision
countryCYSubdivisions : List Subdivision
countryCZSubdivisions : List Subdivision
countryDESubdivisions : List Subdivision
countryDJSubdivisions : List Subdivision
countryDKSubdivisions : List Subdivision
countryDMSubdivisions : List Subdivision
countryDOSubdivisions : List Subdivision
countryDZSubdivisions : List Subdivision
countryECSubdivisions : List Subdivision
countryEESubdivisions : List Subdivision
countryEGSubdivisions : List Subdivision
countryEHSubdivisions : List Subdivision
countryERSubdivisions : List Subdivision
countryESSubdivisions : List Subdivision
countryETSubdivisions : List Subdivision
countryFISubdivisions : List Subdivision
countryFJSubdivisions : List Subdivision
countryFMSubdivisions : List Subdivision
countryFOSubdivisions : List Subdivision
countryFRSubdivisions : List Subdivision
countryGASubdivisions : List Subdivision
countryGBSubdivisions : List Subdivision
countryGDSubdivisions : List Subdivision
countryGESubdivisions : List Subdivision
countryGFSubdivisions : List Subdivision
countryGGSubdivisions : List Subdivision
countryGHSubdivisions : List Subdivision
countryGLSubdivisions : List Subdivision
countryGMSubdivisions : List Subdivision
countryGNSubdivisions : List Subdivision
countryGPSubdivisions : List Subdivision
countryGQSubdivisions : List Subdivision
countryGRSubdivisions : List Subdivision
countryGTSubdivisions : List Subdivision
countryGUSubdivisions : List Subdivision
countryGWSubdivisions : List Subdivision
countryGYSubdivisions : List Subdivision
countryHKSubdivisions : List Subdivision
countryHNSubdivisions : List Subdivision
countryHRSubdivisions : List Subdivision
countryHTSubdivisions : List Subdivision
countryHUSubdivisions : List Subdivision
countryIDSubdivisions : List Subdivision
countryIESubdivisions : List Subdivision
countryILSubdivisions : List Subdivision
countryIMSubdivisions : List Subdivision
countryINSubdivisions : List Subdivision
countryIQSubdivisions : List Subdivision
countryIRSubdivisions : List Subdivision
countryISSubdivisions : List Subdivision
countryITSubdivisions : List Subdivision
countryJESubdivisions : List Subdivision
countryJMSubdivisions : List Subdivision
countryJOSubdivisions : List Subdivision
countryJPSubdivisions : List Subdivision
countryKESubdivisions : List Subdivision
countryKGSubdivisions : List Subdivision
countryKHSubdivisions : List Subdivision
countryKISubdivisions : List Subdivision
countryKMSubdivisions : List Subdivision
countryKNSubdivisions : List Subdivision
countryKPSubdivisions : List Subdivision
countryKRSubdivisions : List Subdivision
countryKWSubdivisions : List Subdivision
countryKYSubdivisions : List Subdivision
countryKZSubdivisions : List Subdivision
countryLASubdivisions : List Subdivision
countryLBSubdivisions : List Subdivision
countryLCSubdivisions : List Subdivision
countryLISubdivisions : List Subdivision
countryLKSubdivisions : List Subdivision
countryLRSubdivisions : List Subdivision
countryLSSubdivisions : List Subdivision
countryLTSubdivisions : List Subdivision
countryLUSubdivisions : List Subdivision
countryLVSubdivisions : List Subdivision
countryLYSubdivisions : List Subdivision
countryMASubdivisions : List Subdivision
countryMCSubdivisions : List Subdivision
countryMDSubdivisions : List Subdivision
countryMESubdivisions : List Subdivision
countryMFSubdivisions : List Subdivision
countryMGSubdivisions : List Subdivision
countryMHSubdivisions : List Subdivision
countryMKSubdivisions : List Subdivision
countryMLSubdivisions : List Subdivision
countryMMSubdivisions : List Subdivision
countryMNSubdivisions : List Subdivision
countryMOSubdivisions : List Subdivision
countryMPSubdivisions : List Subdivision
countryMQSubdivisions : List Subdivision
countryMRSubdivisions : List Subdivision
countryMSSubdivisions : List Subdivision
countryMTSubdivisions : List Subdivision
countryMUSubdivisions : List Subdivision
countryMVSubdivisions : List Subdivision
countryMWSubdivisions : List Subdivision
countryMXSubdivisions : List Subdivision
countryMYSubdivisions : List Subdivision
countryMZSubdivisions : List Subdivision
countryNASubdivisions : List Subdivision
countryNCSubdivisions : List Subdivision
countryNESubdivisions : List Subdivision
countryNGSubdivisions : List Subdivision
countryNISubdivisions : List Subdivision
countryNLSubdivisions : List Subdivision
countryNOSubdivisions : List Subdivision
countryNPSubdivisions : List Subdivision
countryNRSubdivisions : List Subdivision
countryNZSubdivisions : List Subdivision
countryOMSubdivisions : List Subdivision
countryPASubdivisions : List Subdivision
countryPESubdivisions : List Subdivision
countryPFSubdivisions : List Subdivision
countryPGSubdivisions : List Subdivision
countryPHSubdivisions : List Subdivision
countryPKSubdivisions : List Subdivision
countryPLSubdivisions : List Subdivision
countryPMSubdivisions : List Subdivision
countryPRSubdivisions : List Subdivision
countryPSSubdivisions : List Subdivision
countryPTSubdivisions : List Subdivision
countryPWSubdivisions : List Subdivision
countryPYSubdivisions : List Subdivision
countryQASubdivisions : List Subdivision
countryRESubdivisions : List Subdivision
countryROSubdivisions : List Subdivision
countryRSSubdivisions : List Subdivision
countryRUSubdivisions : List Subdivision
countryRWSubdivisions : List Subdivision
countrySASubdivisions : List Subdivision
countrySBSubdivisions : List Subdivision
countrySCSubdivisions : List Subdivision
countrySDSubdivisions : List Subdivision
countrySESubdivisions : List Subdivision
countrySGSubdivisions : List Subdivision
countrySHSubdivisions : List Subdivision
countrySISubdivisions : List Subdivision
countrySJSubdivisions : List Subdivision
countrySKSubdivisions : List Subdivision
countrySLSubdivisions : List Subdivision
countrySMSubdivisions : List Subdivision
countrySNSubdivisions : List Subdivision
countrySOSubdivisions : List Subdivision
countrySRSubdivisions : List Subdivision
countrySSSubdivisions : List Subdivision
countrySTSubdivisions : List Subdivision
countrySVSubdivisions : List Subdivision
countrySXSubdivisions : List Subdivision
countrySYSubdivisions : List Subdivision
countrySZSubdivisions : List Subdivision
countryTDSubdivisions : List Subdivision
countryTFSubdivisions : List Subdivision
countryTGSubdivisions : List Subdivision
countryTHSubdivisions : List Subdivision
countryTJSubdivisions : List Subdivision
countryTKSubdivisions : List Subdivision
countryTLSubdivisions : List Subdivision
countryTMSubdivisions : List Subdivision
countryTNSubdivisions : List Subdivision
countryTOSubdivisions : List Subdivision
countryTRSubdivisions : List Subdivision
countryTTSubdivisions : List Subdivision
countryTVSubdivisions : List Subdivision
countryTWSubdivisions : List Subdivision
countryTZSubdivisions : List Subdivision
countryUASubdivisions : List Subdivision
countryUGSubdivisions : List Subdivision
countryUMSubdivisions : List Subdivision
countryUSSubdivisions : List Subdivision
countryUYSubdivisions : List Subdivision
countryUZSubdivisions : List Subdivision
countryVCSubdivisions : List Subdivision
countryVESubdivisions : List Subdivision
countryVISubdivisions : List Subdivision
countryVNSubdivisions : List Subdivision
countryVUSubdivisions : List Subdivision
countryWFSubdivisions : List Subdivision
countryWSSubdivisions : List Subdivision
countryYESubdivisions : List Subdivision
countryYTSubdivisions : List Subdivision
countryZASubdivisions : List Subdivision
countryZMSubdivisions : List Subdivision
countryZWSubdivisions : List Subdivision