Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A data type with eight nullary constructors [1-8] and combinators.
Data type
A data type with eight nullary constructors.
Destructors
:: 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 Source
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 Source
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 Source
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 Source
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