roc-id-0.2.0.1: Implementation of the ROC (Taiwan) National ID standard.
Safe HaskellSafe-Inferred
LanguageHaskell2010

ROC.ID.Digit

Synopsis

Documentation

data Digit Source #

Represents a single decimal digit in the range 0 to 9.

Constructors

D0 
D1 
D2 
D3 
D4 
D5 
D6 
D7 
D8 
D9 

Instances

Instances details
Bounded Digit Source # 
Instance details

Defined in ROC.ID.Digit

Methods

minBound :: Digit #

maxBound :: Digit #

Enum Digit Source # 
Instance details

Defined in ROC.ID.Digit

Methods

succ :: Digit -> Digit #

pred :: Digit -> Digit #

toEnum :: Int -> Digit #

fromEnum :: Digit -> Int #

enumFrom :: Digit -> [Digit] #

enumFromThen :: Digit -> Digit -> [Digit] #

enumFromTo :: Digit -> Digit -> [Digit] #

enumFromThenTo :: Digit -> Digit -> Digit -> [Digit] #

Generic Digit Source # 
Instance details

Defined in ROC.ID.Digit

Associated Types

type Rep Digit :: Type -> Type #

Methods

from :: Digit -> Rep Digit x #

to :: Rep Digit x -> Digit #

Show Digit Source # 
Instance details

Defined in ROC.ID.Digit

Methods

showsPrec :: Int -> Digit -> ShowS #

show :: Digit -> String #

showList :: [Digit] -> ShowS #

Eq Digit Source # 
Instance details

Defined in ROC.ID.Digit

Methods

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

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

Ord Digit Source # 
Instance details

Defined in ROC.ID.Digit

Methods

compare :: Digit -> Digit -> Ordering #

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

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

(>) :: Digit -> Digit -> Bool #

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

max :: Digit -> Digit -> Digit #

min :: Digit -> Digit -> Digit #

type Rep Digit Source # 
Instance details

Defined in ROC.ID.Digit

type Rep Digit = D1 ('MetaData "Digit" "ROC.ID.Digit" "roc-id-0.2.0.1-HdKHgZz1YsfDtDBOMQ8uWC" 'False) (((C1 ('MetaCons "D0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "D3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D4" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "D5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D6" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D7" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "D8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D9" 'PrefixI 'False) (U1 :: Type -> Type)))))

parseDigit :: Char -> Maybe Digit Source #