- data Country
- = Afghanistan
- | AlandIslands
- | Albania
- | Algeria
- | AmericanSamoa
- | Andorra
- | Angola
- | Anguilla
- | Antarctica
- | AntiguaAndBarbuda
- | Argentina
- | Armenia
- | Aruba
- | Australia
- | Austria
- | Azerbaijan
- | Bahamas
- | Bahrain
- | Bangladesh
- | Barbados
- | Belarus
- | Belgium
- | Belize
- | Benin
- | Bermuda
- | Bhutan
- | Bolivia
- | BosniaAndHerzegovina
- | Botswana
- | BouvetIsland
- | Brazil
- | BritishIndianOceanTerritory
- | BruneiDarussalam
- | Bulgaria
- | BurkinaFaso
- | Burundi
- | Cambodia
- | Cameroon
- | Canada
- | CapeVerde
- | CaymanIslands
- | CentralAfricanRepublic
- | Chad
- | Chile
- | China
- | ChristmasIsland
- | CocosKeelingIslands
- | Colombia
- | Comoros
- | Congo
- | DemocraticRepublicOfCongo
- | CookIslands
- | CostaRica
- | CoteDIvoire
- | Croatia
- | Cuba
- | Cyprus
- | CzechRepublic
- | Denmark
- | Djibouti
- | Dominica
- | DominicanRepublic
- | Ecuador
- | Egypt
- | ElSalvador
- | EquatorialGuinea
- | Eritrea
- | Estonia
- | Ethiopia
- | FalklandIslands
- | FaroeIslands
- | Fiji
- | Finland
- | France
- | FrenchGuiana
- | FrenchPolynesia
- | FrenchSouthernTerritories
- | Gabon
- | Gambia
- | Georgia
- | Germany
- | Ghana
- | Gibraltar
- | Greece
- | Greenland
- | Grenada
- | Guadeloupe
- | Guam
- | Guatemala
- | Guernsey
- | Guinea
- | GuineaBissau
- | Guyana
- | Haiti
- | HeardIslandAndMcDonaldIslands
- | HolySee
- | Honduras
- | HongKong
- | Hungary
- | Iceland
- | India
- | Indonesia
- | Iran
- | Iraq
- | Ireland
- | IsleOfMan
- | Israel
- | Italy
- | Jamaica
- | Japan
- | Jersey
- | Jordan
- | Kazakhstan
- | Kenya
- | Kiribati
- | NorthKorea
- | SouthKorea
- | Kuwait
- | Kyrgyzstan
- | Laos
- | Latvia
- | Lebanon
- | Lesotho
- | Liberia
- | Libya
- | Liechtenstein
- | Lithuania
- | Luxembourg
- | Macao
- | Macedonia
- | Madagascar
- | Malawi
- | Malaysia
- | Maldives
- | Mali
- | Malta
- | MarshallIslands
- | Martinique
- | Mauritania
- | Mauritius
- | Mayotte
- | Mexico
- | Micronesia
- | Moldova
- | Monaco
- | Mongolia
- | Montenegro
- | Montserrat
- | Morocco
- | Mozambique
- | Myanmar
- | Namibia
- | Nauru
- | Nepal
- | Netherlands
- | NetherlandsAntilles
- | NewCaledonia
- | NewZealand
- | Nicaragua
- | Niger
- | Nigeria
- | Niue
- | NorfolkIsland
- | NorthernMarianaIslands
- | Norway
- | Oman
- | Pakistan
- | Palau
- | Palestinine
- | Panama
- | PapuaNewGuinea
- | Paraguay
- | Peru
- | Philippines
- | Pitcairn
- | Poland
- | Portugal
- | PuertoRico
- | Qatar
- | Reunion
- | Romania
- | RussianFederation
- | Rwanda
- | SaintBarthelemy
- | SaintHelenaAscensionAndTristanDaCunha
- | SaintKittsAndNevis
- | SaintLucia
- | SaintMartin
- | SaintPierreAndMiquelon
- | SaintVincentAndTheGrenadines
- | Samoa
- | SanMarino
- | SaoTomeAndPrincipe
- | SaudiArabia
- | Senegal
- | Serbia
- | Seychelles
- | SierraLeone
- | Singapore
- | Slovakia
- | Slovenia
- | SolomonIslands
- | Somalia
- | SouthAfrica
- | SouthGeorgiaAndtheSouthSandwichIslands
- | Spain
- | SriLanka
- | Sudan
- | Suriname
- | SvalbardAndJanMayen
- | Swaziland
- | Sweden
- | Switzerland
- | Syria
- | Taiwan
- | Tajikistan
- | Tanzania
- | Thailand
- | TimorLeste
- | Togo
- | Tokelau
- | Tonga
- | TrinidadAndTobago
- | Tunisia
- | Turkey
- | Turkmenistan
- | TurksAndCaicosIslands
- | Tuvalu
- | Uganda
- | Ukraine
- | UnitedArabEmirates
- | UnitedKingdom
- | UnitedStates
- | UnitedStatesMinorOutlyingIslands
- | Uruguay
- | Uzbekistan
- | Vanuatu
- | Venezuela
- | VietNam
- | BritishVirginIslands
- | USVirginIslands
- | WallisAndFutuna
- | WesternSahara
- | Yemen
- | Zambia
- | Zimbabwe
- data ISOAlpha2Code
- = 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
- | 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
- | 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
- | AN
- | 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
- | SK
- | SI
- | SB
- | SO
- | ZA
- | GS
- | 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
- data ISOAlpha3Code
- = AFG
- | ALA
- | ALB
- | DZA
- | ASM
- | AND
- | AGO
- | AIA
- | ATA
- | ATG
- | ARG
- | ARM
- | ABW
- | AUS
- | AUT
- | AZE
- | BHS
- | BHR
- | BGD
- | BRB
- | BLR
- | BEL
- | BLZ
- | BEN
- | BMU
- | BTN
- | BOL
- | BIH
- | BWA
- | BVT
- | BRA
- | IOT
- | BRN
- | BGR
- | BFA
- | BDI
- | KHM
- | CMR
- | CAN
- | CPV
- | CYM
- | CAF
- | TCD
- | CHL
- | CHN
- | CXR
- | CCK
- | COL
- | COM
- | COG
- | COD
- | COK
- | CRI
- | CIV
- | HRV
- | CUB
- | CYP
- | CZE
- | DNK
- | DJI
- | DMA
- | DOM
- | ECU
- | EGY
- | SLV
- | GNQ
- | ERI
- | EST
- | ETH
- | FLK
- | FRO
- | FJI
- | FIN
- | FRA
- | GUF
- | PYF
- | ATF
- | GAB
- | GMB
- | GEO
- | DEU
- | GHA
- | GIB
- | GRC
- | GRL
- | GRD
- | GLP
- | GUM
- | GTM
- | GGY
- | GIN
- | GNB
- | GUY
- | HTI
- | HMD
- | VAT
- | HND
- | HKG
- | HUN
- | ISL
- | IND
- | IDN
- | IRN
- | IRQ
- | IRL
- | IMN
- | ISR
- | ITA
- | JAM
- | JPN
- | JEY
- | JOR
- | KAZ
- | KEN
- | KIR
- | PRK
- | KOR
- | KWT
- | KGZ
- | LAO
- | LVA
- | LBN
- | LSO
- | LBR
- | LBY
- | LIE
- | LTU
- | LUX
- | MAC
- | MKD
- | MDG
- | MWI
- | MYS
- | MDV
- | MLI
- | MLT
- | MHL
- | MTQ
- | MRT
- | MUS
- | MYT
- | MEX
- | FSM
- | MDA
- | MCO
- | MNG
- | MNE
- | MSR
- | MAR
- | MOZ
- | MMR
- | NAM
- | NRU
- | NPL
- | NLD
- | ANT
- | NCL
- | NZL
- | NIC
- | NER
- | NGA
- | NIU
- | NFK
- | MNP
- | NOR
- | OMN
- | PAK
- | PLW
- | PSE
- | PAN
- | PNG
- | PRY
- | PER
- | PHL
- | PCN
- | POL
- | PRT
- | PRI
- | QAT
- | REU
- | ROU
- | RUS
- | RWA
- | BLM
- | SHN
- | KNA
- | LCA
- | MAF
- | SPM
- | VCT
- | WSM
- | SMR
- | STP
- | SAU
- | SEN
- | SRB
- | SYC
- | SLE
- | SGP
- | SVK
- | SVN
- | SLB
- | SOM
- | ZAF
- | SGS
- | ESP
- | LKA
- | SDN
- | SUR
- | SJM
- | SWZ
- | SWE
- | CHE
- | SYR
- | TWN
- | TJK
- | TZA
- | THA
- | TLS
- | TGO
- | TKL
- | TON
- | TTO
- | TUN
- | TUR
- | TKM
- | TCA
- | TUV
- | UGA
- | UKR
- | ARE
- | GBR
- | USA
- | UMI
- | URY
- | UZB
- | VUT
- | VEN
- | VNM
- | VGB
- | VIR
- | WLF
- | ESH
- | YEM
- | ZMB
- | ZWE
- data ISONumericCode
- type UNFormalName = String
- type UNShortName = String
- isoNumericCode :: Integer -> ISONumericCode
- shortEnglishCountryName :: Country -> UNShortName
- formalEnglishCountryName :: Country -> UNFormalName
- isoAlpha2Code_for_country :: Country -> ISOAlpha2Code
- isoAlpha3Code_for_country :: Country -> ISOAlpha3Code
- country_for_isoAlpha2Code :: ISOAlpha2Code -> Country
- country_for_isoAlpha3Code :: ISOAlpha3Code -> Country
- isoNumericCode_for_country :: Country -> ISONumericCode
- country_for_valid_isoNumericCode :: ISONumericCode -> Country
- country_for_isoNumericCode :: ISONumericCode -> Maybe Country
Documentation
The type of "countries" includes sovereign nations and other "areas of geographical interest", as defined by the United Nations, whose definition was adopted by ISO.
data ISOAlpha2Code Source
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 | |
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 | |
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 | |
AN | |
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 | |
SK | |
SI | |
SB | |
SO | |
ZA | |
GS | |
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 |
data ISOAlpha3Code Source
AFG | |
ALA | |
ALB | |
DZA | |
ASM | |
AND | |
AGO | |
AIA | |
ATA | |
ATG | |
ARG | |
ARM | |
ABW | |
AUS | |
AUT | |
AZE | |
BHS | |
BHR | |
BGD | |
BRB | |
BLR | |
BEL | |
BLZ | |
BEN | |
BMU | |
BTN | |
BOL | |
BIH | |
BWA | |
BVT | |
BRA | |
IOT | |
BRN | |
BGR | |
BFA | |
BDI | |
KHM | |
CMR | |
CAN | |
CPV | |
CYM | |
CAF | |
TCD | |
CHL | |
CHN | |
CXR | |
CCK | |
COL | |
COM | |
COG | |
COD | |
COK | |
CRI | |
CIV | |
HRV | |
CUB | |
CYP | |
CZE | |
DNK | |
DJI | |
DMA | |
DOM | |
ECU | |
EGY | |
SLV | |
GNQ | |
ERI | |
EST | |
ETH | |
FLK | |
FRO | |
FJI | |
FIN | |
FRA | |
GUF | |
PYF | |
ATF | |
GAB | |
GMB | |
GEO | |
DEU | |
GHA | |
GIB | |
GRC | |
GRL | |
GRD | |
GLP | |
GUM | |
GTM | |
GGY | |
GIN | |
GNB | |
GUY | |
HTI | |
HMD | |
VAT | |
HND | |
HKG | |
HUN | |
ISL | |
IND | |
IDN | |
IRN | |
IRQ | |
IRL | |
IMN | |
ISR | |
ITA | |
JAM | |
JPN | |
JEY | |
JOR | |
KAZ | |
KEN | |
KIR | |
PRK | |
KOR | |
KWT | |
KGZ | |
LAO | |
LVA | |
LBN | |
LSO | |
LBR | |
LBY | |
LIE | |
LTU | |
LUX | |
MAC | |
MKD | |
MDG | |
MWI | |
MYS | |
MDV | |
MLI | |
MLT | |
MHL | |
MTQ | |
MRT | |
MUS | |
MYT | |
MEX | |
FSM | |
MDA | |
MCO | |
MNG | |
MNE | |
MSR | |
MAR | |
MOZ | |
MMR | |
NAM | |
NRU | |
NPL | |
NLD | |
ANT | |
NCL | |
NZL | |
NIC | |
NER | |
NGA | |
NIU | |
NFK | |
MNP | |
NOR | |
OMN | |
PAK | |
PLW | |
PSE | |
PAN | |
PNG | |
PRY | |
PER | |
PHL | |
PCN | |
POL | |
PRT | |
PRI | |
QAT | |
REU | |
ROU | |
RUS | |
RWA | |
BLM | |
SHN | |
KNA | |
LCA | |
MAF | |
SPM | |
VCT | |
WSM | |
SMR | |
STP | |
SAU | |
SEN | |
SRB | |
SYC | |
SLE | |
SGP | |
SVK | |
SVN | |
SLB | |
SOM | |
ZAF | |
SGS | |
ESP | |
LKA | |
SDN | |
SUR | |
SJM | |
SWZ | |
SWE | |
CHE | |
SYR | |
TWN | |
TJK | |
TZA | |
THA | |
TLS | |
TGO | |
TKL | |
TON | |
TTO | |
TUN | |
TUR | |
TKM | |
TCA | |
TUV | |
UGA | |
UKR | |
ARE | |
GBR | |
USA | |
UMI | |
URY | |
UZB | |
VUT | |
VEN | |
VNM | |
VGB | |
VIR | |
WLF | |
ESH | |
YEM | |
ZMB | |
ZWE |
data ISONumericCode Source
type UNFormalName = StringSource
type UNShortName = StringSource
isoNumericCode :: Integer -> ISONumericCodeSource
A smart constructor to turn Integer
s into ISONumericCode
s. Note that the space of ISO-3166-1
numeric codes has many reserved or otherwise unused codes. This constructor does not verify that
its input is a valid ISO-3166-1 country code, it merely constructs a
shortEnglishCountryName :: Country -> UNShortNameSource
shortEnglishCountryName
maps a Country to an ISO-3166-1 "short name". By the international
standard, these names are taken from the "United Nations Terminology Bulletin Country Names",
and "Country and Region Codes for Statistical Use" of the UN Statistics Division.
formalEnglishCountryName :: Country -> UNFormalNameSource
formalEnglishCountryName
maps a Country to an ISO-3166-1 "formal name". By the international
standard, these names are taken from the "United Nations Terminology Bulletin Country Names",
and "Country and Region Codes for Statistical Use" of the UN Statistics Division.
isoAlpha2Code_for_country :: Country -> ISOAlpha2CodeSource
Maps a Country
to its ISO-3166-1 2-character code.
isoAlpha3Code_for_country :: Country -> ISOAlpha3CodeSource
Maps a Country
to its ISO-3166-1 3-character code.
country_for_isoAlpha2Code :: ISOAlpha2Code -> CountrySource
Maps an ISO-3166-1 2-character code to a Country
.
country_for_isoAlpha3Code :: ISOAlpha3Code -> CountrySource
Maps an ISO-3166-1 3-character code to a Country
.
isoNumericCode_for_country :: Country -> ISONumericCodeSource
Maps a Country
to its ISO-3166-1 numeric code.
country_for_valid_isoNumericCode :: ISONumericCode -> CountrySource
country_for_valid_isoNumericCode
maps a valid ISONumericCode
to a Country
. Unfortunately,
this is a partial function. Use country_for_isoNumericCode
instead, unless you can guarantee
that the ISONumericCode
supplied to the query is valid.
country_for_isoNumericCode :: ISONumericCode -> Maybe CountrySource
The ISO Numeric Code space is not fully packed. Many codes are "reserved" or otherwise
unused. country_for_isoNumericCode
takes an ISONumericCode
and possibly returns a matching
Country
.