taiwan-id

Safe Haskell	None
Language	Haskell2010

Taiwan.ID.Digit1289

Synopsis

data Digit1289
- = D1289_1
- | D1289_2
- | D1289_8
- | D1289_9
fromChar :: Char -> Maybe Digit1289
toChar :: Digit1289 -> Char
toDigit :: Digit1289 -> Digit
generate :: MonadRandom m => m Digit1289
type family FromChar (c :: Char) :: Maybe Digit1289 where ...
type family FromNat (n :: Nat) :: Maybe Digit1289 where ...
type family ToNat (d :: Digit1289) :: Nat where ...

Documentation

data Digit1289 Source #

Represents a single decimal digit from the set {1, 2, 8, 9}.

Constructors

D1289_1
D1289_2
D1289_8
D1289_9

Instances

Instances details

Finitary Digit1289 Source #

Instance details

Defined in Taiwan.ID.Digit1289

Associated Types

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

Methods

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

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

start :: Digit1289 #

end :: Digit1289 #

previous :: Digit1289 -> Maybe Digit1289 #

next :: Digit1289 -> Maybe Digit1289 #

Eq Digit1289 Source #

Instance details

Defined in Taiwan.ID.Digit1289

Methods

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

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

Ord Digit1289 Source #

Instance details

Defined in Taiwan.ID.Digit1289

Methods

compare :: Digit1289 -> Digit1289 -> Ordering #

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

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

(>) :: Digit1289 -> Digit1289 -> Bool #

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

max :: Digit1289 -> Digit1289 -> Digit1289 #

min :: Digit1289 -> Digit1289 -> Digit1289 #

Bounded Digit1289 Source #

Instance details

Defined in Taiwan.ID.Digit1289

Methods

minBound :: Digit1289 #

maxBound :: Digit1289 #

Enum Digit1289 Source #

Instance details

Defined in Taiwan.ID.Digit1289

Methods

succ :: Digit1289 -> Digit1289 #

pred :: Digit1289 -> Digit1289 #

toEnum :: Int -> Digit1289 #

fromEnum :: Digit1289 -> Int #

enumFrom :: Digit1289 -> [Digit1289] #

enumFromThen :: Digit1289 -> Digit1289 -> [Digit1289] #

enumFromTo :: Digit1289 -> Digit1289 -> [Digit1289] #

enumFromThenTo :: Digit1289 -> Digit1289 -> Digit1289 -> [Digit1289] #

Generic Digit1289 Source #

Instance details

Defined in Taiwan.ID.Digit1289

Associated Types

type Rep Digit1289

Instance details

Defined in Taiwan.ID.Digit1289

type Rep Digit1289 = D1 ('MetaData "Digit1289" "Taiwan.ID.Digit1289" "taiwan-id-0.1.1.4-inplace" 'False) ((C1 ('MetaCons "D1289_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D1289_2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D1289_8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D1289_9" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Digit1289 -> Rep Digit1289 x #

to :: Rep Digit1289 x -> Digit1289 #

Read Digit1289 Source #

Instance details

Defined in Taiwan.ID.Digit1289

Methods

readsPrec :: Int -> ReadS Digit1289 #

readList :: ReadS [Digit1289] #

readPrec :: ReadPrec Digit1289 #

readListPrec :: ReadPrec [Digit1289] #

Show Digit1289 Source #

Instance details

Defined in Taiwan.ID.Digit1289

Methods

showsPrec :: Int -> Digit1289 -> ShowS #

show :: Digit1289 -> String #

showList :: [Digit1289] -> ShowS #

type Cardinality Digit1289 Source #

Instance details

Defined in Taiwan.ID.Digit1289

type Cardinality Digit1289 = GCardinality (Rep Digit1289)

type Rep Digit1289 Source #

Instance details

Defined in Taiwan.ID.Digit1289

type Rep Digit1289 = D1 ('MetaData "Digit1289" "Taiwan.ID.Digit1289" "taiwan-id-0.1.1.4-inplace" 'False) ((C1 ('MetaCons "D1289_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D1289_2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D1289_8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D1289_9" 'PrefixI 'False) (U1 :: Type -> Type)))

fromChar :: Char -> Maybe Digit1289 Source #

Attempts to parse a Digit1289 from a character.

Only the characters '1', '2', '8', and '9' are accepted.

toChar :: Digit1289 -> Char Source #

Converts a Digit1289 to a decimal digit character.

toDigit :: Digit1289 -> Digit Source #

Converts a Digit1289 to an ordinary Digit.

generate :: MonadRandom m => m Digit1289 Source #

Generates a random Digit1289.

type family FromChar (c :: Char) :: Maybe Digit1289 where ... Source #

Equations

FromChar '1' = 'Just 'D1289_1
FromChar '2' = 'Just 'D1289_2
FromChar '8' = 'Just 'D1289_8
FromChar '9' = 'Just 'D1289_9
FromChar _1 = 'Nothing :: Maybe Digit1289

type family FromNat (n :: Nat) :: Maybe Digit1289 where ... Source #

Equations

FromNat 1 = 'Just 'D1289_1
FromNat 2 = 'Just 'D1289_2
FromNat 8 = 'Just 'D1289_8
FromNat 9 = 'Just 'D1289_9
FromNat _1 = 'Nothing :: Maybe Digit1289

type family ToNat (d :: Digit1289) :: Nat where ... Source #

Equations

ToNat 'D1289_1 = 1
ToNat 'D1289_2 = 2
ToNat 'D1289_8 = 8
ToNat 'D1289_9 = 9