ROC.ID.Digit

Documentation

data Digit

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

Constructors

D0

D1

D2

D3

D4

D5

D6

D7

D8

D9

Instances

Bounded Digit

Defined in ROC.ID.Digit

Methods

minBound :: Digit

maxBound :: Digit

Enum Digit

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

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

Defined in ROC.ID.Digit

Methods

showsPrec :: Int -> Digit -> ShowS

show :: Digit -> String

showList :: [Digit] -> ShowS

Eq Digit

Defined in ROC.ID.Digit

Methods

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

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

Ord Digit

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

Defined in ROC.ID.Digit

type Rep Digit = D1 ('MetaData "Digit" "ROC.ID.Digit" "roc-id-0.2.0.2-Ao81bnJ39oQBZRrFHqwSFc" '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