diff --git a/LICENSE b/LICENSE new file mode 100644 --- /dev/null +++ b/LICENSE @@ -0,0 +1,27 @@ +Copyright (c) 2014, Prowdsponsor +All rights reserved. + +Redistribution and use in source and binary forms, with or without modification, +are permitted provided that the following conditions are met: + +* Redistributions of source code must retain the above copyright notice, this + list of conditions and the following disclaimer. + +* Redistributions in binary form must reproduce the above copyright notice, this + list of conditions and the following disclaimer in the documentation and/or + other materials provided with the distribution. + +* Neither the name of the Prowdsponsor nor the names of its + contributors may be used to endorse or promote products derived from + this software without specific prior written permission. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND +ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED +WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE +DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR +ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES +(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; +LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON +ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS +SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. diff --git a/Setup.hs b/Setup.hs new file mode 100644 --- /dev/null +++ b/Setup.hs @@ -0,0 +1,2 @@ +import Distribution.Simple +main = defaultMain diff --git a/country-codes.cabal b/country-codes.cabal new file mode 100644 --- /dev/null +++ b/country-codes.cabal @@ -0,0 +1,62 @@ +name: country-codes +version: 0.1 +cabal-version: >= 1.8 +build-type: Simple +author: JP Moresmau +license: BSD3 +license-file: LICENSE +copyright: (c) 2014 Prowdsponsor +category: Data +homepage: https://github.com/prowdsponsor/country-codes +maintainer: Prowdsponsor +synopsis: ISO 3166 country codes and i18n names. +description: ISO 3166 country codes and i18n names. + + +source-repository head + type: git + location: git://github.com/prowdsponsor/country-codes.git + + +flag generate + default: False + description: Build generate executable? + manual: True + + +library + hs-source-dirs: src + build-depends: + base >= 4 && < 5 + , text >= 0.11 + , aeson >= 0.5 && < 0.8 + , shakespeare == 2.0.* + ghc-options: -Wall + other-modules: Data.CountryCodes.ISO31661 + exposed-modules: Data.CountryCodes + + +executable country-codes-generate + hs-source-dirs: exe + build-depends: + base >= 4 && < 5 + , text >= 0.11 + , tagsoup >= 0.13 && < 0.14 + ghc-options: -Wall -rtsopts + main-is: Main.hs + if !flag(generate) + buildable: False + + +test-suite country-codes-tests + type: exitcode-stdio-1.0 + main-is: country-codes-tests.hs + ghc-options: -Wall -rtsopts -threaded + build-depends: + base + , aeson + , country-codes + , HTF > 0.9 + , HUnit >= 1.2.5 + hs-source-dirs: + test diff --git a/exe/Main.hs b/exe/Main.hs new file mode 100644 --- /dev/null +++ b/exe/Main.hs @@ -0,0 +1,144 @@ +{-# LANGUAGE OverloadedStrings, ScopedTypeVariables #-} +-- | generate the ISO31661.hs file from the wikipedia html file +module Main where + +import Text.HTML.TagSoup + +import Data.Function (on) +import Data.List (foldl',sortBy) +import Data.Maybe (mapMaybe) +import Data.Monoid ((<>)) + +import qualified Data.Text as T +import qualified Data.Text.IO as T +import Data.Tuple (swap) + +-- | entry point +main :: IO() +main = do + -- read from a local version + txt <- T.readFile "data/ISO 3166-1 alpha-2 - Wikipedia, the free encyclopedia.html" + -- extract data + let assocs = extract txt + -- generate Haskell code + let haskell=generate assocs + -- write file + T.writeFile "src/Data/CountryCodes/ISO31661.hs" haskell + return () + +-- | extract tuples (code,name) from wikipedia file +extract :: T.Text -> [(T.Text,T.Text)] +extract txt = + let tts=parseTags txt + ps1=partitions (~== TagOpen ("span"::T.Text) [("id","Officially_assigned_code_elements")]) tts + in case ps1 of + [] -> error "No span with id 'Officially_assigned_code_elements' found" + (p1 : _) -> + let ps2=partitions (~== TagOpen ("table"::T.Text) [("class","wikitable sortable")]) p1 + in case ps2 of + [] -> error "No wikitable found" + (p2 : _) -> + let rows= partitions (~== TagOpen ("tr" :: T.Text) []) p2 + in mapMaybe (\r -> + let tds=partitions (~== TagOpen ("td"::T.Text) []) r + in if null tds || null (head tds) + then Nothing + else + let cid = fromAttrib "id" $ head $ head tds + name = fromAttrib "title" $ head $ head $ partitions (~== TagOpen ("a" :: T.Text) []) r + in Just (cid,name) + ) rows + +-- | generate haskell code +generate :: [(T.Text,T.Text)] -> T.Text +generate assocs = + let + header = "{-# LANGUAGE DeriveDataTypeable, OverloadedStrings, NoImplicitPrelude, PatternGuards, FlexibleInstances, MultiParamTypeClasses #-}" <> nl <> + "-- | This file is generated from the Wikipedia page" <> nl <> + "-- " <> nl <> + "module Data.CountryCodes.ISO31661 (" <> nl <> + " CountryCode(..)" <> nl <> + " , countryList" <> nl <> + " , fromMText" <> nl <> + " , fromText" <> nl <> + " , fromMName" <> nl <> + " , fromName" <> nl <> + " , toText" <> nl <> + " , toName" <> nl <> + ") where" <> nl <> + nl <> + "import Control.Applicative (pure)" <> nl <> + "import Data.Aeson" <> nl <> + "import Data.Typeable" <> nl <> + "import qualified Data.Text as T" <> nl <> + "import Prelude (Show,Read,Eq,Ord,Bounded,Enum,error,($),(++),Maybe(..),(.),fail)" <> nl <> + "import Text.Shakespeare.I18N" <> nl <> + nl + cons = snd (foldl' constructor (True, header) assocs) <> nl <> + " deriving (Show,Read,Eq,Ord,Bounded,Enum,Typeable)" + fromMTexts = foldl' fromText (cons <> nl <> nl <> + "-- | Maybe get the CountryCode from the text code." <> nl <> + "fromMText :: T.Text -> Maybe CountryCode") assocs <> nl <> + "fromMText _ = Nothing" + fromTexts = fromMTexts <> nl <> nl <> + "-- | Get the CountryCode from the text code. Errors if the code is unknown" <> nl <> + "fromText :: T.Text -> CountryCode" <> nl <> + "fromText c = case fromMText c of" <> nl <> + " Just cc -> cc" <> nl <> + " _ -> error $ \"fromText: Unknown country code:\" ++ T.unpack c" + toTexts = foldl' toText (fromTexts <> nl <> nl <> + "-- | Get the code as text." <> nl <> + "toText :: CountryCode -> T.Text") assocs + fromMNames = foldl' fromName (toTexts <> nl <> nl <> + "-- | Maybe get the code from the user readable name." <> nl <> + "fromMName :: T.Text -> Maybe CountryCode") assocs <> nl <> + "fromMName _ = Nothing" + fromNames = fromMNames <> nl <> nl <> + "-- | Get the CountryCode from the user readable name. Errors if the name is unknown" <> nl <> + "fromName:: T.Text -> CountryCode" <> nl <> + "fromName c = case fromMName c of" <> nl <> + " Just cc -> cc" <> nl <> + " _ -> error $ \"fromName: Unknown country code:\" ++ T.unpack c" + toNames = foldl' toName (fromNames <> nl <> nl <> + "-- | Get the user readable name." <> nl <> + "toName :: CountryCode -> T.Text") assocs + countryList = snd (foldl' toList ("", toNames <> nl <> nl <> + "-- | list of names sorted by alphabetical order, with country code" <> nl <> + "-- this is ready to be used in a yesod selectField, for example" <> nl <> + "countryList :: [(T.Text,CountryCode)]" <> nl <> + "countryList = [") + $ sortBy (compare `on` fst) $ map swap assocs) <> " ]" + json = countryList <> nl <> nl <> + "-- | to json: as a simple string" <> nl <> + "instance ToJSON CountryCode where" <> nl <> + " toJSON =toJSON . toText" <> nl <> + nl <> + "-- | from json: as a simple string" <> nl <> + "instance FromJSON CountryCode where" <> nl <> + " parseJSON (String s)" <> nl <> + " | Just a <- fromMText s=pure a" <> nl <> + " parseJSON _ =fail \"CountryCode\"" <> nl <> nl + sp = json <> + "-- | show user readable name, in English (ignoring locale for now)" <> nl <> + "instance RenderMessage master CountryCode where" <> nl <> + " renderMessage _ _ = toName" <> nl <> nl + in sp + + where + constructor :: (Bool,T.Text) -> (T.Text,T.Text) -> (Bool,T.Text) + constructor (True,acc) (i,_) = (False,acc <> "data CountryCode = " <> nl <> " " <> i) + constructor (False,acc) (i,_) = (False,acc <> nl <> " | " <> i) + fromText :: T.Text -> (T.Text,T.Text) -> T.Text + fromText acc (i,_) = acc <> nl <> "fromMText \"" <> i <> "\" = Just " <> i + toText :: T.Text -> (T.Text,T.Text) -> T.Text + toText acc (i,_) = acc <> nl <> "toText " <> i <> " = \"" <> i <> "\"" + fromName :: T.Text -> (T.Text,T.Text) -> T.Text + fromName acc (i,n) = acc <> nl <> "fromMName \"" <> n <> "\" = Just " <> i + toName :: T.Text -> (T.Text,T.Text) -> T.Text + toName acc (i,n) = acc <> nl <> "toName " <> i <> " = \"" <> n <> "\"" + toList :: (T.Text,T.Text) -> (T.Text,T.Text) -> (T.Text,T.Text) + toList (sep,acc) (n,i) = (nl <> " ,",acc <> sep <> "(\"" <> n <> "\"," <> i <> ")") + +-- | new line +nl :: T.Text +nl = "\n" diff --git a/src/Data/CountryCodes.hs b/src/Data/CountryCodes.hs new file mode 100644 --- /dev/null +++ b/src/Data/CountryCodes.hs @@ -0,0 +1,21 @@ +-- | Main entry point, exposing all that needs to be +module Data.CountryCodes ( + CountryCode(..) + , allNames + , countryList + , fromMText + , fromText + , fromMName + , fromName + , toText + , toName +) where + +import Control.Arrow ((&&&)) +import Data.Text (Text) + +import Data.CountryCodes.ISO31661 + +-- | list all codes with names +allNames :: [(CountryCode,Text)] +allNames = map (id &&& toName) $ enumFrom minBound diff --git a/src/Data/CountryCodes/ISO31661.hs b/src/Data/CountryCodes/ISO31661.hs new file mode 100644 --- /dev/null +++ b/src/Data/CountryCodes/ISO31661.hs @@ -0,0 +1,1562 @@ +{-# LANGUAGE DeriveDataTypeable, OverloadedStrings, NoImplicitPrelude, PatternGuards, FlexibleInstances, MultiParamTypeClasses #-} +-- | This file is generated from the Wikipedia page +-- +module Data.CountryCodes.ISO31661 ( + CountryCode(..) + , countryList + , fromMText + , fromText + , fromMName + , fromName + , toText + , toName +) where + +import Control.Applicative (pure) +import Data.Aeson +import Data.Typeable +import qualified Data.Text as T +import Prelude (Show,Read,Eq,Ord,Bounded,Enum,error,($),(++),Maybe(..),(.),fail) +import Text.Shakespeare.I18N + +data CountryCode = + AD + | AE + | AF + | AG + | AI + | AL + | AM + | AO + | AQ + | AR + | AS + | AT + | AU + | AW + | AX + | AZ + | BA + | BB + | BD + | BE + | BF + | BG + | BH + | BI + | BJ + | BL + | BM + | BN + | BO + | BQ + | BR + | BS + | BT + | BV + | BW + | BY + | BZ + | CA + | CC + | CD + | CF + | CG + | CH + | CI + | CK + | CL + | CM + | CN + | CO + | CR + | CU + | CV + | CW + | CX + | CY + | CZ + | DE + | DJ + | DK + | DM + | DO + | DZ + | EC + | EE + | EG + | EH + | ER + | ES + | ET + | FI + | FJ + | FK + | FM + | FO + | FR + | GA + | GB + | GD + | GE + | GF + | GG + | GH + | GI + | GL + | GM + | GN + | GP + | GQ + | GR + | GS + | GT + | GU + | GW + | GY + | HK + | HM + | HN + | HR + | HT + | HU + | ID + | IE + | IL + | IM + | IN + | IO + | IQ + | IR + | IS + | IT + | JE + | JM + | JO + | JP + | KE + | KG + | KH + | KI + | KM + | KN + | KP + | KR + | KW + | KY + | KZ + | LA + | LB + | LC + | LI + | LK + | LR + | LS + | LT + | LU + | LV + | LY + | MA + | MC + | MD + | ME + | MF + | MG + | MH + | MK + | ML + | MM + | MN + | MO + | MP + | MQ + | MR + | MS + | MT + | MU + | MV + | MW + | MX + | MY + | MZ + | NA + | NC + | NE + | NF + | NG + | NI + | NL + | NO + | NP + | NR + | NU + | NZ + | OM + | PA + | PE + | PF + | PG + | PH + | PK + | PL + | PM + | PN + | PR + | PS + | PT + | PW + | PY + | QA + | RE + | RO + | RS + | RU + | RW + | SA + | SB + | SC + | SD + | SE + | SG + | SH + | SI + | SJ + | SK + | SL + | SM + | SN + | SO + | SR + | SS + | ST + | SV + | SX + | SY + | SZ + | TC + | TD + | TF + | TG + | TH + | TJ + | TK + | TL + | TM + | TN + | TO + | TR + | TT + | TV + | TW + | TZ + | UA + | UG + | UM + | US + | UY + | UZ + | VA + | VC + | VE + | VG + | VI + | VN + | VU + | WF + | WS + | YE + | YT + | ZA + | ZM + | ZW + deriving (Show,Read,Eq,Ord,Bounded,Enum,Typeable) + +-- | Maybe get the CountryCode from the text code. +fromMText :: T.Text -> Maybe CountryCode +fromMText "AD" = Just AD +fromMText "AE" = Just AE +fromMText "AF" = Just AF +fromMText "AG" = Just AG +fromMText "AI" = Just AI +fromMText "AL" = Just AL +fromMText "AM" = Just AM +fromMText "AO" = Just AO +fromMText "AQ" = Just AQ +fromMText "AR" = Just AR +fromMText "AS" = Just AS +fromMText "AT" = Just AT +fromMText "AU" = Just AU +fromMText "AW" = Just AW +fromMText "AX" = Just AX +fromMText "AZ" = Just AZ +fromMText "BA" = Just BA +fromMText "BB" = Just BB +fromMText "BD" = Just BD +fromMText "BE" = Just BE +fromMText "BF" = Just BF +fromMText "BG" = Just BG +fromMText "BH" = Just BH +fromMText "BI" = Just BI +fromMText "BJ" = Just BJ +fromMText "BL" = Just BL +fromMText "BM" = Just BM +fromMText "BN" = Just BN +fromMText "BO" = Just BO +fromMText "BQ" = Just BQ +fromMText "BR" = Just BR +fromMText "BS" = Just BS +fromMText "BT" = Just BT +fromMText "BV" = Just BV +fromMText "BW" = Just BW +fromMText "BY" = Just BY +fromMText "BZ" = Just BZ +fromMText "CA" = Just CA +fromMText "CC" = Just CC +fromMText "CD" = Just CD +fromMText "CF" = Just CF +fromMText "CG" = Just CG +fromMText "CH" = Just CH +fromMText "CI" = Just CI +fromMText "CK" = Just CK +fromMText "CL" = Just CL +fromMText "CM" = Just CM +fromMText "CN" = Just CN +fromMText "CO" = Just CO +fromMText "CR" = Just CR +fromMText "CU" = Just CU +fromMText "CV" = Just CV +fromMText "CW" = Just CW +fromMText "CX" = Just CX +fromMText "CY" = Just CY +fromMText "CZ" = Just CZ +fromMText "DE" = Just DE +fromMText "DJ" = Just DJ +fromMText "DK" = Just DK +fromMText "DM" = Just DM +fromMText "DO" = Just DO +fromMText "DZ" = Just DZ +fromMText "EC" = Just EC +fromMText "EE" = Just EE +fromMText "EG" = Just EG +fromMText "EH" = Just EH +fromMText "ER" = Just ER +fromMText "ES" = Just ES +fromMText "ET" = Just ET +fromMText "FI" = Just FI +fromMText "FJ" = Just FJ +fromMText "FK" = Just FK +fromMText "FM" = Just FM +fromMText "FO" = Just FO +fromMText "FR" = Just FR +fromMText "GA" = Just GA +fromMText "GB" = Just GB +fromMText "GD" = Just GD +fromMText "GE" = Just GE +fromMText "GF" = Just GF +fromMText "GG" = Just GG +fromMText "GH" = Just GH +fromMText "GI" = Just GI +fromMText "GL" = Just GL +fromMText "GM" = Just GM +fromMText "GN" = Just GN +fromMText "GP" = Just GP +fromMText "GQ" = Just GQ +fromMText "GR" = Just GR +fromMText "GS" = Just GS +fromMText "GT" = Just GT +fromMText "GU" = Just GU +fromMText "GW" = Just GW +fromMText "GY" = Just GY +fromMText "HK" = Just HK +fromMText "HM" = Just HM +fromMText "HN" = Just HN +fromMText "HR" = Just HR +fromMText "HT" = Just HT +fromMText "HU" = Just HU +fromMText "ID" = Just ID +fromMText "IE" = Just IE +fromMText "IL" = Just IL +fromMText "IM" = Just IM +fromMText "IN" = Just IN +fromMText "IO" = Just IO +fromMText "IQ" = Just IQ +fromMText "IR" = Just IR +fromMText "IS" = Just IS +fromMText "IT" = Just IT +fromMText "JE" = Just JE +fromMText "JM" = Just JM +fromMText "JO" = Just JO +fromMText "JP" = Just JP +fromMText "KE" = Just KE +fromMText "KG" = Just KG +fromMText "KH" = Just KH +fromMText "KI" = Just KI +fromMText "KM" = Just KM +fromMText "KN" = Just KN +fromMText "KP" = Just KP +fromMText "KR" = Just KR +fromMText "KW" = Just KW +fromMText "KY" = Just KY +fromMText "KZ" = Just KZ +fromMText "LA" = Just LA +fromMText "LB" = Just LB +fromMText "LC" = Just LC +fromMText "LI" = Just LI +fromMText "LK" = Just LK +fromMText "LR" = Just LR +fromMText "LS" = Just LS +fromMText "LT" = Just LT +fromMText "LU" = Just LU +fromMText "LV" = Just LV +fromMText "LY" = Just LY +fromMText "MA" = Just MA +fromMText "MC" = Just MC +fromMText "MD" = Just MD +fromMText "ME" = Just ME +fromMText "MF" = Just MF +fromMText "MG" = Just MG +fromMText "MH" = Just MH +fromMText "MK" = Just MK +fromMText "ML" = Just ML +fromMText "MM" = Just MM +fromMText "MN" = Just MN +fromMText "MO" = Just MO +fromMText "MP" = Just MP +fromMText "MQ" = Just MQ +fromMText "MR" = Just MR +fromMText "MS" = Just MS +fromMText "MT" = Just MT +fromMText "MU" = Just MU +fromMText "MV" = Just MV +fromMText "MW" = Just MW +fromMText "MX" = Just MX +fromMText "MY" = Just MY +fromMText "MZ" = Just MZ +fromMText "NA" = Just NA +fromMText "NC" = Just NC +fromMText "NE" = Just NE +fromMText "NF" = Just NF +fromMText "NG" = Just NG +fromMText "NI" = Just NI +fromMText "NL" = Just NL +fromMText "NO" = Just NO +fromMText "NP" = Just NP +fromMText "NR" = Just NR +fromMText "NU" = Just NU +fromMText "NZ" = Just NZ +fromMText "OM" = Just OM +fromMText "PA" = Just PA +fromMText "PE" = Just PE +fromMText "PF" = Just PF +fromMText "PG" = Just PG +fromMText "PH" = Just PH +fromMText "PK" = Just PK +fromMText "PL" = Just PL +fromMText "PM" = Just PM +fromMText "PN" = Just PN +fromMText "PR" = Just PR +fromMText "PS" = Just PS +fromMText "PT" = Just PT +fromMText "PW" = Just PW +fromMText "PY" = Just PY +fromMText "QA" = Just QA +fromMText "RE" = Just RE +fromMText "RO" = Just RO +fromMText "RS" = Just RS +fromMText "RU" = Just RU +fromMText "RW" = Just RW +fromMText "SA" = Just SA +fromMText "SB" = Just SB +fromMText "SC" = Just SC +fromMText "SD" = Just SD +fromMText "SE" = Just SE +fromMText "SG" = Just SG +fromMText "SH" = Just SH +fromMText "SI" = Just SI +fromMText "SJ" = Just SJ +fromMText "SK" = Just SK +fromMText "SL" = Just SL +fromMText "SM" = Just SM +fromMText "SN" = Just SN +fromMText "SO" = Just SO +fromMText "SR" = Just SR +fromMText "SS" = Just SS +fromMText "ST" = Just ST +fromMText "SV" = Just SV +fromMText "SX" = Just SX +fromMText "SY" = Just SY +fromMText "SZ" = Just SZ +fromMText "TC" = Just TC +fromMText "TD" = Just TD +fromMText "TF" = Just TF +fromMText "TG" = Just TG +fromMText "TH" = Just TH +fromMText "TJ" = Just TJ +fromMText "TK" = Just TK +fromMText "TL" = Just TL +fromMText "TM" = Just TM +fromMText "TN" = Just TN +fromMText "TO" = Just TO +fromMText "TR" = Just TR +fromMText "TT" = Just TT +fromMText "TV" = Just TV +fromMText "TW" = Just TW +fromMText "TZ" = Just TZ +fromMText "UA" = Just UA +fromMText "UG" = Just UG +fromMText "UM" = Just UM +fromMText "US" = Just US +fromMText "UY" = Just UY +fromMText "UZ" = Just UZ +fromMText "VA" = Just VA +fromMText "VC" = Just VC +fromMText "VE" = Just VE +fromMText "VG" = Just VG +fromMText "VI" = Just VI +fromMText "VN" = Just VN +fromMText "VU" = Just VU +fromMText "WF" = Just WF +fromMText "WS" = Just WS +fromMText "YE" = Just YE +fromMText "YT" = Just YT +fromMText "ZA" = Just ZA +fromMText "ZM" = Just ZM +fromMText "ZW" = Just ZW +fromMText _ = Nothing + +-- | Get the CountryCode from the text code. Errors if the code is unknown +fromText :: T.Text -> CountryCode +fromText c = case fromMText c of + Just cc -> cc + _ -> error $ "fromText: Unknown country code:" ++ T.unpack c + +-- | Get the code as text. +toText :: CountryCode -> T.Text +toText AD = "AD" +toText AE = "AE" +toText AF = "AF" +toText AG = "AG" +toText AI = "AI" +toText AL = "AL" +toText AM = "AM" +toText AO = "AO" +toText AQ = "AQ" +toText AR = "AR" +toText AS = "AS" +toText AT = "AT" +toText AU = "AU" +toText AW = "AW" +toText AX = "AX" +toText AZ = "AZ" +toText BA = "BA" +toText BB = "BB" +toText BD = "BD" +toText BE = "BE" +toText BF = "BF" +toText BG = "BG" +toText BH = "BH" +toText BI = "BI" +toText BJ = "BJ" +toText BL = "BL" +toText BM = "BM" +toText BN = "BN" +toText BO = "BO" +toText BQ = "BQ" +toText BR = "BR" +toText BS = "BS" +toText BT = "BT" +toText BV = "BV" +toText BW = "BW" +toText BY = "BY" +toText BZ = "BZ" +toText CA = "CA" +toText CC = "CC" +toText CD = "CD" +toText CF = "CF" +toText CG = "CG" +toText CH = "CH" +toText CI = "CI" +toText CK = "CK" +toText CL = "CL" +toText CM = "CM" +toText CN = "CN" +toText CO = "CO" +toText CR = "CR" +toText CU = "CU" +toText CV = "CV" +toText CW = "CW" +toText CX = "CX" +toText CY = "CY" +toText CZ = "CZ" +toText DE = "DE" +toText DJ = "DJ" +toText DK = "DK" +toText DM = "DM" +toText DO = "DO" +toText DZ = "DZ" +toText EC = "EC" +toText EE = "EE" +toText EG = "EG" +toText EH = "EH" +toText ER = "ER" +toText ES = "ES" +toText ET = "ET" +toText FI = "FI" +toText FJ = "FJ" +toText FK = "FK" +toText FM = "FM" +toText FO = "FO" +toText FR = "FR" +toText GA = "GA" +toText GB = "GB" +toText GD = "GD" +toText GE = "GE" +toText GF = "GF" +toText GG = "GG" +toText GH = "GH" +toText GI = "GI" +toText GL = "GL" +toText GM = "GM" +toText GN = "GN" +toText GP = "GP" +toText GQ = "GQ" +toText GR = "GR" +toText GS = "GS" +toText GT = "GT" +toText GU = "GU" +toText GW = "GW" +toText GY = "GY" +toText HK = "HK" +toText HM = "HM" +toText HN = "HN" +toText HR = "HR" +toText HT = "HT" +toText HU = "HU" +toText ID = "ID" +toText IE = "IE" +toText IL = "IL" +toText IM = "IM" +toText IN = "IN" +toText IO = "IO" +toText IQ = "IQ" +toText IR = "IR" +toText IS = "IS" +toText IT = "IT" +toText JE = "JE" +toText JM = "JM" +toText JO = "JO" +toText JP = "JP" +toText KE = "KE" +toText KG = "KG" +toText KH = "KH" +toText KI = "KI" +toText KM = "KM" +toText KN = "KN" +toText KP = "KP" +toText KR = "KR" +toText KW = "KW" +toText KY = "KY" +toText KZ = "KZ" +toText LA = "LA" +toText LB = "LB" +toText LC = "LC" +toText LI = "LI" +toText LK = "LK" +toText LR = "LR" +toText LS = "LS" +toText LT = "LT" +toText LU = "LU" +toText LV = "LV" +toText LY = "LY" +toText MA = "MA" +toText MC = "MC" +toText MD = "MD" +toText ME = "ME" +toText MF = "MF" +toText MG = "MG" +toText MH = "MH" +toText MK = "MK" +toText ML = "ML" +toText MM = "MM" +toText MN = "MN" +toText MO = "MO" +toText MP = "MP" +toText MQ = "MQ" +toText MR = "MR" +toText MS = "MS" +toText MT = "MT" +toText MU = "MU" +toText MV = "MV" +toText MW = "MW" +toText MX = "MX" +toText MY = "MY" +toText MZ = "MZ" +toText NA = "NA" +toText NC = "NC" +toText NE = "NE" +toText NF = "NF" +toText NG = "NG" +toText NI = "NI" +toText NL = "NL" +toText NO = "NO" +toText NP = "NP" +toText NR = "NR" +toText NU = "NU" +toText NZ = "NZ" +toText OM = "OM" +toText PA = "PA" +toText PE = "PE" +toText PF = "PF" +toText PG = "PG" +toText PH = "PH" +toText PK = "PK" +toText PL = "PL" +toText PM = "PM" +toText PN = "PN" +toText PR = "PR" +toText PS = "PS" +toText PT = "PT" +toText PW = "PW" +toText PY = "PY" +toText QA = "QA" +toText RE = "RE" +toText RO = "RO" +toText RS = "RS" +toText RU = "RU" +toText RW = "RW" +toText SA = "SA" +toText SB = "SB" +toText SC = "SC" +toText SD = "SD" +toText SE = "SE" +toText SG = "SG" +toText SH = "SH" +toText SI = "SI" +toText SJ = "SJ" +toText SK = "SK" +toText SL = "SL" +toText SM = "SM" +toText SN = "SN" +toText SO = "SO" +toText SR = "SR" +toText SS = "SS" +toText ST = "ST" +toText SV = "SV" +toText SX = "SX" +toText SY = "SY" +toText SZ = "SZ" +toText TC = "TC" +toText TD = "TD" +toText TF = "TF" +toText TG = "TG" +toText TH = "TH" +toText TJ = "TJ" +toText TK = "TK" +toText TL = "TL" +toText TM = "TM" +toText TN = "TN" +toText TO = "TO" +toText TR = "TR" +toText TT = "TT" +toText TV = "TV" +toText TW = "TW" +toText TZ = "TZ" +toText UA = "UA" +toText UG = "UG" +toText UM = "UM" +toText US = "US" +toText UY = "UY" +toText UZ = "UZ" +toText VA = "VA" +toText VC = "VC" +toText VE = "VE" +toText VG = "VG" +toText VI = "VI" +toText VN = "VN" +toText VU = "VU" +toText WF = "WF" +toText WS = "WS" +toText YE = "YE" +toText YT = "YT" +toText ZA = "ZA" +toText ZM = "ZM" +toText ZW = "ZW" + +-- | Maybe get the code from the user readable name. +fromMName :: T.Text -> Maybe CountryCode +fromMName "Andorra" = Just AD +fromMName "United Arab Emirates" = Just AE +fromMName "Afghanistan" = Just AF +fromMName "Antigua and Barbuda" = Just AG +fromMName "Anguilla" = Just AI +fromMName "Albania" = Just AL +fromMName "Armenia" = Just AM +fromMName "Angola" = Just AO +fromMName "Antarctica" = Just AQ +fromMName "Argentina" = Just AR +fromMName "American Samoa" = Just AS +fromMName "Austria" = Just AT +fromMName "Australia" = Just AU +fromMName "Aruba" = Just AW +fromMName "Åland Islands" = Just AX +fromMName "Azerbaijan" = Just AZ +fromMName "Bosnia and Herzegovina" = Just BA +fromMName "Barbados" = Just BB +fromMName "Bangladesh" = Just BD +fromMName "Belgium" = Just BE +fromMName "Burkina Faso" = Just BF +fromMName "Bulgaria" = Just BG +fromMName "Bahrain" = Just BH +fromMName "Burundi" = Just BI +fromMName "Benin" = Just BJ +fromMName "Saint Barthélemy" = Just BL +fromMName "Bermuda" = Just BM +fromMName "Brunei" = Just BN +fromMName "Bolivia" = Just BO +fromMName "Caribbean Netherlands" = Just BQ +fromMName "Brazil" = Just BR +fromMName "The Bahamas" = Just BS +fromMName "Bhutan" = Just BT +fromMName "Bouvet Island" = Just BV +fromMName "Botswana" = Just BW +fromMName "Belarus" = Just BY +fromMName "Belize" = Just BZ +fromMName "Canada" = Just CA +fromMName "Cocos (Keeling) Islands" = Just CC +fromMName "Democratic Republic of the Congo" = Just CD +fromMName "Central African Republic" = Just CF +fromMName "Republic of the Congo" = Just CG +fromMName "Switzerland" = Just CH +fromMName "Côte d'Ivoire" = Just CI +fromMName "Cook Islands" = Just CK +fromMName "Chile" = Just CL +fromMName "Cameroon" = Just CM +fromMName "China" = Just CN +fromMName "Colombia" = Just CO +fromMName "Costa Rica" = Just CR +fromMName "Cuba" = Just CU +fromMName "Cape Verde" = Just CV +fromMName "Curaçao" = Just CW +fromMName "Christmas Island" = Just CX +fromMName "Cyprus" = Just CY +fromMName "Czech Republic" = Just CZ +fromMName "Germany" = Just DE +fromMName "Djibouti" = Just DJ +fromMName "Denmark" = Just DK +fromMName "Dominica" = Just DM +fromMName "Dominican Republic" = Just DO +fromMName "Algeria" = Just DZ +fromMName "Ecuador" = Just EC +fromMName "Estonia" = Just EE +fromMName "Egypt" = Just EG +fromMName "Western Sahara" = Just EH +fromMName "Eritrea" = Just ER +fromMName "Spain" = Just ES +fromMName "Ethiopia" = Just ET +fromMName "Finland" = Just FI +fromMName "Fiji" = Just FJ +fromMName "Falkland Islands" = Just FK +fromMName "Federated States of Micronesia" = Just FM +fromMName "Faroe Islands" = Just FO +fromMName "France" = Just FR +fromMName "Gabon" = Just GA +fromMName "United Kingdom" = Just GB +fromMName "Grenada" = Just GD +fromMName "Georgia (country)" = Just GE +fromMName "French Guiana" = Just GF +fromMName "Guernsey" = Just GG +fromMName "Ghana" = Just GH +fromMName "Gibraltar" = Just GI +fromMName "Greenland" = Just GL +fromMName "The Gambia" = Just GM +fromMName "Guinea" = Just GN +fromMName "Guadeloupe" = Just GP +fromMName "Equatorial Guinea" = Just GQ +fromMName "Greece" = Just GR +fromMName "South Georgia and the South Sandwich Islands" = Just GS +fromMName "Guatemala" = Just GT +fromMName "Guam" = Just GU +fromMName "Guinea-Bissau" = Just GW +fromMName "Guyana" = Just GY +fromMName "Hong Kong" = Just HK +fromMName "Heard Island and McDonald Islands" = Just HM +fromMName "Honduras" = Just HN +fromMName "Croatia" = Just HR +fromMName "Haiti" = Just HT +fromMName "Hungary" = Just HU +fromMName "Indonesia" = Just ID +fromMName "Republic of Ireland" = Just IE +fromMName "Israel" = Just IL +fromMName "Isle of Man" = Just IM +fromMName "India" = Just IN +fromMName "British Indian Ocean Territory" = Just IO +fromMName "Iraq" = Just IQ +fromMName "Iran" = Just IR +fromMName "Iceland" = Just IS +fromMName "Italy" = Just IT +fromMName "Jersey" = Just JE +fromMName "Jamaica" = Just JM +fromMName "Jordan" = Just JO +fromMName "Japan" = Just JP +fromMName "Kenya" = Just KE +fromMName "Kyrgyzstan" = Just KG +fromMName "Cambodia" = Just KH +fromMName "Kiribati" = Just KI +fromMName "Comoros" = Just KM +fromMName "Saint Kitts and Nevis" = Just KN +fromMName "North Korea" = Just KP +fromMName "South Korea" = Just KR +fromMName "Kuwait" = Just KW +fromMName "Cayman Islands" = Just KY +fromMName "Kazakhstan" = Just KZ +fromMName "Laos" = Just LA +fromMName "Lebanon" = Just LB +fromMName "Saint Lucia" = Just LC +fromMName "Liechtenstein" = Just LI +fromMName "Sri Lanka" = Just LK +fromMName "Liberia" = Just LR +fromMName "Lesotho" = Just LS +fromMName "Lithuania" = Just LT +fromMName "Luxembourg" = Just LU +fromMName "Latvia" = Just LV +fromMName "Libya" = Just LY +fromMName "Morocco" = Just MA +fromMName "Monaco" = Just MC +fromMName "Moldova" = Just MD +fromMName "Montenegro" = Just ME +fromMName "Collectivity of Saint Martin" = Just MF +fromMName "Madagascar" = Just MG +fromMName "Marshall Islands" = Just MH +fromMName "Republic of Macedonia" = Just MK +fromMName "Mali" = Just ML +fromMName "Myanmar" = Just MM +fromMName "Mongolia" = Just MN +fromMName "Macau" = Just MO +fromMName "Northern Mariana Islands" = Just MP +fromMName "Martinique" = Just MQ +fromMName "Mauritania" = Just MR +fromMName "Montserrat" = Just MS +fromMName "Malta" = Just MT +fromMName "Mauritius" = Just MU +fromMName "Maldives" = Just MV +fromMName "Malawi" = Just MW +fromMName "Mexico" = Just MX +fromMName "Malaysia" = Just MY +fromMName "Mozambique" = Just MZ +fromMName "Namibia" = Just NA +fromMName "New Caledonia" = Just NC +fromMName "Niger" = Just NE +fromMName "Norfolk Island" = Just NF +fromMName "Nigeria" = Just NG +fromMName "Nicaragua" = Just NI +fromMName "Netherlands" = Just NL +fromMName "Norway" = Just NO +fromMName "Nepal" = Just NP +fromMName "Nauru" = Just NR +fromMName "Niue" = Just NU +fromMName "New Zealand" = Just NZ +fromMName "Oman" = Just OM +fromMName "Panama" = Just PA +fromMName "Peru" = Just PE +fromMName "French Polynesia" = Just PF +fromMName "Papua New Guinea" = Just PG +fromMName "Philippines" = Just PH +fromMName "Pakistan" = Just PK +fromMName "Poland" = Just PL +fromMName "Saint Pierre and Miquelon" = Just PM +fromMName "Pitcairn Islands" = Just PN +fromMName "Puerto Rico" = Just PR +fromMName "State of Palestine" = Just PS +fromMName "Portugal" = Just PT +fromMName "Palau" = Just PW +fromMName "Paraguay" = Just PY +fromMName "Qatar" = Just QA +fromMName "Réunion" = Just RE +fromMName "Romania" = Just RO +fromMName "Serbia" = Just RS +fromMName "Russia" = Just RU +fromMName "Rwanda" = Just RW +fromMName "Saudi Arabia" = Just SA +fromMName "Solomon Islands" = Just SB +fromMName "Seychelles" = Just SC +fromMName "Sudan" = Just SD +fromMName "Sweden" = Just SE +fromMName "Singapore" = Just SG +fromMName "Saint Helena, Ascension and Tristan da Cunha" = Just SH +fromMName "Slovenia" = Just SI +fromMName "Svalbard and Jan Mayen" = Just SJ +fromMName "Slovakia" = Just SK +fromMName "Sierra Leone" = Just SL +fromMName "San Marino" = Just SM +fromMName "Senegal" = Just SN +fromMName "Somalia" = Just SO +fromMName "Suriname" = Just SR +fromMName "South Sudan" = Just SS +fromMName "São Tomé and Príncipe" = Just ST +fromMName "El Salvador" = Just SV +fromMName "Sint Maarten" = Just SX +fromMName "Syria" = Just SY +fromMName "Swaziland" = Just SZ +fromMName "Turks and Caicos Islands" = Just TC +fromMName "Chad" = Just TD +fromMName "French Southern and Antarctic Lands" = Just TF +fromMName "Togo" = Just TG +fromMName "Thailand" = Just TH +fromMName "Tajikistan" = Just TJ +fromMName "Tokelau" = Just TK +fromMName "East Timor" = Just TL +fromMName "Turkmenistan" = Just TM +fromMName "Tunisia" = Just TN +fromMName "Tonga" = Just TO +fromMName "Turkey" = Just TR +fromMName "Trinidad and Tobago" = Just TT +fromMName "Tuvalu" = Just TV +fromMName "Taiwan" = Just TW +fromMName "Tanzania" = Just TZ +fromMName "Ukraine" = Just UA +fromMName "Uganda" = Just UG +fromMName "United States Minor Outlying Islands" = Just UM +fromMName "United States" = Just US +fromMName "Uruguay" = Just UY +fromMName "Uzbekistan" = Just UZ +fromMName "Vatican City" = Just VA +fromMName "Saint Vincent and the Grenadines" = Just VC +fromMName "Venezuela" = Just VE +fromMName "British Virgin Islands" = Just VG +fromMName "United States Virgin Islands" = Just VI +fromMName "Vietnam" = Just VN +fromMName "Vanuatu" = Just VU +fromMName "Wallis and Futuna" = Just WF +fromMName "Samoa" = Just WS +fromMName "Yemen" = Just YE +fromMName "Mayotte" = Just YT +fromMName "South Africa" = Just ZA +fromMName "Zambia" = Just ZM +fromMName "Zimbabwe" = Just ZW +fromMName _ = Nothing + +-- | Get the CountryCode from the user readable name. Errors if the name is unknown +fromName:: T.Text -> CountryCode +fromName c = case fromMName c of + Just cc -> cc + _ -> error $ "fromName: Unknown country code:" ++ T.unpack c + +-- | Get the user readable name. +toName :: CountryCode -> T.Text +toName AD = "Andorra" +toName AE = "United Arab Emirates" +toName AF = "Afghanistan" +toName AG = "Antigua and Barbuda" +toName AI = "Anguilla" +toName AL = "Albania" +toName AM = "Armenia" +toName AO = "Angola" +toName AQ = "Antarctica" +toName AR = "Argentina" +toName AS = "American Samoa" +toName AT = "Austria" +toName AU = "Australia" +toName AW = "Aruba" +toName AX = "Åland Islands" +toName AZ = "Azerbaijan" +toName BA = "Bosnia and Herzegovina" +toName BB = "Barbados" +toName BD = "Bangladesh" +toName BE = "Belgium" +toName BF = "Burkina Faso" +toName BG = "Bulgaria" +toName BH = "Bahrain" +toName BI = "Burundi" +toName BJ = "Benin" +toName BL = "Saint Barthélemy" +toName BM = "Bermuda" +toName BN = "Brunei" +toName BO = "Bolivia" +toName BQ = "Caribbean Netherlands" +toName BR = "Brazil" +toName BS = "The Bahamas" +toName BT = "Bhutan" +toName BV = "Bouvet Island" +toName BW = "Botswana" +toName BY = "Belarus" +toName BZ = "Belize" +toName CA = "Canada" +toName CC = "Cocos (Keeling) Islands" +toName CD = "Democratic Republic of the Congo" +toName CF = "Central African Republic" +toName CG = "Republic of the Congo" +toName CH = "Switzerland" +toName CI = "Côte d'Ivoire" +toName CK = "Cook Islands" +toName CL = "Chile" +toName CM = "Cameroon" +toName CN = "China" +toName CO = "Colombia" +toName CR = "Costa Rica" +toName CU = "Cuba" +toName CV = "Cape Verde" +toName CW = "Curaçao" +toName CX = "Christmas Island" +toName CY = "Cyprus" +toName CZ = "Czech Republic" +toName DE = "Germany" +toName DJ = "Djibouti" +toName DK = "Denmark" +toName DM = "Dominica" +toName DO = "Dominican Republic" +toName DZ = "Algeria" +toName EC = "Ecuador" +toName EE = "Estonia" +toName EG = "Egypt" +toName EH = "Western Sahara" +toName ER = "Eritrea" +toName ES = "Spain" +toName ET = "Ethiopia" +toName FI = "Finland" +toName FJ = "Fiji" +toName FK = "Falkland Islands" +toName FM = "Federated States of Micronesia" +toName FO = "Faroe Islands" +toName FR = "France" +toName GA = "Gabon" +toName GB = "United Kingdom" +toName GD = "Grenada" +toName GE = "Georgia (country)" +toName GF = "French Guiana" +toName GG = "Guernsey" +toName GH = "Ghana" +toName GI = "Gibraltar" +toName GL = "Greenland" +toName GM = "The Gambia" +toName GN = "Guinea" +toName GP = "Guadeloupe" +toName GQ = "Equatorial Guinea" +toName GR = "Greece" +toName GS = "South Georgia and the South Sandwich Islands" +toName GT = "Guatemala" +toName GU = "Guam" +toName GW = "Guinea-Bissau" +toName GY = "Guyana" +toName HK = "Hong Kong" +toName HM = "Heard Island and McDonald Islands" +toName HN = "Honduras" +toName HR = "Croatia" +toName HT = "Haiti" +toName HU = "Hungary" +toName ID = "Indonesia" +toName IE = "Republic of Ireland" +toName IL = "Israel" +toName IM = "Isle of Man" +toName IN = "India" +toName IO = "British Indian Ocean Territory" +toName IQ = "Iraq" +toName IR = "Iran" +toName IS = "Iceland" +toName IT = "Italy" +toName JE = "Jersey" +toName JM = "Jamaica" +toName JO = "Jordan" +toName JP = "Japan" +toName KE = "Kenya" +toName KG = "Kyrgyzstan" +toName KH = "Cambodia" +toName KI = "Kiribati" +toName KM = "Comoros" +toName KN = "Saint Kitts and Nevis" +toName KP = "North Korea" +toName KR = "South Korea" +toName KW = "Kuwait" +toName KY = "Cayman Islands" +toName KZ = "Kazakhstan" +toName LA = "Laos" +toName LB = "Lebanon" +toName LC = "Saint Lucia" +toName LI = "Liechtenstein" +toName LK = "Sri Lanka" +toName LR = "Liberia" +toName LS = "Lesotho" +toName LT = "Lithuania" +toName LU = "Luxembourg" +toName LV = "Latvia" +toName LY = "Libya" +toName MA = "Morocco" +toName MC = "Monaco" +toName MD = "Moldova" +toName ME = "Montenegro" +toName MF = "Collectivity of Saint Martin" +toName MG = "Madagascar" +toName MH = "Marshall Islands" +toName MK = "Republic of Macedonia" +toName ML = "Mali" +toName MM = "Myanmar" +toName MN = "Mongolia" +toName MO = "Macau" +toName MP = "Northern Mariana Islands" +toName MQ = "Martinique" +toName MR = "Mauritania" +toName MS = "Montserrat" +toName MT = "Malta" +toName MU = "Mauritius" +toName MV = "Maldives" +toName MW = "Malawi" +toName MX = "Mexico" +toName MY = "Malaysia" +toName MZ = "Mozambique" +toName NA = "Namibia" +toName NC = "New Caledonia" +toName NE = "Niger" +toName NF = "Norfolk Island" +toName NG = "Nigeria" +toName NI = "Nicaragua" +toName NL = "Netherlands" +toName NO = "Norway" +toName NP = "Nepal" +toName NR = "Nauru" +toName NU = "Niue" +toName NZ = "New Zealand" +toName OM = "Oman" +toName PA = "Panama" +toName PE = "Peru" +toName PF = "French Polynesia" +toName PG = "Papua New Guinea" +toName PH = "Philippines" +toName PK = "Pakistan" +toName PL = "Poland" +toName PM = "Saint Pierre and Miquelon" +toName PN = "Pitcairn Islands" +toName PR = "Puerto Rico" +toName PS = "State of Palestine" +toName PT = "Portugal" +toName PW = "Palau" +toName PY = "Paraguay" +toName QA = "Qatar" +toName RE = "Réunion" +toName RO = "Romania" +toName RS = "Serbia" +toName RU = "Russia" +toName RW = "Rwanda" +toName SA = "Saudi Arabia" +toName SB = "Solomon Islands" +toName SC = "Seychelles" +toName SD = "Sudan" +toName SE = "Sweden" +toName SG = "Singapore" +toName SH = "Saint Helena, Ascension and Tristan da Cunha" +toName SI = "Slovenia" +toName SJ = "Svalbard and Jan Mayen" +toName SK = "Slovakia" +toName SL = "Sierra Leone" +toName SM = "San Marino" +toName SN = "Senegal" +toName SO = "Somalia" +toName SR = "Suriname" +toName SS = "South Sudan" +toName ST = "São Tomé and Príncipe" +toName SV = "El Salvador" +toName SX = "Sint Maarten" +toName SY = "Syria" +toName SZ = "Swaziland" +toName TC = "Turks and Caicos Islands" +toName TD = "Chad" +toName TF = "French Southern and Antarctic Lands" +toName TG = "Togo" +toName TH = "Thailand" +toName TJ = "Tajikistan" +toName TK = "Tokelau" +toName TL = "East Timor" +toName TM = "Turkmenistan" +toName TN = "Tunisia" +toName TO = "Tonga" +toName TR = "Turkey" +toName TT = "Trinidad and Tobago" +toName TV = "Tuvalu" +toName TW = "Taiwan" +toName TZ = "Tanzania" +toName UA = "Ukraine" +toName UG = "Uganda" +toName UM = "United States Minor Outlying Islands" +toName US = "United States" +toName UY = "Uruguay" +toName UZ = "Uzbekistan" +toName VA = "Vatican City" +toName VC = "Saint Vincent and the Grenadines" +toName VE = "Venezuela" +toName VG = "British Virgin Islands" +toName VI = "United States Virgin Islands" +toName VN = "Vietnam" +toName VU = "Vanuatu" +toName WF = "Wallis and Futuna" +toName WS = "Samoa" +toName YE = "Yemen" +toName YT = "Mayotte" +toName ZA = "South Africa" +toName ZM = "Zambia" +toName ZW = "Zimbabwe" + +-- | list of names sorted by alphabetical order, with country code +-- this is ready to be used in a yesod selectField, for example +countryList :: [(T.Text,CountryCode)] +countryList = [("Afghanistan",AF) + ,("Albania",AL) + ,("Algeria",DZ) + ,("American Samoa",AS) + ,("Andorra",AD) + ,("Angola",AO) + ,("Anguilla",AI) + ,("Antarctica",AQ) + ,("Antigua and Barbuda",AG) + ,("Argentina",AR) + ,("Armenia",AM) + ,("Aruba",AW) + ,("Australia",AU) + ,("Austria",AT) + ,("Azerbaijan",AZ) + ,("Bahrain",BH) + ,("Bangladesh",BD) + ,("Barbados",BB) + ,("Belarus",BY) + ,("Belgium",BE) + ,("Belize",BZ) + ,("Benin",BJ) + ,("Bermuda",BM) + ,("Bhutan",BT) + ,("Bolivia",BO) + ,("Bosnia and Herzegovina",BA) + ,("Botswana",BW) + ,("Bouvet Island",BV) + ,("Brazil",BR) + ,("British Indian Ocean Territory",IO) + ,("British Virgin Islands",VG) + ,("Brunei",BN) + ,("Bulgaria",BG) + ,("Burkina Faso",BF) + ,("Burundi",BI) + ,("Cambodia",KH) + ,("Cameroon",CM) + ,("Canada",CA) + ,("Cape Verde",CV) + ,("Caribbean Netherlands",BQ) + ,("Cayman Islands",KY) + ,("Central African Republic",CF) + ,("Chad",TD) + ,("Chile",CL) + ,("China",CN) + ,("Christmas Island",CX) + ,("Cocos (Keeling) Islands",CC) + ,("Collectivity of Saint Martin",MF) + ,("Colombia",CO) + ,("Comoros",KM) + ,("Cook Islands",CK) + ,("Costa Rica",CR) + ,("Croatia",HR) + ,("Cuba",CU) + ,("Curaçao",CW) + ,("Cyprus",CY) + ,("Czech Republic",CZ) + ,("Côte d'Ivoire",CI) + ,("Democratic Republic of the Congo",CD) + ,("Denmark",DK) + ,("Djibouti",DJ) + ,("Dominica",DM) + ,("Dominican Republic",DO) + ,("East Timor",TL) + ,("Ecuador",EC) + ,("Egypt",EG) + ,("El Salvador",SV) + ,("Equatorial Guinea",GQ) + ,("Eritrea",ER) + ,("Estonia",EE) + ,("Ethiopia",ET) + ,("Falkland Islands",FK) + ,("Faroe Islands",FO) + ,("Federated States of Micronesia",FM) + ,("Fiji",FJ) + ,("Finland",FI) + ,("France",FR) + ,("French Guiana",GF) + ,("French Polynesia",PF) + ,("French Southern and Antarctic Lands",TF) + ,("Gabon",GA) + ,("Georgia (country)",GE) + ,("Germany",DE) + ,("Ghana",GH) + ,("Gibraltar",GI) + ,("Greece",GR) + ,("Greenland",GL) + ,("Grenada",GD) + ,("Guadeloupe",GP) + ,("Guam",GU) + ,("Guatemala",GT) + ,("Guernsey",GG) + ,("Guinea",GN) + ,("Guinea-Bissau",GW) + ,("Guyana",GY) + ,("Haiti",HT) + ,("Heard Island and McDonald Islands",HM) + ,("Honduras",HN) + ,("Hong Kong",HK) + ,("Hungary",HU) + ,("Iceland",IS) + ,("India",IN) + ,("Indonesia",ID) + ,("Iran",IR) + ,("Iraq",IQ) + ,("Isle of Man",IM) + ,("Israel",IL) + ,("Italy",IT) + ,("Jamaica",JM) + ,("Japan",JP) + ,("Jersey",JE) + ,("Jordan",JO) + ,("Kazakhstan",KZ) + ,("Kenya",KE) + ,("Kiribati",KI) + ,("Kuwait",KW) + ,("Kyrgyzstan",KG) + ,("Laos",LA) + ,("Latvia",LV) + ,("Lebanon",LB) + ,("Lesotho",LS) + ,("Liberia",LR) + ,("Libya",LY) + ,("Liechtenstein",LI) + ,("Lithuania",LT) + ,("Luxembourg",LU) + ,("Macau",MO) + ,("Madagascar",MG) + ,("Malawi",MW) + ,("Malaysia",MY) + ,("Maldives",MV) + ,("Mali",ML) + ,("Malta",MT) + ,("Marshall Islands",MH) + ,("Martinique",MQ) + ,("Mauritania",MR) + ,("Mauritius",MU) + ,("Mayotte",YT) + ,("Mexico",MX) + ,("Moldova",MD) + ,("Monaco",MC) + ,("Mongolia",MN) + ,("Montenegro",ME) + ,("Montserrat",MS) + ,("Morocco",MA) + ,("Mozambique",MZ) + ,("Myanmar",MM) + ,("Namibia",NA) + ,("Nauru",NR) + ,("Nepal",NP) + ,("Netherlands",NL) + ,("New Caledonia",NC) + ,("New Zealand",NZ) + ,("Nicaragua",NI) + ,("Niger",NE) + ,("Nigeria",NG) + ,("Niue",NU) + ,("Norfolk Island",NF) + ,("North Korea",KP) + ,("Northern Mariana Islands",MP) + ,("Norway",NO) + ,("Oman",OM) + ,("Pakistan",PK) + ,("Palau",PW) + ,("Panama",PA) + ,("Papua New Guinea",PG) + ,("Paraguay",PY) + ,("Peru",PE) + ,("Philippines",PH) + ,("Pitcairn Islands",PN) + ,("Poland",PL) + ,("Portugal",PT) + ,("Puerto Rico",PR) + ,("Qatar",QA) + ,("Republic of Ireland",IE) + ,("Republic of Macedonia",MK) + ,("Republic of the Congo",CG) + ,("Romania",RO) + ,("Russia",RU) + ,("Rwanda",RW) + ,("Réunion",RE) + ,("Saint Barthélemy",BL) + ,("Saint Helena, Ascension and Tristan da Cunha",SH) + ,("Saint Kitts and Nevis",KN) + ,("Saint Lucia",LC) + ,("Saint Pierre and Miquelon",PM) + ,("Saint Vincent and the Grenadines",VC) + ,("Samoa",WS) + ,("San Marino",SM) + ,("Saudi Arabia",SA) + ,("Senegal",SN) + ,("Serbia",RS) + ,("Seychelles",SC) + ,("Sierra Leone",SL) + ,("Singapore",SG) + ,("Sint Maarten",SX) + ,("Slovakia",SK) + ,("Slovenia",SI) + ,("Solomon Islands",SB) + ,("Somalia",SO) + ,("South Africa",ZA) + ,("South Georgia and the South Sandwich Islands",GS) + ,("South Korea",KR) + ,("South Sudan",SS) + ,("Spain",ES) + ,("Sri Lanka",LK) + ,("State of Palestine",PS) + ,("Sudan",SD) + ,("Suriname",SR) + ,("Svalbard and Jan Mayen",SJ) + ,("Swaziland",SZ) + ,("Sweden",SE) + ,("Switzerland",CH) + ,("Syria",SY) + ,("São Tomé and Príncipe",ST) + ,("Taiwan",TW) + ,("Tajikistan",TJ) + ,("Tanzania",TZ) + ,("Thailand",TH) + ,("The Bahamas",BS) + ,("The Gambia",GM) + ,("Togo",TG) + ,("Tokelau",TK) + ,("Tonga",TO) + ,("Trinidad and Tobago",TT) + ,("Tunisia",TN) + ,("Turkey",TR) + ,("Turkmenistan",TM) + ,("Turks and Caicos Islands",TC) + ,("Tuvalu",TV) + ,("Uganda",UG) + ,("Ukraine",UA) + ,("United Arab Emirates",AE) + ,("United Kingdom",GB) + ,("United States",US) + ,("United States Minor Outlying Islands",UM) + ,("United States Virgin Islands",VI) + ,("Uruguay",UY) + ,("Uzbekistan",UZ) + ,("Vanuatu",VU) + ,("Vatican City",VA) + ,("Venezuela",VE) + ,("Vietnam",VN) + ,("Wallis and Futuna",WF) + ,("Western Sahara",EH) + ,("Yemen",YE) + ,("Zambia",ZM) + ,("Zimbabwe",ZW) + ,("Åland Islands",AX) ] + +-- | to json: as a simple string +instance ToJSON CountryCode where + toJSON =toJSON . toText + +-- | from json: as a simple string +instance FromJSON CountryCode where + parseJSON (String s) + | Just a <- fromMText s=pure a + parseJSON _ =fail "CountryCode" + +-- | show user readable name, in English (ignoring locale for now) +instance RenderMessage master CountryCode where + renderMessage _ _ = toName + diff --git a/test/country-codes-tests.hs b/test/country-codes-tests.hs new file mode 100644 --- /dev/null +++ b/test/country-codes-tests.hs @@ -0,0 +1,30 @@ +{-# OPTIONS_GHC -F -pgmF htfpp #-} +-- | entry module for tests +module Main where + +import Control.Monad (forM_) +import Data.Aeson +import Test.Framework +import Test.HUnit (Assertion) + + +import Data.CountryCodes + +-- | test entry point +main :: IO() +main = htfMain [htf_thisModulesTests] + +-- | CountryCode -> Text -> CountryCode +test_Text :: Assertion +test_Text = forM_ [minBound .. maxBound] $ \c -> + assertEqual c (fromText $ toText c) + +-- | CountryCode -> name -> CountryCode +test_Name :: Assertion +test_Name = forM_ [minBound .. maxBound] $ \c -> + assertEqual c (fromName $ toName c) + +-- | CountryCode -> JSON -> CountryCode +test_JSON :: Assertion +test_JSON = forM_ ([minBound .. maxBound]::[CountryCode]) $ \c -> + assertEqual (Data.Aeson.Success c) (fromJSON $ toJSON c)