ROC.ID.Serial

Documentation

newtype Serial

A 7-digit serial number, as found within an ROC identification number.

A serial number is unique for a gender and location.

To generate a random Serial number, use the randomSerial function.

Constructors

Serial (Vector 7 Digit)

Instances

Generic Serial

Defined in ROC.ID.Serial

Associated Types

type Rep Serial :: Type -> Type

Methods

from :: Serial -> Rep Serial x

to :: Rep Serial x -> Serial

Show Serial

Defined in ROC.ID.Serial

Methods

showsPrec :: Int -> Serial -> ShowS

show :: Serial -> String

showList :: [Serial] -> ShowS

Eq Serial

Defined in ROC.ID.Serial

Methods

(==) :: Serial -> Serial -> Bool

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

Ord Serial

Defined in ROC.ID.Serial

Methods

compare :: Serial -> Serial -> Ordering

(<) :: Serial -> Serial -> Bool

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

(>) :: Serial -> Serial -> Bool

(>=) :: Serial -> Serial -> Bool

max :: Serial -> Serial -> Serial

min :: Serial -> Serial -> Serial

type Rep Serial

Defined in ROC.ID.Serial

type Rep Serial = D1 ('MetaData "Serial" "ROC.ID.Serial" "roc-id-0.2.0.0-9iaNsKOWrI31QYojWhIb3O" 'True) (C1 ('MetaCons "Serial" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector 7 Digit))))

randomSerial :: MonadRandom m => m Serial

Generate a random Serial number.