Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- afghanistan :: Country
- ålandIslands :: Country
- albania :: Country
- algeria :: Country
- americanSamoa :: Country
- andorra :: Country
- angola :: Country
- anguilla :: Country
- antarctica :: Country
- antiguaAndBarbuda :: Country
- argentina :: Country
- armenia :: Country
- aruba :: Country
- australia :: Country
- austria :: Country
- azerbaijan :: Country
- bahamas :: Country
- bahrain :: Country
- bangladesh :: Country
- barbados :: Country
- belarus :: Country
- belgium :: Country
- belize :: Country
- benin :: Country
- bermuda :: Country
- bhutan :: Country
- boliviaPlurinationalStateOf :: Country
- bonaireSintEustatiusAndSaba :: Country
- bosniaAndHerzegovina :: Country
- botswana :: Country
- bouvetIsland :: Country
- brazil :: Country
- britishIndianOceanTerritory :: Country
- bruneiDarussalam :: Country
- bulgaria :: Country
- burkinaFaso :: Country
- burundi :: Country
- cambodia :: Country
- cameroon :: Country
- canada :: Country
- caboVerde :: Country
- caymanIslands :: Country
- centralAfricanRepublic :: Country
- chad :: Country
- chile :: Country
- china :: Country
- christmasIsland :: Country
- cocosKeelingIslands :: Country
- colombia :: Country
- comoros :: Country
- congo :: Country
- congoDemocraticRepublicOfThe :: Country
- cookIslands :: Country
- costaRica :: Country
- côteDivoire :: Country
- croatia :: Country
- cuba :: Country
- curaçao :: Country
- cyprus :: Country
- czechRepublic :: Country
- denmark :: Country
- djibouti :: Country
- dominica :: Country
- dominicanRepublic :: Country
- ecuador :: Country
- egypt :: Country
- elSalvador :: Country
- equatorialGuinea :: Country
- eritrea :: Country
- estonia :: Country
- ethiopia :: Country
- falklandIslandsMalvinas :: Country
- faroeIslands :: Country
- fiji :: Country
- finland :: Country
- france :: Country
- frenchGuiana :: Country
- frenchPolynesia :: Country
- frenchSouthernTerritories :: Country
- gabon :: Country
- gambia :: Country
- georgia :: Country
- germany :: Country
- ghana :: Country
- gibraltar :: Country
- greece :: Country
- greenland :: Country
- grenada :: Country
- guadeloupe :: Country
- guam :: Country
- guatemala :: Country
- guernsey :: Country
- guinea :: Country
- guineabissau :: Country
- guyana :: Country
- haiti :: Country
- heardIslandAndMcdonaldIslands :: Country
- holySee :: Country
- honduras :: Country
- hongKong :: Country
- hungary :: Country
- iceland :: Country
- india :: Country
- indonesia :: Country
- iranIslamicRepublicOf :: Country
- iraq :: Country
- ireland :: Country
- isleOfMan :: Country
- israel :: Country
- italy :: Country
- jamaica :: Country
- japan :: Country
- jersey :: Country
- jordan :: Country
- kazakhstan :: Country
- kenya :: Country
- kiribati :: Country
- koreaDemocraticPeoplesRepublicOf :: Country
- koreaRepublicOf :: Country
- kuwait :: Country
- kyrgyzstan :: Country
- laoPeoplesDemocraticRepublic :: Country
- latvia :: Country
- lebanon :: Country
- lesotho :: Country
- liberia :: Country
- libya :: Country
- liechtenstein :: Country
- lithuania :: Country
- luxembourg :: Country
- macao :: Country
- macedoniaTheFormerYugoslavRepublicOf :: Country
- madagascar :: Country
- malawi :: Country
- malaysia :: Country
- maldives :: Country
- mali :: Country
- malta :: Country
- marshallIslands :: Country
- martinique :: Country
- mauritania :: Country
- mauritius :: Country
- mayotte :: Country
- mexico :: Country
- micronesiaFederatedStatesOf :: Country
- moldovaRepublicOf :: Country
- monaco :: Country
- mongolia :: Country
- montenegro :: Country
- montserrat :: Country
- morocco :: Country
- mozambique :: Country
- myanmar :: Country
- namibia :: Country
- nauru :: Country
- nepal :: Country
- netherlands :: Country
- newCaledonia :: Country
- newZealand :: Country
- nicaragua :: Country
- niger :: Country
- nigeria :: Country
- niue :: Country
- norfolkIsland :: Country
- northernMarianaIslands :: Country
- norway :: Country
- oman :: Country
- pakistan :: Country
- palau :: Country
- palestineStateOf :: Country
- panama :: Country
- papuaNewGuinea :: Country
- paraguay :: Country
- peru :: Country
- philippines :: Country
- pitcairn :: Country
- poland :: Country
- portugal :: Country
- puertoRico :: Country
- qatar :: Country
- réunion :: Country
- romania :: Country
- russianFederation :: Country
- rwanda :: Country
- saintBarthélemy :: Country
- saintHelenaAscensionAndTristanDaCunha :: Country
- saintKittsAndNevis :: Country
- saintLucia :: Country
- saintMartinFrenchPart :: Country
- saintPierreAndMiquelon :: Country
- saintVincentAndTheGrenadines :: Country
- samoa :: Country
- sanMarino :: Country
- saoTomeAndPrincipe :: Country
- saudiArabia :: Country
- senegal :: Country
- serbia :: Country
- seychelles :: Country
- sierraLeone :: Country
- singapore :: Country
- sintMaartenDutchPart :: Country
- slovakia :: Country
- slovenia :: Country
- solomonIslands :: Country
- somalia :: Country
- southAfrica :: Country
- southGeorgiaAndTheSouthSandwichIslands :: Country
- southSudan :: Country
- spain :: Country
- sriLanka :: Country
- sudan :: Country
- suriname :: Country
- svalbardAndJanMayen :: Country
- swaziland :: Country
- sweden :: Country
- switzerland :: Country
- syrianArabRepublic :: Country
- taiwanProvinceOfChina :: Country
- tajikistan :: Country
- tanzaniaUnitedRepublicOf :: Country
- thailand :: Country
- timorleste :: Country
- togo :: Country
- tokelau :: Country
- tonga :: Country
- trinidadAndTobago :: Country
- tunisia :: Country
- turkey :: Country
- turkmenistan :: Country
- turksAndCaicosIslands :: Country
- tuvalu :: Country
- uganda :: Country
- ukraine :: Country
- unitedArabEmirates :: Country
- unitedKingdomOfGreatBritainAndNorthernIreland :: Country
- unitedStatesOfAmerica :: Country
- unitedStatesMinorOutlyingIslands :: Country
- uruguay :: Country
- uzbekistan :: Country
- vanuatu :: Country
- venezuelaBolivarianRepublicOf :: Country
- vietNam :: Country
- virginIslandsBritish :: Country
- virginIslandsUs :: Country
- wallisAndFutuna :: Country
- westernSahara :: Country
- yemen :: Country
- zambia :: Country
- zimbabwe :: Country
- kosovo :: Country
Documentation
afghanistan :: Country Source #
Afghanistan
ålandIslands :: Country Source #
Aaland Islands; Aland Islands; Åland; Åland Islands
Algeria; Algérie; Dzayer; People's Democratic Republic of Algeria; al Jumhuriyya al Jazaa'iriyya ad-Dīmuqrāţiyya ash Sha'biyya; al-Jazā'ir; الجزائر; ⴷⵣⴰⵢⴻⵔ
americanSamoa :: Country Source #
American Samoa
antarctica :: Country Source #
Antarctica
antiguaAndBarbuda :: Country Source #
Antigua and Barbuda
Argentina; Argentine Confederation; Argentine Nation; Argentine Republic; La Argentina; The Argentine; United Provinces of the Río de la Plata; la Argentina; the Argentine
azerbaijan :: Country Source #
Azerbaijan
bangladesh :: Country Source #
Bangladesh
boliviaPlurinationalStateOf :: Country Source #
Bolivia; Bolivia (Plurinational State of); Plurinational State of Bolivia
bonaireSintEustatiusAndSaba :: Country Source #
Bonaire, Sint Eustatius and Saba; Bonaire, Sint Eustatius, and Saba
bosniaAndHerzegovina :: Country Source #
Bosnia and Herzegovina
bouvetIsland :: Country Source #
Bouvet Island
Brazil; Empire of Brazil; Federative Republic of Brazil; Ilha de Vera Cruz; Pindorama; República Federativa do Brasil; Terra de Santa Cruz; Terra di Papaga; United States of Brazil
britishIndianOceanTerritory :: Country Source #
British Indian Ocean Territory
bruneiDarussalam :: Country Source #
Brunei; Brunei Darussalam
burkinaFaso :: Country Source #
Burkina Faso
Cambodia; Democratic Kampuchea; Kingdom of Cambodia; Royaume du Cambodge
caymanIslands :: Country Source #
Cayman Islands
centralAfricanRepublic :: Country Source #
Central African Republic
Capitania general de Chile; Chile; Chili; Chilli; Republic of Chile; Reyno de Chile
christmasIsland :: Country Source #
Christmas Island
cocosKeelingIslands :: Country Source #
Cocos (Keeling) Islands; Cocos Islands; Cocos [Keeling] Islands; Keeling Islands
congoDemocraticRepublicOfThe :: Country Source #
Congo (Democratic Republic of the)
cookIslands :: Country Source #
Cook Islands
côteDivoire :: Country Source #
Côte d'Ivoire; Ivory Coast; Republic of Côte d'Ivoire
czechRepublic :: Country Source #
Czech Republic; Czechia; Česko; Česká republika
Côte française des Somalis, Territoire d'Obock; Djibouti; French Somaliland; French Territory of the Afars and the Issas; Obock Territory; Republic of Djibouti; République de Djibouti; Territoire français des Afars et des Issas
dominicanRepublic :: Country Source #
Dominican Republic
elSalvador :: Country Source #
El Salvador
equatorialGuinea :: Country Source #
Equatorial Guinea
falklandIslandsMalvinas :: Country Source #
Falkland Islands; Falkland Islands (Malvinas); Falkland Islands [Malvinas]
faroeIslands :: Country Source #
Faroe Islands
frenchGuiana :: Country Source #
French Guiana
frenchPolynesia :: Country Source #
French Polynesia
frenchSouthernTerritories :: Country Source #
French Southern Territories
BRD; Bundesrepublik Deutschland; Deutschland; FRG; Federal Republic of Germany; Germany
guadeloupe :: Country Source #
Guadeloupe
guineabissau :: Country Source #
Guinea-Bissau
heardIslandAndMcdonaldIslands :: Country Source #
Heard Island and McDonald Islands
Al-Hind; Aryavarta; Bharatham; Bhārat; Bhārat Gaṇarājya; Bhārat Prajatantra; Bhāratadēśaṁ; Bhāratavarṣa; Hind; Hindustan; India; Republic of India; Union of India; ഇന്ത്യ
iranIslamicRepublicOf :: Country Source #
Faris; Iran; Iran (Islamic Republic of); Islamic Republic of Iran; Persia; The Islamic Republic of Iran
Dawlat Isra'il; Hebrew State; Israel; Jewish State; Medinat Yisra'el; State of Israel; The Hebrew State; The Jewish State; מדינת ישראל; دَوْلَة إِسْرَائِيل
kazakhstan :: Country Source #
Kazakh Soviet Socialist Republic; Kazakhstan; Qazaq Keñestik Socïalïstik Respwblïkası; Qazaqstan; Republic of Kazakhstan; Қазақ Кеңестік Социалистік Республикасы; Қазақстан; Қазақстан Республикасы
koreaDemocraticPeoplesRepublicOf :: Country Source #
Choson Minjujuui Inmin Konghwaguk; D.P.R.K.; DPRK; Democratic People's Republic of Korea; Korea (Democratic People's Republic of); North Korea; 조선민주주의인민공화국
koreaRepublicOf :: Country Source #
Korea (Republic of); Republic of Korea; South Korea
kyrgyzstan :: Country Source #
Kyrgyzstan
laoPeoplesDemocraticRepublic :: Country Source #
Lao People's Democratic Republic; Laos
liechtenstein :: Country Source #
Liechtenstein
Lietuva; Lithuania; Lithuania, Republic of; Republic of Lithuania; Литва
luxembourg :: Country Source #
Grand Duchy of Luxembourg; Grand-Duché de Luxembourg; Groussherzogdem Lëtzebuerg; Großherzogtum Luxemburg; Lussemburgo; Luxembourg; Luxemburg; Luxemburgo
macedoniaTheFormerYugoslavRepublicOf :: Country Source #
Macedonia; Macedonia (the former Yugoslav Republic of)
madagascar :: Country Source #
Madagascar
Dhibat-al-Mahal; Dhivehi Raajje; Mahal Dvipa; Maldives; Maléldvipa; Republic of the Maldives; The Maldive Islands; ދިވެހިރާއްޖެ
marshallIslands :: Country Source #
Marshall Islands
martinique :: Country Source #
Martinique
mauritania :: Country Source #
Islamic Republic of Mauritania; Mauritania; République Islamique de Mauritanie
Aztlán; Aztlān; Estados Unidos Mexicanos; MX; Mejico; Mexico; Méjico; México; República Mexicana; United Mexican States
micronesiaFederatedStatesOf :: Country Source #
Federated States of Micronesia; Micronesia; Micronesia (Federated States of)
moldovaRepublicOf :: Country Source #
Moldova; Moldova (Republic of); Republic of Moldova
montenegro :: Country Source #
Montenegro; Republic of Singapore; Singapore; Singapura; Yugoslavia
montserrat :: Country Source #
Montserrat
mozambique :: Country Source #
Mozambique
netherlands :: Country Source #
Netherlands
newCaledonia :: Country Source #
New Caledonia
newZealand :: Country Source #
New Zealand
norfolkIsland :: Country Source #
Norfolk Island
northernMarianaIslands :: Country Source #
Northern Mariana Islands
palestineStateOf :: Country Source #
Palestine; Palestine, State of
papuaNewGuinea :: Country Source #
Papua New Guinea
philippines :: Country Source #
Philippines
puertoRico :: Country Source #
Puerto Rico
Kingdom of Romania; Regatul României; Republica Populară Romînă; Republica Socialistă România; Romania; Romanian People's Republic; România; Roumania; Rumania; Socialist Republic of Romania
russianFederation :: Country Source #
Great Russia; R.F.; RF; RSFSR; Rossiya; Rus; Russia; Russian Federation; Russian Socialist Federative Soviet Republic; Russian Soviet Federative Socialist Republic; Russland; SSSR; SU; Sovetskiy Soyuz; Soviet Union; Soyuz Sovetskikh Sotsialisticheskikh Respublik; USSR; Union of Soviet Socialist Republics; Российская Федерация; Россия; СССР; Сове́тский Сою́з; Союз Советских Социалистических Республик
Republic of Rwanda; Repubulika y'u Rwanda; Ruanda; Rwanda; Rwandese Republic; République du Rwanda
saintBarthélemy :: Country Source #
Saint Barthélemy; Saint-Barthélemy
saintHelenaAscensionAndTristanDaCunha :: Country Source #
Saint Helena; Saint Helena, Ascension and Tristan da Cunha
saintKittsAndNevis :: Country Source #
Federation of Saint Kitts and Nevis; Saint Kitts and Nevis; Saint Kitts-Nevis-Anguilla; St Kitts and Nevis; St. Kitts and Nevis
saintLucia :: Country Source #
Saint Lucia
saintMartinFrenchPart :: Country Source #
Saint Martin; Saint Martin (French part); St Martin; St. Martin
saintPierreAndMiquelon :: Country Source #
Saint Pierre and Miquelon
saintVincentAndTheGrenadines :: Country Source #
Saint Vincent and the Grenadines
saoTomeAndPrincipe :: Country Source #
Sao Tome and Principe; São Tomé and Príncipe
saudiArabia :: Country Source #
Saudi Arabia
seychelles :: Country Source #
Seychelles
sierraLeone :: Country Source #
Sierra Leone
sintMaartenDutchPart :: Country Source #
Sint Maarten; Sint Maarten (Dutch part)
solomonIslands :: Country Source #
Solomon Islands
southAfrica :: Country Source #
South Africa
southGeorgiaAndTheSouthSandwichIslands :: Country Source #
South Georgia and the South Sandwich Islands
southSudan :: Country Source #
Republic of South Sudan; South Sudan
Espainia; Espanya; España; Hispania; Iberia; Reino de España; Spain; Spanish State
Dutch Guiana; Netherlands Guiana; Republic of Suriname; Republiek Suriname; Surinam; Suriname
svalbardAndJanMayen :: Country Source #
Svalbard and Jan Mayen
Kingdom of Sweden; Konungariket Sverige; Svea Rike; Sverige; Svitjod; Sweden
switzerland :: Country Source #
CH; Confederazione Svizzera; Confederaziun Svizra; Confoederatio Helvetica; Confédération suisse; Helvetia; Schweiz; Schweizerische Eidgenossenschaft; Suisse; Svizra; Svizzera; Swiss Confederation; Switzerland
syrianArabRepublic :: Country Source #
Syria; Syrian Arab Republic
taiwanProvinceOfChina :: Country Source #
Chinese Taipei; People's Republic of China; Republic of China; Separate Customs Territory of Taiwan, Penghu, Kinmen and Matsu; Taiwan; Taiwan, Province of China; The People's Republic of China; Zhonggua Taipei; 中華台北
tajikistan :: Country Source #
Tajikistan
tanzaniaUnitedRepublicOf :: Country Source #
Tanzania; Tanzania, United Republic of; United Republic of Tanganyika and Zanzibar
timorleste :: Country Source #
Democratic Republic of Timor-Leste; Timor-Leste
trinidadAndTobago :: Country Source #
Republic of Trinidad and Tobago; Trinbago; Trinidad and Tobago
Ottoman Empire; Republic of Turkey; Turkey; Turkish Empire; Türkiye Cumhuriyeti
turkmenistan :: Country Source #
Turkmenistan
turksAndCaicosIslands :: Country Source #
Turks and Caicos Islands
unitedArabEmirates :: Country Source #
Al Emirat al Arabbiya al Muttahida; U.A.E.; UAE; United Arab Emirates
unitedKingdomOfGreatBritainAndNorthernIreland :: Country Source #
United Kingdom; United Kingdom of Great Britain and Northern Ireland
unitedStatesOfAmerica :: Country Source #
Estados Unidos de América; The United States; U.S.; U.S.A.; USA; United States; United States of America; Usa; Usono
unitedStatesMinorOutlyingIslands :: Country Source #
U.S. Minor Outlying Islands; United States Minor Outlying Islands
uzbekistan :: Country Source #
Uzbekistan
venezuelaBolivarianRepublicOf :: Country Source #
Bolivarian Republic of Venezuela; República Bolivariana de Venezuela; Venezuela; Venezuela (Bolivarian Republic of)
virginIslandsBritish :: Country Source #
British Virgin Islands; Virgin Islands (British)
virginIslandsUs :: Country Source #
U.S. Virgin Islands; Virgin Islands (U.S.)
wallisAndFutuna :: Country Source #
Wallis and Futuna
westernSahara :: Country Source #
Western Sahara