data-standards-0.1.0.1: A collection of standards representable by simple data types.

Safe HaskellSafe
LanguageHaskell98

Data.Standards.ISO.Country.Primary.Numeric

Description

  • Description : The numeric country codes described by ISO 3166-1.
  • Copyright : (c) 2018 Samuel May
  • License : MPL-2.0
  • Maintainer : ag.eitilt@gmail.com
  • Stability : provisional
  • Portability : portable
Synopsis

Documentation

data Numeric Source #

The official numeric codes for countries, preventing collisions but using an arbitrary mapping, translated into a type-safe representation. Unless otherwise specified, all codes are Official.

Constructors

C004

Afghanistan

C008

Albania

C010

Antarctica

C012

Algeria

C016

American Samoa

C020

Andorra

C024

Angola

C028

Antigua and Barbuda

C031

Azerbaijan

C032

Argentina

C036

Australia

C040

Austria

C044

Bahamas (the)

C048

Bahrain

C050

Bangladesh

C051

Armenia

C052

Barbados

C056

Belgium

C060

Bermuda

C064

Bhutan

C068

Bolivia (Plurinational State of)

C070

Bosnia and Herzegovina

C072

Botswana

C074

Bouvet Island

C076

Brazil

C080

Deprecated: Use new code C010 after merge with C216 and C260

Withdrawn: British Antarctic Territory (the)

C084

Belize

C086

British Indian Ocean Territory (the)

C090

Solomon Islands

C092

Virgin Islands (British)

C096

Brunei Darussalam

C100

Bulgaria

C104

Myanmar

C108

Burundi

C112

Belarus

C116

Cambodia

C120

Cameroon

C124

Canada

C128

Deprecated: Use new code C296

Withdrawn: Canton and Enderbury Islands (the)

C132

Cabo Verde

C136

Cayman Islands (the)

C140

Central African Republic (the)

C144

Sri Lanka

C148

Chad

C152

Chile

C156

China

C158

Taiwan (Province of China)

C162

Christmas Island

C166

Cocos (Keeling) Islands (the)

C170

Colombia

C174

Comoros (the)

C175

Mayotte

C178

Congo (the)

C180

Congo (the Democratic Republic of the)

C184

Cook Islands (the)

C188

Costa Rica

C191

Croatia

C192

Cuba

C196

Cyprus

C200

Deprecated: Divided into C203 and C703

Withdrawn: Czechoslovakia

C203

Czechia

C204

Benin

C208

Denmark

C212

Dominica

C214

Dominican Republic (the)

C216

Deprecated: Use new code C010 after merge with C080 and C260

Withdrawn: Dronning Maud Land

C218

Ecuador

C222

El Salvador

C226

Equatorial Guinea

C230

Deprecated: Divided into C231 and C232

Withdrawn: Ethiopia

C231

Ethiopia

C232

Eritrea

C233

Estonia

C234

Faroe Islands (the)

C238

Falkland Islands (the) [Malvinas]

C239

South Georgia and the South Sandwich Islands

C242

Fiji

C246

Finland

C248

Ã…land Islands

C249

Deprecated: Use new code C250

Withdrawn: France, Metropolitan

C250

France

C254

French Guiana

C258

French Polynesia

C260

French Southern Territories (the)

C262

Djibouti

C266

Gabon

C268

Georgia

C270

Gambia (the)

C275

Palestine, State of

C276

Germany

C278

Deprecated: Use new code C276 after merge with C280

Withdrawn: German Democratic Republic (the)

C280

Deprecated: Use new code C276 after merge with C278

Withdrawn: Germany (Federal Republic of)

C288

Ghana

C292

Gibraltar

C296

Kiribati

C300

Greece

C304

Greenland

C308

Grenada

C312

Guadeloupe

C316

Guam

C320

Guatemala

C324

Guinea

C328

Guyana

C332

Haiti

C334

Heard Island and McDonald Islands

C336

Holy See (the)

C340

Honduras

C344

Hong Kong

C348

Hungary

C352

Iceland

C356

India

C360

Indonesia

C364

Iran (Islamic Republic of)

C368

Iraq

C372

Ireland

C376

Israel

C380

Italy

C384

Côte d'Ivoire

C388

Jamaica

C392

Japan

C396

Deprecated: Use new code C581 after merge with C488, C849 and C872

Withdrawn: Johnston Island

C398

Kazakhstan

C400

Jordan

C404

Kenya

C408

Korea (the Democratic People's Republic of)

C410

Korea (the Republic of)

C414

Kuwait

C417

Kyrgyzstan

C418

Lao People's Democratic Republic (the)

C422

Lebanon

C426

Lesotho

C428

Latvia

C430

Liberia

C434

Libya

C438

Liechtenstein

C440

Lithuania

C442

Luxembourg

C446

Macao

C450

Madagascar

C454

Malawi

C458

Malaysia

C462

Maldives

C466

Mali

C470

Malta

C474

Martinique

C478

Mauritania

C480

Mauritius

C484

Mexico

C488

Deprecated: Use new code C581 after merge with C396, C849 and C872

Withdrawn: Midway Islands (the)

C492

Monaco

C496

Mongolia

C498

Moldova (the Republic of)

C499

Montenegro

C500

Montserrat

C504

Morocco

C508

Mozambique

C512

Oman

C516

Namibia

C520

Nauru

C524

Nepal

C528

Netherlands (the)

C530

Deprecated: Divided into C531, C535 and C534

Withdrawn: Netherlands Antilles

C531

Curaçao

C532

Deprecated: Divided into C530 and C533

Withdrawn: Netherlands Antilles

C533

Aruba

C534

Sint Maarten (Dutch part)

C535

Bonaire, Sint Eustatius and Saba

C536

Deprecated: Divided between C368 and C682

Withdrawn: Saudi Arabian-Iraqi neutral zone (the)

C540

New Caledonia

C548

Vanuatu

C554

New Zealand

C558

Nicaragua

C562

Niger (the)

C566

Nigeria

C570

Niue

C574

Norfolk Island

C578

Norway

C580

Northern Mariana Islands (the)

C581

United States Minor Outlying Islands (the)

C582

Deprecated: Divided into C580, C583, C584 and C585

Withdrawn: Pacific Islands (Trust Territory of the)

C583

Micronesia (Federated States of)

C584

Marshall Islands (the)

C585

Palau

C586

Pakistan

C590

Deprecated: Use new code C591 after merge with C594

Withdrawn: Panama

C591

Panama

C594

Deprecated: Use new code C591 after merge with C590

Withdrawn: Panama Canal Zone (the)

C598

Papua New Guinea

C600

Paraguay

C604

Peru

C608

Philippines (the)

C612

Pitcairn

C616

Poland

C620

Portugal

C624

Guinea-Bissau

C626

Timor-Leste

C630

Puerto Rico

C634

Qatar

C638

Réunion

C642

Romania

C643

Russian Federation (the)

C646

Rwanda

C652

Saint Barthélemy

C654

Saint Helena, Ascension and Tristan da Cunha

C658

Deprecated: Divided between C659 and C660

Withdrawn: Saint Kitts-Nevis-Anguilla

C659

Saint Kitts and Nevis

C660

Anguilla

C662

Saint Lucia

C663

Saint Martin (French part)

C666

Saint Pierre and Miquelon

C670

Saint Vincent and the Grenadines

C674

San Marino

C678

Sao Tome and Principe

C682

Saudi Arabia

C686

Senegal

C688

Serbia

C690

Seychelles

C694

Sierra Leone

C698

Deprecated: Use new code C356

Withdrawn: Sikkim

C702

Singapore

C703

Slovakia

C704

Viet Nam

C705

Slovenia

C706

Somalia

C710

South Africa

C714

Deprecated: Use new code C704

Withdrawn: Viet Nam (Democratic Republic of)

C716

Zimbabwe

C720

Deprecated: Use new code C887 after merge with C886

Withdrawn: Yemen (Democratic)

C724

Spain

C728

South Sudan

C729

Sudan (the)

C732

Western Sahara

C736

Deprecated: Divided between C728 and C729

Withdrawn: Sudan (the)

C740

Suriname

C744

Svalbard and Jan Mayen

C748

Eswatini

C752

Sweden

C756

Switzerland

C760

Syrian Arab Republic

C762

Tajikistan

C764

Thailand

C768

Togo

C772

Tokelau

C776

Tonga

C780

Trinidad and Tobago

C784

United Arab Emirates (the)

C788

Tunisia

C792

Turkey

C795

Turkmenistan

C796

Turks and Caicos Islands (the)

C798

Tuvalu

C800

Uganda

C804

Ukraine

C807

Macedonia (the former Yugoslav Republic of)

C810

Deprecated: Divided into C031, C051, C233, C268, C398, C417, C428, C440, C498, C643, C762, C795 and C860

Withdrawn: USSR (the)

C818

Egypt

C826

United Kingdom of Great Britain and Northern Ireland (the)

C831

Guernsey

C832

Jersey

C833

Isle of Man

C834

Tanzania, United Republic of

C840

United States of America (the)

C849

Deprecated: Use new code C581 after merge with C396, C488 and C872

Withdrawn: United States Miscellaneous Pacific Islands (the)

C850

Virgin Islands (U.S.)

C854

Burkina Faso

C858

Uruguay

C860

Uzbekistan

C862

Venezuela (Bolivarian Republic of)

C872

Deprecated: Use new code C581 after merge with C396, C488 and C849

Withdrawn: Wake Island

C876

Wallis and Futuna

C882

Samoa

C886

Deprecated: Use new code C887 after merge with C720

Withdrawn: Yemen Arab Republic

C887

Yemen

C890

Deprecated: Divided into C070, C191, C705, C807 and C891

Withdrawn: Yugoslavia (Socialist Federal Republic of)

C891

Deprecated: Divided into C499 and C688

Withdrawn: Serbia and Montenegro

C894

Zambia

Instances
Bounded Numeric Source # 
Instance details

Defined in Data.Standards.ISO.Country.Primary.Numeric

Enum Numeric Source #

The Int values returned or processed by this instance are the true value of the country code, rather than being incremental.

Instance details

Defined in Data.Standards.ISO.Country.Primary.Numeric

Eq Numeric Source # 
Instance details

Defined in Data.Standards.ISO.Country.Primary.Numeric

Methods

(==) :: Numeric -> Numeric -> Bool #

(/=) :: Numeric -> Numeric -> Bool #

Ord Numeric Source # 
Instance details

Defined in Data.Standards.ISO.Country.Primary.Numeric

Read Numeric Source # 
Instance details

Defined in Data.Standards.ISO.Country.Primary.Numeric

Show Numeric Source # 
Instance details

Defined in Data.Standards.ISO.Country.Primary.Numeric

Hashable Numeric Source # 
Instance details

Defined in Data.Standards.ISO.Country.Primary.Numeric

Methods

hashWithSalt :: Int -> Numeric -> Int #

hash :: Numeric -> Int #

data Status Source #

Categories within the standard describing how much warning is given if a code were to change or be replaced.

Constructors

Official

The code is active, and would only be replaced after a period as a TransitionalReservation.

ExceptionalReservation

The code is reserved and any other use is subject to approval.

TransitionalReservation

The code has been marked for deletion, but is currently still reserved as implementations remove it or migrate to the replacement.

IndeterminateReservation

Use of the code is restricted to historic vehicle registrations, but may still be reassigned at any point.

NotInUse

The code is used by another standard or high-profile organization, and will not be assigned in ISO 3166. Officially, these are listed as an IndeterminateReservation.

Withdrawn

The code was previously included in the standard, but the country it referred to has been reassigned or no longer exists, and so (unless it's Numeric) it may be reused at any point.

codeStatus :: Numeric -> Status Source #

The stability of any particular country code.