Safe Haskell	Safe
Language	Haskell2010

ROC.ID.Digit

Synopsis

data Digit
- = D0
- | D1
- | D2
- | D3
- | D4
- | D5
- | D6
- | D7
- | D8
- | D9
parseDigit :: Char -> Maybe Digit

Documentation

data Digit Source #

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 Source #
Instance details Defined in ROC.ID.Digit Methods minBound :: Digit # maxBound :: Digit #
Enum Digit Source #
Instance details 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 Source #
Instance details Defined in ROC.ID.Digit Methods (==) :: Digit -> Digit -> Bool # (/=) :: Digit -> Digit -> Bool #
Ord Digit Source #
Instance details 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 Source #
Instance details Defined in ROC.ID.Digit Methods showsPrec :: Int -> Digit -> ShowS # show :: Digit -> String # showList :: [Digit] -> ShowS #
Generic Digit Source #
Instance details 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 Source #
Instance details 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 Source #