-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A datatype for ISO 3166 country codes
--   
--   Defines datatype CountryCode that has a two letter constructor
--   corresponding to each of the two letter ISO 3166 country codes, and
--   mappings from that type to the official name of the country.
@package iso3166-country-codes
@version 0.20140203.8


-- | Two letter Country Codes
--   
--   Defines the type CountryCode with constructors for each of the
--   two-letter codes defined in
--   <a>http://www.iso.org/iso/list-en1-semic-3.txt</a> and instances for
--   <tt>Eq</tt>, <tt>Read</tt>, <tt>Show</tt>, <tt>Enum</tt>,
--   <tt>Bounded</tt> and <tt>Ord</tt>.
--   
--   Also defines <tt><a>countryNameFromCode</a></tt>, which gives the
--   official short country name all in uppercase and
--   <tt><a>readableCountryName</a></tt>, which produces somewhat more
--   user-friendly output
--   
--   Intended to be imported qualified as some country codes are the same
--   as some standard Haskell constructors.
module Data.ISO3166_CountryCodes
data CountryCode

-- | Afghanistan
AF :: CountryCode

-- | Åland Islands
AX :: CountryCode

-- | Albania
AL :: CountryCode

-- | Algeria
DZ :: CountryCode

-- | American Samoa
AS :: CountryCode

-- | Andorra
AD :: CountryCode

-- | Angola
AO :: CountryCode

-- | Anguilla
AI :: CountryCode

-- | Antarctica
AQ :: CountryCode

-- | Antigua and Barbuda
AG :: CountryCode

-- | Argentina
AR :: CountryCode

-- | Armenia
AM :: CountryCode

-- | Aruba
AW :: CountryCode

-- | Australia
AU :: CountryCode

-- | Austria
AT :: CountryCode

-- | Azerbaijan
AZ :: CountryCode

-- | Bahamas
BS :: CountryCode

-- | Bahrain
BH :: CountryCode

-- | Bangladesh
BD :: CountryCode

-- | Barbados
BB :: CountryCode

-- | Belarus
BY :: CountryCode

-- | Belgium
BE :: CountryCode

-- | Belize
BZ :: CountryCode

-- | Benin
BJ :: CountryCode

-- | Bermuda
BM :: CountryCode

-- | Bhutan
BT :: CountryCode

-- | Bolivia, Plurinational State of
BO :: CountryCode

-- | Bonaire, Sint Eustatius and Saba
BQ :: CountryCode

-- | Bosnia and Herzegovina
BA :: CountryCode

-- | Botswana
BW :: CountryCode

-- | Bouvet Island
BV :: CountryCode

-- | Brazil
BR :: CountryCode

-- | British Indian Ocean Territory
IO :: CountryCode

-- | Brunei Darussalam
BN :: CountryCode

-- | Bulgaria
BG :: CountryCode

-- | Burkina Faso
BF :: CountryCode

-- | Burundi
BI :: CountryCode

-- | Cambodia
KH :: CountryCode

-- | Cameroon
CM :: CountryCode

-- | Canada
CA :: CountryCode

-- | Cape Verde
CV :: CountryCode

-- | Cayman Islands
KY :: CountryCode

-- | Central African Republic
CF :: CountryCode

-- | Chad
TD :: CountryCode

-- | Chile
CL :: CountryCode

-- | China
CN :: CountryCode

-- | Christmas Island
CX :: CountryCode

-- | Cocos (Keeling) Islands
CC :: CountryCode

-- | Colombia
CO :: CountryCode

-- | Comoros
KM :: CountryCode

-- | Congo
CG :: CountryCode

-- | Congo, the Democratic Republic of the
CD :: CountryCode

-- | Cook Islands
CK :: CountryCode

-- | Costa Rica
CR :: CountryCode

-- | Côte d'Ivoire
CI :: CountryCode

-- | Croatia
HR :: CountryCode

-- | Cuba
CU :: CountryCode

-- | Curaçao
CW :: CountryCode

-- | Cyprus
CY :: CountryCode

-- | Czech Republic
CZ :: CountryCode

-- | Denmark
DK :: CountryCode

-- | Djibouti
DJ :: CountryCode

-- | Dominica
DM :: CountryCode

-- | Dominican Republic
DO :: CountryCode

-- | Ecuador
EC :: CountryCode

-- | Egypt
EG :: CountryCode

-- | El Salvador
SV :: CountryCode

-- | Equatorial Guinea
GQ :: CountryCode

-- | Eritrea
ER :: CountryCode

-- | Estonia
EE :: CountryCode

-- | Ethiopia
ET :: CountryCode

-- | Falkland Islands (Malvinas)
FK :: CountryCode

-- | Faroe Islands
FO :: CountryCode

-- | Fiji
FJ :: CountryCode

-- | Finland
FI :: CountryCode

-- | France
FR :: CountryCode

-- | French Guiana
GF :: CountryCode

-- | French Polynesia
PF :: CountryCode

-- | French Southern Territories
TF :: CountryCode

-- | Gabon
GA :: CountryCode

-- | Gambia
GM :: CountryCode

-- | Georgia
GE :: CountryCode

-- | Germany
DE :: CountryCode

-- | Ghana
GH :: CountryCode

-- | Gibraltar
GI :: CountryCode

-- | Greece
GR :: CountryCode

-- | Greenland
GL :: CountryCode

-- | Grenada
GD :: CountryCode

-- | Guadeloupe
GP :: CountryCode

-- | Guam
GU :: CountryCode

-- | Guatemala
GT :: CountryCode

-- | Guernsey
GG :: CountryCode

-- | Guinea
GN :: CountryCode

-- | Guinea-Bissau
GW :: CountryCode

-- | Guyana
GY :: CountryCode

-- | Haiti
HT :: CountryCode

-- | Heard Island and McDonald Islands
HM :: CountryCode

-- | Holy See (Vatican City State)
VA :: CountryCode

-- | Honduras
HN :: CountryCode

-- | Hong Kong
HK :: CountryCode

-- | Hungary
HU :: CountryCode

-- | Iceland
IS :: CountryCode

-- | India
IN :: CountryCode

-- | Indonesia
ID :: CountryCode

-- | Iran, Islamic Republic of
IR :: CountryCode

-- | Iraq
IQ :: CountryCode

-- | Ireland
IE :: CountryCode

-- | Isle of Man
IM :: CountryCode

-- | Israel
IL :: CountryCode

-- | Italy
IT :: CountryCode

-- | Jamaica
JM :: CountryCode

-- | Japan
JP :: CountryCode

-- | Jersey
JE :: CountryCode

-- | Jordan
JO :: CountryCode

-- | Kazakhstan
KZ :: CountryCode

-- | Kenya
KE :: CountryCode

-- | Kiribati
KI :: CountryCode

-- | Korea, Democratic People's Republic of
KP :: CountryCode

-- | Korea, Republic of
KR :: CountryCode

-- | Kuwait
KW :: CountryCode

-- | Kyrgyzstan
KG :: CountryCode

-- | Lao People's Democratic Republic
LA :: CountryCode

-- | Latvia
LV :: CountryCode

-- | Lebanon
LB :: CountryCode

-- | Lesotho
LS :: CountryCode

-- | Liberia
LR :: CountryCode

-- | Libya
LY :: CountryCode

-- | Liechtenstein
LI :: CountryCode

-- | Lithuania
LT :: CountryCode

-- | Luxembourg
LU :: CountryCode

-- | Macao
MO :: CountryCode

-- | Macedonia, the Former Yugoslav Republic of
MK :: CountryCode

-- | Madagascar
MG :: CountryCode

-- | Malawi
MW :: CountryCode

-- | Malaysia
MY :: CountryCode

-- | Maldives
MV :: CountryCode

-- | Mali
ML :: CountryCode

-- | Malta
MT :: CountryCode

-- | Marshall Islands
MH :: CountryCode

-- | Martinique
MQ :: CountryCode

-- | Mauritania
MR :: CountryCode

-- | Mauritius
MU :: CountryCode

-- | Mayotte
YT :: CountryCode

-- | Mexico
MX :: CountryCode

-- | Micronesia, Federated States of
FM :: CountryCode

-- | Moldova, Republic of
MD :: CountryCode

-- | Monaco
MC :: CountryCode

-- | Mongolia
MN :: CountryCode

-- | Montenegro
ME :: CountryCode

-- | Montserrat
MS :: CountryCode

-- | Morocco
MA :: CountryCode

-- | Mozambique
MZ :: CountryCode

-- | Myanmar
MM :: CountryCode

-- | Namibia
NA :: CountryCode

-- | Nauru
NR :: CountryCode

-- | Nepal
NP :: CountryCode

-- | Netherlands
NL :: CountryCode

-- | New Caledonia
NC :: CountryCode

-- | New Zealand
NZ :: CountryCode

-- | Nicaragua
NI :: CountryCode

-- | Niger
NE :: CountryCode

-- | Nigeria
NG :: CountryCode

-- | Niue
NU :: CountryCode

-- | Norfolk Island
NF :: CountryCode

-- | Northern Mariana Islands
MP :: CountryCode

-- | Norway
NO :: CountryCode

-- | Oman
OM :: CountryCode

-- | Pakistan
PK :: CountryCode

-- | Palau
PW :: CountryCode

-- | Palestine, State of
PS :: CountryCode

-- | Panama
PA :: CountryCode

-- | Papua New Guinea
PG :: CountryCode

-- | Paraguay
PY :: CountryCode

-- | Peru
PE :: CountryCode

-- | Philippines
PH :: CountryCode

-- | Pitcairn
PN :: CountryCode

-- | Poland
PL :: CountryCode

-- | Portugal
PT :: CountryCode

-- | Puerto Rico
PR :: CountryCode

-- | Qatar
QA :: CountryCode

-- | Réunion
RE :: CountryCode

-- | Romania
RO :: CountryCode

-- | Russian Federation
RU :: CountryCode

-- | Rwanda
RW :: CountryCode

-- | Saint Barthélemy
BL :: CountryCode

-- | Saint Helena, Ascension and Tristan da Cunha
SH :: CountryCode

-- | Saint Kitts and Nevis
KN :: CountryCode

-- | Saint Lucia
LC :: CountryCode

-- | Saint Martin (French part)
MF :: CountryCode

-- | Saint Pierre and Miquelon
PM :: CountryCode

-- | Saint Vincent and the Grenadines
VC :: CountryCode

-- | Samoa
WS :: CountryCode

-- | San Marino
SM :: CountryCode

-- | Sao Tome and Principe
ST :: CountryCode

-- | Saudi Arabia
SA :: CountryCode

-- | Senegal
SN :: CountryCode

-- | Serbia
RS :: CountryCode

-- | Seychelles
SC :: CountryCode

-- | Sierra Leone
SL :: CountryCode

-- | Singapore
SG :: CountryCode

-- | Sint Maarten (Dutch part)
SX :: CountryCode

-- | Slovakia
SK :: CountryCode

-- | Slovenia
SI :: CountryCode

-- | Solomon Islands
SB :: CountryCode

-- | Somalia
SO :: CountryCode

-- | South Africa
ZA :: CountryCode

-- | South Georgia and the South Sandwich Islands
GS :: CountryCode

-- | South Sudan
SS :: CountryCode

-- | Spain
ES :: CountryCode

-- | Sri Lanka
LK :: CountryCode

-- | Sudan
SD :: CountryCode

-- | Suriname
SR :: CountryCode

-- | Svalbard and Jan Mayen
SJ :: CountryCode

-- | Swaziland
SZ :: CountryCode

-- | Sweden
SE :: CountryCode

-- | Switzerland
CH :: CountryCode

-- | Syrian Arab Republic
SY :: CountryCode

-- | Taiwan, Province of China
TW :: CountryCode

-- | Tajikistan
TJ :: CountryCode

-- | Tanzania, United Republic of
TZ :: CountryCode

-- | Thailand
TH :: CountryCode

-- | Timor-Leste
TL :: CountryCode

-- | Togo
TG :: CountryCode

-- | Tokelau
TK :: CountryCode

-- | Tonga
TO :: CountryCode

-- | Trinidad and Tobago
TT :: CountryCode

-- | Tunisia
TN :: CountryCode

-- | Turkey
TR :: CountryCode

-- | Turkmenistan
TM :: CountryCode

-- | Turks and Caicos Islands
TC :: CountryCode

-- | Tuvalu
TV :: CountryCode

-- | Uganda
UG :: CountryCode

-- | Ukraine
UA :: CountryCode

-- | United Arab Emirates
AE :: CountryCode

-- | United Kingdom
GB :: CountryCode

-- | United States
US :: CountryCode

-- | United States Minor Outlying Islands
UM :: CountryCode

-- | Uruguay
UY :: CountryCode

-- | Uzbekistan
UZ :: CountryCode

-- | Vanuatu
VU :: CountryCode

-- | Venezuela, Bolivarian Republic of
VE :: CountryCode

-- | Viet Nam
VN :: CountryCode

-- | Virgin Islands, British
VG :: CountryCode

-- | Virgin Islands, U.S.
VI :: CountryCode

-- | Wallis and Futuna
WF :: CountryCode

-- | Western Sahara
EH :: CountryCode

-- | Yemen
YE :: CountryCode

-- | Zambia
ZM :: CountryCode

-- | Zimbabwe
ZW :: CountryCode

-- | convert a country code to the official (English) name of the country
--   
--   see <tt><a>readableCountryName</a></tt> for something with a more
--   pleasing word order and capitalisation
countryNameFromCode :: CountryCode -> String

-- | 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.
readableCountryName :: CountryCode -> String
instance GHC.Generics.Generic Data.ISO3166_CountryCodes.CountryCode
instance GHC.Classes.Ord Data.ISO3166_CountryCodes.CountryCode
instance GHC.Enum.Bounded Data.ISO3166_CountryCodes.CountryCode
instance GHC.Enum.Enum Data.ISO3166_CountryCodes.CountryCode
instance GHC.Show.Show Data.ISO3166_CountryCodes.CountryCode
instance GHC.Read.Read Data.ISO3166_CountryCodes.CountryCode
instance GHC.Classes.Eq Data.ISO3166_CountryCodes.CountryCode
