Safe Haskell | Safe-Inferred |
---|
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
, which gives the
official short country name all in uppercase and
countryNameFromCode
, which produces somewhat more user-friendly output
readableCountryName
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
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
for something with a more pleasing word order and capitalisation
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.