ROC.ID.Location

Documentation

data Location

A location, encodable within an ROC identification number.

To generate the name of a Location, use the printLocation function.

To parse a Location, use the parseLocation function.

To generate a random Location, use the randomLocation function.

Constructors

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

臺南縣 Pingtung County

S

高雄縣 Kaohsiung County

T

屏東縣 Pingtung County

U

花蓮縣 Hualien County

V

臺東縣 Taitung County

W

金門縣 Kinmen County

X

澎湖縣 Penghu County

Y

陽明山 Yangmingshan

Z

連江縣 Lienchiang County

Instances

Bounded Location

Defined in ROC.ID.Location

Methods

minBound :: Location

maxBound :: Location

Enum Location

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]

Eq Location

Defined in ROC.ID.Location

Methods

(==) :: Location -> Location -> Bool

(/=) :: Location -> Location -> Bool

Ord Location

Defined in ROC.ID.Location

Methods

compare :: Location -> Location -> Ordering

(<) :: Location -> Location -> Bool

(<=) :: Location -> Location -> Bool

(>) :: Location -> Location -> Bool

(>=) :: Location -> Location -> Bool

max :: Location -> Location -> Location

min :: Location -> Location -> Location

Read Location

Defined in ROC.ID.Location

Methods

readsPrec :: Int -> ReadS Location

readList :: ReadS [Location]

readPrec :: ReadPrec Location

readListPrec :: ReadPrec [Location]

Show Location

Defined in ROC.ID.Location

Methods

showsPrec :: Int -> Location -> ShowS

show :: Location -> String

showList :: [Location] -> ShowS

Generic Location

Defined in ROC.ID.Location

Associated Types

type Rep Location :: Type -> Type

Methods

from :: Location -> Rep Location x

to :: Rep Location x -> Location

type Rep Location

Defined in ROC.ID.Location

type Rep Location = D1 (MetaData "Location" "ROC.ID.Location" "roc-id-0.1.0.0-EBt7nY1QCMq7lYvcqKJOx6" False) ((((C1 (MetaCons "A" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "B" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "C" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "D" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "E" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "F" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "G" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "H" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "I" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "J" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "K" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "L" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "M" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "N" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "O" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "P" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "Q" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "R" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "S" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "T" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "U" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "V" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "W" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "X" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Y" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Z" PrefixI False) (U1 :: Type -> Type))))))

parseLocation :: Char -> Maybe Location

Parse the specified uppercase alphabetic character as a Location.

Returns Nothing if the specified character is not an uppercase alphabetic character.

printLocation :: Language -> Location -> Text

Pretty-print the specified Location.

randomLocation :: MonadRandom m => m Location

Generate a random Location.