country-codes-0.1.4: ISO 3166 country codes and i18n names.

Safe Haskell | None
Language | Haskell98

Data.CountryCodes

Description

Main entry point, exposing all that needs to be

Synopsis

- 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
- allNames :: [(CountryCode, Text)]
- countryList :: [(Text, CountryCode)]
- fromMText :: Text -> Maybe CountryCode
- fromText :: Text -> CountryCode
- fromMName :: Text -> Maybe CountryCode
- fromName :: Text -> CountryCode
- toText :: CountryCode -> Text
- toName :: CountryCode -> Text

# Documentation

data CountryCode #

Constructors

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 |

#### Instances

Instances details

FromJSON CountryCode # | from json: as a simple string
Instance details Defined in Data.CountryCodes.ISO31661 Methods parseJSON :: Value -> Parser CountryCode # parseJSONList :: Value -> Parser [CountryCode] # omittedField :: Maybe CountryCode #
ToJSON CountryCode # | to json: as a simple string
Instance details Defined in Data.CountryCodes.ISO31661 Methods toJSON :: CountryCode -> Value # toEncoding :: CountryCode -> Encoding # toJSONList :: [CountryCode] -> Value # toEncodingList :: [CountryCode] -> Encoding # omitField :: CountryCode -> Bool #
NFData CountryCode # | Allow the deep evaluation of CountryCode with `deepseq`
Instance details Defined in Data.CountryCodes.ISO31661 Methods rnf :: CountryCode -> () #
Bounded CountryCode # |
Instance details Defined in Data.CountryCodes.ISO31661 Methods minBound :: CountryCode # maxBound :: CountryCode #
Enum CountryCode # |
Instance details Defined in Data.CountryCodes.ISO31661 Methods succ :: CountryCode -> CountryCode # pred :: CountryCode -> CountryCode # toEnum :: Int -> CountryCode # fromEnum :: CountryCode -> Int # enumFrom :: CountryCode -> [CountryCode] # enumFromThen :: CountryCode -> CountryCode -> [CountryCode] # enumFromTo :: CountryCode -> CountryCode -> [CountryCode] # enumFromThenTo :: CountryCode -> CountryCode -> CountryCode -> [CountryCode] #
Read CountryCode # |
Instance details Defined in Data.CountryCodes.ISO31661 Methods readsPrec :: Int -> ReadS CountryCode # readList :: ReadS [CountryCode] # readPrec :: ReadPrec CountryCode # readListPrec :: ReadPrec [CountryCode] #
Show CountryCode # |
Instance details Defined in Data.CountryCodes.ISO31661 Methods showsPrec :: Int -> CountryCode -> ShowS # show :: CountryCode -> String # showList :: [CountryCode] -> ShowS #
Eq CountryCode # |
Instance details Defined in Data.CountryCodes.ISO31661 Methods (==) :: CountryCode -> CountryCode -> Bool # (/=) :: CountryCode -> CountryCode -> Bool #
Ord CountryCode # |
Instance details Defined in Data.CountryCodes.ISO31661 Methods compare :: CountryCode -> CountryCode -> Ordering # (<) :: CountryCode -> CountryCode -> Bool # (<=) :: CountryCode -> CountryCode -> Bool # (>) :: CountryCode -> CountryCode -> Bool # (>=) :: CountryCode -> CountryCode -> Bool # max :: CountryCode -> CountryCode -> CountryCode # min :: CountryCode -> CountryCode -> CountryCode #
RenderMessage master CountryCode # | show user readable name, in English (ignoring locale for now)
Instance details Defined in Data.CountryCodes.ISO31661 Methods renderMessage :: master -> [Lang] -> CountryCode -> Text #

allNames :: [(CountryCode, Text)] #

list all codes with names

countryList :: [(Text, CountryCode)] #

list of names sorted by alphabetical order, with country code this is ready to be used in a yesod selectField, for example

fromMText :: Text -> Maybe CountryCode #

Maybe get the CountryCode from the text code.

fromText :: Text -> CountryCode #

Get the CountryCode from the text code. Errors if the code is unknown

fromMName :: Text -> Maybe CountryCode #

Maybe get the code from the user readable name.

fromName :: Text -> CountryCode #

Get the CountryCode from the user readable name. Errors if the name is unknown

toText :: CountryCode -> Text #

Get the code as text.

toName :: CountryCode -> Text #

Get the user readable name.