rakutentech / r10 / R10.Country


type Country
    = Afghanistan
    | 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
    | Brazil
    | BritishIndianOceanTerritory
    | BritishVirginIslands
    | Brunei
    | Bulgaria
    | BurkinaFaso
    | Burundi
    | Cambodia
    | Cameroon
    | Canada
    | CapeVerde
    | CaymanIslands
    | CentralAfricanRepublic
    | Chad
    | Chile
    | China
    | ChristmasIsland
    | CocosIslands
    | Colombia
    | Comoros
    | CookIslands
    | CostaRica
    | Croatia
    | Cuba
    | Curacao
    | Cyprus
    | CzechRepublic
    | DemocraticRepublicoftheCongo
    | Denmark
    | Djibouti
    | Dominica
    | DominicanRepublic
    | EastTimor
    | Ecuador
    | Egypt
    | ElSalvador
    | EquatorialGuinea
    | Eritrea
    | Estonia
    | Ethiopia
    | FalklandIslands
    | FaroeIslands
    | Fiji
    | Finland
    | France
    | FrenchPolynesia
    | Gabon
    | Gambia
    | Georgia
    | Germany
    | Ghana
    | Gibraltar
    | Greece
    | Greenland
    | Grenada
    | Guam
    | Guatemala
    | Guernsey
    | Guinea
    | GuineaBissau
    | Guyana
    | Haiti
    | Honduras
    | HongKong
    | Hungary
    | Iceland
    | India
    | Indonesia
    | Iran
    | Iraq
    | Ireland
    | IsleofMan
    | Israel
    | Italy
    | IvoryCoast
    | Jamaica
    | Japan
    | Jersey
    | Jordan
    | Kazakhstan
    | Kenya
    | Kiribati
    | Kosovo
    | Kuwait
    | Kyrgyzstan
    | Laos
    | Latvia
    | Lebanon
    | Lesotho
    | Liberia
    | Libya
    | Liechtenstein
    | Lithuania
    | Luxembourg
    | Macau
    | Macedonia
    | Madagascar
    | Malawi
    | Malaysia
    | Maldives
    | Mali
    | Malta
    | MarshallIslands
    | Mauritania
    | Mauritius
    | Mayotte
    | Mexico
    | Micronesia
    | Moldova
    | Monaco
    | Mongolia
    | Montenegro
    | Montserrat
    | Morocco
    | Mozambique
    | Myanmar
    | Namibia
    | Nauru
    | Nepal
    | Netherlands
    | NewCaledonia
    | NewZealand
    | Nicaragua
    | Niger
    | Nigeria
    | Niue
    | NorthKorea
    | NorthernMarianaIslands
    | Norway
    | Oman
    | Pakistan
    | Palau
    | Palestine
    | Panama
    | PapuaNewGuinea
    | Paraguay
    | Peru
    | Philippines
    | Pitcairn
    | Poland
    | Portugal
    | PuertoRico
    | Qatar
    | RepublicoftheCongo
    | Reunion
    | Romania
    | Russia
    | Rwanda
    | SaintBarthelemy
    | SaintHelena
    | SaintKittsandNevis
    | SaintLucia
    | SaintMartin
    | SaintPierreandMiquelon
    | SaintVincentandTheGrenadines
    | Samoa
    | SanMarino
    | SaoTomeandPrincipe
    | SaudiArabia
    | Senegal
    | Serbia
    | Seychelles
    | SierraLeone
    | Singapore
    | SintMaarten
    | Slovakia
    | Slovenia
    | SolomonIslands
    | Somalia
    | SouthAfrica
    | SouthKorea
    | SouthSudan
    | Spain
    | SriLanka
    | Sudan
    | Suriname
    | SvalbardandJanMayen
    | Swaziland
    | Sweden
    | Switzerland
    | Syria
    | Taiwan
    | Tajikistan
    | Tanzania
    | Thailand
    | Togo
    | Tokelau
    | Tonga
    | TrinidadandTobago
    | Tunisia
    | Turkey
    | Turkmenistan
    | TurksandCaicosIslands
    | Tuvalu
    | USVirginIslands
    | Uganda
    | Ukraine
    | UnitedArabEmirates
    | UnitedKingdom
    | UnitedStates
    | Uruguay
    | Uzbekistan
    | Vanuatu
    | Vatican
    | Venezuela
    | Vietnam
    | WallisandFutuna
    | WesternSahara
    | Yemen
    | Zambia
    | Zimbabwe

codeAndNameList : List { code : String, name : String }

emptyFlag : String

fromCountryCode : String -> Maybe Country

from ISO 3166 code

fromCountryTelCode : String -> Maybe Country

fromString : String -> Maybe Country

list : List Country

listHead : Country

listTail : Country

toCountryCode : Country -> String

ISO 3166 code

toCountryTelCode : Country -> String

toFlag : Country -> String

toString : Country -> String

fromTelephoneAsString : String -> Maybe Country

toCountryNameWithAlias : Country -> String