Data.Digit.Digit1_8

A data type with eight nullary constructors [1-8] and combinators.

Data type

data Digit1_8

A data type with eight nullary constructors.

Instances

Bounded Digit1_8

Enum Digit1_8

Eq Digit1_8

Data Digit1_8

Ord Digit1_8

Read Digit1_8

Show Digit1_8

D8 Digit1_8

D7 Digit1_8

D6 Digit1_8

D5 Digit1_8

D4 Digit1_8

D3 Digit1_8

D2 Digit1_8

D1 Digit1_8

Destructors

foldDigit1_8

Arguments

:: a

One.

-> a

Two.

-> a

Three.

-> a

Four.

-> a

Five.

-> a

Six.

-> a

Seven.

-> a

Eight.

-> Digit1_8

The digit to fold.

-> a

Catamorphism for Digit1_8.

foldDigit1_8 x1 x2 x3 x4 x5 x6 x7 x8 d1 == x1

foldDigit1_8 x1 x2 x3 x4 x5 x6 x7 x8 d2 == x2

foldDigit1_8 x1 x2 x3 x4 x5 x6 x7 x8 d3 == x3

foldDigit1_8 x1 x2 x3 x4 x5 x6 x7 x8 d4 == x4

foldDigit1_8 x1 x2 x3 x4 x5 x6 x7 x8 d5 == x5

foldDigit1_8 x1 x2 x3 x4 x5 x6 x7 x8 d6 == x6

foldDigit1_8 x1 x2 x3 x4 x5 x6 x7 x8 d7 == x7

foldDigit1_8 x1 x2 x3 x4 x5 x6 x7 x8 d8 == x8

Prisms

digit1_8 :: Prism' Int Digit1_8

A prism for using Int as Digit1_8.

>>> 5 ^? digit1_8
Just 5

>>> 0 ^? digit1_8
Nothing

>>> 8 ^? digit1_8
Just 8

>>> 9 ^? digit1_8
Nothing

>>> 10 ^? digit1_8
Nothing

>>> (-5) ^? digit1_8
Nothing

digitC1_8 :: Prism' Char Digit1_8

A prism for using Char as Digit1_8.

>>> '5' ^? digitC1_8
Just 5

>>> '0' ^? digitC1_8
Nothing

>>> '8' ^? digitC1_8
Just 8

>>> '9' ^? digitC1_8
Nothing

>>> 'x' ^? digitC1_8
Nothing

>>> '*' ^? digitC1_8
Nothing

digit1_8digit :: Prism' Digit Digit1_8

A prism for using Digit as Digit1_8.

>>> d5 ^? digit1_8digit
Just 5

>>> d0 ^? digit1_8digit
Nothing

>>> d8 ^? digit1_8digit
Just 8

>>> d9 ^? digit1_8digit
Nothing

>>> d1 ^? digit1_8digit
Just 1

digit1_8digit1_9 :: Prism' Digit1_9 Digit1_8

A prism for using Digit1_9 as Digit1_8.

>>> d5 ^? digit1_8digit1_9
Just 5

>>> d8 ^? digit1_8digit1_9
Just 8

>>> d9 ^? digit1_8digit1_9
Nothing

>>> d1 ^? digit1_8digit1_9
Just 1