Data.Digit.Integral

Documentation

integralBinaryNoZero :: (Integral a, BinaryNoZero d) => Prism' a d

>>> 1 ^? integralBinaryNoZero
Just ()

>>> integralBinaryNoZero # Digit1 :: Integer
1

\c -> c /= 1 ==> (c ^? integralBinaryNoZero == Nothing)

integralBinary :: (Integral a, Binary d) => Prism' a d

>>> 0 ^? integralBinary :: Maybe Digit
Just 0

>>> 1 ^? integralBinary :: Maybe Digit
Just 1

>>> integralBinary # Digit0 :: Integer
0

>>> integralBinary # Digit1 :: Integer
1

\c -> (c `notElem` [0, 1]) ==> (c ^? integralBinary == Nothing)

integralOctalNoZero :: (Integral a, OctalNoZero d) => Prism' a d

>>> 1 ^? integralOctalNoZero :: Maybe Digit
Just 1

>>> 2 ^? integralOctalNoZero :: Maybe Digit
Just 2

>>> 3 ^? integralOctalNoZero :: Maybe Digit
Just 3

>>> 4 ^? integralOctalNoZero :: Maybe Digit
Just 4

>>> 5 ^? integralOctalNoZero :: Maybe Digit
Just 5

>>> 6 ^? integralOctalNoZero :: Maybe Digit
Just 6

>>> 7 ^? integralOctalNoZero :: Maybe Digit
Just 7

>>> integralOctalNoZero # Digit1 :: Integer
1

>>> integralOctalNoZero # Digit2 :: Integer
2

>>> integralOctalNoZero # Digit3 :: Integer
3

>>> integralOctalNoZero # Digit4 :: Integer
4

>>> integralOctalNoZero # Digit5 :: Integer
5

>>> integralOctalNoZero # Digit6 :: Integer
6

>>> integralOctalNoZero # Digit7 :: Integer
7

\c -> (c `notElem` [1..7]) ==> (c ^? integralOctalNoZero == Nothing)

integralOctal :: (Integral a, Octal d) => Prism' a d

>>> 0 ^? integralOctal :: Maybe Digit
Just 0

>>> 1 ^? integralOctal :: Maybe Digit
Just 1

>>> 2 ^? integralOctal :: Maybe Digit
Just 2

>>> 3 ^? integralOctal :: Maybe Digit
Just 3

>>> 4 ^? integralOctal :: Maybe Digit
Just 4

>>> 5 ^? integralOctal :: Maybe Digit
Just 5

>>> 6 ^? integralOctal :: Maybe Digit
Just 6

>>> 7 ^? integralOctal :: Maybe Digit
Just 7

>>> integralOctal # Digit0 :: Integer
0

>>> integralOctal # Digit1 :: Integer
1

>>> integralOctal # Digit2 :: Integer
2

>>> integralOctal # Digit3 :: Integer
3

>>> integralOctal # Digit4 :: Integer
4

>>> integralOctal # Digit5 :: Integer
5

>>> integralOctal # Digit6 :: Integer
6

>>> integralOctal # Digit7 :: Integer
7

\c -> (c `notElem` [0..7]) ==> (c ^? integralOctal == Nothing)

integralDecimal :: (Integral a, Decimal d) => Prism' a d

>>> 0 ^? integralDecimal :: Maybe Digit
Just 0

>>> 1 ^? integralDecimal :: Maybe Digit
Just 1

>>> 2 ^? integralDecimal :: Maybe Digit
Just 2

>>> 3 ^? integralDecimal :: Maybe Digit
Just 3

>>> 4 ^? integralDecimal :: Maybe Digit
Just 4

>>> 5 ^? integralDecimal :: Maybe Digit
Just 5

>>> 6 ^? integralDecimal :: Maybe Digit
Just 6

>>> 7 ^? integralDecimal :: Maybe Digit
Just 7

>>> 8 ^? integralDecimal :: Maybe Digit
Just 8

>>> 9 ^? integralDecimal :: Maybe Digit
Just 9

>>> integralDecimal # Digit0 :: Integer
0

>>> integralDecimal # Digit1 :: Integer
1

>>> integralDecimal # Digit2 :: Integer
2

>>> integralDecimal # Digit3 :: Integer
3

>>> integralDecimal # Digit4 :: Integer
4

>>> integralDecimal # Digit5 :: Integer
5

>>> integralDecimal # Digit6 :: Integer
6

>>> integralDecimal # Digit7 :: Integer
7

>>> integralDecimal # Digit8 :: Integer
8

>>> integralDecimal # Digit9 :: Integer
9

\c -> (c `notElem` [0..9]) ==> (c ^? integralDecimal == Nothing)

integralDecimalNoZero :: (Integral a, DecimalNoZero d) => Prism' a d

>>> 1 ^? integralDecimalNoZero :: Maybe Digit
Just 1

>>> 2 ^? integralDecimalNoZero :: Maybe Digit
Just 2

>>> 3 ^? integralDecimalNoZero :: Maybe Digit
Just 3

>>> 4 ^? integralDecimalNoZero :: Maybe Digit
Just 4

>>> 5 ^? integralDecimalNoZero :: Maybe Digit
Just 5

>>> 6 ^? integralDecimalNoZero :: Maybe Digit
Just 6

>>> 7 ^? integralDecimalNoZero :: Maybe Digit
Just 7

>>> 8 ^? integralDecimalNoZero :: Maybe Digit
Just 8

>>> 9 ^? integralDecimalNoZero :: Maybe Digit
Just 9

>>> integralDecimalNoZero # Digit1 :: Integer
1

>>> integralDecimalNoZero # Digit2 :: Integer
2

>>> integralDecimalNoZero # Digit3 :: Integer
3

>>> integralDecimalNoZero # Digit4 :: Integer
4

>>> integralDecimalNoZero # Digit5 :: Integer
5

>>> integralDecimalNoZero # Digit6 :: Integer
6

>>> integralDecimalNoZero # Digit7 :: Integer
7

>>> integralDecimalNoZero # Digit8 :: Integer
8

>>> integralDecimalNoZero # Digit9 :: Integer
9

\c -> (c `notElem` [1..9]) ==> (c ^? integralDecimalNoZero == Nothing)

integralHexadecimalNoZero :: (Integral a, HexadecimalNoZero d) => Prism' a d

>>> 1 ^? integralHexadecimalNoZero :: Maybe Digit
Just 1

>>> 2 ^? integralHexadecimalNoZero :: Maybe Digit
Just 2

>>> 3 ^? integralHexadecimalNoZero :: Maybe Digit
Just 3

>>> 4 ^? integralHexadecimalNoZero :: Maybe Digit
Just 4

>>> 5 ^? integralHexadecimalNoZero :: Maybe Digit
Just 5

>>> 6 ^? integralHexadecimalNoZero :: Maybe Digit
Just 6

>>> 7 ^? integralHexadecimalNoZero :: Maybe Digit
Just 7

>>> 8 ^? integralHexadecimalNoZero :: Maybe Digit
Just 8

>>> 9 ^? integralHexadecimalNoZero :: Maybe Digit
Just 9

>>> 10 ^? integralHexadecimalNoZero :: Maybe Digit
Just a

>>> 11 ^? integralHexadecimalNoZero :: Maybe Digit
Just b

>>> 12 ^? integralHexadecimalNoZero :: Maybe Digit
Just c

>>> 13 ^? integralHexadecimalNoZero :: Maybe Digit
Just d

>>> 14 ^? integralHexadecimalNoZero :: Maybe Digit
Just e

>>> 15 ^? integralHexadecimalNoZero :: Maybe Digit
Just f

>>> integralHexadecimalNoZero # Digit1 :: Integer
1

>>> integralHexadecimalNoZero # Digit2 :: Integer
2

>>> integralHexadecimalNoZero # Digit3 :: Integer
3

>>> integralHexadecimalNoZero # Digit4 :: Integer
4

>>> integralHexadecimalNoZero # Digit5 :: Integer
5

>>> integralHexadecimalNoZero # Digit6 :: Integer
6

>>> integralHexadecimalNoZero # Digit7 :: Integer
7

>>> integralHexadecimalNoZero # Digit8 :: Integer
8

>>> integralHexadecimalNoZero # Digit9 :: Integer
9

>>> integralHexadecimalNoZero # Digita :: Integer
10

>>> integralHexadecimalNoZero # Digitb :: Integer
11

>>> integralHexadecimalNoZero # Digitc :: Integer
12

>>> integralHexadecimalNoZero # Digitd :: Integer
13

>>> integralHexadecimalNoZero # Digite :: Integer
14

>>> integralHexadecimalNoZero # Digitf :: Integer
15

\c -> (c `notElem` [1..15]) ==> (c ^? integralHexadecimalNoZero == Nothing)

integralHexadecimal :: (Integral a, Hexadecimal d) => Prism' a d

>>> 0 ^? integralHexadecimal :: Maybe Digit
Just 0

>>> 1 ^? integralHexadecimal :: Maybe Digit
Just 1

>>> 2 ^? integralHexadecimal :: Maybe Digit
Just 2

>>> 3 ^? integralHexadecimal :: Maybe Digit
Just 3

>>> 4 ^? integralHexadecimal :: Maybe Digit
Just 4

>>> 5 ^? integralHexadecimal :: Maybe Digit
Just 5

>>> 6 ^? integralHexadecimal :: Maybe Digit
Just 6

>>> 7 ^? integralHexadecimal :: Maybe Digit
Just 7

>>> 8 ^? integralHexadecimal :: Maybe Digit
Just 8

>>> 9 ^? integralHexadecimal :: Maybe Digit
Just 9

>>> 10 ^? integralHexadecimal :: Maybe Digit
Just a

>>> 11 ^? integralHexadecimal :: Maybe Digit
Just b

>>> 12 ^? integralHexadecimal :: Maybe Digit
Just c

>>> 13 ^? integralHexadecimal :: Maybe Digit
Just d

>>> 14 ^? integralHexadecimal :: Maybe Digit
Just e

>>> 15 ^? integralHexadecimal :: Maybe Digit
Just f

>>> integralHexadecimal # Digit0 :: Integer
0

>>> integralHexadecimal # Digit1 :: Integer
1

>>> integralHexadecimal # Digit2 :: Integer
2

>>> integralHexadecimal # Digit3 :: Integer
3

>>> integralHexadecimal # Digit4 :: Integer
4

>>> integralHexadecimal # Digit5 :: Integer
5

>>> integralHexadecimal # Digit6 :: Integer
6

>>> integralHexadecimal # Digit7 :: Integer
7

>>> integralHexadecimal # Digit8 :: Integer
8

>>> integralHexadecimal # Digit9 :: Integer
9

>>> integralHexadecimal # Digita :: Integer
10

>>> integralHexadecimal # Digitb :: Integer
11

>>> integralHexadecimal # Digitc :: Integer
12

>>> integralHexadecimal # Digitd :: Integer
13

>>> integralHexadecimal # Digite :: Integer
14

>>> integralHexadecimal # Digitf :: Integer
15

\c -> (c `notElem` [0..15]) ==> (c ^? integralHexadecimal == Nothing)

integralHEXADECIMALNoZero :: (Integral a, HEXADECIMALNoZero d) => Prism' a d

>>> 1 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just 1

>>> 2 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just 2

>>> 3 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just 3

>>> 4 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just 4

>>> 5 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just 5

>>> 6 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just 6

>>> 7 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just 7

>>> 8 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just 8

>>> 9 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just 9

>>> 10 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just A

>>> 11 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just B

>>> 12 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just C

>>> 13 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just D

>>> 14 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just E

>>> 15 ^? integralHEXADECIMALNoZero :: Maybe Digit
Just F

>>> integralHEXADECIMALNoZero # Digit1 :: Integer
1

>>> integralHEXADECIMALNoZero # Digit2 :: Integer
2

>>> integralHEXADECIMALNoZero # Digit3 :: Integer
3

>>> integralHEXADECIMALNoZero # Digit4 :: Integer
4

>>> integralHEXADECIMALNoZero # Digit5 :: Integer
5

>>> integralHEXADECIMALNoZero # Digit6 :: Integer
6

>>> integralHEXADECIMALNoZero # Digit7 :: Integer
7

>>> integralHEXADECIMALNoZero # Digit8 :: Integer
8

>>> integralHEXADECIMALNoZero # Digit9 :: Integer
9

>>> integralHEXADECIMALNoZero # DigitA :: Integer
10

>>> integralHEXADECIMALNoZero # DigitB :: Integer
11

>>> integralHEXADECIMALNoZero # DigitC :: Integer
12

>>> integralHEXADECIMALNoZero # DigitD :: Integer
13

>>> integralHEXADECIMALNoZero # DigitE :: Integer
14

>>> integralHEXADECIMALNoZero # DigitF :: Integer
15

\c -> (c `notElem` [1..15]) ==> (c ^? integralHEXADECIMALNoZero == Nothing)

integralHEXADECIMAL :: (Integral a, HEXADECIMAL d) => Prism' a d

>>> 0 ^? integralHEXADECIMAL :: Maybe Digit
Just 0

>>> 1 ^? integralHEXADECIMAL :: Maybe Digit
Just 1

>>> 2 ^? integralHEXADECIMAL :: Maybe Digit
Just 2

>>> 3 ^? integralHEXADECIMAL :: Maybe Digit
Just 3

>>> 4 ^? integralHEXADECIMAL :: Maybe Digit
Just 4

>>> 5 ^? integralHEXADECIMAL :: Maybe Digit
Just 5

>>> 6 ^? integralHEXADECIMAL :: Maybe Digit
Just 6

>>> 7 ^? integralHEXADECIMAL :: Maybe Digit
Just 7

>>> 8 ^? integralHEXADECIMAL :: Maybe Digit
Just 8

>>> 9 ^? integralHEXADECIMAL :: Maybe Digit
Just 9

>>> 10 ^? integralHEXADECIMAL :: Maybe Digit
Just A

>>> 11 ^? integralHEXADECIMAL :: Maybe Digit
Just B

>>> 12 ^? integralHEXADECIMAL :: Maybe Digit
Just C

>>> 13 ^? integralHEXADECIMAL :: Maybe Digit
Just D

>>> 14 ^? integralHEXADECIMAL :: Maybe Digit
Just E

>>> 15 ^? integralHEXADECIMAL :: Maybe Digit
Just F

>>> integralHEXADECIMAL # Digit0 :: Integer
0

>>> integralHEXADECIMAL # Digit1 :: Integer
1

>>> integralHEXADECIMAL # Digit2 :: Integer
2

>>> integralHEXADECIMAL # Digit3 :: Integer
3

>>> integralHEXADECIMAL # Digit4 :: Integer
4

>>> integralHEXADECIMAL # Digit5 :: Integer
5

>>> integralHEXADECIMAL # Digit6 :: Integer
6

>>> integralHEXADECIMAL # Digit7 :: Integer
7

>>> integralHEXADECIMAL # Digit8 :: Integer
8

>>> integralHEXADECIMAL # Digit9 :: Integer
9

>>> integralHEXADECIMAL # DigitA :: Integer
10

>>> integralHEXADECIMAL # DigitB :: Integer
11

>>> integralHEXADECIMAL # DigitC :: Integer
12

>>> integralHEXADECIMAL # DigitD :: Integer
13

>>> integralHEXADECIMAL # DigitE :: Integer
14

>>> integralHEXADECIMAL # DigitF :: Integer
15

\c -> (c `notElem` [0..15]) ==> (c ^? integralHEXADECIMAL == Nothing)