| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Data.Standards.ISO.Country.Primary.Alpha3
Description
- Description : The three-character 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
- data Alpha3
- = ABW
- | ADN
- | AFG
- | AFI
- | AGO
- | AIA
- | ALA
- | ALB
- | AND
- | ANT
- | ARE
- | ARG
- | ARM
- | ASC
- | ASM
- | ATA
- | ATB
- | ATF
- | ATG
- | ATN
- | AUS
- | AUT
- | AZE
- | BDI
- | BDS
- | BEL
- | BEN
- | BES
- | BFA
- | BGD
- | BGR
- | BHR
- | BHS
- | BIH
- | BLM
- | BLR
- | BLZ
- | BMU
- | BOL
- | BRA
- | BRB
- | BRN
- | BRU
- | BTN
- | BUR
- | BVT
- | BWA
- | BYS
- | CAF
- | CAN
- | CCK
- | CDN
- | CHE
- | CHL
- | CHN
- | CIV
- | CMR
- | COD
- | COG
- | COK
- | COL
- | COM
- | CPT
- | CPV
- | CRI
- | CSK
- | CTE
- | CUB
- | CUW
- | CXR
- | CYM
- | CYP
- | CZE
- | DDR
- | DEU
- | DGA
- | DHY
- | DJI
- | DMA
- | DNK
- | DOM
- | DZA
- | EAK
- | EAT
- | EAU
- | EAZ
- | ECU
- | EGY
- | ERI
- | ESH
- | ESP
- | EST
- | ETH
- | FIN
- | FJI
- | FLK
- | FRA
- | FRO
- | FSM
- | FXX
- | GAB
- | GBA
- | GBD
- | GBG
- | GBJ
- | GBM
- | GBN
- | GBO
- | GBP
- | GBR
- | GBS
- | GBZ
- | GCA
- | GEO
- | GEL
- | GGY
- | GHA
- | GIB
- | GIN
- | GLP
- | GMB
- | GNB
- | GNQ
- | GRC
- | GRD
- | GRL
- | GTM
- | GUF
- | GUM
- | GUY
- | HKJ
- | HKG
- | HMD
- | HND
- | HRV
- | HTI
- | HUN
- | HVO
- | IDN
- | IMN
- | IND
- | IOT
- | IRL
- | IRN
- | IRQ
- | ISL
- | ISR
- | ITA
- | JAM
- | JEY
- | JOR
- | JPN
- | JTN
- | KAZ
- | KEN
- | KGZ
- | KHM
- | KIR
- | KNA
- | KOR
- | KWT
- | LAO
- | LBN
- | LBR
- | LBY
- | LCA
- | LIE
- | LKA
- | LSO
- | LTU
- | LUX
- | LVA
- | MAC
- | MAF
- | MAL
- | MAR
- | MCO
- | MDA
- | MDG
- | MDV
- | MEX
- | MHL
- | MID
- | MKD
- | MLI
- | MLT
- | MMR
- | MNE
- | MNG
- | MNP
- | MOZ
- | MRT
- | MSR
- | MTQ
- | MUS
- | MWI
- | MYS
- | MYT
- | NAM
- | NCL
- | NER
- | NFK
- | NGA
- | NHB
- | NIC
- | NIU
- | NLD
- | NOR
- | NPL
- | NRU
- | NTZ
- | NZL
- | OMN
- | PAK
- | PAN
- | PCN
- | PCI
- | PCZ
- | PER
- | PHI
- | PHL
- | PLW
- | PNG
- | POL
- | PRI
- | PRK
- | PRT
- | PRY
- | PSE
- | PUS
- | PYF
- | QAT
- | RCA
- | RCB
- | RCH
- | REU
- | RHO
- | RMM
- | RNR
- | ROK
- | ROM
- | ROU
- | RSM
- | RSR
- | RUS
- | RWA
- | SAU
- | SCG
- | SDN
- | SEN
- | SGP
- | SGS
- | SHN
- | SJM
- | SKM
- | SLB
- | SLE
- | SLO
- | SLV
- | SME
- | SMR
- | SOM
- | SPM
- | SRB
- | SSD
- | STP
- | SUN
- | SUR
- | SVK
- | SVN
- | SWE
- | SWZ
- | SXM
- | SYC
- | SYR
- | TAA
- | TCA
- | TCD
- | TGO
- | THA
- | TJK
- | TKL
- | TKM
- | TLS
- | TMN
- | TMP
- | TON
- | TTO
- | TUN
- | TUR
- | TUV
- | TWN
- | TZA
- | UGA
- | UKR
- | UMI
- | UNA
- | UNK
- | UNO
- | URY
- | USA
- | UZB
- | VAT
- | VCT
- | VDR
- | VEN
- | VGB
- | VIR
- | VNM
- | VUT
- | WAG
- | WAK
- | WAL
- | WAN
- | WLF
- | WSM
- | YEM
- | YMD
- | YUG
- | ZAF
- | ZAR
- | ZMB
- | ZRE
- | ZWE
- data Status
- codeStatus :: Alpha3 -> Status
Documentation
The official codes for countries with less collisions and therefore more
similar to the full name, translated into a type-safe representation. Unless
otherwise specified, all codes are Official.
Constructors
| ABW | Aruba |
| ADN | Deprecated: Use new code YEM
|
| AFG | Afghanistan |
| AFI | Deprecated: Use new code DJI or ISO 3166-3 code AIDJ
|
| AGO | Angola |
| AIA | Anguilla |
| ALA | Åland Islands |
| ALB | Albania |
| AND | Andorra |
| ANT | Deprecated: Divided into BES, CUW and SXM, or use ISO 3166-3 code ANHH
|
| ARE | United Arab Emirates (the) |
| ARG | Argentina |
| ARM | Armenia |
| ASC |
|
| ASM | American Samoa |
| ATA | Antarctica |
| ATB | Deprecated: Use new code ATA or ISO 3166-3 code BQAQ
|
| ATF | French Southern Territories (the) |
| ATG | Antigua and Barbuda |
| ATN | Deprecated: Use new code ATA or ISO 3166-3 code NQAQ
|
| AUS | Australia |
| AUT | Austria |
| AZE | Azerbaijan |
| BDI | Burundi |
| BDS | Deprecated: Use official code BRB
|
| BEL | Belgium |
| BEN | Benin |
| BES | Bonaire, Sint Eustatius and Saba |
| BFA | Burkina Faso |
| BGD | Bangladesh |
| BGR | Bulgaria |
| BHR | Bahrain |
| BHS | Bahamas (the) |
| BIH | Bosnia and Herzegovina |
| BLM | Saint Barthélemy |
| BLR | Belarus |
| BLZ | Belize |
| BMU | Bermuda |
| BOL | Bolivia (Plurinational State of) |
| BRA | Brazil |
| BRB | Barbados |
| BRN | Brunei Darussalam |
| BRU | Deprecated: Use official code BRN
|
| BTN | Bhutan |
| BUR | Deprecated: Use new code MMR or ISO 3166-3 code BUMM
|
| BVT | Bouvet Island |
| BWA | Botswana |
| BYS | Deprecated: Use new code BLR or ISO 3166-3 code BYAA
|
| CAF | Central African Republic (the) |
| CAN | Canada |
| CCK | Cocos (Keeling) Islands (the) |
| CDN | Deprecated: Use official code CAN
|
| CHE | Switzerland |
| CHL | Chile |
| CHN | China |
| CIV | Côte d'Ivoire |
| CMR | Cameroon |
| COD | Congo (the Democratic Republic of the) |
| COG | Congo (the) |
| COK | Cook Islands (the) |
| COL | Colombia |
| COM | Comoros (the) |
| CPT |
|
| CPV | Cabo Verde |
| CRI | Costa Rica |
| CSK | Deprecated: Divided into CZE and SVK, or use ISO 3166-3 code CSHH
|
| CTE | Deprecated: Use new code KIR or ISO 3166-3 code CTKI
|
| CUB | Cuba |
| CUW | Curaçao |
| CXR | Christmas Island |
| CYM | Cayman Islands (the) |
| CYP | Cyprus |
| CZE | Czechia |
| DDR | Deprecated: Use new code DEU or ISO 3166-3 code DDDE
|
| DEU | Germany |
| DGA |
|
| DHY | Deprecated: Use new code BEN or ISO 3166-3 code DYBJ
|
| DJI | Djibouti |
| DMA | Dominica |
| DNK | Denmark |
| DOM | Dominican Republic (the) |
| DZA | Algeria |
| EAK | Deprecated: Use official code KEN
|
| EAT | Deprecated: Use code for entire country TZA
|
| EAU | Deprecated: Use official code UGA
|
| EAZ | Deprecated: Use code for entire country TZA
|
| ECU | Ecuador |
| EGY | Egypt |
| ERI | Eritrea |
| ESH | Western Sahara |
| ESP | Spain |
| EST | Estonia |
| ETH | Ethiopia |
| FIN | Finland |
| FJI | Fiji |
| FLK | Falkland Islands (the) [Malvinas] |
| FRA | France |
| FRO | Faroe Islands (the) |
| FSM | Micronesia (Federated States of) |
| FXX |
|
| GAB | Gabon |
| GBA | Deprecated: Use code for entire region GGY
|
| GBD | Warning: Not an official ISO 3166-1 code
|
| GBG | Deprecated: Use official code GGY
|
| GBJ | Deprecated: Use official code JEY
|
| GBM | Deprecated: Use official code IMN
|
| GBN | Warning: Not an official ISO 3166-1 code
|
| GBO | Warning: Not an official ISO 3166-1 code
|
| GBP | Warning: Not an official ISO 3166-1 code
|
| GBR | United Kingdom of Great Britain and Northern Ireland (the) |
| GBS | Warning: Not an official ISO 3166-1 code
|
| GBZ | Deprecated: Use official code GIB
|
| GCA | Deprecated: Use official code GTM
|
| GEO | Georgia |
| GEL | Deprecated: Divided into KIR and TUV, or use ISO 3166-3 code GEHH
|
| GGY | Guernsey |
| GHA | Ghana |
| GIB | Gibraltar |
| GIN | Guinea |
| GLP | Guadeloupe |
| GMB | Gambia (the) |
| GNB | Guinea-Bissau |
| GNQ | Equatorial Guinea |
| GRC | Greece |
| GRD | Grenada |
| GRL | Greenland |
| GTM | Guatemala |
| GUF | French Guiana |
| GUM | Guam |
| GUY | Guyana |
| HKJ | Deprecated: Use official code JOR
|
| HKG | Hong Kong |
| HMD | Heard Island and McDonald Islands |
| HND | Honduras |
| HRV | Croatia |
| HTI | Haiti |
| HUN | Hungary |
| HVO | Deprecated: Use new code BFA or ISO 3166-3 code HVBF
|
| IDN | Indonesia |
| IMN | Isle of Man |
| IND | India |
| IOT | British Indian Ocean Territory (the) |
| IRL | Ireland |
| IRN | Iran (Islamic Republic of) |
| IRQ | Iraq |
| ISL | Iceland |
| ISR | Israel |
| ITA | Italy |
| JAM | Jamaica |
| JEY | Jersey |
| JOR | Jordan |
| JPN | Japan |
| JTN | Deprecated: Use new code UMI or ISO 3166-3 code JTUM
|
| KAZ | Kazakhstan |
| KEN | Kenya |
| KGZ | Kyrgyzstan |
| KHM | Cambodia |
| KIR | Kiribati |
| KNA | Saint Kitts and Nevis |
| KOR | Korea (the Republic of) |
| KWT | Kuwait |
| LAO | Lao People's Democratic Republic (the) |
| LBN | Lebanon |
| LBR | Liberia |
| LBY | Libya |
| LCA | Saint Lucia |
| LIE | Liechtenstein |
| LKA | Sri Lanka |
| LSO | Lesotho |
| LTU | Lithuania |
| LUX | Luxembourg |
| LVA | Latvia |
| MAC | Macao |
| MAF | Saint Martin (French part) |
| MAL | Deprecated: Use official code MYS
|
| MAR | Morocco |
| MCO | Monaco |
| MDA | Moldova (the Republic of) |
| MDG | Madagascar |
| MDV | Maldives |
| MEX | Mexico |
| MHL | Marshall Islands (the) |
| MID | Deprecated: Use new code UMI or ISO 3166-3 code MIUM
|
| MKD | Macedonia (the former Yugoslav Republic of) |
| MLI | Mali |
| MLT | Malta |
| MMR | Myanmar |
| MNE | Montenegro |
| MNG | Mongolia |
| MNP | Northern Mariana Islands (the) |
| MOZ | Mozambique |
| MRT | Mauritania |
| MSR | Montserrat |
| MTQ | Martinique |
| MUS | Mauritius |
| MWI | Malawi |
| MYS | Malaysia |
| MYT | Mayotte |
| NAM | Namibia |
| NCL | New Caledonia |
| NER | Niger (the) |
| NFK | Norfolk Island |
| NGA | Nigeria |
| NHB | Deprecated: Use new code VUT or ISO 3166-3 code NHVU
|
| NIC | Nicaragua |
| NIU | Niue |
| NLD | Netherlands (the) |
| NOR | Norway |
| NPL | Nepal |
| NRU | Nauru |
| NTZ | Deprecated: Divided between IRQ and SAU, or use ISO 3166-3 code NTHH
|
| NZL | New Zealand |
| OMN | Oman |
| PAK | Pakistan |
| PAN | Panama |
| PCN | Pitcairn |
| PCI | Deprecated: Divided into FSM, MHL, MNP and PLW, or use ISO 3166-3 code PCHH
|
| PCZ | Deprecated: Use new code PAN or ISO 3166-3 code PZPA
|
| PER | Peru |
| PHI | Deprecated: Use new code PHL
|
| PHL | Philippines (the) |
| PLW | Palau |
| PNG | Papua New Guinea |
| POL | Poland |
| PRI | Puerto Rico |
| PRK | Korea (the Democratic People's Republic of) |
| PRT | Portugal |
| PRY | Paraguay |
| PSE | Palestine, State of |
| PUS | Deprecated: Use new code UMI or ISO 3166-3 code PUUM
|
| PYF | French Polynesia |
| QAT | Qatar |
| RCA | Deprecated: Use official code CAF
|
| RCB | Deprecated: Use official code COG
|
| RCH | Deprecated: Use official code CHL
|
| REU | Réunion |
| RHO | Deprecated: Use new code ZWE or ISO 3166-3 code RHZW
|
| RMM | Deprecated: Use official code MLI
|
| RNR | Deprecated: Use official code ZMB
|
| ROK | Deprecated: Use official code KOR
|
| ROM | Deprecated: Use new code ROU
|
| ROU | Romania |
| RSM | Deprecated: Use official code SMR
|
| RSR | Deprecated: Use official code ZWE
|
| RUS | Russian Federation (the) |
| RWA | Rwanda |
| SAU | Saudi Arabia |
| SCG | Deprecated: Divided into MNE and SRB, or use ISO 3166-3 code CSXX
|
| SDN | Sudan (the) |
| SEN | Senegal |
| SGP | Singapore |
| SGS | South Georgia and the South Sandwich Islands |
| SHN | Saint Helena, Ascension and Tristan da Cunha |
| SJM | Svalbard and Jan Mayen |
| SKM | Deprecated: Use new code IND or ISO 3166-3 code SKIN
|
| SLB | Solomon Islands |
| SLE | Sierra Leone |
| SLO | Deprecated: Use official code SVN
|
| SLV | El Salvador |
| SME | Deprecated: Use official code SUR
|
| SMR | San Marino |
| SOM | Somalia |
| SPM | Saint Pierre and Miquelon |
| SRB | Serbia |
| SSD | South Sudan |
| STP | Sao Tome and Principe |
| SUN |
|
| SUR | Suriname |
| SVK | Slovakia |
| SVN | Slovenia |
| SWE | Sweden |
| SWZ | Eswatini |
| SXM | Sint Maarten (Dutch part) |
| SYC | Seychelles |
| SYR | Syrian Arab Republic |
| TAA |
|
| TCA | Turks and Caicos Islands (the) |
| TCD | Chad |
| TGO | Togo |
| THA | Thailand |
| TJK | Tajikistan |
| TKL | Tokelau |
| TKM | Turkmenistan |
| TLS | Timor-Leste |
| TMN | Deprecated: Use official code TKN
|
| TMP | Deprecated: Use new code TLS or ISO 3166-3 code TPTL
|
| TON | Tonga |
| TTO | Trinidad and Tobago |
| TUN | Tunisia |
| TUR | Turkey |
| TUV | Tuvalu |
| TWN | Taiwan (Province of China) |
| TZA | Tanzania, United Republic of |
| UGA | Uganda |
| UKR | Ukraine |
| UMI | United States Minor Outlying Islands (the) |
| UNA | Warning: Not an official ISO 3166-1 code
|
| UNK | Warning: Not an official ISO 3166-1 code
|
| UNO | Warning: Not an official ISO 3166-1 code
|
| URY | Uruguay |
| USA | United States of America (the) |
| UZB | Uzbekistan |
| VAT | Holy See (the) |
| VCT | Saint Vincent and the Grenadines |
| VDR | Deprecated: Use new code VNM or ISO 3166-3 code VDVN
|
| VEN | Venezuela (Bolivarian Republic of) |
| VGB | Virgin Islands (British) |
| VIR | Virgin Islands (U.S.) |
| VNM | Viet Nam |
| VUT | Vanuatu |
| WAG | Deprecated: Use official code GMB
|
| WAK | Deprecated: Use new code UMI or ISO 3166-3 code WKUM
|
| WAL | Deprecated: Use official code SLE
|
| WAN | Deprecated: Use official code NGA
|
| WLF | Wallis and Futuna |
| WSM | Samoa |
| YEM | Yemen |
| YMD | Deprecated: Use new code YEM or ISO 3166-3 code YDYE
|
| YUG | Deprecated: Use ISO 3166-3 code YUCS
|
| ZAF | South Africa |
| ZAR | Deprecated: Use new code COD or ISO 3166-3 code ZRCD
|
| ZMB | Zambia |
| ZRE | Deprecated: Use official code ZAR, new code COD or ISO 3166-3 code ZRCD
|
| ZWE | Zimbabwe |
Instances
| Bounded Alpha3 Source # | |
| Enum Alpha3 Source # | |
Defined in Data.Standards.ISO.Country.Primary.Alpha3 | |
| Eq Alpha3 Source # | |
| Ord Alpha3 Source # | |
Defined in Data.Standards.ISO.Country.Primary.Alpha3 | |
| Read Alpha3 Source # | |
| Show Alpha3 Source # | |
| Hashable Alpha3 Source # | |
Defined in Data.Standards.ISO.Country.Primary.Alpha3 | |
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
|
| 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
|
| 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
|
codeStatus :: Alpha3 -> Status Source #
The stability of any particular country code.