taiwan-id
Safe HaskellNone
LanguageHaskell2010

Taiwan.ID.Region

Synopsis

Documentation

data Region Source #

Represents a geographical region.

Region codes

Every region has a unique letter code:

CodeChineseEnglish
A臺北市Taipei City
B臺中市Taichung City
C基隆市Keelung City
D臺南市Tainan City
E高雄市Kaohsiung City
F新北市New Taipei City
G宜蘭縣Yilan County
H桃園市Taoyuan City
I嘉義市Chiayi City
J新竹縣Hsinchu County
K苗栗縣Miaoli County
L臺中縣Taichung County
M南投縣Nantou County
N彰化縣Changhua County
O新竹市Hsinchu City
P雲林縣Yunlin County
Q嘉義縣Chiayi County
R臺南縣Tainan County
S高雄縣Kaohsiung County
T屏東縣Pingtung County
U花蓮縣Hualien County
V臺東縣Taitung County
W金門縣Kinmen County
X澎湖縣Penghu County
Y陽明山Yangmingshan
Z連江縣Lienchiang County

Usage

To construct a Region from its letter code, use the fromLetter function.

To print the full name of a Region, use the toText function.

To generate a random Region, use the generate function.

Instances

Instances details
Finitary Region Source # 
Instance details

Defined in Taiwan.ID.Region

Associated Types

type Cardinality Region 
Instance details

Defined in Taiwan.ID.Region

type Cardinality Region = GCardinality (Rep Region)

Methods

fromFinite :: Finite (Cardinality Region) -> Region #

toFinite :: Region -> Finite (Cardinality Region) #

start :: Region #

end :: Region #

previous :: Region -> Maybe Region #

next :: Region -> Maybe Region #

Eq Region Source # 
Instance details

Defined in Taiwan.ID.Region

Methods

(==) :: Region -> Region -> Bool #

(/=) :: Region -> Region -> Bool #

Ord Region Source # 
Instance details

Defined in Taiwan.ID.Region

Methods

compare :: Region -> Region -> Ordering #

(<) :: Region -> Region -> Bool #

(<=) :: Region -> Region -> Bool #

(>) :: Region -> Region -> Bool #

(>=) :: Region -> Region -> Bool #

max :: Region -> Region -> Region #

min :: Region -> Region -> Region #

Bounded Region Source # 
Instance details

Defined in Taiwan.ID.Region

Methods

minBound :: Region #

maxBound :: Region #

Enum Region Source # 
Instance details

Defined in Taiwan.ID.Region

Methods

succ :: Region -> Region #

pred :: Region -> Region #

toEnum :: Int -> Region #

fromEnum :: Region -> Int #

enumFrom :: Region -> [Region] #

enumFromThen :: Region -> Region -> [Region] #

enumFromTo :: Region -> Region -> [Region] #

enumFromThenTo :: Region -> Region -> Region -> [Region] #

Generic Region Source # 
Instance details

Defined in Taiwan.ID.Region

Associated Types

type Rep Region 
Instance details

Defined in Taiwan.ID.Region

type Rep Region = D1 ('MetaData "Region" "Taiwan.ID.Region" "taiwan-id-0.1.1.4-inplace" 'True) (C1 ('MetaCons "Region" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Letter)))

Methods

from :: Region -> Rep Region x #

to :: Rep Region x -> Region #

Read Region Source # 
Instance details

Defined in Taiwan.ID.Region

Methods

readsPrec :: Int -> ReadS Region #

readList :: ReadS [Region] #

readPrec :: ReadPrec Region #

readListPrec :: ReadPrec [Region] #

Show Region Source # 
Instance details

Defined in Taiwan.ID.Region

Methods

showsPrec :: Int -> Region -> ShowS #

show :: Region -> String #

showList :: [Region] -> ShowS #

type Cardinality Region Source # 
Instance details

Defined in Taiwan.ID.Region

type Cardinality Region = GCardinality (Rep Region)
type Rep Region Source # 
Instance details

Defined in Taiwan.ID.Region

type Rep Region = D1 ('MetaData "Region" "Taiwan.ID.Region" "taiwan-id-0.1.1.4-inplace" 'True) (C1 ('MetaCons "Region" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Letter)))

fromChar :: Char -> Maybe Region Source #

Attempts to construct a Region from its corresponding letter code as a Char.

>>> Region.fromChar 'A'
Just (Region.fromLetter A)

>>> Region.fromChar '?'
Nothing

fromLetter :: Letter -> Region Source #

Constructs a Region from its corresponding letter code.

toChar :: Region -> Char Source #

Converts a Region to its corresponding letter code as a Char.

toLetter :: Region -> Letter Source #

Converts a Region to its corresponding letter code.

toText :: Language -> Region -> Text Source #

Prints the specified Region.

generate :: MonadRandom m => m Region Source #

Generates a random Region.