Data.Digit.Digit1_9

A data type with nine nullary constructors [1-9] and combinators.

Data type

data Digit1_9

A data type with nine nullary constructors.

Instances

Bounded Digit1_9

Enum Digit1_9

Eq Digit1_9

Data Digit1_9

Ord Digit1_9

Read Digit1_9

Show Digit1_9

D9 Digit1_9

D8 Digit1_9

D7 Digit1_9

D6 Digit1_9

D5 Digit1_9

D4 Digit1_9

D3 Digit1_9

D2 Digit1_9

D1 Digit1_9

Destructors

foldDigit1_9

Arguments

:: a

One.

-> a

Two.

-> a

Three.

-> a

Four.

-> a

Five.

-> a

Six.

-> a

Seven.

-> a

Eight.

-> a

Nine.

-> Digit1_9

The digit to fold.

-> a

Catamorphism for Digit1_9.

foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d1 == x1

foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d2 == x2

foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d3 == x3

foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d4 == x4

foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d5 == x5

foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d6 == x6

foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d7 == x7

foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d8 == x8

foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d9 == x9

Prisms

digit1_9 :: Prism' Int Digit1_9

A prism for using Int as Digit1_9.

>>> 5 ^? digit1_9
Just 5

>>> 0 ^? digit1_9
Nothing

>>> 9 ^? digit1_9
Just 9

>>> 10 ^? digit1_9
Nothing

>>> (-5) ^? digit1_9
Nothing

digitC1_9 :: Prism' Char Digit1_9

A prism for using Char as Digit1_9.

>>> '5' ^? digitC1_9
Just 5

>>> '0' ^? digitC1_9
Nothing

>>> '9' ^? digitC1_9
Just 9

>>> 'x' ^? digitC1_9
Nothing

>>> '*' ^? digitC1_9
Nothing

digit1_9digit :: Prism' Digit Digit1_9

A prism for using Digit as Digit1_9.

>>> d5 ^? digit1_9digit
Just 5

>>> d0 ^? digit1_9digit
Nothing

>>> d9 ^? digit1_9digit
Just 9

>>> d1 ^? digit1_9digit
Just 1