Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- 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
.
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.
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.