| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Data.Standards.ISO.Country.Primary.Numeric
Description
- Description : The numeric country codes described by ISO 3166-1.
- Copyright : (c) 2018 Samuel May
- License : MPL-2.0
- Maintainer : ag.eitilt@gmail.com
- Stability : provisional
- Portability : portable
Synopsis
- data Numeric
- = C004
- | C008
- | C010
- | C012
- | C016
- | C020
- | C024
- | C028
- | C031
- | C032
- | C036
- | C040
- | C044
- | C048
- | C050
- | C051
- | C052
- | C056
- | C060
- | C064
- | C068
- | C070
- | C072
- | C074
- | C076
- | C080
- | C084
- | C086
- | C090
- | C092
- | C096
- | C100
- | C104
- | C108
- | C112
- | C116
- | C120
- | C124
- | C128
- | C132
- | C136
- | C140
- | C144
- | C148
- | C152
- | C156
- | C158
- | C162
- | C166
- | C170
- | C174
- | C175
- | C178
- | C180
- | C184
- | C188
- | C191
- | C192
- | C196
- | C200
- | C203
- | C204
- | C208
- | C212
- | C214
- | C216
- | C218
- | C222
- | C226
- | C230
- | C231
- | C232
- | C233
- | C234
- | C238
- | C239
- | C242
- | C246
- | C248
- | C249
- | C250
- | C254
- | C258
- | C260
- | C262
- | C266
- | C268
- | C270
- | C275
- | C276
- | C278
- | C280
- | C288
- | C292
- | C296
- | C300
- | C304
- | C308
- | C312
- | C316
- | C320
- | C324
- | C328
- | C332
- | C334
- | C336
- | C340
- | C344
- | C348
- | C352
- | C356
- | C360
- | C364
- | C368
- | C372
- | C376
- | C380
- | C384
- | C388
- | C392
- | C396
- | C398
- | C400
- | C404
- | C408
- | C410
- | C414
- | C417
- | C418
- | C422
- | C426
- | C428
- | C430
- | C434
- | C438
- | C440
- | C442
- | C446
- | C450
- | C454
- | C458
- | C462
- | C466
- | C470
- | C474
- | C478
- | C480
- | C484
- | C488
- | C492
- | C496
- | C498
- | C499
- | C500
- | C504
- | C508
- | C512
- | C516
- | C520
- | C524
- | C528
- | C530
- | C531
- | C532
- | C533
- | C534
- | C535
- | C536
- | C540
- | C548
- | C554
- | C558
- | C562
- | C566
- | C570
- | C574
- | C578
- | C580
- | C581
- | C582
- | C583
- | C584
- | C585
- | C586
- | C590
- | C591
- | C594
- | C598
- | C600
- | C604
- | C608
- | C612
- | C616
- | C620
- | C624
- | C626
- | C630
- | C634
- | C638
- | C642
- | C643
- | C646
- | C652
- | C654
- | C658
- | C659
- | C660
- | C662
- | C663
- | C666
- | C670
- | C674
- | C678
- | C682
- | C686
- | C688
- | C690
- | C694
- | C698
- | C702
- | C703
- | C704
- | C705
- | C706
- | C710
- | C714
- | C716
- | C720
- | C724
- | C728
- | C729
- | C732
- | C736
- | C740
- | C744
- | C748
- | C752
- | C756
- | C760
- | C762
- | C764
- | C768
- | C772
- | C776
- | C780
- | C784
- | C788
- | C792
- | C795
- | C796
- | C798
- | C800
- | C804
- | C807
- | C810
- | C818
- | C826
- | C831
- | C832
- | C833
- | C834
- | C840
- | C849
- | C850
- | C854
- | C858
- | C860
- | C862
- | C872
- | C876
- | C882
- | C886
- | C887
- | C890
- | C891
- | C894
- data Status
- codeStatus :: Numeric -> Status
Documentation
The official numeric codes for countries, preventing collisions but
using an arbitrary mapping, translated into a type-safe representation.
Unless otherwise specified, all codes are Official.
Constructors
| C004 | Afghanistan |
| C008 | Albania |
| C010 | Antarctica |
| C012 | Algeria |
| C016 | American Samoa |
| C020 | Andorra |
| C024 | Angola |
| C028 | Antigua and Barbuda |
| C031 | Azerbaijan |
| C032 | Argentina |
| C036 | Australia |
| C040 | Austria |
| C044 | Bahamas (the) |
| C048 | Bahrain |
| C050 | Bangladesh |
| C051 | Armenia |
| C052 | Barbados |
| C056 | Belgium |
| C060 | Bermuda |
| C064 | Bhutan |
| C068 | Bolivia (Plurinational State of) |
| C070 | Bosnia and Herzegovina |
| C072 | Botswana |
| C074 | Bouvet Island |
| C076 | Brazil |
| C080 | Deprecated: Use new code C010 after merge with C216 and C260
|
| C084 | Belize |
| C086 | British Indian Ocean Territory (the) |
| C090 | Solomon Islands |
| C092 | Virgin Islands (British) |
| C096 | Brunei Darussalam |
| C100 | Bulgaria |
| C104 | Myanmar |
| C108 | Burundi |
| C112 | Belarus |
| C116 | Cambodia |
| C120 | Cameroon |
| C124 | Canada |
| C128 | Deprecated: Use new code C296
|
| C132 | Cabo Verde |
| C136 | Cayman Islands (the) |
| C140 | Central African Republic (the) |
| C144 | Sri Lanka |
| C148 | Chad |
| C152 | Chile |
| C156 | China |
| C158 | Taiwan (Province of China) |
| C162 | Christmas Island |
| C166 | Cocos (Keeling) Islands (the) |
| C170 | Colombia |
| C174 | Comoros (the) |
| C175 | Mayotte |
| C178 | Congo (the) |
| C180 | Congo (the Democratic Republic of the) |
| C184 | Cook Islands (the) |
| C188 | Costa Rica |
| C191 | Croatia |
| C192 | Cuba |
| C196 | Cyprus |
| C200 | Deprecated: Divided into C203 and C703
|
| C203 | Czechia |
| C204 | Benin |
| C208 | Denmark |
| C212 | Dominica |
| C214 | Dominican Republic (the) |
| C216 | Deprecated: Use new code C010 after merge with C080 and C260
|
| C218 | Ecuador |
| C222 | El Salvador |
| C226 | Equatorial Guinea |
| C230 | Deprecated: Divided into C231 and C232
|
| C231 | Ethiopia |
| C232 | Eritrea |
| C233 | Estonia |
| C234 | Faroe Islands (the) |
| C238 | Falkland Islands (the) [Malvinas] |
| C239 | South Georgia and the South Sandwich Islands |
| C242 | Fiji |
| C246 | Finland |
| C248 | Ã land Islands |
| C249 | Deprecated: Use new code C250
|
| C250 | France |
| C254 | French Guiana |
| C258 | French Polynesia |
| C260 | French Southern Territories (the) |
| C262 | Djibouti |
| C266 | Gabon |
| C268 | Georgia |
| C270 | Gambia (the) |
| C275 | Palestine, State of |
| C276 | Germany |
| C278 | Deprecated: Use new code C276 after merge with C280
|
| C280 | Deprecated: Use new code C276 after merge with C278
|
| C288 | Ghana |
| C292 | Gibraltar |
| C296 | Kiribati |
| C300 | Greece |
| C304 | Greenland |
| C308 | Grenada |
| C312 | Guadeloupe |
| C316 | Guam |
| C320 | Guatemala |
| C324 | Guinea |
| C328 | Guyana |
| C332 | Haiti |
| C334 | Heard Island and McDonald Islands |
| C336 | Holy See (the) |
| C340 | Honduras |
| C344 | Hong Kong |
| C348 | Hungary |
| C352 | Iceland |
| C356 | India |
| C360 | Indonesia |
| C364 | Iran (Islamic Republic of) |
| C368 | Iraq |
| C372 | Ireland |
| C376 | Israel |
| C380 | Italy |
| C384 | Côte d'Ivoire |
| C388 | Jamaica |
| C392 | Japan |
| C396 | Deprecated: Use new code C581 after merge with C488, C849 and C872
|
| C398 | Kazakhstan |
| C400 | Jordan |
| C404 | Kenya |
| C408 | Korea (the Democratic People's Republic of) |
| C410 | Korea (the Republic of) |
| C414 | Kuwait |
| C417 | Kyrgyzstan |
| C418 | Lao People's Democratic Republic (the) |
| C422 | Lebanon |
| C426 | Lesotho |
| C428 | Latvia |
| C430 | Liberia |
| C434 | Libya |
| C438 | Liechtenstein |
| C440 | Lithuania |
| C442 | Luxembourg |
| C446 | Macao |
| C450 | Madagascar |
| C454 | Malawi |
| C458 | Malaysia |
| C462 | Maldives |
| C466 | Mali |
| C470 | Malta |
| C474 | Martinique |
| C478 | Mauritania |
| C480 | Mauritius |
| C484 | Mexico |
| C488 | Deprecated: Use new code C581 after merge with C396, C849 and C872
|
| C492 | Monaco |
| C496 | Mongolia |
| C498 | Moldova (the Republic of) |
| C499 | Montenegro |
| C500 | Montserrat |
| C504 | Morocco |
| C508 | Mozambique |
| C512 | Oman |
| C516 | Namibia |
| C520 | Nauru |
| C524 | Nepal |
| C528 | Netherlands (the) |
| C530 | Deprecated: Divided into C531, C535 and C534
|
| C531 | Curaçao |
| C532 | Deprecated: Divided into C530 and C533
|
| C533 | Aruba |
| C534 | Sint Maarten (Dutch part) |
| C535 | Bonaire, Sint Eustatius and Saba |
| C536 | Deprecated: Divided between C368 and C682
|
| C540 | New Caledonia |
| C548 | Vanuatu |
| C554 | New Zealand |
| C558 | Nicaragua |
| C562 | Niger (the) |
| C566 | Nigeria |
| C570 | Niue |
| C574 | Norfolk Island |
| C578 | Norway |
| C580 | Northern Mariana Islands (the) |
| C581 | United States Minor Outlying Islands (the) |
| C582 | Deprecated: Divided into C580, C583, C584 and C585
|
| C583 | Micronesia (Federated States of) |
| C584 | Marshall Islands (the) |
| C585 | Palau |
| C586 | Pakistan |
| C590 | Deprecated: Use new code C591 after merge with C594
|
| C591 | Panama |
| C594 | Deprecated: Use new code C591 after merge with C590
|
| C598 | Papua New Guinea |
| C600 | Paraguay |
| C604 | Peru |
| C608 | Philippines (the) |
| C612 | Pitcairn |
| C616 | Poland |
| C620 | Portugal |
| C624 | Guinea-Bissau |
| C626 | Timor-Leste |
| C630 | Puerto Rico |
| C634 | Qatar |
| C638 | Réunion |
| C642 | Romania |
| C643 | Russian Federation (the) |
| C646 | Rwanda |
| C652 | Saint Barthélemy |
| C654 | Saint Helena, Ascension and Tristan da Cunha |
| C658 | Deprecated: Divided between C659 and C660
|
| C659 | Saint Kitts and Nevis |
| C660 | Anguilla |
| C662 | Saint Lucia |
| C663 | Saint Martin (French part) |
| C666 | Saint Pierre and Miquelon |
| C670 | Saint Vincent and the Grenadines |
| C674 | San Marino |
| C678 | Sao Tome and Principe |
| C682 | Saudi Arabia |
| C686 | Senegal |
| C688 | Serbia |
| C690 | Seychelles |
| C694 | Sierra Leone |
| C698 | Deprecated: Use new code C356
|
| C702 | Singapore |
| C703 | Slovakia |
| C704 | Viet Nam |
| C705 | Slovenia |
| C706 | Somalia |
| C710 | South Africa |
| C714 | Deprecated: Use new code C704
|
| C716 | Zimbabwe |
| C720 | Deprecated: Use new code C887 after merge with C886
|
| C724 | Spain |
| C728 | South Sudan |
| C729 | Sudan (the) |
| C732 | Western Sahara |
| C736 | Deprecated: Divided between C728 and C729
|
| C740 | Suriname |
| C744 | Svalbard and Jan Mayen |
| C748 | Eswatini |
| C752 | Sweden |
| C756 | Switzerland |
| C760 | Syrian Arab Republic |
| C762 | Tajikistan |
| C764 | Thailand |
| C768 | Togo |
| C772 | Tokelau |
| C776 | Tonga |
| C780 | Trinidad and Tobago |
| C784 | United Arab Emirates (the) |
| C788 | Tunisia |
| C792 | Turkey |
| C795 | Turkmenistan |
| C796 | Turks and Caicos Islands (the) |
| C798 | Tuvalu |
| C800 | Uganda |
| C804 | Ukraine |
| C807 | Macedonia (the former Yugoslav Republic of) |
| C810 | Deprecated: Divided into C031, C051, C233, C268, C398, C417, C428, C440, C498, C643, C762, C795 and C860
|
| C818 | Egypt |
| C826 | United Kingdom of Great Britain and Northern Ireland (the) |
| C831 | Guernsey |
| C832 | Jersey |
| C833 | Isle of Man |
| C834 | Tanzania, United Republic of |
| C840 | United States of America (the) |
| C849 | Deprecated: Use new code C581 after merge with C396, C488 and C872
|
| C850 | Virgin Islands (U.S.) |
| C854 | Burkina Faso |
| C858 | Uruguay |
| C860 | Uzbekistan |
| C862 | Venezuela (Bolivarian Republic of) |
| C872 | Deprecated: Use new code C581 after merge with C396, C488 and C849
|
| C876 | Wallis and Futuna |
| C882 | Samoa |
| C886 | Deprecated: Use new code C887 after merge with C720
|
| C887 | Yemen |
| C890 | Deprecated: Divided into C070, C191, C705, C807 and C891
|
| C891 | Deprecated: Divided into C499 and C688
|
| C894 | Zambia |
Instances
| Bounded Numeric Source # | |
| Enum Numeric Source # | The |
| Eq Numeric Source # | |
| Ord Numeric Source # | |
Defined in Data.Standards.ISO.Country.Primary.Numeric | |
| Read Numeric Source # | |
| Show Numeric Source # | |
| Hashable Numeric Source # | |
Defined in Data.Standards.ISO.Country.Primary.Numeric | |
Categories within the standard describing how much warning is given if a code were to change or be replaced.
Constructors
| Official | The code is active, and would only be replaced after a period as a
|
| ExceptionalReservation | The code is reserved and any other use is subject to approval. |
| TransitionalReservation | The code has been marked for deletion, but is currently still reserved as implementations remove it or migrate to the replacement. |
| IndeterminateReservation | Use of the code is restricted to historic vehicle registrations, but may still be reassigned at any point. |
| NotInUse | The code is used by another standard or high-profile organization, and
will not be assigned in ISO 3166. Officially, these are listed as an
|
| Withdrawn | The code was previously included in the standard, but the country it
referred to has been reassigned or no longer exists, and so (unless it's
|
codeStatus :: Numeric -> Status Source #
The stability of any particular country code.