Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data OctDigit
- type OctalNoZero d = (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d)
- type Octal d = (D0 d, OctalNoZero d)
- parseOctalNoZero :: (OctalNoZero d, CharParsing p) => p d
- parseOctal :: (Octal d, CharParsing p) => p d
- _OctDigit0 :: Prism' OctDigit ()
- _OctDigit1 :: Prism' OctDigit ()
- _OctDigit2 :: Prism' OctDigit ()
- _OctDigit3 :: Prism' OctDigit ()
- _OctDigit4 :: Prism' OctDigit ()
- _OctDigit5 :: Prism' OctDigit ()
- _OctDigit6 :: Prism' OctDigit ()
- _OctDigit7 :: Prism' OctDigit ()
- module Data.Digit.D0
- module Data.Digit.D1
- module Data.Digit.D2
- module Data.Digit.D3
- module Data.Digit.D4
- module Data.Digit.D5
- module Data.Digit.D6
- module Data.Digit.D7
Documentation
type Octal d = (D0 d, OctalNoZero d) Source #
parseOctalNoZero :: (OctalNoZero d, CharParsing p) => p d Source #
parseOctal :: (Octal d, CharParsing p) => p d Source #
Prisms
_OctDigit0 :: Prism' OctDigit () Source #
_OctDigit1 :: Prism' OctDigit () Source #
_OctDigit2 :: Prism' OctDigit () Source #
_OctDigit3 :: Prism' OctDigit () Source #
_OctDigit4 :: Prism' OctDigit () Source #
_OctDigit5 :: Prism' OctDigit () Source #
_OctDigit6 :: Prism' OctDigit () Source #
_OctDigit7 :: Prism' OctDigit () Source #
Re-exports
module Data.Digit.D0
module Data.Digit.D1
module Data.Digit.D2
module Data.Digit.D3
module Data.Digit.D4
module Data.Digit.D5
module Data.Digit.D6
module Data.Digit.D7