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]

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

Show Digit

Defined in ROC.ID.Digit

Methods

showsPrec :: Int -> Digit -> ShowS

show :: Digit -> String

showList :: [Digit] -> ShowS

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

type Rep Digit

Defined in ROC.ID.Digit

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