Safe Haskell	None
Language	Haskell2010

ROC.ID.Location

Synopsis

Documentation

data Location Source #

Represents a location, encodable within an ROC identification number.

Location codes

Every location that can be represented in an ROC identification number has a unique code:

Code	Chinese	English
`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 Location from its letter code, use the fromLetter function.

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

To generate a random Location, use the generate function.

Instances

Instances details

Finitary Location Source #

Instance details

Defined in ROC.ID.Location

Associated Types

type Cardinality Location
Instance details Defined in ROC.ID.Location type Cardinality Location = GCardinality (Rep Location)

Methods

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

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

start :: Location #

end :: Location #

previous :: Location -> Maybe Location #

next :: Location -> Maybe Location #

Bounded Location Source #

Instance details

Defined in ROC.ID.Location

Methods

minBound :: Location #

maxBound :: Location #

Enum Location Source #

Instance details

Defined in ROC.ID.Location

Methods

succ :: Location -> Location #

pred :: Location -> Location #

toEnum :: Int -> Location #

fromEnum :: Location -> Int #

enumFrom :: Location -> [Location] #

enumFromThen :: Location -> Location -> [Location] #

enumFromTo :: Location -> Location -> [Location] #

enumFromThenTo :: Location -> Location -> Location -> [Location] #

Generic Location Source #

Instance details

Defined in ROC.ID.Location

Associated Types

type Rep Location
Instance details Defined in ROC.ID.Location type Rep Location = D1 ('MetaData "Location" "ROC.ID.Location" "roc-id-0.4.0.0-inplace" 'True) (C1 ('MetaCons "Location" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Letter)))