diff --git a/country.cabal b/country.cabal --- a/country.cabal +++ b/country.cabal @@ -1,6 +1,6 @@ cabal-version: 2.2 name: country -version: 0.2.3.1 +version: 0.2.4.0 synopsis: Country data type and functions description: The `country` library provides a data type for dealing with @@ -65,15 +65,15 @@ , attoparsec >=0.13 && <0.15 , base >=4.12 && <5 , bytebuild >=0.3.4 && <0.4 - , bytehash >=0.1 && <0.2 + , bytehash >=0.1.1 && <0.2 , byteslice >=0.2.3 && <0.3 , bytestring >= 0.10 && <0.12 , contiguous >=0.6.1 , deepseq >= 1.3.0.2 && <1.5 , entropy >=0.4.1.5 && <0.5 , hashable >=1.2 && <1.5 - , primitive >= 0.6.4 && <0.8 - , primitive-unlifted >= 0.1.3 && <1.0 + , primitive >= 0.6.4 && <0.9 + , primitive-unlifted >= 2.1 , scientific >=0.3 && <0.4 , text >= 2.0 && <2.1 , text-short >=0.1.3 diff --git a/src/Country/Identifier.hs b/src/Country/Identifier.hs --- a/src/Country/Identifier.hs +++ b/src/Country/Identifier.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE PatternSynonyms #-} module Country.Identifier where -- This module is autogenerated. Do not edit it by hand. @@ -8,999 +9,1749 @@ afghanistan :: Country afghanistan = Country 4 +pattern Afghanistan :: Country +pattern Afghanistan = Country 4 + -- | Aaland Islands; Aland Islands; Åland; Åland Islands ålandIslands :: Country ålandIslands = Country 248 +pattern ÅlandIslands :: Country +pattern ÅlandIslands = Country 248 + -- | Albania; Arbanon; Republic of Albania; Republika e Shqipërisë albania :: Country albania = Country 8 +pattern Albania :: Country +pattern Albania = Country 8 + -- | 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; الجزائر; ⴷⵣⴰⵢⴻⵔ algeria :: Country algeria = Country 12 +pattern Algeria :: Country +pattern Algeria = Country 12 + -- | American Samoa americanSamoa :: Country americanSamoa = Country 16 +pattern AmericanSamoa :: Country +pattern AmericanSamoa = Country 16 + -- | Andorra andorra :: Country andorra = Country 20 +pattern Andorra :: Country +pattern Andorra = Country 20 + -- | Angola angola :: Country angola = Country 24 +pattern Angola :: Country +pattern Angola = Country 24 + -- | Anguilla anguilla :: Country anguilla = Country 660 +pattern Anguilla :: Country +pattern Anguilla = Country 660 + -- | Antarctica antarctica :: Country antarctica = Country 10 +pattern Antarctica :: Country +pattern Antarctica = Country 10 + -- | Antigua and Barbuda antiguaAndBarbuda :: Country antiguaAndBarbuda = Country 28 +pattern AntiguaAndBarbuda :: Country +pattern AntiguaAndBarbuda = Country 28 + -- | Argentina; Argentine Confederation; Argentine Nation; Argentine Republic; La Argentina; The Argentine; United Provinces of the Río de la Plata; la Argentina; the Argentine argentina :: Country argentina = Country 32 +pattern Argentina :: Country +pattern Argentina = Country 32 + -- | Armenia armenia :: Country armenia = Country 51 +pattern Armenia :: Country +pattern Armenia = Country 51 + -- | Aruba aruba :: Country aruba = Country 533 +pattern Aruba :: Country +pattern Aruba = Country 533 + -- | Australia; Commonwealth of Australia; New Holland australia :: Country australia = Country 36 +pattern Australia :: Country +pattern Australia = Country 36 + -- | Austria; Republic of Austria; Republik Österreich; Österreich austria :: Country austria = Country 40 +pattern Austria :: Country +pattern Austria = Country 40 + -- | Azerbaijan azerbaijan :: Country azerbaijan = Country 31 +pattern Azerbaijan :: Country +pattern Azerbaijan = Country 31 + -- | Bahamas bahamas :: Country bahamas = Country 44 +pattern Bahamas :: Country +pattern Bahamas = Country 44 + -- | Bahrain bahrain :: Country bahrain = Country 48 +pattern Bahrain :: Country +pattern Bahrain = Country 48 + -- | Bangladesh bangladesh :: Country bangladesh = Country 50 +pattern Bangladesh :: Country +pattern Bangladesh = Country 50 + -- | Barbados barbados :: Country barbados = Country 52 +pattern Barbados :: Country +pattern Barbados = Country 52 + -- | Belarus belarus :: Country belarus = Country 112 +pattern Belarus :: Country +pattern Belarus = Country 112 + -- | Belgium belgium :: Country belgium = Country 56 +pattern Belgium :: Country +pattern Belgium = Country 56 + -- | Belize belize :: Country belize = Country 84 +pattern Belize :: Country +pattern Belize = Country 84 + -- | Benin benin :: Country benin = Country 204 +pattern Benin :: Country +pattern Benin = Country 204 + -- | Bermuda bermuda :: Country bermuda = Country 60 +pattern Bermuda :: Country +pattern Bermuda = Country 60 + -- | Bhutan bhutan :: Country bhutan = Country 64 +pattern Bhutan :: Country +pattern Bhutan = Country 64 + -- | Bolivia; Bolivia (Plurinational State of); Plurinational State of Bolivia boliviaPlurinationalStateOf :: Country boliviaPlurinationalStateOf = Country 68 +pattern BoliviaPlurinationalStateOf :: Country +pattern BoliviaPlurinationalStateOf = Country 68 + -- | Bonaire, Sint Eustatius and Saba; Bonaire, Sint Eustatius, and Saba bonaireSintEustatiusAndSaba :: Country bonaireSintEustatiusAndSaba = Country 535 +pattern BonaireSintEustatiusAndSaba :: Country +pattern BonaireSintEustatiusAndSaba = Country 535 + -- | Bosnia and Herzegovina bosniaAndHerzegovina :: Country bosniaAndHerzegovina = Country 70 +pattern BosniaAndHerzegovina :: Country +pattern BosniaAndHerzegovina = Country 70 + -- | Botswana botswana :: Country botswana = Country 72 +pattern Botswana :: Country +pattern Botswana = Country 72 + -- | Bouvet Island bouvetIsland :: Country bouvetIsland = Country 74 +pattern BouvetIsland :: Country +pattern BouvetIsland = Country 74 + -- | 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 brazil :: Country brazil = Country 76 +pattern Brazil :: Country +pattern Brazil = Country 76 + -- | British Indian Ocean Territory britishIndianOceanTerritory :: Country britishIndianOceanTerritory = Country 86 +pattern BritishIndianOceanTerritory :: Country +pattern BritishIndianOceanTerritory = Country 86 + -- | Brunei; Brunei Darussalam bruneiDarussalam :: Country bruneiDarussalam = Country 96 +pattern BruneiDarussalam :: Country +pattern BruneiDarussalam = Country 96 + -- | Bulgaria bulgaria :: Country bulgaria = Country 100 +pattern Bulgaria :: Country +pattern Bulgaria = Country 100 + -- | Burkina Faso burkinaFaso :: Country burkinaFaso = Country 854 +pattern BurkinaFaso :: Country +pattern BurkinaFaso = Country 854 + -- | Burundi burundi :: Country burundi = Country 108 +pattern Burundi :: Country +pattern Burundi = Country 108 + -- | Cambodia; Democratic Kampuchea; Kingdom of Cambodia; Royaume du Cambodge cambodia :: Country cambodia = Country 116 +pattern Cambodia :: Country +pattern Cambodia = Country 116 + -- | Cameroon cameroon :: Country cameroon = Country 120 +pattern Cameroon :: Country +pattern Cameroon = Country 120 + -- | Canada canada :: Country canada = Country 124 +pattern Canada :: Country +pattern Canada = Country 124 + -- | Cabo Verde; Cape Verde caboVerde :: Country caboVerde = Country 132 +pattern CaboVerde :: Country +pattern CaboVerde = Country 132 + -- | Cayman Islands caymanIslands :: Country caymanIslands = Country 136 +pattern CaymanIslands :: Country +pattern CaymanIslands = Country 136 + -- | Central African Republic centralAfricanRepublic :: Country centralAfricanRepublic = Country 140 +pattern CentralAfricanRepublic :: Country +pattern CentralAfricanRepublic = Country 140 + -- | Chad chad :: Country chad = Country 148 +pattern Chad :: Country +pattern Chad = Country 148 + -- | Capitania general de Chile; Chile; Chili; Chilli; Republic of Chile; Reyno de Chile chile :: Country chile = Country 152 +pattern Chile :: Country +pattern Chile = Country 152 + -- | China china :: Country china = Country 156 +pattern China :: Country +pattern China = Country 156 + -- | Christmas Island christmasIsland :: Country christmasIsland = Country 162 +pattern ChristmasIsland :: Country +pattern ChristmasIsland = Country 162 + -- | Cocos (Keeling) Islands; Cocos Islands; Cocos [Keeling] Islands; Keeling Islands cocosKeelingIslands :: Country cocosKeelingIslands = Country 166 +pattern CocosKeelingIslands :: Country +pattern CocosKeelingIslands = Country 166 + -- | Colombia colombia :: Country colombia = Country 170 +pattern Colombia :: Country +pattern Colombia = Country 170 + -- | Comoros comoros :: Country comoros = Country 174 +pattern Comoros :: Country +pattern Comoros = Country 174 + -- | Congo; DR Congo; Democratic Republic of the Congo; Republic of the Congo congo :: Country congo = Country 178 +pattern Congo :: Country +pattern Congo = Country 178 + -- | Congo (Democratic Republic of the) congoDemocraticRepublicOfThe :: Country congoDemocraticRepublicOfThe = Country 180 +pattern CongoDemocraticRepublicOfThe :: Country +pattern CongoDemocraticRepublicOfThe = Country 180 + -- | Cook Islands cookIslands :: Country cookIslands = Country 184 +pattern CookIslands :: Country +pattern CookIslands = Country 184 + -- | Costa Rica costaRica :: Country costaRica = Country 188 +pattern CostaRica :: Country +pattern CostaRica = Country 188 + -- | Côte d'Ivoire; Ivory Coast; Republic of Côte d'Ivoire côteDivoire :: Country côteDivoire = Country 384 +pattern CôteDivoire :: Country +pattern CôteDivoire = Country 384 + -- | Croatia croatia :: Country croatia = Country 191 +pattern Croatia :: Country +pattern Croatia = Country 191 + -- | Cuba cuba :: Country cuba = Country 192 +pattern Cuba :: Country +pattern Cuba = Country 192 + -- | Curaçao curaçao :: Country curaçao = Country 531 +pattern Curaçao :: Country +pattern Curaçao = Country 531 + -- | Cyprus cyprus :: Country cyprus = Country 196 +pattern Cyprus :: Country +pattern Cyprus = Country 196 + -- | Czech Republic; Czechia; Česko; Česká republika czechRepublic :: Country czechRepublic = Country 203 +pattern CzechRepublic :: Country +pattern CzechRepublic = Country 203 + -- | Danmark; Denmark; Kingdom of Denmark; Kongeriget Danmark denmark :: Country denmark = Country 208 +pattern Denmark :: Country +pattern Denmark = Country 208 + -- | 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 djibouti :: Country djibouti = Country 262 +pattern Djibouti :: Country +pattern Djibouti = Country 262 + -- | Dominica dominica :: Country dominica = Country 212 +pattern Dominica :: Country +pattern Dominica = Country 212 + -- | Dominican Republic dominicanRepublic :: Country dominicanRepublic = Country 214 +pattern DominicanRepublic :: Country +pattern DominicanRepublic = Country 214 + -- | Ecuador ecuador :: Country ecuador = Country 218 +pattern Ecuador :: Country +pattern Ecuador = Country 218 + -- | Aegyptus; Egypt; Meṣr egypt :: Country egypt = Country 818 +pattern Egypt :: Country +pattern Egypt = Country 818 + -- | El Salvador elSalvador :: Country elSalvador = Country 222 +pattern ElSalvador :: Country +pattern ElSalvador = Country 222 + -- | Equatorial Guinea equatorialGuinea :: Country equatorialGuinea = Country 226 +pattern EquatorialGuinea :: Country +pattern EquatorialGuinea = Country 226 + -- | Eritrea eritrea :: Country eritrea = Country 232 +pattern Eritrea :: Country +pattern Eritrea = Country 232 + -- | Estonia estonia :: Country estonia = Country 233 +pattern Estonia :: Country +pattern Estonia = Country 233 + -- | Ethiopia ethiopia :: Country ethiopia = Country 231 +pattern Ethiopia :: Country +pattern Ethiopia = Country 231 + -- | Falkland Islands; Falkland Islands (Malvinas); Falkland Islands [Malvinas] falklandIslandsMalvinas :: Country falklandIslandsMalvinas = Country 238 +pattern FalklandIslandsMalvinas :: Country +pattern FalklandIslandsMalvinas = Country 238 + -- | Faroe Islands faroeIslands :: Country faroeIslands = Country 234 +pattern FaroeIslands :: Country +pattern FaroeIslands = Country 234 + -- | Fiji fiji :: Country fiji = Country 242 +pattern Fiji :: Country +pattern Fiji = Country 242 + -- | Finland finland :: Country finland = Country 246 +pattern Finland :: Country +pattern Finland = Country 246 + -- | Farança; France; French Republic; La France; République Française france :: Country france = Country 250 +pattern France :: Country +pattern France = Country 250 + -- | French Guiana frenchGuiana :: Country frenchGuiana = Country 254 +pattern FrenchGuiana :: Country +pattern FrenchGuiana = Country 254 + -- | French Polynesia frenchPolynesia :: Country frenchPolynesia = Country 258 +pattern FrenchPolynesia :: Country +pattern FrenchPolynesia = Country 258 + -- | French Southern Territories frenchSouthernTerritories :: Country frenchSouthernTerritories = Country 260 +pattern FrenchSouthernTerritories :: Country +pattern FrenchSouthernTerritories = Country 260 + -- | Gabon gabon :: Country gabon = Country 266 +pattern Gabon :: Country +pattern Gabon = Country 266 + -- | Gambia gambia :: Country gambia = Country 270 +pattern Gambia :: Country +pattern Gambia = Country 270 + -- | Georgia georgia :: Country georgia = Country 268 +pattern Georgia :: Country +pattern Georgia = Country 268 + -- | BRD; Bundesrepublik Deutschland; Deutschland; FRG; Federal Republic of Germany; Germany germany :: Country germany = Country 276 +pattern Germany :: Country +pattern Germany = Country 276 + -- | Ghana ghana :: Country ghana = Country 288 +pattern Ghana :: Country +pattern Ghana = Country 288 + -- | Gibraltar gibraltar :: Country gibraltar = Country 292 +pattern Gibraltar :: Country +pattern Gibraltar = Country 292 + -- | Greece greece :: Country greece = Country 300 +pattern Greece :: Country +pattern Greece = Country 300 + -- | Greenland greenland :: Country greenland = Country 304 +pattern Greenland :: Country +pattern Greenland = Country 304 + -- | Grenada grenada :: Country grenada = Country 308 +pattern Grenada :: Country +pattern Grenada = Country 308 + -- | Guadeloupe guadeloupe :: Country guadeloupe = Country 312 +pattern Guadeloupe :: Country +pattern Guadeloupe = Country 312 + -- | Guam guam :: Country guam = Country 316 +pattern Guam :: Country +pattern Guam = Country 316 + -- | Guatemala guatemala :: Country guatemala = Country 320 +pattern Guatemala :: Country +pattern Guatemala = Country 320 + -- | Guernsey guernsey :: Country guernsey = Country 831 +pattern Guernsey :: Country +pattern Guernsey = Country 831 + -- | Guinea guinea :: Country guinea = Country 324 +pattern Guinea :: Country +pattern Guinea = Country 324 + -- | Guinea-Bissau guineabissau :: Country guineabissau = Country 624 +pattern Guineabissau :: Country +pattern Guineabissau = Country 624 + -- | Guyana guyana :: Country guyana = Country 328 +pattern Guyana :: Country +pattern Guyana = Country 328 + -- | Haiti haiti :: Country haiti = Country 332 +pattern Haiti :: Country +pattern Haiti = Country 332 + -- | Heard Island and McDonald Islands; Heard and McDonald Islands heardIslandAndMcdonaldIslands :: Country heardIslandAndMcdonaldIslands = Country 334 +pattern HeardIslandAndMcdonaldIslands :: Country +pattern HeardIslandAndMcdonaldIslands = Country 334 + -- | Holy See; Vatican; Vatican City holySee :: Country holySee = Country 336 +pattern HolySee :: Country +pattern HolySee = Country 336 + -- | Honduras honduras :: Country honduras = Country 340 +pattern Honduras :: Country +pattern Honduras = Country 340 + -- | Hong Kong hongKong :: Country hongKong = Country 344 +pattern HongKong :: Country +pattern HongKong = Country 344 + -- | Hungary hungary :: Country hungary = Country 348 +pattern Hungary :: Country +pattern Hungary = Country 348 + -- | Iceland; Lýðveldið Ísland; Republic of Iceland; Ísafold; Ísland iceland :: Country iceland = Country 352 +pattern Iceland :: Country +pattern Iceland = Country 352 + -- | 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; ഇന്ത്യ india :: Country india = Country 356 +pattern India :: Country +pattern India = Country 356 + -- | Indonesia indonesia :: Country indonesia = Country 360 +pattern Indonesia :: Country +pattern Indonesia = Country 360 + -- | Faris; Iran; Iran (Islamic Republic of); Islamic Republic of Iran; Persia; The Islamic Republic of Iran iranIslamicRepublicOf :: Country iranIslamicRepublicOf = Country 364 +pattern IranIslamicRepublicOf :: Country +pattern IranIslamicRepublicOf = Country 364 + -- | Assyria; Babylon; Iraq; Mesopotamia iraq :: Country iraq = Country 368 +pattern Iraq :: Country +pattern Iraq = Country 368 + -- | Ireland; Irish Free State; Republic of Ireland; Saorstát Éireann; Éire ireland :: Country ireland = Country 372 +pattern Ireland :: Country +pattern Ireland = Country 372 + -- | Isle of Man isleOfMan :: Country isleOfMan = Country 833 +pattern IsleOfMan :: Country +pattern IsleOfMan = Country 833 + -- | Dawlat Isra'il; Hebrew State; Israel; Jewish State; Medinat Yisra'el; State of Israel; The Hebrew State; The Jewish State; מדינת ישראל; دَوْلَة إِسْرَائِيل israel :: Country israel = Country 376 +pattern Israel :: Country +pattern Israel = Country 376 + -- | Italy; Repubblica Italiana italy :: Country italy = Country 380 +pattern Italy :: Country +pattern Italy = Country 380 + -- | Jamaica; Xamayca jamaica :: Country jamaica = Country 388 +pattern Jamaica :: Country +pattern Jamaica = Country 388 + -- | Japan japan :: Country japan = Country 392 +pattern Japan :: Country +pattern Japan = Country 392 + -- | Jersey jersey :: Country jersey = Country 832 +pattern Jersey :: Country +pattern Jersey = Country 832 + -- | Hashemite Kingdom of Jordan; Jordan jordan :: Country jordan = Country 400 +pattern Jordan :: Country +pattern Jordan = Country 400 + -- | Kazakh Soviet Socialist Republic; Kazakhstan; Qazaq Keñestik Socïalïstik Respwblïkası; Qazaqstan; Republic of Kazakhstan; Қазақ Кеңестік Социалистік Республикасы; Қазақстан; Қазақстан Республикасы kazakhstan :: Country kazakhstan = Country 398 +pattern Kazakhstan :: Country +pattern Kazakhstan = Country 398 + -- | Jamhuri ya Kenya; Kenya; Republic of Kenya kenya :: Country kenya = Country 404 +pattern Kenya :: Country +pattern Kenya = Country 404 + -- | Kiribati kiribati :: Country kiribati = Country 296 +pattern Kiribati :: Country +pattern Kiribati = Country 296 + -- | Choson Minjujuui Inmin Konghwaguk; D.P.R.K.; DPRK; Democratic People's Republic of Korea; Korea (Democratic People's Republic of); North Korea; 조선민주주의인민공화국 koreaDemocraticPeoplesRepublicOf :: Country koreaDemocraticPeoplesRepublicOf = Country 408 +pattern KoreaDemocraticPeoplesRepublicOf :: Country +pattern KoreaDemocraticPeoplesRepublicOf = Country 408 + -- | Korea (Republic of); Republic of Korea; South Korea koreaRepublicOf :: Country koreaRepublicOf = Country 410 +pattern KoreaRepublicOf :: Country +pattern KoreaRepublicOf = Country 410 + -- | Kuwait kuwait :: Country kuwait = Country 414 +pattern Kuwait :: Country +pattern Kuwait = Country 414 + -- | Kyrgyzstan kyrgyzstan :: Country kyrgyzstan = Country 417 +pattern Kyrgyzstan :: Country +pattern Kyrgyzstan = Country 417 + -- | Lao People's Democratic Republic; Laos laoPeoplesDemocraticRepublic :: Country laoPeoplesDemocraticRepublic = Country 418 +pattern LaoPeoplesDemocraticRepublic :: Country +pattern LaoPeoplesDemocraticRepublic = Country 418 + -- | Latvia; Latvija; Letland; Letonija; Letonnie; Lettland latvia :: Country latvia = Country 428 +pattern Latvia :: Country +pattern Latvia = Country 428 + -- | Lebanon lebanon :: Country lebanon = Country 422 +pattern Lebanon :: Country +pattern Lebanon = Country 422 + -- | Basutoland; Kingdom of Lesotho; Lesotho lesotho :: Country lesotho = Country 426 +pattern Lesotho :: Country +pattern Lesotho = Country 426 + -- | Liberia liberia :: Country liberia = Country 430 +pattern Liberia :: Country +pattern Liberia = Country 430 + -- | Libya libya :: Country libya = Country 434 +pattern Libya :: Country +pattern Libya = Country 434 + -- | Liechtenstein liechtenstein :: Country liechtenstein = Country 438 +pattern Liechtenstein :: Country +pattern Liechtenstein = Country 438 + -- | Lietuva; Lithuania; Lithuania, Republic of; Republic of Lithuania; Литва lithuania :: Country lithuania = Country 440 +pattern Lithuania :: Country +pattern Lithuania = Country 440 + -- | Grand Duchy of Luxembourg; Grand-Duché de Luxembourg; Groussherzogdem Lëtzebuerg; Großherzogtum Luxemburg; Lussemburgo; Luxembourg; Luxemburg; Luxemburgo luxembourg :: Country luxembourg = Country 442 +pattern Luxembourg :: Country +pattern Luxembourg = Country 442 + -- | Macao macao :: Country macao = Country 446 +pattern Macao :: Country +pattern Macao = Country 446 + -- | Macedonia; Macedonia (the former Yugoslav Republic of) macedoniaTheFormerYugoslavRepublicOf :: Country macedoniaTheFormerYugoslavRepublicOf = Country 807 +pattern MacedoniaTheFormerYugoslavRepublicOf :: Country +pattern MacedoniaTheFormerYugoslavRepublicOf = Country 807 + -- | Madagascar madagascar :: Country madagascar = Country 450 +pattern Madagascar :: Country +pattern Madagascar = Country 450 + -- | Malawi; Nyasaland; Republic of Malawi malawi :: Country malawi = Country 454 +pattern Malawi :: Country +pattern Malawi = Country 454 + -- | Federation of Malaysia; Malaysia; Mǎláixīyà; Persekutuan Malaysia; 马来西亚 malaysia :: Country malaysia = Country 458 +pattern Malaysia :: Country +pattern Malaysia = Country 458 + -- | Dhibat-al-Mahal; Dhivehi Raajje; Mahal Dvipa; Maldives; Maléldvipa; Republic of the Maldives; The Maldive Islands; ދިވެހިރާއްޖެ maldives :: Country maldives = Country 462 +pattern Maldives :: Country +pattern Maldives = Country 462 + -- | Mali mali :: Country mali = Country 466 +pattern Mali :: Country +pattern Mali = Country 466 + -- | Malta malta :: Country malta = Country 470 +pattern Malta :: Country +pattern Malta = Country 470 + -- | Marshall Islands marshallIslands :: Country marshallIslands = Country 584 +pattern MarshallIslands :: Country +pattern MarshallIslands = Country 584 + -- | Martinique martinique :: Country martinique = Country 474 +pattern Martinique :: Country +pattern Martinique = Country 474 + -- | Islamic Republic of Mauritania; Mauritania; République Islamique de Mauritanie mauritania :: Country mauritania = Country 478 +pattern Mauritania :: Country +pattern Mauritania = Country 478 + -- | Mauritius mauritius :: Country mauritius = Country 480 +pattern Mauritius :: Country +pattern Mauritius = Country 480 + -- | Mayotte mayotte :: Country mayotte = Country 175 +pattern Mayotte :: Country +pattern Mayotte = Country 175 + -- | Aztlán; Aztlān; Estados Unidos Mexicanos; MX; Mejico; Mexico; Méjico; México; República Mexicana; United Mexican States mexico :: Country mexico = Country 484 +pattern Mexico :: Country +pattern Mexico = Country 484 + -- | Federated States of Micronesia; Micronesia; Micronesia (Federated States of) micronesiaFederatedStatesOf :: Country micronesiaFederatedStatesOf = Country 583 +pattern MicronesiaFederatedStatesOf :: Country +pattern MicronesiaFederatedStatesOf = Country 583 + -- | Moldova; Moldova (Republic of); Republic of Moldova moldovaRepublicOf :: Country moldovaRepublicOf = Country 498 +pattern MoldovaRepublicOf :: Country +pattern MoldovaRepublicOf = Country 498 + -- | Monaco; Principality of Monaco; Principauté de Monaco monaco :: Country monaco = Country 492 +pattern Monaco :: Country +pattern Monaco = Country 492 + -- | Mongolia mongolia :: Country mongolia = Country 496 +pattern Mongolia :: Country +pattern Mongolia = Country 496 + -- | Montenegro; Yugoslavia montenegro :: Country montenegro = Country 499 +pattern Montenegro :: Country +pattern Montenegro = Country 499 + -- | Montserrat montserrat :: Country montserrat = Country 500 +pattern Montserrat :: Country +pattern Montserrat = Country 500 + -- | Morocco morocco :: Country morocco = Country 504 +pattern Morocco :: Country +pattern Morocco = Country 504 + -- | Mozambique mozambique :: Country mozambique = Country 508 +pattern Mozambique :: Country +pattern Mozambique = Country 508 + -- | Burma; Myanmar; Myanmar (Burma); Myanmar [Burma] myanmar :: Country myanmar = Country 104 +pattern Myanmar :: Country +pattern Myanmar = Country 104 + -- | Namibia namibia :: Country namibia = Country 516 +pattern Namibia :: Country +pattern Namibia = Country 516 + -- | Nauru nauru :: Country nauru = Country 520 +pattern Nauru :: Country +pattern Nauru = Country 520 + -- | Nepal nepal :: Country nepal = Country 524 +pattern Nepal :: Country +pattern Nepal = Country 524 + -- | Netherlands netherlands :: Country netherlands = Country 528 +pattern Netherlands :: Country +pattern Netherlands = Country 528 + -- | New Caledonia newCaledonia :: Country newCaledonia = Country 540 +pattern NewCaledonia :: Country +pattern NewCaledonia = Country 540 + -- | New Zealand newZealand :: Country newZealand = Country 554 +pattern NewZealand :: Country +pattern NewZealand = Country 554 + -- | Nicaragua nicaragua :: Country nicaragua = Country 558 +pattern Nicaragua :: Country +pattern Nicaragua = Country 558 + -- | Niger niger :: Country niger = Country 562 +pattern Niger :: Country +pattern Niger = Country 562 + -- | Nigeria nigeria :: Country nigeria = Country 566 +pattern Nigeria :: Country +pattern Nigeria = Country 566 + -- | Niue niue :: Country niue = Country 570 +pattern Niue :: Country +pattern Niue = Country 570 + -- | Norfolk Island norfolkIsland :: Country norfolkIsland = Country 574 +pattern NorfolkIsland :: Country +pattern NorfolkIsland = Country 574 + -- | Northern Mariana Islands northernMarianaIslands :: Country northernMarianaIslands = Country 580 +pattern NorthernMarianaIslands :: Country +pattern NorthernMarianaIslands = Country 580 + -- | Norway norway :: Country norway = Country 578 +pattern Norway :: Country +pattern Norway = Country 578 + -- | Oman oman :: Country oman = Country 512 +pattern Oman :: Country +pattern Oman = Country 512 + -- | Pakistan pakistan :: Country pakistan = Country 586 +pattern Pakistan :: Country +pattern Pakistan = Country 586 + -- | Palau palau :: Country palau = Country 585 +pattern Palau :: Country +pattern Palau = Country 585 + -- | Palestine; Palestine, State of palestineStateOf :: Country palestineStateOf = Country 275 +pattern PalestineStateOf :: Country +pattern PalestineStateOf = Country 275 + -- | Panama panama :: Country panama = Country 591 +pattern Panama :: Country +pattern Panama = Country 591 + -- | Papua New Guinea papuaNewGuinea :: Country papuaNewGuinea = Country 598 +pattern PapuaNewGuinea :: Country +pattern PapuaNewGuinea = Country 598 + -- | Paraguay paraguay :: Country paraguay = Country 600 +pattern Paraguay :: Country +pattern Paraguay = Country 600 + -- | Peru peru :: Country peru = Country 604 +pattern Peru :: Country +pattern Peru = Country 604 + -- | Philippines philippines :: Country philippines = Country 608 +pattern Philippines :: Country +pattern Philippines = Country 608 + -- | Pitcairn; Pitcairn Islands pitcairn :: Country pitcairn = Country 612 +pattern Pitcairn :: Country +pattern Pitcairn = Country 612 + -- | Poland poland :: Country poland = Country 616 +pattern Poland :: Country +pattern Poland = Country 616 + -- | Portugal portugal :: Country portugal = Country 620 +pattern Portugal :: Country +pattern Portugal = Country 620 + -- | Puerto Rico puertoRico :: Country puertoRico = Country 630 +pattern PuertoRico :: Country +pattern PuertoRico = Country 630 + -- | Qatar qatar :: Country qatar = Country 634 +pattern Qatar :: Country +pattern Qatar = Country 634 + -- | Réunion réunion :: Country réunion = Country 638 +pattern Réunion :: Country +pattern Réunion = Country 638 + -- | 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 romania :: Country romania = Country 642 +pattern Romania :: Country +pattern Romania = Country 642 + -- | 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; Российская Федерация; Россия; СССР; Сове́тский Сою́з; Союз Советских Социалистических Республик russianFederation :: Country russianFederation = Country 643 +pattern RussianFederation :: Country +pattern RussianFederation = Country 643 + -- | Republic of Rwanda; Repubulika y'u Rwanda; Ruanda; Rwanda; Rwandese Republic; République du Rwanda rwanda :: Country rwanda = Country 646 +pattern Rwanda :: Country +pattern Rwanda = Country 646 + -- | Saint Barthélemy; Saint-Barthélemy saintBarthélemy :: Country saintBarthélemy = Country 652 +pattern SaintBarthélemy :: Country +pattern SaintBarthélemy = Country 652 + -- | Saint Helena; Saint Helena, Ascension and Tristan da Cunha saintHelenaAscensionAndTristanDaCunha :: Country saintHelenaAscensionAndTristanDaCunha = Country 654 +pattern SaintHelenaAscensionAndTristanDaCunha :: Country +pattern SaintHelenaAscensionAndTristanDaCunha = Country 654 + -- | Federation of Saint Kitts and Nevis; Saint Kitts and Nevis; Saint Kitts-Nevis-Anguilla; St Kitts and Nevis; St. Kitts and Nevis saintKittsAndNevis :: Country saintKittsAndNevis = Country 659 +pattern SaintKittsAndNevis :: Country +pattern SaintKittsAndNevis = Country 659 + -- | Saint Lucia saintLucia :: Country saintLucia = Country 662 +pattern SaintLucia :: Country +pattern SaintLucia = Country 662 + -- | Saint Martin; Saint Martin (French part); St Martin; St. Martin saintMartinFrenchPart :: Country saintMartinFrenchPart = Country 663 +pattern SaintMartinFrenchPart :: Country +pattern SaintMartinFrenchPart = Country 663 + -- | Saint Pierre and Miquelon saintPierreAndMiquelon :: Country saintPierreAndMiquelon = Country 666 +pattern SaintPierreAndMiquelon :: Country +pattern SaintPierreAndMiquelon = Country 666 + -- | Saint Vincent and the Grenadines; St Vincent and Grenadines saintVincentAndTheGrenadines :: Country saintVincentAndTheGrenadines = Country 670 +pattern SaintVincentAndTheGrenadines :: Country +pattern SaintVincentAndTheGrenadines = Country 670 + -- | Samoa samoa :: Country samoa = Country 882 +pattern Samoa :: Country +pattern Samoa = Country 882 + -- | San Marino sanMarino :: Country sanMarino = Country 674 +pattern SanMarino :: Country +pattern SanMarino = Country 674 + -- | Sao Tome and Principe; São Tomé and Príncipe saoTomeAndPrincipe :: Country saoTomeAndPrincipe = Country 678 +pattern SaoTomeAndPrincipe :: Country +pattern SaoTomeAndPrincipe = Country 678 + -- | Saudi Arabia saudiArabia :: Country saudiArabia = Country 682 +pattern SaudiArabia :: Country +pattern SaudiArabia = Country 682 + -- | Senegal senegal :: Country senegal = Country 686 +pattern Senegal :: Country +pattern Senegal = Country 686 + -- | Serbia serbia :: Country serbia = Country 688 +pattern Serbia :: Country +pattern Serbia = Country 688 + -- | Seychelles seychelles :: Country seychelles = Country 690 +pattern Seychelles :: Country +pattern Seychelles = Country 690 + -- | Sierra Leone sierraLeone :: Country sierraLeone = Country 694 +pattern SierraLeone :: Country +pattern SierraLeone = Country 694 + -- | Republic of Singapore; Singapore; Singapura singapore :: Country singapore = Country 702 +pattern Singapore :: Country +pattern Singapore = Country 702 + -- | Sint Maarten; Sint Maarten (Dutch part) sintMaartenDutchPart :: Country sintMaartenDutchPart = Country 534 +pattern SintMaartenDutchPart :: Country +pattern SintMaartenDutchPart = Country 534 + -- | Slovakia slovakia :: Country slovakia = Country 703 +pattern Slovakia :: Country +pattern Slovakia = Country 703 + -- | Slovenia slovenia :: Country slovenia = Country 705 +pattern Slovenia :: Country +pattern Slovenia = Country 705 + -- | Solomon Islands solomonIslands :: Country solomonIslands = Country 90 +pattern SolomonIslands :: Country +pattern SolomonIslands = Country 90 + -- | Somalia somalia :: Country somalia = Country 706 +pattern Somalia :: Country +pattern Somalia = Country 706 + -- | South Africa southAfrica :: Country southAfrica = Country 710 +pattern SouthAfrica :: Country +pattern SouthAfrica = Country 710 + -- | South Georgia and the South Sandwich Islands southGeorgiaAndTheSouthSandwichIslands :: Country southGeorgiaAndTheSouthSandwichIslands = Country 239 +pattern SouthGeorgiaAndTheSouthSandwichIslands :: Country +pattern SouthGeorgiaAndTheSouthSandwichIslands = Country 239 + -- | Republic of South Sudan; South Sudan southSudan :: Country southSudan = Country 728 +pattern SouthSudan :: Country +pattern SouthSudan = Country 728 + -- | Espainia; Espanya; España; Hispania; Iberia; Reino de España; Spain; Spanish State spain :: Country spain = Country 724 +pattern Spain :: Country +pattern Spain = Country 724 + -- | Sri Lanka sriLanka :: Country sriLanka = Country 144 +pattern SriLanka :: Country +pattern SriLanka = Country 144 + -- | Nubia; Republic of the Sudan; Sudan; The Sudan sudan :: Country sudan = Country 729 +pattern Sudan :: Country +pattern Sudan = Country 729 + -- | Dutch Guiana; Netherlands Guiana; Republic of Suriname; Republiek Suriname; Surinam; Suriname suriname :: Country suriname = Country 740 +pattern Suriname :: Country +pattern Suriname = Country 740 + -- | Svalbard and Jan Mayen svalbardAndJanMayen :: Country svalbardAndJanMayen = Country 744 +pattern SvalbardAndJanMayen :: Country +pattern SvalbardAndJanMayen = Country 744 + -- | Swaziland swaziland :: Country swaziland = Country 748 +pattern Swaziland :: Country +pattern Swaziland = Country 748 + -- | Kingdom of Sweden; Konungariket Sverige; Svea Rike; Sverige; Svitjod; Sweden sweden :: Country sweden = Country 752 +pattern Sweden :: Country +pattern Sweden = Country 752 + -- | CH; Confederazione Svizzera; Confederaziun Svizra; Confoederatio Helvetica; Confédération suisse; Helvetia; Schweiz; Schweizerische Eidgenossenschaft; Suisse; Svizra; Svizzera; Swiss Confederation; Switzerland switzerland :: Country switzerland = Country 756 +pattern Switzerland :: Country +pattern Switzerland = Country 756 + -- | Syria; Syrian Arab Republic syrianArabRepublic :: Country syrianArabRepublic = Country 760 +pattern SyrianArabRepublic :: Country +pattern SyrianArabRepublic = Country 760 + -- | 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; 中華台北 taiwanProvinceOfChina :: Country taiwanProvinceOfChina = Country 158 +pattern TaiwanProvinceOfChina :: Country +pattern TaiwanProvinceOfChina = Country 158 + -- | Tajikistan tajikistan :: Country tajikistan = Country 762 +pattern Tajikistan :: Country +pattern Tajikistan = Country 762 + -- | Tanzania; Tanzania, United Republic of; United Republic of Tanganyika and Zanzibar tanzaniaUnitedRepublicOf :: Country tanzaniaUnitedRepublicOf = Country 834 +pattern TanzaniaUnitedRepublicOf :: Country +pattern TanzaniaUnitedRepublicOf = Country 834 + -- | Thailand thailand :: Country thailand = Country 764 +pattern Thailand :: Country +pattern Thailand = Country 764 + -- | Democratic Republic of Timor-Leste; Timor-Leste timorleste :: Country timorleste = Country 626 +pattern Timorleste :: Country +pattern Timorleste = Country 626 + -- | Togo togo :: Country togo = Country 768 +pattern Togo :: Country +pattern Togo = Country 768 + -- | Tokelau tokelau :: Country tokelau = Country 772 +pattern Tokelau :: Country +pattern Tokelau = Country 772 + -- | Tonga tonga :: Country tonga = Country 776 +pattern Tonga :: Country +pattern Tonga = Country 776 + -- | Republic of Trinidad and Tobago; Trinbago; Trinidad and Tobago trinidadAndTobago :: Country trinidadAndTobago = Country 780 +pattern TrinidadAndTobago :: Country +pattern TrinidadAndTobago = Country 780 + -- | Tunisia tunisia :: Country tunisia = Country 788 +pattern Tunisia :: Country +pattern Tunisia = Country 788 + -- | Ottoman Empire; Republic of Turkey; Turkey; Turkish Empire; Türkiye Cumhuriyeti turkey :: Country turkey = Country 792 +pattern Turkey :: Country +pattern Turkey = Country 792 + -- | Turkmenistan turkmenistan :: Country turkmenistan = Country 795 +pattern Turkmenistan :: Country +pattern Turkmenistan = Country 795 + -- | Turks and Caicos Islands turksAndCaicosIslands :: Country turksAndCaicosIslands = Country 796 +pattern TurksAndCaicosIslands :: Country +pattern TurksAndCaicosIslands = Country 796 + -- | Tuvalu tuvalu :: Country tuvalu = Country 798 +pattern Tuvalu :: Country +pattern Tuvalu = Country 798 + -- | Uganda uganda :: Country uganda = Country 800 +pattern Uganda :: Country +pattern Uganda = Country 800 + -- | UA; UKR; Ukraine; Ukraїna ukraine :: Country ukraine = Country 804 +pattern Ukraine :: Country +pattern Ukraine = Country 804 + -- | Al Emirat al Arabbiya al Muttahida; U.A.E.; UAE; United Arab Emirates unitedArabEmirates :: Country unitedArabEmirates = Country 784 +pattern UnitedArabEmirates :: Country +pattern UnitedArabEmirates = Country 784 + -- | United Kingdom; United Kingdom of Great Britain and Northern Ireland unitedKingdomOfGreatBritainAndNorthernIreland :: Country unitedKingdomOfGreatBritainAndNorthernIreland = Country 826 +pattern UnitedKingdomOfGreatBritainAndNorthernIreland :: Country +pattern UnitedKingdomOfGreatBritainAndNorthernIreland = Country 826 + -- | Estados Unidos de América; The United States; U.S.; U.S.A.; USA; United States; United States of America; Usa; Usono unitedStatesOfAmerica :: Country unitedStatesOfAmerica = Country 840 +pattern UnitedStatesOfAmerica :: Country +pattern UnitedStatesOfAmerica = Country 840 + -- | U.S. Minor Outlying Islands; U.S. Outlying Islands; United States Minor Outlying Islands unitedStatesMinorOutlyingIslands :: Country unitedStatesMinorOutlyingIslands = Country 581 +pattern UnitedStatesMinorOutlyingIslands :: Country +pattern UnitedStatesMinorOutlyingIslands = Country 581 + -- | Uruguay uruguay :: Country uruguay = Country 858 +pattern Uruguay :: Country +pattern Uruguay = Country 858 + -- | Uzbekistan uzbekistan :: Country uzbekistan = Country 860 +pattern Uzbekistan :: Country +pattern Uzbekistan = Country 860 + -- | Ripablik blong Vanuatu; République de Vanuatu; Vanuatu vanuatu :: Country vanuatu = Country 548 +pattern Vanuatu :: Country +pattern Vanuatu = Country 548 + -- | Bolivarian Republic of Venezuela; República Bolivariana de Venezuela; Venezuela; Venezuela (Bolivarian Republic of) venezuelaBolivarianRepublicOf :: Country venezuelaBolivarianRepublicOf = Country 862 +pattern VenezuelaBolivarianRepublicOf :: Country +pattern VenezuelaBolivarianRepublicOf = Country 862 + -- | Cộng hòa Xã hội Chủ nghĩa Việt Nam; Viet Nam; Vietnam; Việt Nam vietNam :: Country vietNam = Country 704 +pattern VietNam :: Country +pattern VietNam = Country 704 + -- | British Virgin Islands; Virgin Islands (British) virginIslandsBritish :: Country virginIslandsBritish = Country 92 +pattern VirginIslandsBritish :: Country +pattern VirginIslandsBritish = Country 92 + -- | U.S. Virgin Islands; Virgin Islands (U.S.) virginIslandsUs :: Country virginIslandsUs = Country 850 +pattern VirginIslandsUs :: Country +pattern VirginIslandsUs = Country 850 + -- | Wallis and Futuna wallisAndFutuna :: Country wallisAndFutuna = Country 876 +pattern WallisAndFutuna :: Country +pattern WallisAndFutuna = Country 876 + -- | Western Sahara westernSahara :: Country westernSahara = Country 732 +pattern WesternSahara :: Country +pattern WesternSahara = Country 732 + -- | Yemen yemen :: Country yemen = Country 887 +pattern Yemen :: Country +pattern Yemen = Country 887 + -- | Republic of Zambia; Zambia zambia :: Country zambia = Country 894 +pattern Zambia :: Country +pattern Zambia = Country 894 + -- | Republic of Zimbabwe; Zimbabwe zimbabwe :: Country zimbabwe = Country 716 +pattern Zimbabwe :: Country +pattern Zimbabwe = Country 716 + -- | Kosovo kosovo :: Country kosovo = Country 383 + +pattern Kosovo :: Country +pattern Kosovo = Country 383 diff --git a/src/Country/Unexposed/Trie.hs b/src/Country/Unexposed/Trie.hs --- a/src/Country/Unexposed/Trie.hs +++ b/src/Country/Unexposed/Trie.hs @@ -39,7 +39,7 @@ Nothing -> Trie code HM.empty instance Semigroup Trie where - (<>) = mappend + (<>) = append instance Monoid Trie where mempty = empty