Facts-0.1: A collection of facts about the real world.

Facts.Geography.Countries

Synopsis

Documentation

data Country Source

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.

Constructors

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 

Instances

data ISOAlpha2Code Source

Constructors

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 

Instances

data ISOAlpha3Code Source

Constructors

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 

Instances

data ISONumericCode Source

Instances

type UNFormalName = StringSource

type UNShortName = StringSource

isoNumericCode :: Integer -> ISONumericCodeSource

A smart constructor to turn Integers into ISONumericCodes. 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.