Safe Haskell	None
Language	Haskell2010

Data.Digit

Synopsis

newtype Digit = Digit Int
minimumDigit :: Num a => a
maximumDigit :: Num a => a
fromDigit :: Digit -> Int
toDigit :: Integral a => a -> Maybe Digit
unsafeDigit :: Integral a => a -> Digit
allDigits :: [Digit]
parseDigit' :: Char -> Maybe Digit
parseDigit :: (IsString s, Eq s) => s -> Maybe Digit

Documentation

newtype Digit Source #

a single-digit decimal number, i.e. [0..9] i.e. Fin 10.

the Num instance provides numerical literals, and is partial like Natural.

Constructors

Digit Int

Instances

Bounded Digit Source #
Instance details Defined in Data.Digit Methods minBound :: Digit # maxBound :: Digit #
Enum Digit Source #	`toEnum` is partial
Instance details Defined in Data.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 Data.Digit Methods (==) :: Digit -> Digit -> Bool # (/=) :: Digit -> Digit -> Bool #
Data Digit Source #
Instance details Defined in Data.Digit Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Digit -> c Digit # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Digit # toConstr :: Digit -> Constr # dataTypeOf :: Digit -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Digit) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Digit) # gmapT :: (forall b. Data b => b -> b) -> Digit -> Digit # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Digit -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Digit -> r # gmapQ :: (forall d. Data d => d -> u) -> Digit -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Digit -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Digit -> m Digit # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Digit -> m Digit # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Digit -> m Digit #
Num Digit Source #
Instance details Defined in Data.Digit Methods (+) :: Digit -> Digit -> Digit # (-) :: Digit -> Digit -> Digit # (*) :: Digit -> Digit -> Digit # negate :: Digit -> Digit # abs :: Digit -> Digit # signum :: Digit -> Digit # fromInteger :: Integer -> Digit #
Ord Digit Source #
Instance details Defined in Data.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 #
Read Digit Source #
Instance details Defined in Data.Digit Methods readsPrec :: Int -> ReadS Digit # readList :: ReadS [Digit] # readPrec :: ReadPrec Digit # readListPrec :: ReadPrec [Digit] #
Show Digit Source #
Instance details Defined in Data.Digit Methods showsPrec :: Int -> Digit -> ShowS # show :: Digit -> String # showList :: [Digit] -> ShowS #
Ix Digit Source #
Instance details Defined in Data.Digit Methods range :: (Digit, Digit) -> [Digit] # index :: (Digit, Digit) -> Digit -> Int # unsafeIndex :: (Digit, Digit) -> Digit -> Int inRange :: (Digit, Digit) -> Digit -> Bool # rangeSize :: (Digit, Digit) -> Int # unsafeRangeSize :: (Digit, Digit) -> Int
NFData Digit Source #
Instance details Defined in Data.Digit Methods rnf :: Digit -> () #
Hashable Digit Source #
Instance details Defined in Data.Digit Methods hashWithSalt :: Int -> Digit -> Int # hash :: Digit -> Int #

minimumDigit :: Num a => a Source #

maximumDigit :: Num a => a Source #

fromDigit :: Digit -> Int Source #

toDigit :: Integral a => a -> Maybe Digit Source #

unsafeDigit :: Integral a => a -> Digit Source #

allDigits :: [Digit] Source #

parseDigit' :: Char -> Maybe Digit Source #

parseDigit :: (IsString s, Eq s) => s -> Maybe Digit Source #