taiwan-id

Safe Haskell	None
Language	Haskell2010

Taiwan.ID.Issuer

Synopsis

data Issuer
- = HouseholdRegistrationOffice
- | NationalImmigrationAgency
toText :: Language -> Issuer -> Text
generate :: MonadRandom m => m Issuer

Documentation

data Issuer Source #

A government authority that issues identification numbers.

Constructors

HouseholdRegistrationOffice
NationalImmigrationAgency

Instances

Instances details

Finitary Issuer Source #

Instance details

Defined in Taiwan.ID.Issuer

Associated Types

type Cardinality Issuer
Instance details Defined in Taiwan.ID.Issuer type Cardinality Issuer = GCardinality (Rep Issuer)

Methods

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

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

start :: Issuer #

end :: Issuer #

previous :: Issuer -> Maybe Issuer #

next :: Issuer -> Maybe Issuer #

Eq Issuer Source #

Instance details

Defined in Taiwan.ID.Issuer

Methods

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

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

Ord Issuer Source #

Instance details

Defined in Taiwan.ID.Issuer

Methods

compare :: Issuer -> Issuer -> Ordering #

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

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

(>) :: Issuer -> Issuer -> Bool #

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

max :: Issuer -> Issuer -> Issuer #

min :: Issuer -> Issuer -> Issuer #

Bounded Issuer Source #

Instance details

Defined in Taiwan.ID.Issuer

Methods

minBound :: Issuer #

maxBound :: Issuer #

Enum Issuer Source #

Instance details

Defined in Taiwan.ID.Issuer

Methods

succ :: Issuer -> Issuer #

pred :: Issuer -> Issuer #

toEnum :: Int -> Issuer #

fromEnum :: Issuer -> Int #

enumFrom :: Issuer -> [Issuer] #

enumFromThen :: Issuer -> Issuer -> [Issuer] #

enumFromTo :: Issuer -> Issuer -> [Issuer] #

enumFromThenTo :: Issuer -> Issuer -> Issuer -> [Issuer] #

Generic Issuer Source #

Instance details

Defined in Taiwan.ID.Issuer

Associated Types

type Rep Issuer
Instance details Defined in Taiwan.ID.Issuer type Rep Issuer = D1 ('MetaData "Issuer" "Taiwan.ID.Issuer" "taiwan-id-0.1.1.4-inplace" 'False) (C1 ('MetaCons "HouseholdRegistrationOffice" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NationalImmigrationAgency" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Issuer -> Rep Issuer x #

to :: Rep Issuer x -> Issuer #

Read Issuer Source #

Instance details

Defined in Taiwan.ID.Issuer

Methods

readsPrec :: Int -> ReadS Issuer #

readList :: ReadS [Issuer] #

readPrec :: ReadPrec Issuer #

readListPrec :: ReadPrec [Issuer] #

Show Issuer Source #

Instance details

Defined in Taiwan.ID.Issuer

Methods

showsPrec :: Int -> Issuer -> ShowS #

show :: Issuer -> String #

showList :: [Issuer] -> ShowS #

type Cardinality Issuer Source #

Instance details

Defined in Taiwan.ID.Issuer

type Cardinality Issuer = GCardinality (Rep Issuer)

type Rep Issuer Source #

Instance details

Defined in Taiwan.ID.Issuer

type Rep Issuer = D1 ('MetaData "Issuer" "Taiwan.ID.Issuer" "taiwan-id-0.1.1.4-inplace" 'False) (C1 ('MetaCons "HouseholdRegistrationOffice" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NationalImmigrationAgency" 'PrefixI 'False) (U1 :: Type -> Type))

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

Prints the specified Issuer.

generate :: MonadRandom m => m Issuer Source #

Generates a random Issuer.