Data.Digit

A data type with ten nullary constructors [0-9] and combinators.

Data type

data Digit

A data type with ten nullary constructors.

Instances

Bounded Digit

Methods

minBound :: Digit

maxBound :: Digit

Enum 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

Methods

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

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

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

Ord 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

Methods

readsPrec :: Int -> ReadS Digit

readList :: ReadS [Digit]

readPrec :: ReadPrec Digit

readListPrec :: ReadPrec [Digit]

Show Digit

Methods

showsPrec :: Int -> Digit -> ShowS

show :: Digit -> String

showList :: [Digit] -> ShowS

D9 Digit

Methods

d9 :: Prism' Digit ()

D8 Digit

Methods

d8 :: Prism' Digit ()

D7 Digit

Methods

d7 :: Prism' Digit ()

D6 Digit

Methods

d6 :: Prism' Digit ()

D5 Digit

Methods

d5 :: Prism' Digit ()

D4 Digit

Methods

d4 :: Prism' Digit ()

D3 Digit

Methods

d3 :: Prism' Digit ()

D2 Digit

Methods

d2 :: Prism' Digit ()

D1 Digit

Methods

d1 :: Prism' Digit ()

D0 Digit

Methods

d0 :: Prism' Digit ()

Destructors

foldDigit

Arguments

:: a

Zero.

-> a

One.

-> a

Two.

-> a

Three.

-> a

Four.

-> a

Five.

-> a

Six.

-> a

Seven.

-> a

Eight.

-> a

Nine.

-> Digit

The digit to fold.

-> a

Catamorphism for Digit.

foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d0 == x0

foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d1 == x1

foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d2 == x2

foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d3 == x3

foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d4 == x4

foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d5 == x5

foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d6 == x6

foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d7 == x7

foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d8 == x8

foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d9 == x9

Prisms

class D0 d where

Minimal complete definition

d0

Methods

d0 :: Prism' d ()

Instances

D0 Digit

Methods

d0 :: Prism' Digit ()

x0 :: D0 d => d

class D1 d where

Minimal complete definition

d1

Methods

d1 :: Prism' d ()

Instances

D1 Digit

Methods

d1 :: Prism' Digit ()

x1 :: D1 d => d

class D2 d where

Minimal complete definition

d2

Methods

d2 :: Prism' d ()

Instances

D2 Digit

Methods

d2 :: Prism' Digit ()

x2 :: D2 d => d

class D3 d where

Minimal complete definition

d3

Methods

d3 :: Prism' d ()

Instances

D3 Digit

Methods

d3 :: Prism' Digit ()

x3 :: D3 d => d

class D4 d where

Minimal complete definition

d4

Methods

d4 :: Prism' d ()

Instances

D4 Digit

Methods

d4 :: Prism' Digit ()

x4 :: D4 d => d

class D5 d where

Minimal complete definition

d5

Methods

d5 :: Prism' d ()

Instances

D5 Digit

Methods

d5 :: Prism' Digit ()

x5 :: D5 d => d

class D6 d where

Minimal complete definition

d6

Methods

d6 :: Prism' d ()

Instances

D6 Digit

Methods

d6 :: Prism' Digit ()

x6 :: D6 d => d

class D7 d where

Minimal complete definition

d7

Methods

d7 :: Prism' d ()

Instances

D7 Digit

Methods

d7 :: Prism' Digit ()

x7 :: D7 d => d

class D8 d where

Minimal complete definition

d8

Methods

d8 :: Prism' d ()

Instances

D8 Digit

Methods

d8 :: Prism' Digit ()

x8 :: D8 d => d

class D9 d where

Minimal complete definition

d9

Methods

d9 :: Prism' d ()

Instances

D9 Digit

Methods

d9 :: Prism' Digit ()

x9 :: D9 d => d

digit :: Prism' Int Digit

A prism for using Int as Digit.

>>> 5 ^? digit
Just 5

>>> 0 ^? digit
Just 0

>>> 9 ^? digit
Just 9

>>> 10 ^? digit
Nothing

>>> (-5) ^? digit
Nothing

digitC :: Prism' Char Digit

A prism for using Char as Digit.

>>> '5' ^? digitC
Just 5

>>> '0' ^? digitC
Just 0

>>> '9' ^? digitC
Just 9

>>> 'a' ^? digitC
Nothing

>>> '@' ^? digitC
Nothing

digitQ :: QuasiQuoter

A QuasiQuoter for any range of Digit.

digitQ|4|

:: Digit 4

named [digitQ|4|] = "four" named [digitQ|$x|] = "not four, " ++ show x ++ " instead"

mod10D x = let y = mod x 10 in [digitQ|$y|]