-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | A collection of standards representable by simple data types. -- -- Type-safe representations of the country codes described by the ISO -- 3166-1 specification. @package data-standards @version 0.1.0.2 -- | module Data.Standards.ISO.Country.Primary.Alpha3 -- | 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. data Alpha3 -- | Aruba ABW :: Alpha3 -- | IndeterminateReservation: Aden (road vehicles) -- | Deprecated: Use new code YEM ADN :: Alpha3 -- | Afghanistan AFG :: Alpha3 -- | Withdrawn: French Afar and Issas -- | Deprecated: Use new code DJI or ISO 3166-3 code AIDJ AFI :: Alpha3 -- | Angola AGO :: Alpha3 -- | Anguilla AIA :: Alpha3 -- | Åland Islands ALA :: Alpha3 -- | Albania ALB :: Alpha3 -- | Andorra AND :: Alpha3 -- | TransitionalReservation: Netherlands Antilles -- | Deprecated: Divided into BES, CUW and SXM, or use ISO 3166-3 code -- ANHH ANT :: Alpha3 -- | United Arab Emirates (the) ARE :: Alpha3 -- | Argentina ARG :: Alpha3 -- | Armenia ARM :: Alpha3 -- | ExceptionalReservation: Ascension Island ASC :: Alpha3 -- | American Samoa ASM :: Alpha3 -- | Antarctica ATA :: Alpha3 -- | Withdrawn: British Antarctic Territory (the) -- | Deprecated: Use new code ATA or ISO 3166-3 code BQAQ ATB :: Alpha3 -- | French Southern Territories (the) ATF :: Alpha3 -- | Antigua and Barbuda ATG :: Alpha3 -- | Withdrawn: Dronning Maud Land -- | Deprecated: Use new code ATA or ISO 3166-3 code NQAQ ATN :: Alpha3 -- | Australia AUS :: Alpha3 -- | Austria AUT :: Alpha3 -- | Azerbaijan AZE :: Alpha3 -- | Burundi BDI :: Alpha3 -- | IndeterminateReservation: Barbados (road vehicles) -- | Deprecated: Use official code BRB BDS :: Alpha3 -- | Belgium BEL :: Alpha3 -- | Benin BEN :: Alpha3 -- | Bonaire, Sint Eustatius and Saba BES :: Alpha3 -- | Burkina Faso BFA :: Alpha3 -- | Bangladesh BGD :: Alpha3 -- | Bulgaria BGR :: Alpha3 -- | Bahrain BHR :: Alpha3 -- | Bahamas (the) BHS :: Alpha3 -- | Bosnia and Herzegovina BIH :: Alpha3 -- | Saint Barthélemy BLM :: Alpha3 -- | Belarus BLR :: Alpha3 -- | Belize BLZ :: Alpha3 -- | Bermuda BMU :: Alpha3 -- | Bolivia (Plurinational State of) BOL :: Alpha3 -- | Brazil BRA :: Alpha3 -- | Barbados BRB :: Alpha3 -- | Brunei Darussalam BRN :: Alpha3 -- | IndeterminateReservation: Brunai (road vehicles) -- | Deprecated: Use official code BRN BRU :: Alpha3 -- | Bhutan BTN :: Alpha3 -- | TransitionalReservation: Burma -- | Deprecated: Use new code MMR or ISO 3166-3 code BUMM BUR :: Alpha3 -- | Bouvet Island BVT :: Alpha3 -- | Botswana BWA :: Alpha3 -- | TransitionalReservation: Byelorussian SSR -- | Deprecated: Use new code BLR or ISO 3166-3 code BYAA BYS :: Alpha3 -- | Central African Republic (the) CAF :: Alpha3 -- | Canada CAN :: Alpha3 -- | Cocos (Keeling) Islands (the) CCK :: Alpha3 -- | IndeterminateReservation: Canada (road vehicles) -- | Deprecated: Use official code CAN CDN :: Alpha3 -- | Switzerland CHE :: Alpha3 -- | Chile CHL :: Alpha3 -- | China CHN :: Alpha3 -- | Côte d'Ivoire CIV :: Alpha3 -- | Cameroon CMR :: Alpha3 -- | Congo (the Democratic Republic of the) COD :: Alpha3 -- | Congo (the) COG :: Alpha3 -- | Cook Islands (the) COK :: Alpha3 -- | Colombia COL :: Alpha3 -- | Comoros (the) COM :: Alpha3 -- | ExceptionalReservation: Clipperton Island CPT :: Alpha3 -- | Cabo Verde CPV :: Alpha3 -- | Costa Rica CRI :: Alpha3 -- | TransitionalReservation: Czechoslovakia -- | Deprecated: Divided into CZE and SVK, or use ISO 3166-3 code -- CSHH CSK :: Alpha3 -- | Withdrawn: Canton and Enderbury Islands (the) -- | Deprecated: Use new code KIR or ISO 3166-3 code CTKI CTE :: Alpha3 -- | Cuba CUB :: Alpha3 -- | Curaçao CUW :: Alpha3 -- | Christmas Island CXR :: Alpha3 -- | Cayman Islands (the) CYM :: Alpha3 -- | Cyprus CYP :: Alpha3 -- | Czechia CZE :: Alpha3 -- | Withdrawn: German Democratic Republic (the) -- | Deprecated: Use new code DEU or ISO 3166-3 code DDDE DDR :: Alpha3 -- | Germany DEU :: Alpha3 -- | ExceptionalReservation: Diego Garcia DGA :: Alpha3 -- | Withdrawn: Dahomey -- | Deprecated: Use new code BEN or ISO 3166-3 code DYBJ DHY :: Alpha3 -- | Djibouti DJI :: Alpha3 -- | Dominica DMA :: Alpha3 -- | Denmark DNK :: Alpha3 -- | Dominican Republic (the) DOM :: Alpha3 -- | Algeria DZA :: Alpha3 -- | IndeterminateReservation: Kenya (road vehicles) -- | Deprecated: Use official code KEN EAK :: Alpha3 -- | IndeterminateReservation: Tanganyika (road vehicles) -- | Deprecated: Use code for entire country TZA EAT :: Alpha3 -- | IndeterminateReservation: Uganda (road vehicles) -- | Deprecated: Use official code UGA EAU :: Alpha3 -- | IndeterminateReservation: Zanzibar (road vehicles) -- | Deprecated: Use code for entire country TZA EAZ :: Alpha3 -- | Ecuador ECU :: Alpha3 -- | Egypt EGY :: Alpha3 -- | Eritrea ERI :: Alpha3 -- | Western Sahara ESH :: Alpha3 -- | Spain ESP :: Alpha3 -- | Estonia EST :: Alpha3 -- | Ethiopia ETH :: Alpha3 -- | Finland FIN :: Alpha3 -- | Fiji FJI :: Alpha3 -- | Falkland Islands (the) [Malvinas] FLK :: Alpha3 -- | France FRA :: Alpha3 -- | Faroe Islands (the) FRO :: Alpha3 -- | Micronesia (Federated States of) FSM :: Alpha3 -- | ExceptionalReservation: France, Metropolitan FXX :: Alpha3 -- | Gabon GAB :: Alpha3 -- | IndeterminateReservation: Alderney (road vehicles) -- | Deprecated: Use code for entire region GGY GBA :: Alpha3 -- | NotInUse: British Overseas Territories (passport) -- | Warning: Not an official ISO 3166-1 code GBD :: Alpha3 -- | IndeterminateReservation: Guernsey (road vehicles) -- | Deprecated: Use official code GGY GBG :: Alpha3 -- | IndeterminateReservation: Jersey (road vehicles) -- | Deprecated: Use official code JEY GBJ :: Alpha3 -- | IndeterminateReservation: Isle of Man (road vehicles) -- | Deprecated: Use official code IMN GBM :: Alpha3 -- | NotInUse: Overseas British national (passport) -- | Warning: Not an official ISO 3166-1 code GBN :: Alpha3 -- | NotInUse: Overseas Britisn citizen (passport) -- | Warning: Not an official ISO 3166-1 code GBO :: Alpha3 -- | NotInUse: British protected person (passport) -- | Warning: Not an official ISO 3166-1 code GBP :: Alpha3 -- | United Kingdom of Great Britain and Northern Ireland (the) GBR :: Alpha3 -- | NotInUse: British subject (passport) -- | Warning: Not an official ISO 3166-1 code GBS :: Alpha3 -- | IndeterminateReservation: Gibraltar (road vehicles) -- | Deprecated: Use official code GIB GBZ :: Alpha3 -- | IndeterminateReservation: Guatemala (road vehicles) -- | Deprecated: Use official code GTM GCA :: Alpha3 -- | Georgia GEO :: Alpha3 -- | Withdrawn: Gilbert and Ellice Islands (the) -- | Deprecated: Divided into KIR and TUV, or use ISO 3166-3 code -- GEHH GEL :: Alpha3 -- | Guernsey GGY :: Alpha3 -- | Ghana GHA :: Alpha3 -- | Gibraltar GIB :: Alpha3 -- | Guinea GIN :: Alpha3 -- | Guadeloupe GLP :: Alpha3 -- | Gambia (the) GMB :: Alpha3 -- | Guinea-Bissau GNB :: Alpha3 -- | Equatorial Guinea GNQ :: Alpha3 -- | Greece GRC :: Alpha3 -- | Grenada GRD :: Alpha3 -- | Greenland GRL :: Alpha3 -- | Guatemala GTM :: Alpha3 -- | French Guiana GUF :: Alpha3 -- | Guam GUM :: Alpha3 -- | Guyana GUY :: Alpha3 -- | IndeterminateReservation: Jordan (road vehicles) -- | Deprecated: Use official code JOR HKJ :: Alpha3 -- | Hong Kong HKG :: Alpha3 -- | Heard Island and McDonald Islands HMD :: Alpha3 -- | Honduras HND :: Alpha3 -- | Croatia HRV :: Alpha3 -- | Haiti HTI :: Alpha3 -- | Hungary HUN :: Alpha3 -- | Withdrawn: Upper Volta -- | Deprecated: Use new code BFA or ISO 3166-3 code HVBF HVO :: Alpha3 -- | Indonesia IDN :: Alpha3 -- | Isle of Man IMN :: Alpha3 -- | India IND :: Alpha3 -- | British Indian Ocean Territory (the) IOT :: Alpha3 -- | Ireland IRL :: Alpha3 -- | Iran (Islamic Republic of) IRN :: Alpha3 -- | Iraq IRQ :: Alpha3 -- | Iceland ISL :: Alpha3 -- | Israel ISR :: Alpha3 -- | Italy ITA :: Alpha3 -- | Jamaica JAM :: Alpha3 -- | Jersey JEY :: Alpha3 -- | Jordan JOR :: Alpha3 -- | Japan JPN :: Alpha3 -- | Withdrawn: Johnston Island -- | Deprecated: Use new code UMI or ISO 3166-3 code JTUM JTN :: Alpha3 -- | Kazakhstan KAZ :: Alpha3 -- | Kenya KEN :: Alpha3 -- | Kyrgyzstan KGZ :: Alpha3 -- | Cambodia KHM :: Alpha3 -- | Kiribati KIR :: Alpha3 -- | Saint Kitts and Nevis KNA :: Alpha3 -- | Korea (the Republic of) KOR :: Alpha3 -- | Kuwait KWT :: Alpha3 -- | Lao People's Democratic Republic (the) LAO :: Alpha3 -- | Lebanon LBN :: Alpha3 -- | Liberia LBR :: Alpha3 -- | Libya LBY :: Alpha3 -- | Saint Lucia LCA :: Alpha3 -- | Liechtenstein LIE :: Alpha3 -- | Sri Lanka LKA :: Alpha3 -- | Lesotho LSO :: Alpha3 -- | Lithuania LTU :: Alpha3 -- | Luxembourg LUX :: Alpha3 -- | Latvia LVA :: Alpha3 -- | Macao MAC :: Alpha3 -- | Saint Martin (French part) MAF :: Alpha3 -- | IndeterminateReservation: Malaysia (road vehicles) -- | Deprecated: Use official code MYS MAL :: Alpha3 -- | Morocco MAR :: Alpha3 -- | Monaco MCO :: Alpha3 -- | Moldova (the Republic of) MDA :: Alpha3 -- | Madagascar MDG :: Alpha3 -- | Maldives MDV :: Alpha3 -- | Mexico MEX :: Alpha3 -- | Marshall Islands (the) MHL :: Alpha3 -- | Withdrawn: Midway Islands (the) -- | Deprecated: Use new code UMI or ISO 3166-3 code MIUM MID :: Alpha3 -- | Macedonia (the former Yugoslav Republic of) MKD :: Alpha3 -- | Mali MLI :: Alpha3 -- | Malta MLT :: Alpha3 -- | Myanmar MMR :: Alpha3 -- | Montenegro MNE :: Alpha3 -- | Mongolia MNG :: Alpha3 -- | Northern Mariana Islands (the) MNP :: Alpha3 -- | Mozambique MOZ :: Alpha3 -- | Mauritania MRT :: Alpha3 -- | Montserrat MSR :: Alpha3 -- | Martinique MTQ :: Alpha3 -- | Mauritius MUS :: Alpha3 -- | Malawi MWI :: Alpha3 -- | Malaysia MYS :: Alpha3 -- | Mayotte MYT :: Alpha3 -- | Namibia NAM :: Alpha3 -- | New Caledonia NCL :: Alpha3 -- | Niger (the) NER :: Alpha3 -- | Norfolk Island NFK :: Alpha3 -- | Nigeria NGA :: Alpha3 -- | Withdrawn: New Hebrides -- | Deprecated: Use new code VUT or ISO 3166-3 code NHVU NHB :: Alpha3 -- | Nicaragua NIC :: Alpha3 -- | Niue NIU :: Alpha3 -- | Netherlands (the) NLD :: Alpha3 -- | Norway NOR :: Alpha3 -- | Nepal NPL :: Alpha3 -- | Nauru NRU :: Alpha3 -- | TransitionalReservation: Saudi Arabian-Iraqi neutral zone (the) -- | Deprecated: Divided between IRQ and SAU, or use ISO 3166-3 code -- NTHH NTZ :: Alpha3 -- | New Zealand NZL :: Alpha3 -- | Oman OMN :: Alpha3 -- | Pakistan PAK :: Alpha3 -- | Panama PAN :: Alpha3 -- | Pitcairn PCN :: Alpha3 -- | Withdrawn: Pacific Islands (Trust Territory of the) -- | Deprecated: Divided into FSM, MHL, MNP and PLW, or use ISO 3166-3 -- code PCHH PCI :: Alpha3 -- | Withdrawn: Panama Canal Zone (the) -- | Deprecated: Use new code PAN or ISO 3166-3 code PZPA PCZ :: Alpha3 -- | Peru PER :: Alpha3 -- | Withdrawn: Philippines -- | Deprecated: Use new code PHL PHI :: Alpha3 -- | Philippines (the) PHL :: Alpha3 -- | Palau PLW :: Alpha3 -- | Papua New Guinea PNG :: Alpha3 -- | Poland POL :: Alpha3 -- | Puerto Rico PRI :: Alpha3 -- | Korea (the Democratic People's Republic of) PRK :: Alpha3 -- | Portugal PRT :: Alpha3 -- | Paraguay PRY :: Alpha3 -- | Palestine, State of PSE :: Alpha3 -- | Withdrawn: United States Miscellaneous Pacific Islands (the) -- | Deprecated: Use new code UMI or ISO 3166-3 code PUUM PUS :: Alpha3 -- | French Polynesia PYF :: Alpha3 -- | Qatar QAT :: Alpha3 -- | IndeterminateReservation: Central African Republic (road -- vehicles) -- | Deprecated: Use official code CAF RCA :: Alpha3 -- | IndeterminateReservation: Congo, People's Republic of (road -- vehicles) -- | Deprecated: Use official code COG RCB :: Alpha3 -- | IndeterminateReservation: Chile (road vehicles) -- | Deprecated: Use official code CHL RCH :: Alpha3 -- | Réunion REU :: Alpha3 -- | Withdrawn: Southern Rhodesia -- | Deprecated: Use new code ZWE or ISO 3166-3 code RHZW RHO :: Alpha3 -- | IndeterminateReservation: Mali (road vehicles) -- | Deprecated: Use official code MLI RMM :: Alpha3 -- | IndeterminateReservation: Zambia (road vehicles) -- | Deprecated: Use official code ZMB RNR :: Alpha3 -- | IndeterminateReservation: Korea, Republic of (road vehicles) -- | Deprecated: Use official code KOR ROK :: Alpha3 -- | TransitionalReservation: Romania -- | Deprecated: Use new code ROU ROM :: Alpha3 -- | Romania ROU :: Alpha3 -- | IndeterminateReservation: San Marino (road vehicles) -- | Deprecated: Use official code SMR RSM :: Alpha3 -- | IndeterminateReservation: Zimbabwe (road vehicles) -- | Deprecated: Use official code ZWE RSR :: Alpha3 -- | Russian Federation (the) RUS :: Alpha3 -- | Rwanda RWA :: Alpha3 -- | Saudi Arabia SAU :: Alpha3 -- | TransitionalReservation: Serbia and Montenegro -- | Deprecated: Divided into MNE and SRB, or use ISO 3166-3 code -- CSXX SCG :: Alpha3 -- | Sudan (the) SDN :: Alpha3 -- | Senegal SEN :: Alpha3 -- | Singapore SGP :: Alpha3 -- | South Georgia and the South Sandwich Islands SGS :: Alpha3 -- | Saint Helena, Ascension and Tristan da Cunha SHN :: Alpha3 -- | Svalbard and Jan Mayen SJM :: Alpha3 -- | Withdrawn: Sikkim -- | Deprecated: Use new code IND or ISO 3166-3 code SKIN SKM :: Alpha3 -- | Solomon Islands SLB :: Alpha3 -- | Sierra Leone SLE :: Alpha3 -- | IndeterminateReservation: Slovenia (road vehicles) -- | Deprecated: Use official code SVN SLO :: Alpha3 -- | El Salvador SLV :: Alpha3 -- | IndeterminateReservation: Suriname (road vehicles) -- | Deprecated: Use official code SUR SME :: Alpha3 -- | San Marino SMR :: Alpha3 -- | Somalia SOM :: Alpha3 -- | Saint Pierre and Miquelon SPM :: Alpha3 -- | Serbia SRB :: Alpha3 -- | South Sudan SSD :: Alpha3 -- | Sao Tome and Principe STP :: Alpha3 -- | ExceptionalReservation: USSR (the) SUN :: Alpha3 -- | Suriname SUR :: Alpha3 -- | Slovakia SVK :: Alpha3 -- | Slovenia SVN :: Alpha3 -- | Sweden SWE :: Alpha3 -- | Eswatini SWZ :: Alpha3 -- | Sint Maarten (Dutch part) SXM :: Alpha3 -- | Seychelles SYC :: Alpha3 -- | Syrian Arab Republic SYR :: Alpha3 -- | ExceptionalReservation: Tristan da Cunha TAA :: Alpha3 -- | Turks and Caicos Islands (the) TCA :: Alpha3 -- | Chad TCD :: Alpha3 -- | Togo TGO :: Alpha3 -- | Thailand THA :: Alpha3 -- | Tajikistan TJK :: Alpha3 -- | Tokelau TKL :: Alpha3 -- | Turkmenistan TKM :: Alpha3 -- | Timor-Leste TLS :: Alpha3 -- | IndeterminateReservation: Turkmenistan (road vehicles) -- | Deprecated: Use official code TKN TMN :: Alpha3 -- | TransitionalReservation: East Timor -- | Deprecated: Use new code TLS or ISO 3166-3 code TPTL TMP :: Alpha3 -- | Tonga TON :: Alpha3 -- | Trinidad and Tobago TTO :: Alpha3 -- | Tunisia TUN :: Alpha3 -- | Turkey TUR :: Alpha3 -- | Tuvalu TUV :: Alpha3 -- | Taiwan (Province of China) TWN :: Alpha3 -- | Tanzania, United Republic of TZA :: Alpha3 -- | Uganda UGA :: Alpha3 -- | Ukraine UKR :: Alpha3 -- | United States Minor Outlying Islands (the) UMI :: Alpha3 -- | NotInUse: United Nations Specialized Agency (passport) -- | Warning: Not an official ISO 3166-1 code UNA :: Alpha3 -- | NotInUse: United Nations Interim Administration in Kosovo -- (passport) -- | Warning: Not an official ISO 3166-1 code UNK :: Alpha3 -- | NotInUse: United Nations (passport) -- | Warning: Not an official ISO 3166-1 code UNO :: Alpha3 -- | Uruguay URY :: Alpha3 -- | United States of America (the) USA :: Alpha3 -- | Uzbekistan UZB :: Alpha3 -- | Holy See (the) VAT :: Alpha3 -- | Saint Vincent and the Grenadines VCT :: Alpha3 -- | Withdrawn: Viet Nam (Democratic Republic of) -- | Deprecated: Use new code VNM or ISO 3166-3 code VDVN VDR :: Alpha3 -- | Venezuela (Bolivarian Republic of) VEN :: Alpha3 -- | Virgin Islands (British) VGB :: Alpha3 -- | Virgin Islands (U.S.) VIR :: Alpha3 -- | Viet Nam VNM :: Alpha3 -- | Vanuatu VUT :: Alpha3 -- | IndeterminateReservation: Gambia (road vehicles) -- | Deprecated: Use official code GMB WAG :: Alpha3 -- | Withdrawn: Wake Island -- | Deprecated: Use new code UMI or ISO 3166-3 code WKUM WAK :: Alpha3 -- | IndeterminateReservation: Sierra Leone (road vehicles) -- | Deprecated: Use official code SLE WAL :: Alpha3 -- | IndeterminateReservation: Nigeria (road vehicles) -- | Deprecated: Use official code NGA WAN :: Alpha3 -- | Wallis and Futuna WLF :: Alpha3 -- | Samoa WSM :: Alpha3 -- | Yemen YEM :: Alpha3 -- | Withdrawn: Yemen (Democratic) -- | Deprecated: Use new code YEM or ISO 3166-3 code YDYE YMD :: Alpha3 -- | TransitionalReservation: Yugoslavia -- | Deprecated: Use ISO 3166-3 code YUCS YUG :: Alpha3 -- | South Africa ZAF :: Alpha3 -- | TransitionalReservation: Zaire -- | Deprecated: Use new code COD or ISO 3166-3 code ZRCD ZAR :: Alpha3 -- | Zambia ZMB :: Alpha3 -- | IndeterminateReservation: Zaire (road vehicles) -- | Deprecated: Use official code ZAR, new code COD or ISO 3166-3 code -- ZRCD ZRE :: Alpha3 -- | Zimbabwe ZWE :: Alpha3 -- | Categories within the standard describing how much warning is given if -- a code were to change or be replaced. data Status -- | The code is active, and would only be replaced after a period as a -- TransitionalReservation. Official :: Status -- | The code is reserved and any other use is subject to approval. ExceptionalReservation :: Status -- | The code has been marked for deletion, but is currently still reserved -- as implementations remove it or migrate to the replacement. TransitionalReservation :: Status -- | Use of the code is restricted to historic vehicle registrations, but -- may still be reassigned at any point. IndeterminateReservation :: Status -- | 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. NotInUse :: Status -- | 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. Withdrawn :: Status -- | The stability of any particular country code. codeStatus :: Alpha3 -> Status instance GHC.Enum.Bounded Data.Standards.ISO.Country.Primary.Alpha3.Alpha3 instance GHC.Enum.Enum Data.Standards.ISO.Country.Primary.Alpha3.Alpha3 instance GHC.Classes.Ord Data.Standards.ISO.Country.Primary.Alpha3.Alpha3 instance GHC.Read.Read Data.Standards.ISO.Country.Primary.Alpha3.Alpha3 instance GHC.Show.Show Data.Standards.ISO.Country.Primary.Alpha3.Alpha3 instance GHC.Classes.Eq Data.Standards.ISO.Country.Primary.Alpha3.Alpha3 instance Data.Hashable.Class.Hashable Data.Standards.ISO.Country.Primary.Alpha3.Alpha3 -- | module Data.Standards.ISO.Country.Primary.Alpha2 -- | The official, recommended codes for countries, translated into a -- type-safe representation. Unless otherwise specified, all codes are -- Official. data Alpha2 -- | ExceptionalReservation: Ascension Island AC :: Alpha2 -- | Andorra AD :: Alpha2 -- | United Arab Emirates (the) AE :: Alpha2 -- | Afghanistan AF :: Alpha2 -- | Antigua and Barbuda AG :: Alpha2 -- | Anguilla; previously French Afar and Issas AI :: Alpha2 -- | Albania AL :: Alpha2 -- | Armenia AM :: Alpha2 -- | TransitionalReservation: Netherlands Antilles -- | Deprecated: Divided into BQ, CW and SX, or use ISO 3166-3 code -- ANHH AN :: Alpha2 -- | Angola AO :: Alpha2 -- | NotInUse: African Regional Industrial Property Organization -- | Warning: Not an official ISO 3166-1 code AP :: Alpha2 -- | Antarctica AQ :: Alpha2 -- | Argentina AR :: Alpha2 -- | American Samoa AS :: Alpha2 -- | Austria AT :: Alpha2 -- | Australia AU :: Alpha2 -- | Aruba AW :: Alpha2 -- | Åland Islands AX :: Alpha2 -- | Azerbaijan AZ :: Alpha2 -- | Bosnia and Herzegovina BA :: Alpha2 -- | Barbados BB :: Alpha2 -- | Bangladesh BD :: Alpha2 -- | Belgium BE :: Alpha2 -- | Burkina Faso BF :: Alpha2 -- | Bulgaria BG :: Alpha2 -- | Bahrain BH :: Alpha2 -- | Burundi BI :: Alpha2 -- | Benin BJ :: Alpha2 -- | Saint Barthélemy BL :: Alpha2 -- | Bermuda BM :: Alpha2 -- | Brunei Darussalam BN :: Alpha2 -- | Bolivia (Plurinational State of) BO :: Alpha2 -- | Bonaire, Sint Eustatius and Saba; previously British Antarctic -- Territory (the) BQ :: Alpha2 -- | Brazil BR :: Alpha2 -- | Bahamas (the) BS :: Alpha2 -- | Bhutan BT :: Alpha2 -- | TransitionalReservation: Burma -- | Deprecated: Use new code MM or ISO 3166-3 code BUMM BU :: Alpha2 -- | Bouvet Island BV :: Alpha2 -- | Botswana BW :: Alpha2 -- | NotInUse: Benelux Trademarks and Design Offices -- | Warning: Not an official ISO 3166-1 code BX :: Alpha2 -- | Belarus BY :: Alpha2 -- | Belize BZ :: Alpha2 -- | Canada CA :: Alpha2 -- | Cocos (Keeling) Islands (the) CC :: Alpha2 -- | Congo (the Democratic Republic of the) CD :: Alpha2 -- | Central African Republic (the) CF :: Alpha2 -- | Congo (the) CG :: Alpha2 -- | Switzerland CH :: Alpha2 -- | Côte d'Ivoire CI :: Alpha2 -- | Cook Islands (the) CK :: Alpha2 -- | Chile CL :: Alpha2 -- | Cameroon CM :: Alpha2 -- | China CN :: Alpha2 -- | Colombia CO :: Alpha2 -- | ExceptionalReservation: Clipperton Island CP :: Alpha2 -- | Costa Rica CR :: Alpha2 -- | TransitionalReservation: Serbia and Montenegro; previously -- Czechoslovakia -- | Deprecated: Divided into ME and RS, or use ISO 3166-3 code CSXX; -- previous usage divided into CZ and SK, or use ISO 3166-3 code CSHH CS :: Alpha2 -- | Withdrawn: Canton and Enderbury Islands (the) -- | Deprecated: Use new code KI or ISO 3166-3 code CTKI CT :: Alpha2 -- | Cuba CU :: Alpha2 -- | Cabo Verde CV :: Alpha2 -- | Curaçao CW :: Alpha2 -- | Christmas Island CX :: Alpha2 -- | Cyprus CY :: Alpha2 -- | Czechia CZ :: Alpha2 -- | Withdrawn: German Democratic Republic (the) -- | Deprecated: Use new code DE or ISO 3166-3 code DDDE DD :: Alpha2 -- | Germany DE :: Alpha2 -- | ExceptionalReservation: Diego Garcia DG :: Alpha2 -- | Djibouti DJ :: Alpha2 -- | Denmark DK :: Alpha2 -- | Dominica DM :: Alpha2 -- | Dominican Republic (the) DO :: Alpha2 -- | IndeterminateReservation: Benin (road vehicles); previously -- Dahomey -- | Deprecated: Use official code BJ DY :: Alpha2 -- | Algeria DZ :: Alpha2 -- | ExceptionalReservation: Ceuta & Melilla EA :: Alpha2 -- | Ecuador EC :: Alpha2 -- | Estonia EE :: Alpha2 -- | NotInUse: European Community Patent Convention -- | Warning: Not an official ISO 3166-1 code EF :: Alpha2 -- | NotInUse: European Trademark Office -- | Warning: Not an official ISO 3166-1 code EM :: Alpha2 -- | NotInUse: European Patent Organization -- | Warning: Not an official ISO 3166-1 code EP :: Alpha2 -- | NotInUse: Eurasian Patent Organization -- | Warning: Not an official ISO 3166-1 code EV :: Alpha2 -- | IndeterminateReservation: Estonia (road vehicles) -- | Deprecated: Use official code EE EW :: Alpha2 -- | Egypt EG :: Alpha2 -- | Western Sahara EH :: Alpha2 -- | Eritrea ER :: Alpha2 -- | Spain ES :: Alpha2 -- | Ethiopia ET :: Alpha2 -- | ExceptionalReservation: European Union (the) EU :: Alpha2 -- | ExceptionalReservation: Eurozone (the) EZ :: Alpha2 -- | Finland FI :: Alpha2 -- | Fiji FJ :: Alpha2 -- | Falkland Islands (the) [Malvinas] FK :: Alpha2 -- | IndeterminateReservation: Liechtenstein (road vehicles) -- | Deprecated: Use official code LI FL :: Alpha2 -- | Micronesia (Federated States of) FM :: Alpha2 -- | Faroe Islands (the) FO :: Alpha2 -- | Withdrawn: French Southern and Antarctic Territories (the) -- | Deprecated: Divided into TF and part of AQ, or use ISO 3166-3 code -- FQHH FQ :: Alpha2 -- | France FR :: Alpha2 -- | ExceptionalReservation: France, Metropolitan FX :: Alpha2 -- | Gabon GA :: Alpha2 -- | United Kingdom of Great Britain and Northern Ireland (the) GB :: Alpha2 -- | NotInUse: Patent Office of the Cooperation Council for the Arab -- States of the Gulf -- | Warning: Not an official ISO 3166-1 code GC :: Alpha2 -- | Grenada GD :: Alpha2 -- | Georgia; previously Gilbert and Ellice Islands (the) GE :: Alpha2 -- | French Guiana GF :: Alpha2 -- | Guernsey GG :: Alpha2 -- | Ghana GH :: Alpha2 -- | Gibraltar GI :: Alpha2 -- | Greenland GL :: Alpha2 -- | Gambia (the) GM :: Alpha2 -- | Guinea GN :: Alpha2 -- | Guadeloupe GP :: Alpha2 -- | Equatorial Guinea GQ :: Alpha2 -- | Greece GR :: Alpha2 -- | South Georgia and the South Sandwich Islands GS :: Alpha2 -- | Guatemala GT :: Alpha2 -- | Guam GU :: Alpha2 -- | Guinea-Bissau GW :: Alpha2 -- | Guyana GY :: Alpha2 -- | Hong Kong HK :: Alpha2 -- | Heard Island and McDonald Islands HM :: Alpha2 -- | Honduras HN :: Alpha2 -- | Croatia HR :: Alpha2 -- | Haiti HT :: Alpha2 -- | Hungary HU :: Alpha2 -- | Withdrawn: Upper Volta -- | Deprecated: Use new code BF or ISO 3166-3 code HVBF HV :: Alpha2 -- | NotInUse: World Intellectual Property Organization, -- International Bureau -- | Warning: Not an official ISO 3166-1 code IB :: Alpha2 -- | ExceptionalReservation: Canary Islands (the) IC :: Alpha2 -- | Indonesia ID :: Alpha2 -- | Ireland IE :: Alpha2 -- | Israel IL :: Alpha2 -- | Isle of Man IM :: Alpha2 -- | India IN :: Alpha2 -- | British Indian Ocean Territory (the) IO :: Alpha2 -- | Iraq IQ :: Alpha2 -- | Iran (Islamic Republic of) IR :: Alpha2 -- | Iceland IS :: Alpha2 -- | Italy IT :: Alpha2 -- | IndeterminateReservation: Jamaica (road vehicles) -- | Deprecated: Use official code JM JA :: Alpha2 -- | Jersey JE :: Alpha2 -- | Jamaica JM :: Alpha2 -- | Jordan JO :: Alpha2 -- | Japan JP :: Alpha2 -- | Withdrawn: Johnston Island -- | Deprecated: Use new code UM or ISO 3166-3 code JTUM JT :: Alpha2 -- | Kenya KE :: Alpha2 -- | Kyrgyzstan KG :: Alpha2 -- | Cambodia KH :: Alpha2 -- | Kiribati KI :: Alpha2 -- | Comoros (the) KM :: Alpha2 -- | Saint Kitts and Nevis KN :: Alpha2 -- | Korea (the Democratic People's Republic of) KP :: Alpha2 -- | Korea (the Republic of) KR :: Alpha2 -- | Kuwait KW :: Alpha2 -- | Cayman Islands (the) KY :: Alpha2 -- | Kazakhstan KZ :: Alpha2 -- | Lao People's Democratic Republic (the) LA :: Alpha2 -- | Lebanon LB :: Alpha2 -- | Saint Lucia LC :: Alpha2 -- | IndeterminateReservation: Lybia Fezzan (road vehicles) -- | Deprecated: Use code for entire country LY LF :: Alpha2 -- | Liechtenstein LI :: Alpha2 -- | Sri Lanka LK :: Alpha2 -- | Liberia LR :: Alpha2 -- | Lesotho LS :: Alpha2 -- | Lithuania LT :: Alpha2 -- | Luxembourg LU :: Alpha2 -- | Latvia LV :: Alpha2 -- | Libya LY :: Alpha2 -- | Morocco MA :: Alpha2 -- | Monaco MC :: Alpha2 -- | Moldova (the Republic of) MD :: Alpha2 -- | Montenegro ME :: Alpha2 -- | Saint Martin (French part) MF :: Alpha2 -- | Madagascar MG :: Alpha2 -- | Marshall Islands (the) MH :: Alpha2 -- | Withdrawn: Midway Islands (the) -- | Deprecated: Use new code UM or ISO 3166-3 code MIUM MI :: Alpha2 -- | Macedonia (the former Yugoslav Republic of) MK :: Alpha2 -- | Mali ML :: Alpha2 -- | Myanmar MM :: Alpha2 -- | Mongolia MN :: Alpha2 -- | Macao MO :: Alpha2 -- | Northern Mariana Islands (the) MP :: Alpha2 -- | Martinique MQ :: Alpha2 -- | Mauritania MR :: Alpha2 -- | Montserrat MS :: Alpha2 -- | Malta MT :: Alpha2 -- | Mauritius MU :: Alpha2 -- | Maldives MV :: Alpha2 -- | Malawi MW :: Alpha2 -- | Mexico MX :: Alpha2 -- | Malaysia MY :: Alpha2 -- | Mozambique MZ :: Alpha2 -- | Namibia NA :: Alpha2 -- | New Caledonia NC :: Alpha2 -- | Niger (the) NE :: Alpha2 -- | Norfolk Island NF :: Alpha2 -- | Nigeria NG :: Alpha2 -- | Withdrawn: New Hebrides -- | Deprecated: Use new code VU or ISO 3166-3 code NHVU NH :: Alpha2 -- | Nicaragua NI :: Alpha2 -- | Netherlands (the) NL :: Alpha2 -- | Norway NO :: Alpha2 -- | Nepal NP :: Alpha2 -- | Withdrawn: Dronning Maud Land -- | Deprecated: Use new code AQ or ISO 3166-3 code NQAQ NQ :: Alpha2 -- | Nauru NR :: Alpha2 -- | TransitionalReservation: Saudi Arabian-Iraqi neutral zone (the) -- | Deprecated: Divided between IQ and SA, or use ISO 3166-3 code -- NTHH NT :: Alpha2 -- | Niue NU :: Alpha2 -- | New Zealand NZ :: Alpha2 -- | NotInUse: African Intellectual Property Organization -- | Warning: Not an official ISO 3166-1 code OA :: Alpha2 -- | Oman OM :: Alpha2 -- | Panama PA :: Alpha2 -- | Withdrawn: Pacific Islands (Trust Territory of the) -- | Deprecated: Divided into FM, MH, MP and PW, or use ISO 3166-3 code -- PCHH PC :: Alpha2 -- | Peru PE :: Alpha2 -- | French Polynesia PF :: Alpha2 -- | Papua New Guinea PG :: Alpha2 -- | Philippines (the) PH :: Alpha2 -- | IndeterminateReservation: Philippines (road vehicles) -- | Deprecated: Use official code PH PI :: Alpha2 -- | Pakistan PK :: Alpha2 -- | Poland PL :: Alpha2 -- | Saint Pierre and Miquelon PM :: Alpha2 -- | Pitcairn PN :: Alpha2 -- | Puerto Rico PR :: Alpha2 -- | Palestine, State of PS :: Alpha2 -- | Portugal PT :: Alpha2 -- | Withdrawn: United States Miscellaneous Pacific Islands (the) -- | Deprecated: Use new code UM or ISO 3166-3 code PUUM PU :: Alpha2 -- | Palau PW :: Alpha2 -- | Paraguay PY :: Alpha2 -- | Withdrawn: Panama Canal Zone (the) -- | Deprecated: Use new code PA or ISO 3166-3 code PZPA PZ :: Alpha2 -- | Qatar QA :: Alpha2 -- | IndeterminateReservation: Argentina (road vehicles) -- | Deprecated: Use official code AR RA :: Alpha2 -- | IndeterminateReservation: Bolivia & Botswana (road -- vehicles) -- | Deprecated: Use official code BO or BW, respectively RB :: Alpha2 -- | IndeterminateReservation: China (road vehicles) -- | Deprecated: Use official code CN RC :: Alpha2 -- | Réunion RE :: Alpha2 -- | IndeterminateReservation: Haiti (road vehicles); previously -- Southern Rhodesia -- | Deprecated: Use official code HT RH :: Alpha2 -- | IndeterminateReservation: Indonesia (road vehicles) -- | Deprecated: Use official code ID RI :: Alpha2 -- | IndeterminateReservation: Madagascar (road vehicles) -- | Deprecated: Use official code MG RM :: Alpha2 -- | IndeterminateReservation: Niger (road vehicles) -- | Deprecated: Use official code NE RN :: Alpha2 -- | Romania RO :: Alpha2 -- | IndeterminateReservation: Philippines (road vehicles) -- | Deprecated: Use official code PH RP :: Alpha2 -- | Serbia RS :: Alpha2 -- | Russian Federation (the) RU :: Alpha2 -- | Rwanda RW :: Alpha2 -- | Saudi Arabia SA :: Alpha2 -- | Solomon Islands SB :: Alpha2 -- | Seychelles SC :: Alpha2 -- | Sudan (the) SD :: Alpha2 -- | Sweden SE :: Alpha2 -- | IndeterminateReservation: Finland -- | Deprecated: Use official code FI SF :: Alpha2 -- | Singapore SG :: Alpha2 -- | Saint Helena, Ascension and Tristan da Cunha SH :: Alpha2 -- | Slovenia SI :: Alpha2 -- | Svalbard and Jan Mayen SJ :: Alpha2 -- | Slovakia; previously Sikkim SK :: Alpha2 -- | Sierra Leone SL :: Alpha2 -- | San Marino SM :: Alpha2 -- | Senegal SN :: Alpha2 -- | Somalia SO :: Alpha2 -- | Suriname SR :: Alpha2 -- | South Sudan SS :: Alpha2 -- | Sao Tome and Principe ST :: Alpha2 -- | ExceptionalReservation: USSR (the) SU :: Alpha2 -- | El Salvador SV :: Alpha2 -- | Sint Maarten (Dutch part) SX :: Alpha2 -- | Syrian Arab Republic SY :: Alpha2 -- | Eswatini SZ :: Alpha2 -- | ExceptionalReservation: Tristan da Cunha TA :: Alpha2 -- | Turks and Caicos Islands (the) TC :: Alpha2 -- | Chad TD :: Alpha2 -- | French Southern Territories (the) TF :: Alpha2 -- | Togo TG :: Alpha2 -- | Thailand TH :: Alpha2 -- | Tajikistan TJ :: Alpha2 -- | Tokelau TK :: Alpha2 -- | Timor-Leste TL :: Alpha2 -- | Turkmenistan TM :: Alpha2 -- | Tunisia TN :: Alpha2 -- | Tonga TO :: Alpha2 -- | Turkey TR :: Alpha2 -- | TransitionalReservation: East Timor -- | Deprecated: Use new code TL or ISO 3166-3 code TPTL TP :: Alpha2 -- | Trinidad and Tobago TT :: Alpha2 -- | Tuvalu TV :: Alpha2 -- | Taiwan (Province of China) TW :: Alpha2 -- | Tanzania, United Republic of TZ :: Alpha2 -- | Ukraine UA :: Alpha2 -- | Uganda UG :: Alpha2 -- | ExceptionalReservation: United Kingdom (the) -- | Warning: Official country code is GB UK :: Alpha2 -- | United States Minor Outlying Islands (the) UM :: Alpha2 -- | ExceptionalReservation: United Nations (the) UN :: Alpha2 -- | United States of America (the) US :: Alpha2 -- | Uruguay UY :: Alpha2 -- | Uzbekistan UZ :: Alpha2 -- | Holy See (the) VA :: Alpha2 -- | Saint Vincent and the Grenadines VC :: Alpha2 -- | Withdrawn: Viet Nam (Democratic Republic of) -- | Deprecated: Use new code VN or ISO 3166-3 code VDVN VD :: Alpha2 -- | Venezuela (Bolivarian Republic of) VE :: Alpha2 -- | Virgin Islands (British) VG :: Alpha2 -- | Virgin Islands (U.S.) VI :: Alpha2 -- | Viet Nam VN :: Alpha2 -- | Vanuatu VU :: Alpha2 -- | Wallis and Futuna WF :: Alpha2 -- | IndeterminateReservation: Grenada (road vehicles) -- | Deprecated: Use official code GD WG :: Alpha2 -- | Withdrawn: Wake Island -- | Deprecated: Use new code UM or ISO 3166-3 code WKUM WK :: Alpha2 -- | IndeterminateReservation: Saint Lucia (road vehicles) -- | Deprecated: Use official code LC WL :: Alpha2 -- | NotInUse: World Intellectual Property Organization -- | Warning: Not an official ISO 3166-1 code WO :: Alpha2 -- | Samoa WS :: Alpha2 -- | IndeterminateReservation: Saint Vincent (road vehicles) -- | Deprecated: Use official code VC WV :: Alpha2 -- | Withdrawn: Yemen (Democratic) -- | Deprecated: Use new code YE or ISO 3166-3 code YDYE YD :: Alpha2 -- | Yemen YE :: Alpha2 -- | Mayotte YT :: Alpha2 -- | TransitionalReservation: Yugoslavia -- | Deprecated: Use ISO 3166-3 code YUCS YU :: Alpha2 -- | IndeterminateReservation: Venezuela (road vehicles) -- | Deprecated: Use official code VE YV :: Alpha2 -- | South Africa ZA :: Alpha2 -- | Zambia ZM :: Alpha2 -- | TransitionalReservation: Zaire -- | Deprecated: Use new code CD or ISO 3166-3 code ZRCD ZR :: Alpha2 -- | Zimbabwe ZW :: Alpha2 -- | Categories within the standard describing how much warning is given if -- a code were to change or be replaced. data Status -- | The code is active, and would only be replaced after a period as a -- TransitionalReservation. Official :: Status -- | The code is reserved and any other use is subject to approval. ExceptionalReservation :: Status -- | The code has been marked for deletion, but is currently still reserved -- as implementations remove it or migrate to the replacement. TransitionalReservation :: Status -- | Use of the code is restricted to historic vehicle registrations, but -- may still be reassigned at any point. IndeterminateReservation :: Status -- | 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. NotInUse :: Status -- | 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. Withdrawn :: Status -- | The stability of any particular country code. codeStatus :: Alpha2 -> Status instance GHC.Enum.Bounded Data.Standards.ISO.Country.Primary.Alpha2.Alpha2 instance GHC.Enum.Enum Data.Standards.ISO.Country.Primary.Alpha2.Alpha2 instance GHC.Classes.Ord Data.Standards.ISO.Country.Primary.Alpha2.Alpha2 instance GHC.Read.Read Data.Standards.ISO.Country.Primary.Alpha2.Alpha2 instance GHC.Show.Show Data.Standards.ISO.Country.Primary.Alpha2.Alpha2 instance GHC.Classes.Eq Data.Standards.ISO.Country.Primary.Alpha2.Alpha2 instance Data.Hashable.Class.Hashable Data.Standards.ISO.Country.Primary.Alpha2.Alpha2 -- | module Data.Standards.ISO.Country.Primary.Numeric -- | 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. data Numeric -- | Afghanistan C004 :: Numeric -- | Albania C008 :: Numeric -- | Antarctica C010 :: Numeric -- | Algeria C012 :: Numeric -- | American Samoa C016 :: Numeric -- | Andorra C020 :: Numeric -- | Angola C024 :: Numeric -- | Antigua and Barbuda C028 :: Numeric -- | Azerbaijan C031 :: Numeric -- | Argentina C032 :: Numeric -- | Australia C036 :: Numeric -- | Austria C040 :: Numeric -- | Bahamas (the) C044 :: Numeric -- | Bahrain C048 :: Numeric -- | Bangladesh C050 :: Numeric -- | Armenia C051 :: Numeric -- | Barbados C052 :: Numeric -- | Belgium C056 :: Numeric -- | Bermuda C060 :: Numeric -- | Bhutan C064 :: Numeric -- | Bolivia (Plurinational State of) C068 :: Numeric -- | Bosnia and Herzegovina C070 :: Numeric -- | Botswana C072 :: Numeric -- | Bouvet Island C074 :: Numeric -- | Brazil C076 :: Numeric -- | Withdrawn: British Antarctic Territory (the) -- | Deprecated: Use new code C010 after merge with C216 and C260 C080 :: Numeric -- | Belize C084 :: Numeric -- | British Indian Ocean Territory (the) C086 :: Numeric -- | Solomon Islands C090 :: Numeric -- | Virgin Islands (British) C092 :: Numeric -- | Brunei Darussalam C096 :: Numeric -- | Bulgaria C100 :: Numeric -- | Myanmar C104 :: Numeric -- | Burundi C108 :: Numeric -- | Belarus C112 :: Numeric -- | Cambodia C116 :: Numeric -- | Cameroon C120 :: Numeric -- | Canada C124 :: Numeric -- | Withdrawn: Canton and Enderbury Islands (the) -- | Deprecated: Use new code C296 C128 :: Numeric -- | Cabo Verde C132 :: Numeric -- | Cayman Islands (the) C136 :: Numeric -- | Central African Republic (the) C140 :: Numeric -- | Sri Lanka C144 :: Numeric -- | Chad C148 :: Numeric -- | Chile C152 :: Numeric -- | China C156 :: Numeric -- | Taiwan (Province of China) C158 :: Numeric -- | Christmas Island C162 :: Numeric -- | Cocos (Keeling) Islands (the) C166 :: Numeric -- | Colombia C170 :: Numeric -- | Comoros (the) C174 :: Numeric -- | Mayotte C175 :: Numeric -- | Congo (the) C178 :: Numeric -- | Congo (the Democratic Republic of the) C180 :: Numeric -- | Cook Islands (the) C184 :: Numeric -- | Costa Rica C188 :: Numeric -- | Croatia C191 :: Numeric -- | Cuba C192 :: Numeric -- | Cyprus C196 :: Numeric -- | Withdrawn: Czechoslovakia -- | Deprecated: Divided into C203 and C703 C200 :: Numeric -- | Czechia C203 :: Numeric -- | Benin C204 :: Numeric -- | Denmark C208 :: Numeric -- | Dominica C212 :: Numeric -- | Dominican Republic (the) C214 :: Numeric -- | Withdrawn: Dronning Maud Land -- | Deprecated: Use new code C010 after merge with C080 and C260 C216 :: Numeric -- | Ecuador C218 :: Numeric -- | El Salvador C222 :: Numeric -- | Equatorial Guinea C226 :: Numeric -- | Withdrawn: Ethiopia -- | Deprecated: Divided into C231 and C232 C230 :: Numeric -- | Ethiopia C231 :: Numeric -- | Eritrea C232 :: Numeric -- | Estonia C233 :: Numeric -- | Faroe Islands (the) C234 :: Numeric -- | Falkland Islands (the) [Malvinas] C238 :: Numeric -- | South Georgia and the South Sandwich Islands C239 :: Numeric -- | Fiji C242 :: Numeric -- | Finland C246 :: Numeric -- | Åland Islands C248 :: Numeric -- | Withdrawn: France, Metropolitan -- | Deprecated: Use new code C250 C249 :: Numeric -- | France C250 :: Numeric -- | French Guiana C254 :: Numeric -- | French Polynesia C258 :: Numeric -- | French Southern Territories (the) C260 :: Numeric -- | Djibouti C262 :: Numeric -- | Gabon C266 :: Numeric -- | Georgia C268 :: Numeric -- | Gambia (the) C270 :: Numeric -- | Palestine, State of C275 :: Numeric -- | Germany C276 :: Numeric -- | Withdrawn: German Democratic Republic (the) -- | Deprecated: Use new code C276 after merge with C280 C278 :: Numeric -- | Withdrawn: Germany (Federal Republic of) -- | Deprecated: Use new code C276 after merge with C278 C280 :: Numeric -- | Ghana C288 :: Numeric -- | Gibraltar C292 :: Numeric -- | Kiribati C296 :: Numeric -- | Greece C300 :: Numeric -- | Greenland C304 :: Numeric -- | Grenada C308 :: Numeric -- | Guadeloupe C312 :: Numeric -- | Guam C316 :: Numeric -- | Guatemala C320 :: Numeric -- | Guinea C324 :: Numeric -- | Guyana C328 :: Numeric -- | Haiti C332 :: Numeric -- | Heard Island and McDonald Islands C334 :: Numeric -- | Holy See (the) C336 :: Numeric -- | Honduras C340 :: Numeric -- | Hong Kong C344 :: Numeric -- | Hungary C348 :: Numeric -- | Iceland C352 :: Numeric -- | India C356 :: Numeric -- | Indonesia C360 :: Numeric -- | Iran (Islamic Republic of) C364 :: Numeric -- | Iraq C368 :: Numeric -- | Ireland C372 :: Numeric -- | Israel C376 :: Numeric -- | Italy C380 :: Numeric -- | Côte d'Ivoire C384 :: Numeric -- | Jamaica C388 :: Numeric -- | Japan C392 :: Numeric -- | Withdrawn: Johnston Island -- | Deprecated: Use new code C581 after merge with C488, C849 and -- C872 C396 :: Numeric -- | Kazakhstan C398 :: Numeric -- | Jordan C400 :: Numeric -- | Kenya C404 :: Numeric -- | Korea (the Democratic People's Republic of) C408 :: Numeric -- | Korea (the Republic of) C410 :: Numeric -- | Kuwait C414 :: Numeric -- | Kyrgyzstan C417 :: Numeric -- | Lao People's Democratic Republic (the) C418 :: Numeric -- | Lebanon C422 :: Numeric -- | Lesotho C426 :: Numeric -- | Latvia C428 :: Numeric -- | Liberia C430 :: Numeric -- | Libya C434 :: Numeric -- | Liechtenstein C438 :: Numeric -- | Lithuania C440 :: Numeric -- | Luxembourg C442 :: Numeric -- | Macao C446 :: Numeric -- | Madagascar C450 :: Numeric -- | Malawi C454 :: Numeric -- | Malaysia C458 :: Numeric -- | Maldives C462 :: Numeric -- | Mali C466 :: Numeric -- | Malta C470 :: Numeric -- | Martinique C474 :: Numeric -- | Mauritania C478 :: Numeric -- | Mauritius C480 :: Numeric -- | Mexico C484 :: Numeric -- | Withdrawn: Midway Islands (the) -- | Deprecated: Use new code C581 after merge with C396, C849 and -- C872 C488 :: Numeric -- | Monaco C492 :: Numeric -- | Mongolia C496 :: Numeric -- | Moldova (the Republic of) C498 :: Numeric -- | Montenegro C499 :: Numeric -- | Montserrat C500 :: Numeric -- | Morocco C504 :: Numeric -- | Mozambique C508 :: Numeric -- | Oman C512 :: Numeric -- | Namibia C516 :: Numeric -- | Nauru C520 :: Numeric -- | Nepal C524 :: Numeric -- | Netherlands (the) C528 :: Numeric -- | Withdrawn: Netherlands Antilles -- | Deprecated: Divided into C531, C535 and C534 C530 :: Numeric -- | Curaçao C531 :: Numeric -- | Withdrawn: Netherlands Antilles -- | Deprecated: Divided into C530 and C533 C532 :: Numeric -- | Aruba C533 :: Numeric -- | Sint Maarten (Dutch part) C534 :: Numeric -- | Bonaire, Sint Eustatius and Saba C535 :: Numeric -- | Withdrawn: Saudi Arabian-Iraqi neutral zone (the) -- | Deprecated: Divided between C368 and C682 C536 :: Numeric -- | New Caledonia C540 :: Numeric -- | Vanuatu C548 :: Numeric -- | New Zealand C554 :: Numeric -- | Nicaragua C558 :: Numeric -- | Niger (the) C562 :: Numeric -- | Nigeria C566 :: Numeric -- | Niue C570 :: Numeric -- | Norfolk Island C574 :: Numeric -- | Norway C578 :: Numeric -- | Northern Mariana Islands (the) C580 :: Numeric -- | United States Minor Outlying Islands (the) C581 :: Numeric -- | Withdrawn: Pacific Islands (Trust Territory of the) -- | Deprecated: Divided into C580, C583, C584 and C585 C582 :: Numeric -- | Micronesia (Federated States of) C583 :: Numeric -- | Marshall Islands (the) C584 :: Numeric -- | Palau C585 :: Numeric -- | Pakistan C586 :: Numeric -- | Withdrawn: Panama -- | Deprecated: Use new code C591 after merge with C594 C590 :: Numeric -- | Panama C591 :: Numeric -- | Withdrawn: Panama Canal Zone (the) -- | Deprecated: Use new code C591 after merge with C590 C594 :: Numeric -- | Papua New Guinea C598 :: Numeric -- | Paraguay C600 :: Numeric -- | Peru C604 :: Numeric -- | Philippines (the) C608 :: Numeric -- | Pitcairn C612 :: Numeric -- | Poland C616 :: Numeric -- | Portugal C620 :: Numeric -- | Guinea-Bissau C624 :: Numeric -- | Timor-Leste C626 :: Numeric -- | Puerto Rico C630 :: Numeric -- | Qatar C634 :: Numeric -- | Réunion C638 :: Numeric -- | Romania C642 :: Numeric -- | Russian Federation (the) C643 :: Numeric -- | Rwanda C646 :: Numeric -- | Saint Barthélemy C652 :: Numeric -- | Saint Helena, Ascension and Tristan da Cunha C654 :: Numeric -- | Withdrawn: Saint Kitts-Nevis-Anguilla -- | Deprecated: Divided between C659 and C660 C658 :: Numeric -- | Saint Kitts and Nevis C659 :: Numeric -- | Anguilla C660 :: Numeric -- | Saint Lucia C662 :: Numeric -- | Saint Martin (French part) C663 :: Numeric -- | Saint Pierre and Miquelon C666 :: Numeric -- | Saint Vincent and the Grenadines C670 :: Numeric -- | San Marino C674 :: Numeric -- | Sao Tome and Principe C678 :: Numeric -- | Saudi Arabia C682 :: Numeric -- | Senegal C686 :: Numeric -- | Serbia C688 :: Numeric -- | Seychelles C690 :: Numeric -- | Sierra Leone C694 :: Numeric -- | Withdrawn: Sikkim -- | Deprecated: Use new code C356 C698 :: Numeric -- | Singapore C702 :: Numeric -- | Slovakia C703 :: Numeric -- | Viet Nam C704 :: Numeric -- | Slovenia C705 :: Numeric -- | Somalia C706 :: Numeric -- | South Africa C710 :: Numeric -- | Withdrawn: Viet Nam (Democratic Republic of) -- | Deprecated: Use new code C704 C714 :: Numeric -- | Zimbabwe C716 :: Numeric -- | Withdrawn: Yemen (Democratic) -- | Deprecated: Use new code C887 after merge with C886 C720 :: Numeric -- | Spain C724 :: Numeric -- | South Sudan C728 :: Numeric -- | Sudan (the) C729 :: Numeric -- | Western Sahara C732 :: Numeric -- | Withdrawn: Sudan (the) -- | Deprecated: Divided between C728 and C729 C736 :: Numeric -- | Suriname C740 :: Numeric -- | Svalbard and Jan Mayen C744 :: Numeric -- | Eswatini C748 :: Numeric -- | Sweden C752 :: Numeric -- | Switzerland C756 :: Numeric -- | Syrian Arab Republic C760 :: Numeric -- | Tajikistan C762 :: Numeric -- | Thailand C764 :: Numeric -- | Togo C768 :: Numeric -- | Tokelau C772 :: Numeric -- | Tonga C776 :: Numeric -- | Trinidad and Tobago C780 :: Numeric -- | United Arab Emirates (the) C784 :: Numeric -- | Tunisia C788 :: Numeric -- | Turkey C792 :: Numeric -- | Turkmenistan C795 :: Numeric -- | Turks and Caicos Islands (the) C796 :: Numeric -- | Tuvalu C798 :: Numeric -- | Uganda C800 :: Numeric -- | Ukraine C804 :: Numeric -- | Macedonia (the former Yugoslav Republic of) C807 :: Numeric -- | Withdrawn: USSR (the) -- | Deprecated: Divided into C031, C051, C233, C268, C398, C417, C428, -- C440, C498, C643, C762, C795 and C860 C810 :: Numeric -- | Egypt C818 :: Numeric -- | United Kingdom of Great Britain and Northern Ireland (the) C826 :: Numeric -- | Guernsey C831 :: Numeric -- | Jersey C832 :: Numeric -- | Isle of Man C833 :: Numeric -- | Tanzania, United Republic of C834 :: Numeric -- | United States of America (the) C840 :: Numeric -- | Withdrawn: United States Miscellaneous Pacific Islands (the) -- | Deprecated: Use new code C581 after merge with C396, C488 and -- C872 C849 :: Numeric -- | Virgin Islands (U.S.) C850 :: Numeric -- | Burkina Faso C854 :: Numeric -- | Uruguay C858 :: Numeric -- | Uzbekistan C860 :: Numeric -- | Venezuela (Bolivarian Republic of) C862 :: Numeric -- | Withdrawn: Wake Island -- | Deprecated: Use new code C581 after merge with C396, C488 and -- C849 C872 :: Numeric -- | Wallis and Futuna C876 :: Numeric -- | Samoa C882 :: Numeric -- | Withdrawn: Yemen Arab Republic -- | Deprecated: Use new code C887 after merge with C720 C886 :: Numeric -- | Yemen C887 :: Numeric -- | Withdrawn: Yugoslavia (Socialist Federal Republic of) -- | Deprecated: Divided into C070, C191, C705, C807 and C891 C890 :: Numeric -- | Withdrawn: Serbia and Montenegro -- | Deprecated: Divided into C499 and C688 C891 :: Numeric -- | Zambia C894 :: Numeric -- | Categories within the standard describing how much warning is given if -- a code were to change or be replaced. data Status -- | The code is active, and would only be replaced after a period as a -- TransitionalReservation. Official :: Status -- | The code is reserved and any other use is subject to approval. ExceptionalReservation :: Status -- | The code has been marked for deletion, but is currently still reserved -- as implementations remove it or migrate to the replacement. TransitionalReservation :: Status -- | Use of the code is restricted to historic vehicle registrations, but -- may still be reassigned at any point. IndeterminateReservation :: Status -- | 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. NotInUse :: Status -- | 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. Withdrawn :: Status -- | The stability of any particular country code. codeStatus :: Numeric -> Status instance GHC.Enum.Bounded Data.Standards.ISO.Country.Primary.Numeric.Numeric instance GHC.Classes.Ord Data.Standards.ISO.Country.Primary.Numeric.Numeric instance GHC.Read.Read Data.Standards.ISO.Country.Primary.Numeric.Numeric instance GHC.Show.Show Data.Standards.ISO.Country.Primary.Numeric.Numeric instance GHC.Classes.Eq Data.Standards.ISO.Country.Primary.Numeric.Numeric instance GHC.Enum.Enum Data.Standards.ISO.Country.Primary.Numeric.Numeric instance Data.Hashable.Class.Hashable Data.Standards.ISO.Country.Primary.Numeric.Numeric -- | module Data.Standards.ISO.Country.Primary.Translation -- | Convert an Alpha2 country code to an Alpha3. alpha2ToAlpha3 :: Alpha2 -> Maybe Alpha3 -- | Convert an Alpha2 country code to a Numeric. alpha2ToNumeric :: Alpha2 -> Maybe Numeric -- | Convert an Alpha3 country code to an Alpha2. alpha3ToAlpha2 :: Alpha3 -> Maybe Alpha2 -- | Convert an Alpha3 country code to a Numeric. alpha3ToNumeric :: Alpha3 -> Maybe Numeric -- | Convert a Numeric country code to an Alpha2. numericToAlpha2 :: Numeric -> Maybe Alpha2 -- | Convert a Numeric country code to an Alpha3. numericToAlpha3 :: Numeric -> Maybe Alpha3 -- | module Data.Standards.ISO.Country.Primary -- | The official, recommended codes for countries, translated into a -- type-safe representation. Unless otherwise specified, all codes are -- Official. data Alpha2 -- | ExceptionalReservation: Ascension Island AC :: Alpha2 -- | Andorra AD :: Alpha2 -- | United Arab Emirates (the) AE :: Alpha2 -- | Afghanistan AF :: Alpha2 -- | Antigua and Barbuda AG :: Alpha2 -- | Anguilla; previously French Afar and Issas AI :: Alpha2 -- | Albania AL :: Alpha2 -- | Armenia AM :: Alpha2 -- | TransitionalReservation: Netherlands Antilles -- | Deprecated: Divided into BQ, CW and SX, or use ISO 3166-3 code -- ANHH AN :: Alpha2 -- | Angola AO :: Alpha2 -- | NotInUse: African Regional Industrial Property Organization -- | Warning: Not an official ISO 3166-1 code AP :: Alpha2 -- | Antarctica AQ :: Alpha2 -- | Argentina AR :: Alpha2 -- | American Samoa AS :: Alpha2 -- | Austria AT :: Alpha2 -- | Australia AU :: Alpha2 -- | Aruba AW :: Alpha2 -- | Åland Islands AX :: Alpha2 -- | Azerbaijan AZ :: Alpha2 -- | Bosnia and Herzegovina BA :: Alpha2 -- | Barbados BB :: Alpha2 -- | Bangladesh BD :: Alpha2 -- | Belgium BE :: Alpha2 -- | Burkina Faso BF :: Alpha2 -- | Bulgaria BG :: Alpha2 -- | Bahrain BH :: Alpha2 -- | Burundi BI :: Alpha2 -- | Benin BJ :: Alpha2 -- | Saint Barthélemy BL :: Alpha2 -- | Bermuda BM :: Alpha2 -- | Brunei Darussalam BN :: Alpha2 -- | Bolivia (Plurinational State of) BO :: Alpha2 -- | Bonaire, Sint Eustatius and Saba; previously British Antarctic -- Territory (the) BQ :: Alpha2 -- | Brazil BR :: Alpha2 -- | Bahamas (the) BS :: Alpha2 -- | Bhutan BT :: Alpha2 -- | TransitionalReservation: Burma -- | Deprecated: Use new code MM or ISO 3166-3 code BUMM BU :: Alpha2 -- | Bouvet Island BV :: Alpha2 -- | Botswana BW :: Alpha2 -- | NotInUse: Benelux Trademarks and Design Offices -- | Warning: Not an official ISO 3166-1 code BX :: Alpha2 -- | Belarus BY :: Alpha2 -- | Belize BZ :: Alpha2 -- | Canada CA :: Alpha2 -- | Cocos (Keeling) Islands (the) CC :: Alpha2 -- | Congo (the Democratic Republic of the) CD :: Alpha2 -- | Central African Republic (the) CF :: Alpha2 -- | Congo (the) CG :: Alpha2 -- | Switzerland CH :: Alpha2 -- | Côte d'Ivoire CI :: Alpha2 -- | Cook Islands (the) CK :: Alpha2 -- | Chile CL :: Alpha2 -- | Cameroon CM :: Alpha2 -- | China CN :: Alpha2 -- | Colombia CO :: Alpha2 -- | ExceptionalReservation: Clipperton Island CP :: Alpha2 -- | Costa Rica CR :: Alpha2 -- | TransitionalReservation: Serbia and Montenegro; previously -- Czechoslovakia -- | Deprecated: Divided into ME and RS, or use ISO 3166-3 code CSXX; -- previous usage divided into CZ and SK, or use ISO 3166-3 code CSHH CS :: Alpha2 -- | Withdrawn: Canton and Enderbury Islands (the) -- | Deprecated: Use new code KI or ISO 3166-3 code CTKI CT :: Alpha2 -- | Cuba CU :: Alpha2 -- | Cabo Verde CV :: Alpha2 -- | Curaçao CW :: Alpha2 -- | Christmas Island CX :: Alpha2 -- | Cyprus CY :: Alpha2 -- | Czechia CZ :: Alpha2 -- | Withdrawn: German Democratic Republic (the) -- | Deprecated: Use new code DE or ISO 3166-3 code DDDE DD :: Alpha2 -- | Germany DE :: Alpha2 -- | ExceptionalReservation: Diego Garcia DG :: Alpha2 -- | Djibouti DJ :: Alpha2 -- | Denmark DK :: Alpha2 -- | Dominica DM :: Alpha2 -- | Dominican Republic (the) DO :: Alpha2 -- | IndeterminateReservation: Benin (road vehicles); previously -- Dahomey -- | Deprecated: Use official code BJ DY :: Alpha2 -- | Algeria DZ :: Alpha2 -- | ExceptionalReservation: Ceuta & Melilla EA :: Alpha2 -- | Ecuador EC :: Alpha2 -- | Estonia EE :: Alpha2 -- | NotInUse: European Community Patent Convention -- | Warning: Not an official ISO 3166-1 code EF :: Alpha2 -- | NotInUse: European Trademark Office -- | Warning: Not an official ISO 3166-1 code EM :: Alpha2 -- | NotInUse: European Patent Organization -- | Warning: Not an official ISO 3166-1 code EP :: Alpha2 -- | NotInUse: Eurasian Patent Organization -- | Warning: Not an official ISO 3166-1 code EV :: Alpha2 -- | IndeterminateReservation: Estonia (road vehicles) -- | Deprecated: Use official code EE EW :: Alpha2 -- | Egypt EG :: Alpha2 -- | Western Sahara EH :: Alpha2 -- | Eritrea ER :: Alpha2 -- | Spain ES :: Alpha2 -- | Ethiopia ET :: Alpha2 -- | ExceptionalReservation: European Union (the) EU :: Alpha2 -- | ExceptionalReservation: Eurozone (the) EZ :: Alpha2 -- | Finland FI :: Alpha2 -- | Fiji FJ :: Alpha2 -- | Falkland Islands (the) [Malvinas] FK :: Alpha2 -- | IndeterminateReservation: Liechtenstein (road vehicles) -- | Deprecated: Use official code LI FL :: Alpha2 -- | Micronesia (Federated States of) FM :: Alpha2 -- | Faroe Islands (the) FO :: Alpha2 -- | Withdrawn: French Southern and Antarctic Territories (the) -- | Deprecated: Divided into TF and part of AQ, or use ISO 3166-3 code -- FQHH FQ :: Alpha2 -- | France FR :: Alpha2 -- | ExceptionalReservation: France, Metropolitan FX :: Alpha2 -- | Gabon GA :: Alpha2 -- | United Kingdom of Great Britain and Northern Ireland (the) GB :: Alpha2 -- | NotInUse: Patent Office of the Cooperation Council for the Arab -- States of the Gulf -- | Warning: Not an official ISO 3166-1 code GC :: Alpha2 -- | Grenada GD :: Alpha2 -- | Georgia; previously Gilbert and Ellice Islands (the) GE :: Alpha2 -- | French Guiana GF :: Alpha2 -- | Guernsey GG :: Alpha2 -- | Ghana GH :: Alpha2 -- | Gibraltar GI :: Alpha2 -- | Greenland GL :: Alpha2 -- | Gambia (the) GM :: Alpha2 -- | Guinea GN :: Alpha2 -- | Guadeloupe GP :: Alpha2 -- | Equatorial Guinea GQ :: Alpha2 -- | Greece GR :: Alpha2 -- | South Georgia and the South Sandwich Islands GS :: Alpha2 -- | Guatemala GT :: Alpha2 -- | Guam GU :: Alpha2 -- | Guinea-Bissau GW :: Alpha2 -- | Guyana GY :: Alpha2 -- | Hong Kong HK :: Alpha2 -- | Heard Island and McDonald Islands HM :: Alpha2 -- | Honduras HN :: Alpha2 -- | Croatia HR :: Alpha2 -- | Haiti HT :: Alpha2 -- | Hungary HU :: Alpha2 -- | Withdrawn: Upper Volta -- | Deprecated: Use new code BF or ISO 3166-3 code HVBF HV :: Alpha2 -- | NotInUse: World Intellectual Property Organization, -- International Bureau -- | Warning: Not an official ISO 3166-1 code IB :: Alpha2 -- | ExceptionalReservation: Canary Islands (the) IC :: Alpha2 -- | Indonesia ID :: Alpha2 -- | Ireland IE :: Alpha2 -- | Israel IL :: Alpha2 -- | Isle of Man IM :: Alpha2 -- | India IN :: Alpha2 -- | British Indian Ocean Territory (the) IO :: Alpha2 -- | Iraq IQ :: Alpha2 -- | Iran (Islamic Republic of) IR :: Alpha2 -- | Iceland IS :: Alpha2 -- | Italy IT :: Alpha2 -- | IndeterminateReservation: Jamaica (road vehicles) -- | Deprecated: Use official code JM JA :: Alpha2 -- | Jersey JE :: Alpha2 -- | Jamaica JM :: Alpha2 -- | Jordan JO :: Alpha2 -- | Japan JP :: Alpha2 -- | Withdrawn: Johnston Island -- | Deprecated: Use new code UM or ISO 3166-3 code JTUM JT :: Alpha2 -- | Kenya KE :: Alpha2 -- | Kyrgyzstan KG :: Alpha2 -- | Cambodia KH :: Alpha2 -- | Kiribati KI :: Alpha2 -- | Comoros (the) KM :: Alpha2 -- | Saint Kitts and Nevis KN :: Alpha2 -- | Korea (the Democratic People's Republic of) KP :: Alpha2 -- | Korea (the Republic of) KR :: Alpha2 -- | Kuwait KW :: Alpha2 -- | Cayman Islands (the) KY :: Alpha2 -- | Kazakhstan KZ :: Alpha2 -- | Lao People's Democratic Republic (the) LA :: Alpha2 -- | Lebanon LB :: Alpha2 -- | Saint Lucia LC :: Alpha2 -- | IndeterminateReservation: Lybia Fezzan (road vehicles) -- | Deprecated: Use code for entire country LY LF :: Alpha2 -- | Liechtenstein LI :: Alpha2 -- | Sri Lanka LK :: Alpha2 -- | Liberia LR :: Alpha2 -- | Lesotho LS :: Alpha2 -- | Lithuania LT :: Alpha2 -- | Luxembourg LU :: Alpha2 -- | Latvia LV :: Alpha2 -- | Libya LY :: Alpha2 -- | Morocco MA :: Alpha2 -- | Monaco MC :: Alpha2 -- | Moldova (the Republic of) MD :: Alpha2 -- | Montenegro ME :: Alpha2 -- | Saint Martin (French part) MF :: Alpha2 -- | Madagascar MG :: Alpha2 -- | Marshall Islands (the) MH :: Alpha2 -- | Withdrawn: Midway Islands (the) -- | Deprecated: Use new code UM or ISO 3166-3 code MIUM MI :: Alpha2 -- | Macedonia (the former Yugoslav Republic of) MK :: Alpha2 -- | Mali ML :: Alpha2 -- | Myanmar MM :: Alpha2 -- | Mongolia MN :: Alpha2 -- | Macao MO :: Alpha2 -- | Northern Mariana Islands (the) MP :: Alpha2 -- | Martinique MQ :: Alpha2 -- | Mauritania MR :: Alpha2 -- | Montserrat MS :: Alpha2 -- | Malta MT :: Alpha2 -- | Mauritius MU :: Alpha2 -- | Maldives MV :: Alpha2 -- | Malawi MW :: Alpha2 -- | Mexico MX :: Alpha2 -- | Malaysia MY :: Alpha2 -- | Mozambique MZ :: Alpha2 -- | Namibia NA :: Alpha2 -- | New Caledonia NC :: Alpha2 -- | Niger (the) NE :: Alpha2 -- | Norfolk Island NF :: Alpha2 -- | Nigeria NG :: Alpha2 -- | Withdrawn: New Hebrides -- | Deprecated: Use new code VU or ISO 3166-3 code NHVU NH :: Alpha2 -- | Nicaragua NI :: Alpha2 -- | Netherlands (the) NL :: Alpha2 -- | Norway NO :: Alpha2 -- | Nepal NP :: Alpha2 -- | Withdrawn: Dronning Maud Land -- | Deprecated: Use new code AQ or ISO 3166-3 code NQAQ NQ :: Alpha2 -- | Nauru NR :: Alpha2 -- | TransitionalReservation: Saudi Arabian-Iraqi neutral zone (the) -- | Deprecated: Divided between IQ and SA, or use ISO 3166-3 code -- NTHH NT :: Alpha2 -- | Niue NU :: Alpha2 -- | New Zealand NZ :: Alpha2 -- | NotInUse: African Intellectual Property Organization -- | Warning: Not an official ISO 3166-1 code OA :: Alpha2 -- | Oman OM :: Alpha2 -- | Panama PA :: Alpha2 -- | Withdrawn: Pacific Islands (Trust Territory of the) -- | Deprecated: Divided into FM, MH, MP and PW, or use ISO 3166-3 code -- PCHH PC :: Alpha2 -- | Peru PE :: Alpha2 -- | French Polynesia PF :: Alpha2 -- | Papua New Guinea PG :: Alpha2 -- | Philippines (the) PH :: Alpha2 -- | IndeterminateReservation: Philippines (road vehicles) -- | Deprecated: Use official code PH PI :: Alpha2 -- | Pakistan PK :: Alpha2 -- | Poland PL :: Alpha2 -- | Saint Pierre and Miquelon PM :: Alpha2 -- | Pitcairn PN :: Alpha2 -- | Puerto Rico PR :: Alpha2 -- | Palestine, State of PS :: Alpha2 -- | Portugal PT :: Alpha2 -- | Withdrawn: United States Miscellaneous Pacific Islands (the) -- | Deprecated: Use new code UM or ISO 3166-3 code PUUM PU :: Alpha2 -- | Palau PW :: Alpha2 -- | Paraguay PY :: Alpha2 -- | Withdrawn: Panama Canal Zone (the) -- | Deprecated: Use new code PA or ISO 3166-3 code PZPA PZ :: Alpha2 -- | Qatar QA :: Alpha2 -- | IndeterminateReservation: Argentina (road vehicles) -- | Deprecated: Use official code AR RA :: Alpha2 -- | IndeterminateReservation: Bolivia & Botswana (road -- vehicles) -- | Deprecated: Use official code BO or BW, respectively RB :: Alpha2 -- | IndeterminateReservation: China (road vehicles) -- | Deprecated: Use official code CN RC :: Alpha2 -- | Réunion RE :: Alpha2 -- | IndeterminateReservation: Haiti (road vehicles); previously -- Southern Rhodesia -- | Deprecated: Use official code HT RH :: Alpha2 -- | IndeterminateReservation: Indonesia (road vehicles) -- | Deprecated: Use official code ID RI :: Alpha2 -- | IndeterminateReservation: Madagascar (road vehicles) -- | Deprecated: Use official code MG RM :: Alpha2 -- | IndeterminateReservation: Niger (road vehicles) -- | Deprecated: Use official code NE RN :: Alpha2 -- | Romania RO :: Alpha2 -- | IndeterminateReservation: Philippines (road vehicles) -- | Deprecated: Use official code PH RP :: Alpha2 -- | Serbia RS :: Alpha2 -- | Russian Federation (the) RU :: Alpha2 -- | Rwanda RW :: Alpha2 -- | Saudi Arabia SA :: Alpha2 -- | Solomon Islands SB :: Alpha2 -- | Seychelles SC :: Alpha2 -- | Sudan (the) SD :: Alpha2 -- | Sweden SE :: Alpha2 -- | IndeterminateReservation: Finland -- | Deprecated: Use official code FI SF :: Alpha2 -- | Singapore SG :: Alpha2 -- | Saint Helena, Ascension and Tristan da Cunha SH :: Alpha2 -- | Slovenia SI :: Alpha2 -- | Svalbard and Jan Mayen SJ :: Alpha2 -- | Slovakia; previously Sikkim SK :: Alpha2 -- | Sierra Leone SL :: Alpha2 -- | San Marino SM :: Alpha2 -- | Senegal SN :: Alpha2 -- | Somalia SO :: Alpha2 -- | Suriname SR :: Alpha2 -- | South Sudan SS :: Alpha2 -- | Sao Tome and Principe ST :: Alpha2 -- | ExceptionalReservation: USSR (the) SU :: Alpha2 -- | El Salvador SV :: Alpha2 -- | Sint Maarten (Dutch part) SX :: Alpha2 -- | Syrian Arab Republic SY :: Alpha2 -- | Eswatini SZ :: Alpha2 -- | ExceptionalReservation: Tristan da Cunha TA :: Alpha2 -- | Turks and Caicos Islands (the) TC :: Alpha2 -- | Chad TD :: Alpha2 -- | French Southern Territories (the) TF :: Alpha2 -- | Togo TG :: Alpha2 -- | Thailand TH :: Alpha2 -- | Tajikistan TJ :: Alpha2 -- | Tokelau TK :: Alpha2 -- | Timor-Leste TL :: Alpha2 -- | Turkmenistan TM :: Alpha2 -- | Tunisia TN :: Alpha2 -- | Tonga TO :: Alpha2 -- | Turkey TR :: Alpha2 -- | TransitionalReservation: East Timor -- | Deprecated: Use new code TL or ISO 3166-3 code TPTL TP :: Alpha2 -- | Trinidad and Tobago TT :: Alpha2 -- | Tuvalu TV :: Alpha2 -- | Taiwan (Province of China) TW :: Alpha2 -- | Tanzania, United Republic of TZ :: Alpha2 -- | Ukraine UA :: Alpha2 -- | Uganda UG :: Alpha2 -- | ExceptionalReservation: United Kingdom (the) -- | Warning: Official country code is GB UK :: Alpha2 -- | United States Minor Outlying Islands (the) UM :: Alpha2 -- | ExceptionalReservation: United Nations (the) UN :: Alpha2 -- | United States of America (the) US :: Alpha2 -- | Uruguay UY :: Alpha2 -- | Uzbekistan UZ :: Alpha2 -- | Holy See (the) VA :: Alpha2 -- | Saint Vincent and the Grenadines VC :: Alpha2 -- | Withdrawn: Viet Nam (Democratic Republic of) -- | Deprecated: Use new code VN or ISO 3166-3 code VDVN VD :: Alpha2 -- | Venezuela (Bolivarian Republic of) VE :: Alpha2 -- | Virgin Islands (British) VG :: Alpha2 -- | Virgin Islands (U.S.) VI :: Alpha2 -- | Viet Nam VN :: Alpha2 -- | Vanuatu VU :: Alpha2 -- | Wallis and Futuna WF :: Alpha2 -- | IndeterminateReservation: Grenada (road vehicles) -- | Deprecated: Use official code GD WG :: Alpha2 -- | Withdrawn: Wake Island -- | Deprecated: Use new code UM or ISO 3166-3 code WKUM WK :: Alpha2 -- | IndeterminateReservation: Saint Lucia (road vehicles) -- | Deprecated: Use official code LC WL :: Alpha2 -- | NotInUse: World Intellectual Property Organization -- | Warning: Not an official ISO 3166-1 code WO :: Alpha2 -- | Samoa WS :: Alpha2 -- | IndeterminateReservation: Saint Vincent (road vehicles) -- | Deprecated: Use official code VC WV :: Alpha2 -- | Withdrawn: Yemen (Democratic) -- | Deprecated: Use new code YE or ISO 3166-3 code YDYE YD :: Alpha2 -- | Yemen YE :: Alpha2 -- | Mayotte YT :: Alpha2 -- | TransitionalReservation: Yugoslavia -- | Deprecated: Use ISO 3166-3 code YUCS YU :: Alpha2 -- | IndeterminateReservation: Venezuela (road vehicles) -- | Deprecated: Use official code VE YV :: Alpha2 -- | South Africa ZA :: Alpha2 -- | Zambia ZM :: Alpha2 -- | TransitionalReservation: Zaire -- | Deprecated: Use new code CD or ISO 3166-3 code ZRCD ZR :: Alpha2 -- | Zimbabwe ZW :: Alpha2 -- | 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. data Alpha3 -- | Aruba ABW :: Alpha3 -- | IndeterminateReservation: Aden (road vehicles) -- | Deprecated: Use new code YEM ADN :: Alpha3 -- | Afghanistan AFG :: Alpha3 -- | Withdrawn: French Afar and Issas -- | Deprecated: Use new code DJI or ISO 3166-3 code AIDJ AFI :: Alpha3 -- | Angola AGO :: Alpha3 -- | Anguilla AIA :: Alpha3 -- | Åland Islands ALA :: Alpha3 -- | Albania ALB :: Alpha3 -- | Andorra AND :: Alpha3 -- | TransitionalReservation: Netherlands Antilles -- | Deprecated: Divided into BES, CUW and SXM, or use ISO 3166-3 code -- ANHH ANT :: Alpha3 -- | United Arab Emirates (the) ARE :: Alpha3 -- | Argentina ARG :: Alpha3 -- | Armenia ARM :: Alpha3 -- | ExceptionalReservation: Ascension Island ASC :: Alpha3 -- | American Samoa ASM :: Alpha3 -- | Antarctica ATA :: Alpha3 -- | Withdrawn: British Antarctic Territory (the) -- | Deprecated: Use new code ATA or ISO 3166-3 code BQAQ ATB :: Alpha3 -- | French Southern Territories (the) ATF :: Alpha3 -- | Antigua and Barbuda ATG :: Alpha3 -- | Withdrawn: Dronning Maud Land -- | Deprecated: Use new code ATA or ISO 3166-3 code NQAQ ATN :: Alpha3 -- | Australia AUS :: Alpha3 -- | Austria AUT :: Alpha3 -- | Azerbaijan AZE :: Alpha3 -- | Burundi BDI :: Alpha3 -- | IndeterminateReservation: Barbados (road vehicles) -- | Deprecated: Use official code BRB BDS :: Alpha3 -- | Belgium BEL :: Alpha3 -- | Benin BEN :: Alpha3 -- | Bonaire, Sint Eustatius and Saba BES :: Alpha3 -- | Burkina Faso BFA :: Alpha3 -- | Bangladesh BGD :: Alpha3 -- | Bulgaria BGR :: Alpha3 -- | Bahrain BHR :: Alpha3 -- | Bahamas (the) BHS :: Alpha3 -- | Bosnia and Herzegovina BIH :: Alpha3 -- | Saint Barthélemy BLM :: Alpha3 -- | Belarus BLR :: Alpha3 -- | Belize BLZ :: Alpha3 -- | Bermuda BMU :: Alpha3 -- | Bolivia (Plurinational State of) BOL :: Alpha3 -- | Brazil BRA :: Alpha3 -- | Barbados BRB :: Alpha3 -- | Brunei Darussalam BRN :: Alpha3 -- | IndeterminateReservation: Brunai (road vehicles) -- | Deprecated: Use official code BRN BRU :: Alpha3 -- | Bhutan BTN :: Alpha3 -- | TransitionalReservation: Burma -- | Deprecated: Use new code MMR or ISO 3166-3 code BUMM BUR :: Alpha3 -- | Bouvet Island BVT :: Alpha3 -- | Botswana BWA :: Alpha3 -- | TransitionalReservation: Byelorussian SSR -- | Deprecated: Use new code BLR or ISO 3166-3 code BYAA BYS :: Alpha3 -- | Central African Republic (the) CAF :: Alpha3 -- | Canada CAN :: Alpha3 -- | Cocos (Keeling) Islands (the) CCK :: Alpha3 -- | IndeterminateReservation: Canada (road vehicles) -- | Deprecated: Use official code CAN CDN :: Alpha3 -- | Switzerland CHE :: Alpha3 -- | Chile CHL :: Alpha3 -- | China CHN :: Alpha3 -- | Côte d'Ivoire CIV :: Alpha3 -- | Cameroon CMR :: Alpha3 -- | Congo (the Democratic Republic of the) COD :: Alpha3 -- | Congo (the) COG :: Alpha3 -- | Cook Islands (the) COK :: Alpha3 -- | Colombia COL :: Alpha3 -- | Comoros (the) COM :: Alpha3 -- | ExceptionalReservation: Clipperton Island CPT :: Alpha3 -- | Cabo Verde CPV :: Alpha3 -- | Costa Rica CRI :: Alpha3 -- | TransitionalReservation: Czechoslovakia -- | Deprecated: Divided into CZE and SVK, or use ISO 3166-3 code -- CSHH CSK :: Alpha3 -- | Withdrawn: Canton and Enderbury Islands (the) -- | Deprecated: Use new code KIR or ISO 3166-3 code CTKI CTE :: Alpha3 -- | Cuba CUB :: Alpha3 -- | Curaçao CUW :: Alpha3 -- | Christmas Island CXR :: Alpha3 -- | Cayman Islands (the) CYM :: Alpha3 -- | Cyprus CYP :: Alpha3 -- | Czechia CZE :: Alpha3 -- | Withdrawn: German Democratic Republic (the) -- | Deprecated: Use new code DEU or ISO 3166-3 code DDDE DDR :: Alpha3 -- | Germany DEU :: Alpha3 -- | ExceptionalReservation: Diego Garcia DGA :: Alpha3 -- | Withdrawn: Dahomey -- | Deprecated: Use new code BEN or ISO 3166-3 code DYBJ DHY :: Alpha3 -- | Djibouti DJI :: Alpha3 -- | Dominica DMA :: Alpha3 -- | Denmark DNK :: Alpha3 -- | Dominican Republic (the) DOM :: Alpha3 -- | Algeria DZA :: Alpha3 -- | IndeterminateReservation: Kenya (road vehicles) -- | Deprecated: Use official code KEN EAK :: Alpha3 -- | IndeterminateReservation: Tanganyika (road vehicles) -- | Deprecated: Use code for entire country TZA EAT :: Alpha3 -- | IndeterminateReservation: Uganda (road vehicles) -- | Deprecated: Use official code UGA EAU :: Alpha3 -- | IndeterminateReservation: Zanzibar (road vehicles) -- | Deprecated: Use code for entire country TZA EAZ :: Alpha3 -- | Ecuador ECU :: Alpha3 -- | Egypt EGY :: Alpha3 -- | Eritrea ERI :: Alpha3 -- | Western Sahara ESH :: Alpha3 -- | Spain ESP :: Alpha3 -- | Estonia EST :: Alpha3 -- | Ethiopia ETH :: Alpha3 -- | Finland FIN :: Alpha3 -- | Fiji FJI :: Alpha3 -- | Falkland Islands (the) [Malvinas] FLK :: Alpha3 -- | France FRA :: Alpha3 -- | Faroe Islands (the) FRO :: Alpha3 -- | Micronesia (Federated States of) FSM :: Alpha3 -- | ExceptionalReservation: France, Metropolitan FXX :: Alpha3 -- | Gabon GAB :: Alpha3 -- | IndeterminateReservation: Alderney (road vehicles) -- | Deprecated: Use code for entire region GGY GBA :: Alpha3 -- | NotInUse: British Overseas Territories (passport) -- | Warning: Not an official ISO 3166-1 code GBD :: Alpha3 -- | IndeterminateReservation: Guernsey (road vehicles) -- | Deprecated: Use official code GGY GBG :: Alpha3 -- | IndeterminateReservation: Jersey (road vehicles) -- | Deprecated: Use official code JEY GBJ :: Alpha3 -- | IndeterminateReservation: Isle of Man (road vehicles) -- | Deprecated: Use official code IMN GBM :: Alpha3 -- | NotInUse: Overseas British national (passport) -- | Warning: Not an official ISO 3166-1 code GBN :: Alpha3 -- | NotInUse: Overseas Britisn citizen (passport) -- | Warning: Not an official ISO 3166-1 code GBO :: Alpha3 -- | NotInUse: British protected person (passport) -- | Warning: Not an official ISO 3166-1 code GBP :: Alpha3 -- | United Kingdom of Great Britain and Northern Ireland (the) GBR :: Alpha3 -- | NotInUse: British subject (passport) -- | Warning: Not an official ISO 3166-1 code GBS :: Alpha3 -- | IndeterminateReservation: Gibraltar (road vehicles) -- | Deprecated: Use official code GIB GBZ :: Alpha3 -- | IndeterminateReservation: Guatemala (road vehicles) -- | Deprecated: Use official code GTM GCA :: Alpha3 -- | Georgia GEO :: Alpha3 -- | Withdrawn: Gilbert and Ellice Islands (the) -- | Deprecated: Divided into KIR and TUV, or use ISO 3166-3 code -- GEHH GEL :: Alpha3 -- | Guernsey GGY :: Alpha3 -- | Ghana GHA :: Alpha3 -- | Gibraltar GIB :: Alpha3 -- | Guinea GIN :: Alpha3 -- | Guadeloupe GLP :: Alpha3 -- | Gambia (the) GMB :: Alpha3 -- | Guinea-Bissau GNB :: Alpha3 -- | Equatorial Guinea GNQ :: Alpha3 -- | Greece GRC :: Alpha3 -- | Grenada GRD :: Alpha3 -- | Greenland GRL :: Alpha3 -- | Guatemala GTM :: Alpha3 -- | French Guiana GUF :: Alpha3 -- | Guam GUM :: Alpha3 -- | Guyana GUY :: Alpha3 -- | IndeterminateReservation: Jordan (road vehicles) -- | Deprecated: Use official code JOR HKJ :: Alpha3 -- | Hong Kong HKG :: Alpha3 -- | Heard Island and McDonald Islands HMD :: Alpha3 -- | Honduras HND :: Alpha3 -- | Croatia HRV :: Alpha3 -- | Haiti HTI :: Alpha3 -- | Hungary HUN :: Alpha3 -- | Withdrawn: Upper Volta -- | Deprecated: Use new code BFA or ISO 3166-3 code HVBF HVO :: Alpha3 -- | Indonesia IDN :: Alpha3 -- | Isle of Man IMN :: Alpha3 -- | India IND :: Alpha3 -- | British Indian Ocean Territory (the) IOT :: Alpha3 -- | Ireland IRL :: Alpha3 -- | Iran (Islamic Republic of) IRN :: Alpha3 -- | Iraq IRQ :: Alpha3 -- | Iceland ISL :: Alpha3 -- | Israel ISR :: Alpha3 -- | Italy ITA :: Alpha3 -- | Jamaica JAM :: Alpha3 -- | Jersey JEY :: Alpha3 -- | Jordan JOR :: Alpha3 -- | Japan JPN :: Alpha3 -- | Withdrawn: Johnston Island -- | Deprecated: Use new code UMI or ISO 3166-3 code JTUM JTN :: Alpha3 -- | Kazakhstan KAZ :: Alpha3 -- | Kenya KEN :: Alpha3 -- | Kyrgyzstan KGZ :: Alpha3 -- | Cambodia KHM :: Alpha3 -- | Kiribati KIR :: Alpha3 -- | Saint Kitts and Nevis KNA :: Alpha3 -- | Korea (the Republic of) KOR :: Alpha3 -- | Kuwait KWT :: Alpha3 -- | Lao People's Democratic Republic (the) LAO :: Alpha3 -- | Lebanon LBN :: Alpha3 -- | Liberia LBR :: Alpha3 -- | Libya LBY :: Alpha3 -- | Saint Lucia LCA :: Alpha3 -- | Liechtenstein LIE :: Alpha3 -- | Sri Lanka LKA :: Alpha3 -- | Lesotho LSO :: Alpha3 -- | Lithuania LTU :: Alpha3 -- | Luxembourg LUX :: Alpha3 -- | Latvia LVA :: Alpha3 -- | Macao MAC :: Alpha3 -- | Saint Martin (French part) MAF :: Alpha3 -- | IndeterminateReservation: Malaysia (road vehicles) -- | Deprecated: Use official code MYS MAL :: Alpha3 -- | Morocco MAR :: Alpha3 -- | Monaco MCO :: Alpha3 -- | Moldova (the Republic of) MDA :: Alpha3 -- | Madagascar MDG :: Alpha3 -- | Maldives MDV :: Alpha3 -- | Mexico MEX :: Alpha3 -- | Marshall Islands (the) MHL :: Alpha3 -- | Withdrawn: Midway Islands (the) -- | Deprecated: Use new code UMI or ISO 3166-3 code MIUM MID :: Alpha3 -- | Macedonia (the former Yugoslav Republic of) MKD :: Alpha3 -- | Mali MLI :: Alpha3 -- | Malta MLT :: Alpha3 -- | Myanmar MMR :: Alpha3 -- | Montenegro MNE :: Alpha3 -- | Mongolia MNG :: Alpha3 -- | Northern Mariana Islands (the) MNP :: Alpha3 -- | Mozambique MOZ :: Alpha3 -- | Mauritania MRT :: Alpha3 -- | Montserrat MSR :: Alpha3 -- | Martinique MTQ :: Alpha3 -- | Mauritius MUS :: Alpha3 -- | Malawi MWI :: Alpha3 -- | Malaysia MYS :: Alpha3 -- | Mayotte MYT :: Alpha3 -- | Namibia NAM :: Alpha3 -- | New Caledonia NCL :: Alpha3 -- | Niger (the) NER :: Alpha3 -- | Norfolk Island NFK :: Alpha3 -- | Nigeria NGA :: Alpha3 -- | Withdrawn: New Hebrides -- | Deprecated: Use new code VUT or ISO 3166-3 code NHVU NHB :: Alpha3 -- | Nicaragua NIC :: Alpha3 -- | Niue NIU :: Alpha3 -- | Netherlands (the) NLD :: Alpha3 -- | Norway NOR :: Alpha3 -- | Nepal NPL :: Alpha3 -- | Nauru NRU :: Alpha3 -- | TransitionalReservation: Saudi Arabian-Iraqi neutral zone (the) -- | Deprecated: Divided between IRQ and SAU, or use ISO 3166-3 code -- NTHH NTZ :: Alpha3 -- | New Zealand NZL :: Alpha3 -- | Oman OMN :: Alpha3 -- | Pakistan PAK :: Alpha3 -- | Panama PAN :: Alpha3 -- | Pitcairn PCN :: Alpha3 -- | Withdrawn: Pacific Islands (Trust Territory of the) -- | Deprecated: Divided into FSM, MHL, MNP and PLW, or use ISO 3166-3 -- code PCHH PCI :: Alpha3 -- | Withdrawn: Panama Canal Zone (the) -- | Deprecated: Use new code PAN or ISO 3166-3 code PZPA PCZ :: Alpha3 -- | Peru PER :: Alpha3 -- | Withdrawn: Philippines -- | Deprecated: Use new code PHL PHI :: Alpha3 -- | Philippines (the) PHL :: Alpha3 -- | Palau PLW :: Alpha3 -- | Papua New Guinea PNG :: Alpha3 -- | Poland POL :: Alpha3 -- | Puerto Rico PRI :: Alpha3 -- | Korea (the Democratic People's Republic of) PRK :: Alpha3 -- | Portugal PRT :: Alpha3 -- | Paraguay PRY :: Alpha3 -- | Palestine, State of PSE :: Alpha3 -- | Withdrawn: United States Miscellaneous Pacific Islands (the) -- | Deprecated: Use new code UMI or ISO 3166-3 code PUUM PUS :: Alpha3 -- | French Polynesia PYF :: Alpha3 -- | Qatar QAT :: Alpha3 -- | IndeterminateReservation: Central African Republic (road -- vehicles) -- | Deprecated: Use official code CAF RCA :: Alpha3 -- | IndeterminateReservation: Congo, People's Republic of (road -- vehicles) -- | Deprecated: Use official code COG RCB :: Alpha3 -- | IndeterminateReservation: Chile (road vehicles) -- | Deprecated: Use official code CHL RCH :: Alpha3 -- | Réunion REU :: Alpha3 -- | Withdrawn: Southern Rhodesia -- | Deprecated: Use new code ZWE or ISO 3166-3 code RHZW RHO :: Alpha3 -- | IndeterminateReservation: Mali (road vehicles) -- | Deprecated: Use official code MLI RMM :: Alpha3 -- | IndeterminateReservation: Zambia (road vehicles) -- | Deprecated: Use official code ZMB RNR :: Alpha3 -- | IndeterminateReservation: Korea, Republic of (road vehicles) -- | Deprecated: Use official code KOR ROK :: Alpha3 -- | TransitionalReservation: Romania -- | Deprecated: Use new code ROU ROM :: Alpha3 -- | Romania ROU :: Alpha3 -- | IndeterminateReservation: San Marino (road vehicles) -- | Deprecated: Use official code SMR RSM :: Alpha3 -- | IndeterminateReservation: Zimbabwe (road vehicles) -- | Deprecated: Use official code ZWE RSR :: Alpha3 -- | Russian Federation (the) RUS :: Alpha3 -- | Rwanda RWA :: Alpha3 -- | Saudi Arabia SAU :: Alpha3 -- | TransitionalReservation: Serbia and Montenegro -- | Deprecated: Divided into MNE and SRB, or use ISO 3166-3 code -- CSXX SCG :: Alpha3 -- | Sudan (the) SDN :: Alpha3 -- | Senegal SEN :: Alpha3 -- | Singapore SGP :: Alpha3 -- | South Georgia and the South Sandwich Islands SGS :: Alpha3 -- | Saint Helena, Ascension and Tristan da Cunha SHN :: Alpha3 -- | Svalbard and Jan Mayen SJM :: Alpha3 -- | Withdrawn: Sikkim -- | Deprecated: Use new code IND or ISO 3166-3 code SKIN SKM :: Alpha3 -- | Solomon Islands SLB :: Alpha3 -- | Sierra Leone SLE :: Alpha3 -- | IndeterminateReservation: Slovenia (road vehicles) -- | Deprecated: Use official code SVN SLO :: Alpha3 -- | El Salvador SLV :: Alpha3 -- | IndeterminateReservation: Suriname (road vehicles) -- | Deprecated: Use official code SUR SME :: Alpha3 -- | San Marino SMR :: Alpha3 -- | Somalia SOM :: Alpha3 -- | Saint Pierre and Miquelon SPM :: Alpha3 -- | Serbia SRB :: Alpha3 -- | South Sudan SSD :: Alpha3 -- | Sao Tome and Principe STP :: Alpha3 -- | ExceptionalReservation: USSR (the) SUN :: Alpha3 -- | Suriname SUR :: Alpha3 -- | Slovakia SVK :: Alpha3 -- | Slovenia SVN :: Alpha3 -- | Sweden SWE :: Alpha3 -- | Eswatini SWZ :: Alpha3 -- | Sint Maarten (Dutch part) SXM :: Alpha3 -- | Seychelles SYC :: Alpha3 -- | Syrian Arab Republic SYR :: Alpha3 -- | ExceptionalReservation: Tristan da Cunha TAA :: Alpha3 -- | Turks and Caicos Islands (the) TCA :: Alpha3 -- | Chad TCD :: Alpha3 -- | Togo TGO :: Alpha3 -- | Thailand THA :: Alpha3 -- | Tajikistan TJK :: Alpha3 -- | Tokelau TKL :: Alpha3 -- | Turkmenistan TKM :: Alpha3 -- | Timor-Leste TLS :: Alpha3 -- | IndeterminateReservation: Turkmenistan (road vehicles) -- | Deprecated: Use official code TKN TMN :: Alpha3 -- | TransitionalReservation: East Timor -- | Deprecated: Use new code TLS or ISO 3166-3 code TPTL TMP :: Alpha3 -- | Tonga TON :: Alpha3 -- | Trinidad and Tobago TTO :: Alpha3 -- | Tunisia TUN :: Alpha3 -- | Turkey TUR :: Alpha3 -- | Tuvalu TUV :: Alpha3 -- | Taiwan (Province of China) TWN :: Alpha3 -- | Tanzania, United Republic of TZA :: Alpha3 -- | Uganda UGA :: Alpha3 -- | Ukraine UKR :: Alpha3 -- | United States Minor Outlying Islands (the) UMI :: Alpha3 -- | NotInUse: United Nations Specialized Agency (passport) -- | Warning: Not an official ISO 3166-1 code UNA :: Alpha3 -- | NotInUse: United Nations Interim Administration in Kosovo -- (passport) -- | Warning: Not an official ISO 3166-1 code UNK :: Alpha3 -- | NotInUse: United Nations (passport) -- | Warning: Not an official ISO 3166-1 code UNO :: Alpha3 -- | Uruguay URY :: Alpha3 -- | United States of America (the) USA :: Alpha3 -- | Uzbekistan UZB :: Alpha3 -- | Holy See (the) VAT :: Alpha3 -- | Saint Vincent and the Grenadines VCT :: Alpha3 -- | Withdrawn: Viet Nam (Democratic Republic of) -- | Deprecated: Use new code VNM or ISO 3166-3 code VDVN VDR :: Alpha3 -- | Venezuela (Bolivarian Republic of) VEN :: Alpha3 -- | Virgin Islands (British) VGB :: Alpha3 -- | Virgin Islands (U.S.) VIR :: Alpha3 -- | Viet Nam VNM :: Alpha3 -- | Vanuatu VUT :: Alpha3 -- | IndeterminateReservation: Gambia (road vehicles) -- | Deprecated: Use official code GMB WAG :: Alpha3 -- | Withdrawn: Wake Island -- | Deprecated: Use new code UMI or ISO 3166-3 code WKUM WAK :: Alpha3 -- | IndeterminateReservation: Sierra Leone (road vehicles) -- | Deprecated: Use official code SLE WAL :: Alpha3 -- | IndeterminateReservation: Nigeria (road vehicles) -- | Deprecated: Use official code NGA WAN :: Alpha3 -- | Wallis and Futuna WLF :: Alpha3 -- | Samoa WSM :: Alpha3 -- | Yemen YEM :: Alpha3 -- | Withdrawn: Yemen (Democratic) -- | Deprecated: Use new code YEM or ISO 3166-3 code YDYE YMD :: Alpha3 -- | TransitionalReservation: Yugoslavia -- | Deprecated: Use ISO 3166-3 code YUCS YUG :: Alpha3 -- | South Africa ZAF :: Alpha3 -- | TransitionalReservation: Zaire -- | Deprecated: Use new code COD or ISO 3166-3 code ZRCD ZAR :: Alpha3 -- | Zambia ZMB :: Alpha3 -- | IndeterminateReservation: Zaire (road vehicles) -- | Deprecated: Use official code ZAR, new code COD or ISO 3166-3 code -- ZRCD ZRE :: Alpha3 -- | Zimbabwe ZWE :: Alpha3 -- | 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. data Numeric -- | Afghanistan C004 :: Numeric -- | Albania C008 :: Numeric -- | Antarctica C010 :: Numeric -- | Algeria C012 :: Numeric -- | American Samoa C016 :: Numeric -- | Andorra C020 :: Numeric -- | Angola C024 :: Numeric -- | Antigua and Barbuda C028 :: Numeric -- | Azerbaijan C031 :: Numeric -- | Argentina C032 :: Numeric -- | Australia C036 :: Numeric -- | Austria C040 :: Numeric -- | Bahamas (the) C044 :: Numeric -- | Bahrain C048 :: Numeric -- | Bangladesh C050 :: Numeric -- | Armenia C051 :: Numeric -- | Barbados C052 :: Numeric -- | Belgium C056 :: Numeric -- | Bermuda C060 :: Numeric -- | Bhutan C064 :: Numeric -- | Bolivia (Plurinational State of) C068 :: Numeric -- | Bosnia and Herzegovina C070 :: Numeric -- | Botswana C072 :: Numeric -- | Bouvet Island C074 :: Numeric -- | Brazil C076 :: Numeric -- | Withdrawn: British Antarctic Territory (the) -- | Deprecated: Use new code C010 after merge with C216 and C260 C080 :: Numeric -- | Belize C084 :: Numeric -- | British Indian Ocean Territory (the) C086 :: Numeric -- | Solomon Islands C090 :: Numeric -- | Virgin Islands (British) C092 :: Numeric -- | Brunei Darussalam C096 :: Numeric -- | Bulgaria C100 :: Numeric -- | Myanmar C104 :: Numeric -- | Burundi C108 :: Numeric -- | Belarus C112 :: Numeric -- | Cambodia C116 :: Numeric -- | Cameroon C120 :: Numeric -- | Canada C124 :: Numeric -- | Withdrawn: Canton and Enderbury Islands (the) -- | Deprecated: Use new code C296 C128 :: Numeric -- | Cabo Verde C132 :: Numeric -- | Cayman Islands (the) C136 :: Numeric -- | Central African Republic (the) C140 :: Numeric -- | Sri Lanka C144 :: Numeric -- | Chad C148 :: Numeric -- | Chile C152 :: Numeric -- | China C156 :: Numeric -- | Taiwan (Province of China) C158 :: Numeric -- | Christmas Island C162 :: Numeric -- | Cocos (Keeling) Islands (the) C166 :: Numeric -- | Colombia C170 :: Numeric -- | Comoros (the) C174 :: Numeric -- | Mayotte C175 :: Numeric -- | Congo (the) C178 :: Numeric -- | Congo (the Democratic Republic of the) C180 :: Numeric -- | Cook Islands (the) C184 :: Numeric -- | Costa Rica C188 :: Numeric -- | Croatia C191 :: Numeric -- | Cuba C192 :: Numeric -- | Cyprus C196 :: Numeric -- | Withdrawn: Czechoslovakia -- | Deprecated: Divided into C203 and C703 C200 :: Numeric -- | Czechia C203 :: Numeric -- | Benin C204 :: Numeric -- | Denmark C208 :: Numeric -- | Dominica C212 :: Numeric -- | Dominican Republic (the) C214 :: Numeric -- | Withdrawn: Dronning Maud Land -- | Deprecated: Use new code C010 after merge with C080 and C260 C216 :: Numeric -- | Ecuador C218 :: Numeric -- | El Salvador C222 :: Numeric -- | Equatorial Guinea C226 :: Numeric -- | Withdrawn: Ethiopia -- | Deprecated: Divided into C231 and C232 C230 :: Numeric -- | Ethiopia C231 :: Numeric -- | Eritrea C232 :: Numeric -- | Estonia C233 :: Numeric -- | Faroe Islands (the) C234 :: Numeric -- | Falkland Islands (the) [Malvinas] C238 :: Numeric -- | South Georgia and the South Sandwich Islands C239 :: Numeric -- | Fiji C242 :: Numeric -- | Finland C246 :: Numeric -- | Åland Islands C248 :: Numeric -- | Withdrawn: France, Metropolitan -- | Deprecated: Use new code C250 C249 :: Numeric -- | France C250 :: Numeric -- | French Guiana C254 :: Numeric -- | French Polynesia C258 :: Numeric -- | French Southern Territories (the) C260 :: Numeric -- | Djibouti C262 :: Numeric -- | Gabon C266 :: Numeric -- | Georgia C268 :: Numeric -- | Gambia (the) C270 :: Numeric -- | Palestine, State of C275 :: Numeric -- | Germany C276 :: Numeric -- | Withdrawn: German Democratic Republic (the) -- | Deprecated: Use new code C276 after merge with C280 C278 :: Numeric -- | Withdrawn: Germany (Federal Republic of) -- | Deprecated: Use new code C276 after merge with C278 C280 :: Numeric -- | Ghana C288 :: Numeric -- | Gibraltar C292 :: Numeric -- | Kiribati C296 :: Numeric -- | Greece C300 :: Numeric -- | Greenland C304 :: Numeric -- | Grenada C308 :: Numeric -- | Guadeloupe C312 :: Numeric -- | Guam C316 :: Numeric -- | Guatemala C320 :: Numeric -- | Guinea C324 :: Numeric -- | Guyana C328 :: Numeric -- | Haiti C332 :: Numeric -- | Heard Island and McDonald Islands C334 :: Numeric -- | Holy See (the) C336 :: Numeric -- | Honduras C340 :: Numeric -- | Hong Kong C344 :: Numeric -- | Hungary C348 :: Numeric -- | Iceland C352 :: Numeric -- | India C356 :: Numeric -- | Indonesia C360 :: Numeric -- | Iran (Islamic Republic of) C364 :: Numeric -- | Iraq C368 :: Numeric -- | Ireland C372 :: Numeric -- | Israel C376 :: Numeric -- | Italy C380 :: Numeric -- | Côte d'Ivoire C384 :: Numeric -- | Jamaica C388 :: Numeric -- | Japan C392 :: Numeric -- | Withdrawn: Johnston Island -- | Deprecated: Use new code C581 after merge with C488, C849 and -- C872 C396 :: Numeric -- | Kazakhstan C398 :: Numeric -- | Jordan C400 :: Numeric -- | Kenya C404 :: Numeric -- | Korea (the Democratic People's Republic of) C408 :: Numeric -- | Korea (the Republic of) C410 :: Numeric -- | Kuwait C414 :: Numeric -- | Kyrgyzstan C417 :: Numeric -- | Lao People's Democratic Republic (the) C418 :: Numeric -- | Lebanon C422 :: Numeric -- | Lesotho C426 :: Numeric -- | Latvia C428 :: Numeric -- | Liberia C430 :: Numeric -- | Libya C434 :: Numeric -- | Liechtenstein C438 :: Numeric -- | Lithuania C440 :: Numeric -- | Luxembourg C442 :: Numeric -- | Macao C446 :: Numeric -- | Madagascar C450 :: Numeric -- | Malawi C454 :: Numeric -- | Malaysia C458 :: Numeric -- | Maldives C462 :: Numeric -- | Mali C466 :: Numeric -- | Malta C470 :: Numeric -- | Martinique C474 :: Numeric -- | Mauritania C478 :: Numeric -- | Mauritius C480 :: Numeric -- | Mexico C484 :: Numeric -- | Withdrawn: Midway Islands (the) -- | Deprecated: Use new code C581 after merge with C396, C849 and -- C872 C488 :: Numeric -- | Monaco C492 :: Numeric -- | Mongolia C496 :: Numeric -- | Moldova (the Republic of) C498 :: Numeric -- | Montenegro C499 :: Numeric -- | Montserrat C500 :: Numeric -- | Morocco C504 :: Numeric -- | Mozambique C508 :: Numeric -- | Oman C512 :: Numeric -- | Namibia C516 :: Numeric -- | Nauru C520 :: Numeric -- | Nepal C524 :: Numeric -- | Netherlands (the) C528 :: Numeric -- | Withdrawn: Netherlands Antilles -- | Deprecated: Divided into C531, C535 and C534 C530 :: Numeric -- | Curaçao C531 :: Numeric -- | Withdrawn: Netherlands Antilles -- | Deprecated: Divided into C530 and C533 C532 :: Numeric -- | Aruba C533 :: Numeric -- | Sint Maarten (Dutch part) C534 :: Numeric -- | Bonaire, Sint Eustatius and Saba C535 :: Numeric -- | Withdrawn: Saudi Arabian-Iraqi neutral zone (the) -- | Deprecated: Divided between C368 and C682 C536 :: Numeric -- | New Caledonia C540 :: Numeric -- | Vanuatu C548 :: Numeric -- | New Zealand C554 :: Numeric -- | Nicaragua C558 :: Numeric -- | Niger (the) C562 :: Numeric -- | Nigeria C566 :: Numeric -- | Niue C570 :: Numeric -- | Norfolk Island C574 :: Numeric -- | Norway C578 :: Numeric -- | Northern Mariana Islands (the) C580 :: Numeric -- | United States Minor Outlying Islands (the) C581 :: Numeric -- | Withdrawn: Pacific Islands (Trust Territory of the) -- | Deprecated: Divided into C580, C583, C584 and C585 C582 :: Numeric -- | Micronesia (Federated States of) C583 :: Numeric -- | Marshall Islands (the) C584 :: Numeric -- | Palau C585 :: Numeric -- | Pakistan C586 :: Numeric -- | Withdrawn: Panama -- | Deprecated: Use new code C591 after merge with C594 C590 :: Numeric -- | Panama C591 :: Numeric -- | Withdrawn: Panama Canal Zone (the) -- | Deprecated: Use new code C591 after merge with C590 C594 :: Numeric -- | Papua New Guinea C598 :: Numeric -- | Paraguay C600 :: Numeric -- | Peru C604 :: Numeric -- | Philippines (the) C608 :: Numeric -- | Pitcairn C612 :: Numeric -- | Poland C616 :: Numeric -- | Portugal C620 :: Numeric -- | Guinea-Bissau C624 :: Numeric -- | Timor-Leste C626 :: Numeric -- | Puerto Rico C630 :: Numeric -- | Qatar C634 :: Numeric -- | Réunion C638 :: Numeric -- | Romania C642 :: Numeric -- | Russian Federation (the) C643 :: Numeric -- | Rwanda C646 :: Numeric -- | Saint Barthélemy C652 :: Numeric -- | Saint Helena, Ascension and Tristan da Cunha C654 :: Numeric -- | Withdrawn: Saint Kitts-Nevis-Anguilla -- | Deprecated: Divided between C659 and C660 C658 :: Numeric -- | Saint Kitts and Nevis C659 :: Numeric -- | Anguilla C660 :: Numeric -- | Saint Lucia C662 :: Numeric -- | Saint Martin (French part) C663 :: Numeric -- | Saint Pierre and Miquelon C666 :: Numeric -- | Saint Vincent and the Grenadines C670 :: Numeric -- | San Marino C674 :: Numeric -- | Sao Tome and Principe C678 :: Numeric -- | Saudi Arabia C682 :: Numeric -- | Senegal C686 :: Numeric -- | Serbia C688 :: Numeric -- | Seychelles C690 :: Numeric -- | Sierra Leone C694 :: Numeric -- | Withdrawn: Sikkim -- | Deprecated: Use new code C356 C698 :: Numeric -- | Singapore C702 :: Numeric -- | Slovakia C703 :: Numeric -- | Viet Nam C704 :: Numeric -- | Slovenia C705 :: Numeric -- | Somalia C706 :: Numeric -- | South Africa C710 :: Numeric -- | Withdrawn: Viet Nam (Democratic Republic of) -- | Deprecated: Use new code C704 C714 :: Numeric -- | Zimbabwe C716 :: Numeric -- | Withdrawn: Yemen (Democratic) -- | Deprecated: Use new code C887 after merge with C886 C720 :: Numeric -- | Spain C724 :: Numeric -- | South Sudan C728 :: Numeric -- | Sudan (the) C729 :: Numeric -- | Western Sahara C732 :: Numeric -- | Withdrawn: Sudan (the) -- | Deprecated: Divided between C728 and C729 C736 :: Numeric -- | Suriname C740 :: Numeric -- | Svalbard and Jan Mayen C744 :: Numeric -- | Eswatini C748 :: Numeric -- | Sweden C752 :: Numeric -- | Switzerland C756 :: Numeric -- | Syrian Arab Republic C760 :: Numeric -- | Tajikistan C762 :: Numeric -- | Thailand C764 :: Numeric -- | Togo C768 :: Numeric -- | Tokelau C772 :: Numeric -- | Tonga C776 :: Numeric -- | Trinidad and Tobago C780 :: Numeric -- | United Arab Emirates (the) C784 :: Numeric -- | Tunisia C788 :: Numeric -- | Turkey C792 :: Numeric -- | Turkmenistan C795 :: Numeric -- | Turks and Caicos Islands (the) C796 :: Numeric -- | Tuvalu C798 :: Numeric -- | Uganda C800 :: Numeric -- | Ukraine C804 :: Numeric -- | Macedonia (the former Yugoslav Republic of) C807 :: Numeric -- | Withdrawn: USSR (the) -- | Deprecated: Divided into C031, C051, C233, C268, C398, C417, C428, -- C440, C498, C643, C762, C795 and C860 C810 :: Numeric -- | Egypt C818 :: Numeric -- | United Kingdom of Great Britain and Northern Ireland (the) C826 :: Numeric -- | Guernsey C831 :: Numeric -- | Jersey C832 :: Numeric -- | Isle of Man C833 :: Numeric -- | Tanzania, United Republic of C834 :: Numeric -- | United States of America (the) C840 :: Numeric -- | Withdrawn: United States Miscellaneous Pacific Islands (the) -- | Deprecated: Use new code C581 after merge with C396, C488 and -- C872 C849 :: Numeric -- | Virgin Islands (U.S.) C850 :: Numeric -- | Burkina Faso C854 :: Numeric -- | Uruguay C858 :: Numeric -- | Uzbekistan C860 :: Numeric -- | Venezuela (Bolivarian Republic of) C862 :: Numeric -- | Withdrawn: Wake Island -- | Deprecated: Use new code C581 after merge with C396, C488 and -- C849 C872 :: Numeric -- | Wallis and Futuna C876 :: Numeric -- | Samoa C882 :: Numeric -- | Withdrawn: Yemen Arab Republic -- | Deprecated: Use new code C887 after merge with C720 C886 :: Numeric -- | Yemen C887 :: Numeric -- | Withdrawn: Yugoslavia (Socialist Federal Republic of) -- | Deprecated: Divided into C070, C191, C705, C807 and C891 C890 :: Numeric -- | Withdrawn: Serbia and Montenegro -- | Deprecated: Divided into C499 and C688 C891 :: Numeric -- | Zambia C894 :: Numeric -- | Categories within the standard describing how much warning is given if -- a code were to change or be replaced. data Status -- | The code is active, and would only be replaced after a period as a -- TransitionalReservation. Official :: Status -- | The code is reserved and any other use is subject to approval. ExceptionalReservation :: Status -- | The code has been marked for deletion, but is currently still reserved -- as implementations remove it or migrate to the replacement. TransitionalReservation :: Status -- | Use of the code is restricted to historic vehicle registrations, but -- may still be reassigned at any point. IndeterminateReservation :: Status -- | 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. NotInUse :: Status -- | 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. Withdrawn :: Status