| Safe Haskell | Safe-Inferred |
|---|
Data.ISO3166_CountryCodes
Description
Two letter Country Codes
Defines the type CountryCode with constructors for each
of the two-letter codes defined in
http://www.iso.org/iso/list-en1-semic-3.txt and
instances for Eq, Read, Show, Enum, Bounded
and Ord.
Also defines countryNameFromCodereadableCountryName
Intended to be imported qualified as some country codes are the same as some standard Haskell constructors.
- data CountryCode
- = AF
- | AX
- | AL
- | DZ
- | AS
- | AD
- | AO
- | AI
- | AQ
- | AG
- | AR
- | AM
- | AW
- | AU
- | AT
- | AZ
- | BS
- | BH
- | BD
- | BB
- | BY
- | BE
- | BZ
- | BJ
- | BM
- | BT
- | BO
- | BQ
- | BA
- | BW
- | BV
- | BR
- | IO
- | BN
- | BG
- | BF
- | BI
- | KH
- | CM
- | CA
- | CV
- | KY
- | CF
- | TD
- | CL
- | CN
- | CX
- | CC
- | CO
- | KM
- | CG
- | CD
- | CK
- | CR
- | CI
- | HR
- | CU
- | CW
- | CY
- | CZ
- | DK
- | DJ
- | DM
- | DO
- | EC
- | EG
- | SV
- | GQ
- | ER
- | EE
- | ET
- | FK
- | FO
- | FJ
- | FI
- | FR
- | GF
- | PF
- | TF
- | GA
- | GM
- | GE
- | DE
- | GH
- | GI
- | GR
- | GL
- | GD
- | GP
- | GU
- | GT
- | GG
- | GN
- | GW
- | GY
- | HT
- | HM
- | VA
- | HN
- | HK
- | HU
- | IS
- | IN
- | ID
- | IR
- | IQ
- | IE
- | IM
- | IL
- | IT
- | JM
- | JP
- | JE
- | JO
- | KZ
- | KE
- | KI
- | KP
- | KR
- | KW
- | KG
- | LA
- | LV
- | LB
- | LS
- | LR
- | LY
- | LI
- | LT
- | LU
- | MO
- | MK
- | MG
- | MW
- | MY
- | MV
- | ML
- | MT
- | MH
- | MQ
- | MR
- | MU
- | YT
- | MX
- | FM
- | MD
- | MC
- | MN
- | ME
- | MS
- | MA
- | MZ
- | MM
- | NA
- | NR
- | NP
- | NL
- | NC
- | NZ
- | NI
- | NE
- | NG
- | NU
- | NF
- | MP
- | NO
- | OM
- | PK
- | PW
- | PS
- | PA
- | PG
- | PY
- | PE
- | PH
- | PN
- | PL
- | PT
- | PR
- | QA
- | RE
- | RO
- | RU
- | RW
- | BL
- | SH
- | KN
- | LC
- | MF
- | PM
- | VC
- | WS
- | SM
- | ST
- | SA
- | SN
- | RS
- | SC
- | SL
- | SG
- | SX
- | SK
- | SI
- | SB
- | SO
- | ZA
- | GS
- | SS
- | ES
- | LK
- | SD
- | SR
- | SJ
- | SZ
- | SE
- | CH
- | SY
- | TW
- | TJ
- | TZ
- | TH
- | TL
- | TG
- | TK
- | TO
- | TT
- | TN
- | TR
- | TM
- | TC
- | TV
- | UG
- | UA
- | AE
- | GB
- | US
- | UM
- | UY
- | UZ
- | VU
- | VE
- | VN
- | VG
- | VI
- | WF
- | EH
- | YE
- | ZM
- | ZW
- countryNameFromCode :: CountryCode -> String
- readableCountryName :: CountryCode -> String
Documentation
data CountryCode Source
Constructors
| AF | AFGHANISTAN |
| AX | ÅLAND ISLANDS |
| AL | ALBANIA |
| DZ | ALGERIA |
| AS | AMERICAN SAMOA |
| AD | ANDORRA |
| AO | ANGOLA |
| AI | ANGUILLA |
| AQ | ANTARCTICA |
| AG | ANTIGUA AND BARBUDA |
| AR | ARGENTINA |
| AM | ARMENIA |
| AW | ARUBA |
| AU | AUSTRALIA |
| AT | AUSTRIA |
| AZ | AZERBAIJAN |
| BS | BAHAMAS |
| BH | BAHRAIN |
| BD | BANGLADESH |
| BB | BARBADOS |
| BY | BELARUS |
| BE | BELGIUM |
| BZ | BELIZE |
| BJ | BENIN |
| BM | BERMUDA |
| BT | BHUTAN |
| BO | BOLIVIA, PLURINATIONAL STATE OF |
| BQ | BONAIRE, SINT EUSTATIUS AND SABA |
| BA | BOSNIA AND HERZEGOVINA |
| BW | BOTSWANA |
| BV | BOUVET ISLAND |
| BR | BRAZIL |
| IO | BRITISH INDIAN OCEAN TERRITORY |
| BN | BRUNEI DARUSSALAM |
| BG | BULGARIA |
| BF | BURKINA FASO |
| BI | BURUNDI |
| KH | CAMBODIA |
| CM | CAMEROON |
| CA | CANADA |
| CV | CAPE VERDE |
| KY | CAYMAN ISLANDS |
| CF | CENTRAL AFRICAN REPUBLIC |
| TD | CHAD |
| CL | CHILE |
| CN | CHINA |
| CX | CHRISTMAS ISLAND |
| CC | COCOS (KEELING) ISLANDS |
| CO | COLOMBIA |
| KM | COMOROS |
| CG | CONGO |
| CD | CONGO, THE DEMOCRATIC REPUBLIC OF THE |
| CK | COOK ISLANDS |
| CR | COSTA RICA |
| CI | CÔTE D'IVOIRE |
| HR | CROATIA |
| CU | CUBA |
| CW | CURAÇAO |
| CY | CYPRUS |
| CZ | CZECH REPUBLIC |
| DK | DENMARK |
| DJ | DJIBOUTI |
| DM | DOMINICA |
| DO | DOMINICAN REPUBLIC |
| EC | ECUADOR |
| EG | EGYPT |
| SV | EL SALVADOR |
| GQ | EQUATORIAL GUINEA |
| ER | ERITREA |
| EE | ESTONIA |
| ET | ETHIOPIA |
| FK | FALKLAND ISLANDS (MALVINAS) |
| FO | FAROE ISLANDS |
| FJ | FIJI |
| FI | FINLAND |
| FR | FRANCE |
| GF | FRENCH GUIANA |
| PF | FRENCH POLYNESIA |
| TF | FRENCH SOUTHERN TERRITORIES |
| GA | GABON |
| GM | GAMBIA |
| GE | GEORGIA |
| DE | GERMANY |
| GH | GHANA |
| GI | GIBRALTAR |
| GR | GREECE |
| GL | GREENLAND |
| GD | GRENADA |
| GP | GUADELOUPE |
| GU | GUAM |
| GT | GUATEMALA |
| GG | GUERNSEY |
| GN | GUINEA |
| GW | GUINEA-BISSAU |
| GY | GUYANA |
| HT | HAITI |
| HM | HEARD ISLAND AND MCDONALD ISLANDS |
| VA | HOLY SEE (VATICAN CITY STATE) |
| HN | HONDURAS |
| HK | HONG KONG |
| HU | HUNGARY |
| IS | ICELAND |
| IN | INDIA |
| ID | INDONESIA |
| IR | IRAN, ISLAMIC REPUBLIC OF |
| IQ | IRAQ |
| IE | IRELAND |
| IM | ISLE OF MAN |
| IL | ISRAEL |
| IT | ITALY |
| JM | JAMAICA |
| JP | JAPAN |
| JE | JERSEY |
| JO | JORDAN |
| KZ | KAZAKHSTAN |
| KE | KENYA |
| KI | KIRIBATI |
| KP | KOREA, DEMOCRATIC PEOPLE'S REPUBLIC OF |
| KR | KOREA, REPUBLIC OF |
| KW | KUWAIT |
| KG | KYRGYZSTAN |
| LA | LAO PEOPLE'S DEMOCRATIC REPUBLIC |
| LV | LATVIA |
| LB | LEBANON |
| LS | LESOTHO |
| LR | LIBERIA |
| LY | LIBYA |
| LI | LIECHTENSTEIN |
| LT | LITHUANIA |
| LU | LUXEMBOURG |
| MO | MACAO |
| MK | MACEDONIA, THE FORMER YUGOSLAV REPUBLIC OF |
| MG | MADAGASCAR |
| MW | MALAWI |
| MY | MALAYSIA |
| MV | MALDIVES |
| ML | MALI |
| MT | MALTA |
| MH | MARSHALL ISLANDS |
| MQ | MARTINIQUE |
| MR | MAURITANIA |
| MU | MAURITIUS |
| YT | MAYOTTE |
| MX | MEXICO |
| FM | MICRONESIA, FEDERATED STATES OF |
| MD | MOLDOVA, REPUBLIC OF |
| MC | MONACO |
| MN | MONGOLIA |
| ME | MONTENEGRO |
| MS | MONTSERRAT |
| MA | MOROCCO |
| MZ | MOZAMBIQUE |
| MM | MYANMAR |
| NA | NAMIBIA |
| NR | NAURU |
| NP | NEPAL |
| NL | NETHERLANDS |
| NC | NEW CALEDONIA |
| NZ | NEW ZEALAND |
| NI | NICARAGUA |
| NE | NIGER |
| NG | NIGERIA |
| NU | NIUE |
| NF | NORFOLK ISLAND |
| MP | NORTHERN MARIANA ISLANDS |
| NO | NORWAY |
| OM | OMAN |
| PK | PAKISTAN |
| PW | PALAU |
| PS | PALESTINE, STATE OF |
| PA | PANAMA |
| PG | PAPUA NEW GUINEA |
| PY | PARAGUAY |
| PE | PERU |
| PH | PHILIPPINES |
| PN | PITCAIRN |
| PL | POLAND |
| PT | PORTUGAL |
| PR | PUERTO RICO |
| QA | QATAR |
| RE | RÉUNION |
| RO | ROMANIA |
| RU | RUSSIAN FEDERATION |
| RW | RWANDA |
| BL | SAINT BARTHÉLEMY |
| SH | SAINT HELENA, ASCENSION AND TRISTAN DA CUNHA |
| KN | SAINT KITTS AND NEVIS |
| LC | SAINT LUCIA |
| MF | SAINT MARTIN (FRENCH PART) |
| PM | SAINT PIERRE AND MIQUELON |
| VC | SAINT VINCENT AND THE GRENADINES |
| WS | SAMOA |
| SM | SAN MARINO |
| ST | SAO TOME AND PRINCIPE |
| SA | SAUDI ARABIA |
| SN | SENEGAL |
| RS | SERBIA |
| SC | SEYCHELLES |
| SL | SIERRA LEONE |
| SG | SINGAPORE |
| SX | SINT MAARTEN (DUTCH PART) |
| SK | SLOVAKIA |
| SI | SLOVENIA |
| SB | SOLOMON ISLANDS |
| SO | SOMALIA |
| ZA | SOUTH AFRICA |
| GS | SOUTH GEORGIA AND THE SOUTH SANDWICH ISLANDS |
| SS | SOUTH SUDAN |
| ES | SPAIN |
| LK | SRI LANKA |
| SD | SUDAN |
| SR | SURINAME |
| SJ | SVALBARD AND JAN MAYEN |
| SZ | SWAZILAND |
| SE | SWEDEN |
| CH | SWITZERLAND |
| SY | SYRIAN ARAB REPUBLIC |
| TW | TAIWAN, PROVINCE OF CHINA |
| TJ | TAJIKISTAN |
| TZ | TANZANIA, UNITED REPUBLIC OF |
| TH | THAILAND |
| TL | TIMOR-LESTE |
| TG | TOGO |
| TK | TOKELAU |
| TO | TONGA |
| TT | TRINIDAD AND TOBAGO |
| TN | TUNISIA |
| TR | TURKEY |
| TM | TURKMENISTAN |
| TC | TURKS AND CAICOS ISLANDS |
| TV | TUVALU |
| UG | UGANDA |
| UA | UKRAINE |
| AE | UNITED ARAB EMIRATES |
| GB | UNITED KINGDOM |
| US | UNITED STATES |
| UM | UNITED STATES MINOR OUTLYING ISLANDS |
| UY | URUGUAY |
| UZ | UZBEKISTAN |
| VU | VANUATU |
| VE | VENEZUELA, BOLIVARIAN REPUBLIC OF |
| VN | VIET NAM |
| VG | VIRGIN ISLANDS, BRITISH |
| VI | VIRGIN ISLANDS, U.S. |
| WF | WALLIS AND FUTUNA |
| EH | WESTERN SAHARA |
| YE | YEMEN |
| ZM | ZAMBIA |
| ZW | ZIMBABWE |
countryNameFromCode :: CountryCode -> StringSource
convert a country code to the official (English) name of the country
see readableCountryName
readableCountryName :: CountryCode -> StringSource
A human readable version of the official name of a country from its country code
Uses some ad-hockery to rearrange the order of the words.