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

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

Show Serial

Defined in ROC.ID.Serial

Methods

showsPrec :: Int -> Serial -> ShowS

show :: Serial -> String

showList :: [Serial] -> ShowS

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

type Rep Serial

Defined in ROC.ID.Serial

type Rep Serial = D1 (MetaData "Serial" "ROC.ID.Serial" "roc-id-0.1.0.0-EBt7nY1QCMq7lYvcqKJOx6" 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.