PackagesReroutesAboutlamdera.com

bobcats/countries/1.1.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 1.1.1 is still on github.com/bobcats/countries; its commit 1bbcae177940 is from 2021-09-13 19:58 UTC, after the version was published (2021-09-12 23:58 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/1.1.1/

READMEAboutVersionsSourceModules

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", ... }

Countries

afghanistan : Country

Afghanistan

albania : Country

Albania

algeria : Country

Algeria

americanSamoa : Country

American Samoa

andorra : Country

Andorra

angola : Country

Angola

anguilla : Country

Anguilla

antarctica : Country

Antarctica

Antigua and Barbuda

argentina : Country

Argentina

armenia : Country

Armenia

aruba : Country

Aruba

australia : Country

Australia

austria : Country

Austria

azerbaijan : Country

Azerbaijan

bahamas : Country

Bahamas

bahrain : Country

Bahrain

bangladesh : Country

Bangladesh

barbados : Country

Barbados

belarus : Country

Belarus

belgium : Country

Belgium

belize : Country

Belize

benin : Country

Benin

bermuda : Country

Bermuda

bhutan : Country

Bhutan

Bolivia (Plurinational State of)

Bonaire, Sint Eustatius and Saba

Bosnia and Herzegovina

botswana : Country

Botswana

bouvetIsland : Country

Bouvet Island

brazil : Country

Brazil

British Indian Ocean Territory

Brunei Darussalam

bulgaria : Country

Bulgaria

burkinaFaso : Country

Burkina Faso

burundi : Country

Burundi

caboVerde : Country

Cabo Verde

cambodia : Country

Cambodia

cameroon : Country

Cameroon

canada : Country

Canada

caymanIslands : Country

Cayman Islands

Central African Republic

chad : Country

Chad

chile : Country

Chile

china : Country

China

christmasIsland : Country

Christmas Island

Cocos (Keeling) Islands

colombia : Country

Colombia

comoros : Country

Comoros

congo : Country

Congo

Congo (Democratic Republic of the)

cookIslands : Country

Cook Islands

costaRica : Country

Costa Rica

croatia : Country

Croatia

cuba : Country

Cuba

curacao : Country

Curaçao

cyprus : Country

Cyprus

czechRepublic : Country

Czech Republic

coteDIvoire : Country

Côte d'Ivoire

denmark : Country

Denmark

djibouti : Country

Djibouti

dominica : Country

Dominica

Dominican Republic

ecuador : Country

Ecuador

egypt : Country

Egypt

elSalvador : Country

El Salvador

Equatorial Guinea

eritrea : Country

Eritrea

estonia : Country

Estonia

ethiopia : Country

Ethiopia

Falkland Islands (Malvinas)

faroeIslands : Country

Faroe Islands

fiji : Country

Fiji

finland : Country

Finland

france : Country

France

frenchGuiana : Country

French Guiana

frenchPolynesia : Country

French Polynesia

French Southern Territories

gabon : Country

Gabon

gambia : Country

Gambia

georgia : Country

Georgia

germany : Country

Germany

ghana : Country

Ghana

gibraltar : Country

Gibraltar

greece : Country

Greece

greenland : Country

Greenland

grenada : Country

Grenada

guadeloupe : Country

Guadeloupe

guam : Country

Guam

guatemala : Country

Guatemala

guernsey : Country

Guernsey

guinea : Country

Guinea

guineaBissau : Country

Guinea-Bissau

guyana : Country

Guyana

haiti : Country

Haiti

Heard Island and McDonald Islands

holySee : Country

Holy See

honduras : Country

Honduras

hongKong : Country

Hong Kong

hungary : Country

Hungary

iceland : Country

Iceland

india : Country

India

indonesia : Country

Indonesia

Iran (Islamic Republic of)

iraq : Country

Iraq

ireland : Country

Ireland

isleOfMan : Country

Isle of Man

israel : Country

Israel

italy : Country

Italy

jamaica : Country

Jamaica

japan : Country

Japan

jersey : Country

Jersey

jordan : Country

Jordan

kazakhstan : Country

Kazakhstan

kenya : Country

Kenya

kiribati : Country

Kiribati

Korea (Democratic People's Republic of)

koreaRepublicOf : Country

Korea (Republic of)

kuwait : Country

Kuwait

kyrgyzstan : Country

Kyrgyzstan

Lao People's Democratic Republic

latvia : Country

Latvia

lebanon : Country

Lebanon

lesotho : Country

Lesotho

liberia : Country

Liberia

libya : Country

Libya

liechtenstein : Country

Liechtenstein

lithuania : Country

Lithuania

luxembourg : Country

Luxembourg

macao : Country

Macao

madagascar : Country

Madagascar

malawi : Country

Malawi

malaysia : Country

Malaysia

maldives : Country

Maldives

mali : Country

Mali

malta : Country

Malta

marshallIslands : Country

Marshall Islands

martinique : Country

Martinique

mauritania : Country

Mauritania

mauritius : Country

Mauritius

mayotte : Country

Mayotte

mexico : Country

Mexico

Micronesia (Federated States of)

Moldova (Republic of)

monaco : Country

Monaco

mongolia : Country

Mongolia

montenegro : Country

Montenegro

montserrat : Country

Montserrat

morocco : Country

Morocco

mozambique : Country

Mozambique

myanmar : Country

Myanmar

namibia : Country

Namibia

nauru : Country

Nauru

nepal : Country

Nepal

netherlands : Country

Netherlands

newCaledonia : Country

New Caledonia

newZealand : Country

New Zealand

nicaragua : Country

Nicaragua

niger : Country

Niger

nigeria : Country

Nigeria

niue : Country

Niue

norfolkIsland : Country

Norfolk Island

northMacedonia : Country

North Macedonia

Northern Mariana Islands

norway : Country

Norway

oman : Country

Oman

pakistan : Country

Pakistan

palau : Country

Palau

Palestine, State of

panama : Country

Panama

papuaNewGuinea : Country

Papua New Guinea

paraguay : Country

Paraguay

peru : Country

Peru

philippines : Country

Philippines

pitcairn : Country

Pitcairn

poland : Country

Poland

portugal : Country

Portugal

puertoRico : Country

Puerto Rico

qatar : Country

Qatar

romania : Country

Romania

Russian Federation

rwanda : Country

Rwanda

reunion : Country

Réunion

saintBarthelemy : Country

Saint Barthélemy

Saint Helena, Ascension and Tristan da Cunha

Saint Kitts and Nevis

saintLucia : Country

Saint Lucia

Saint Martin (French part)

Saint Pierre and Miquelon

Saint Vincent and the Grenadines

samoa : Country

Samoa

sanMarino : Country

San Marino

Sao Tome and Principe

saudiArabia : Country

Saudi Arabia

senegal : Country

Senegal

serbia : Country

Serbia

seychelles : Country

Seychelles

sierraLeone : Country

Sierra Leone

singapore : Country

Singapore

Sint Maarten (Dutch part)

slovakia : Country

Slovakia

slovenia : Country

Slovenia

solomonIslands : Country

Solomon Islands

somalia : Country

Somalia

southAfrica : Country

South Africa

South Georgia and the South Sandwich Islands

southSudan : Country

South Sudan

spain : Country

Spain

sriLanka : Country

Sri Lanka

sudan : Country

Sudan

suriname : Country

Suriname

Svalbard and Jan Mayen

sweden : Country

Sweden

switzerland : Country

Switzerland

Syrian Arab Republic

Taiwan, Province of China

tajikistan : Country

Tajikistan

Tanzania, United Republic of

thailand : Country

Thailand

timorLeste : Country

Timor-Leste

togo : Country

Togo

tokelau : Country

Tokelau

tonga : Country

Tonga

Trinidad and Tobago

tunisia : Country

Tunisia

turkey : Country

Turkey

turkmenistan : Country

Turkmenistan

Turks and Caicos Islands

tuvalu : Country

Tuvalu

uganda : Country

Uganda

ukraine : Country

Ukraine

United Arab Emirates

United Kingdom of Great Britain and Northern Ireland

United States Minor Outlying Islands

United States of America

uruguay : Country

Uruguay

uzbekistan : Country

Uzbekistan

vanuatu : Country

Vanuatu

Venezuela (Bolivarian Republic of)

vietNam : Country

Viet Nam

Virgin Islands (British)

virginIslandsUS : Country

Virgin Islands (U.S.)

wallisAndFutuna : Country

Wallis and Futuna

westernSahara : Country

Western Sahara

yemen : Country

Yemen

zambia : Country

Zambia

zimbabwe : Country

Zimbabwe

eswatini : Country

eSwatini

alandIslands : Country

Åland Islands

Subdivisions

andorraSubdivisions : List Subdivision
afghanistanSubdivisions : List Subdivision
anguillaSubdivisions : List Subdivision
albaniaSubdivisions : List Subdivision
armeniaSubdivisions : List Subdivision
angolaSubdivisions : List Subdivision
argentinaSubdivisions : List Subdivision
americanSamoaSubdivisions : List Subdivision
austriaSubdivisions : List Subdivision
australiaSubdivisions : List Subdivision
arubaSubdivisions : List Subdivision
alandIslandsSubdivisions : List Subdivision
azerbaijanSubdivisions : List Subdivision
barbadosSubdivisions : List Subdivision
bangladeshSubdivisions : List Subdivision
belgiumSubdivisions : List Subdivision
burkinaFasoSubdivisions : List Subdivision
bulgariaSubdivisions : List Subdivision
bahrainSubdivisions : List Subdivision
burundiSubdivisions : List Subdivision
beninSubdivisions : List Subdivision
saintBarthelemySubdivisions : List Subdivision
bermudaSubdivisions : List Subdivision
bruneiDarussalamSubdivisions : List Subdivision
brazilSubdivisions : List Subdivision
bahamasSubdivisions : List Subdivision
bhutanSubdivisions : List Subdivision
botswanaSubdivisions : List Subdivision
belarusSubdivisions : List Subdivision
belizeSubdivisions : List Subdivision
canadaSubdivisions : List Subdivision
congoSubdivisions : List Subdivision
switzerlandSubdivisions : List Subdivision
coteDIvoireSubdivisions : List Subdivision
cookIslandsSubdivisions : List Subdivision
chileSubdivisions : List Subdivision
cameroonSubdivisions : List Subdivision
chinaSubdivisions : List Subdivision
colombiaSubdivisions : List Subdivision
costaRicaSubdivisions : List Subdivision
cubaSubdivisions : List Subdivision
caboVerdeSubdivisions : List Subdivision
curacaoSubdivisions : List Subdivision
cyprusSubdivisions : List Subdivision
czechRepublicSubdivisions : List Subdivision
germanySubdivisions : List Subdivision
djiboutiSubdivisions : List Subdivision
denmarkSubdivisions : List Subdivision
dominicaSubdivisions : List Subdivision
algeriaSubdivisions : List Subdivision
ecuadorSubdivisions : List Subdivision
estoniaSubdivisions : List Subdivision
egyptSubdivisions : List Subdivision
westernSaharaSubdivisions : List Subdivision
eritreaSubdivisions : List Subdivision
spainSubdivisions : List Subdivision
ethiopiaSubdivisions : List Subdivision
finlandSubdivisions : List Subdivision
fijiSubdivisions : List Subdivision
faroeIslandsSubdivisions : List Subdivision
franceSubdivisions : List Subdivision
gabonSubdivisions : List Subdivision
grenadaSubdivisions : List Subdivision
georgiaSubdivisions : List Subdivision
frenchGuianaSubdivisions : List Subdivision
guernseySubdivisions : List Subdivision
ghanaSubdivisions : List Subdivision
greenlandSubdivisions : List Subdivision
gambiaSubdivisions : List Subdivision
guineaSubdivisions : List Subdivision
guadeloupeSubdivisions : List Subdivision
equatorialGuineaSubdivisions : List Subdivision
greeceSubdivisions : List Subdivision
guatemalaSubdivisions : List Subdivision
guamSubdivisions : List Subdivision
guineaBissauSubdivisions : List Subdivision
guyanaSubdivisions : List Subdivision
hongKongSubdivisions : List Subdivision
hondurasSubdivisions : List Subdivision
croatiaSubdivisions : List Subdivision
haitiSubdivisions : List Subdivision
hungarySubdivisions : List Subdivision
indonesiaSubdivisions : List Subdivision
irelandSubdivisions : List Subdivision
israelSubdivisions : List Subdivision
isleOfManSubdivisions : List Subdivision
indiaSubdivisions : List Subdivision
iraqSubdivisions : List Subdivision
icelandSubdivisions : List Subdivision
italySubdivisions : List Subdivision
jerseySubdivisions : List Subdivision
jamaicaSubdivisions : List Subdivision
jordanSubdivisions : List Subdivision
japanSubdivisions : List Subdivision
kenyaSubdivisions : List Subdivision
kyrgyzstanSubdivisions : List Subdivision
cambodiaSubdivisions : List Subdivision
kiribatiSubdivisions : List Subdivision
comorosSubdivisions : List Subdivision
koreaRepublicOfSubdivisions : List Subdivision
kuwaitSubdivisions : List Subdivision
caymanIslandsSubdivisions : List Subdivision
kazakhstanSubdivisions : List Subdivision
lebanonSubdivisions : List Subdivision
saintLuciaSubdivisions : List Subdivision
liechtensteinSubdivisions : List Subdivision
sriLankaSubdivisions : List Subdivision
liberiaSubdivisions : List Subdivision
lesothoSubdivisions : List Subdivision
lithuaniaSubdivisions : List Subdivision
luxembourgSubdivisions : List Subdivision
latviaSubdivisions : List Subdivision
libyaSubdivisions : List Subdivision
moroccoSubdivisions : List Subdivision
monacoSubdivisions : List Subdivision
montenegroSubdivisions : List Subdivision
madagascarSubdivisions : List Subdivision
marshallIslandsSubdivisions : List Subdivision
northMacedoniaSubdivisions : List Subdivision
maliSubdivisions : List Subdivision
myanmarSubdivisions : List Subdivision
mongoliaSubdivisions : List Subdivision
macaoSubdivisions : List Subdivision
martiniqueSubdivisions : List Subdivision
mauritaniaSubdivisions : List Subdivision
montserratSubdivisions : List Subdivision
maltaSubdivisions : List Subdivision
mauritiusSubdivisions : List Subdivision
maldivesSubdivisions : List Subdivision
malawiSubdivisions : List Subdivision
mexicoSubdivisions : List Subdivision
malaysiaSubdivisions : List Subdivision
mozambiqueSubdivisions : List Subdivision
namibiaSubdivisions : List Subdivision
newCaledoniaSubdivisions : List Subdivision
nigerSubdivisions : List Subdivision
nigeriaSubdivisions : List Subdivision
nicaraguaSubdivisions : List Subdivision
netherlandsSubdivisions : List Subdivision
norwaySubdivisions : List Subdivision
nepalSubdivisions : List Subdivision
nauruSubdivisions : List Subdivision
newZealandSubdivisions : List Subdivision
omanSubdivisions : List Subdivision
panamaSubdivisions : List Subdivision
peruSubdivisions : List Subdivision
frenchPolynesiaSubdivisions : List Subdivision
papuaNewGuineaSubdivisions : List Subdivision
philippinesSubdivisions : List Subdivision
pakistanSubdivisions : List Subdivision
polandSubdivisions : List Subdivision
puertoRicoSubdivisions : List Subdivision
palestineStateOfSubdivisions : List Subdivision
portugalSubdivisions : List Subdivision
palauSubdivisions : List Subdivision
paraguaySubdivisions : List Subdivision
qatarSubdivisions : List Subdivision
reunionSubdivisions : List Subdivision
romaniaSubdivisions : List Subdivision
serbiaSubdivisions : List Subdivision
rwandaSubdivisions : List Subdivision
saudiArabiaSubdivisions : List Subdivision
solomonIslandsSubdivisions : List Subdivision
seychellesSubdivisions : List Subdivision
sudanSubdivisions : List Subdivision
swedenSubdivisions : List Subdivision
singaporeSubdivisions : List Subdivision
sloveniaSubdivisions : List Subdivision
slovakiaSubdivisions : List Subdivision
sierraLeoneSubdivisions : List Subdivision
sanMarinoSubdivisions : List Subdivision
senegalSubdivisions : List Subdivision
somaliaSubdivisions : List Subdivision
surinameSubdivisions : List Subdivision
southSudanSubdivisions : List Subdivision
elSalvadorSubdivisions : List Subdivision
eswatiniSubdivisions : List Subdivision
chadSubdivisions : List Subdivision
togoSubdivisions : List Subdivision
thailandSubdivisions : List Subdivision
tajikistanSubdivisions : List Subdivision
tokelauSubdivisions : List Subdivision
timorLesteSubdivisions : List Subdivision
turkmenistanSubdivisions : List Subdivision
tunisiaSubdivisions : List Subdivision
tongaSubdivisions : List Subdivision
turkeySubdivisions : List Subdivision
tuvaluSubdivisions : List Subdivision
ukraineSubdivisions : List Subdivision
ugandaSubdivisions : List Subdivision
uruguaySubdivisions : List Subdivision
uzbekistanSubdivisions : List Subdivision
virginIslandsUSSubdivisions : List Subdivision
vietNamSubdivisions : List Subdivision
vanuatuSubdivisions : List Subdivision
wallisAndFutunaSubdivisions : List Subdivision
samoaSubdivisions : List Subdivision
yemenSubdivisions : List Subdivision
mayotteSubdivisions : List Subdivision
southAfricaSubdivisions : List Subdivision
zambiaSubdivisions : List Subdivision
zimbabweSubdivisions : List Subdivision

Modules

About this package serverReroutesreroutes.json
Pages and docs rendering from package.elm-lang.org, © 2012-2020 Evan Czaplicki. © 2026 Lamdera