Facts-0.1.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 

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 

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.