Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data DecDigit
- type DecimalNoZero d = (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d, D8 d, D9 d)
- type Decimal d = (D0 d, DecimalNoZero d)
- parseDecimalNoZero :: (DecimalNoZero d, CharParsing p) => p d
- parseDecimal :: (Decimal d, CharParsing p) => p d
- _DecDigit0 :: Prism' DecDigit ()
- _DecDigit1 :: Prism' DecDigit ()
- _DecDigit2 :: Prism' DecDigit ()
- _DecDigit3 :: Prism' DecDigit ()
- _DecDigit4 :: Prism' DecDigit ()
- _DecDigit5 :: Prism' DecDigit ()
- _DecDigit6 :: Prism' DecDigit ()
- _DecDigit7 :: Prism' DecDigit ()
- _DecDigit8 :: Prism' DecDigit ()
- _DecDigit9 :: Prism' DecDigit ()
- module Data.Digit.Class.D0
- module Data.Digit.Class.D1
- module Data.Digit.Class.D2
- module Data.Digit.Class.D3
- module Data.Digit.Class.D4
- module Data.Digit.Class.D5
- module Data.Digit.Class.D6
- module Data.Digit.Class.D7
- module Data.Digit.Class.D8
- module Data.Digit.Class.D9
Documentation
Instances
Bounded DecDigit Source # | |
Enum DecDigit Source # | |
Eq DecDigit Source # | |
Ord DecDigit Source # | |
Defined in Data.Digit.Decimal | |
Show DecDigit Source # | |
D0 DecDigit Source # | |
D1 DecDigit Source # | |
D2 DecDigit Source # | |
D3 DecDigit Source # | |
D4 DecDigit Source # | |
D5 DecDigit Source # | |
D6 DecDigit Source # | |
D7 DecDigit Source # | |
D8 DecDigit Source # | |
D9 DecDigit Source # | |
type Decimal d = (D0 d, DecimalNoZero d) Source #
parseDecimalNoZero :: (DecimalNoZero d, CharParsing p) => p d Source #
parseDecimal :: (Decimal d, CharParsing p) => p d Source #
Prisms
_DecDigit0 :: Prism' DecDigit () Source #
_DecDigit1 :: Prism' DecDigit () Source #
_DecDigit2 :: Prism' DecDigit () Source #
_DecDigit3 :: Prism' DecDigit () Source #
_DecDigit4 :: Prism' DecDigit () Source #
_DecDigit5 :: Prism' DecDigit () Source #
_DecDigit6 :: Prism' DecDigit () Source #
_DecDigit7 :: Prism' DecDigit () Source #
_DecDigit8 :: Prism' DecDigit () Source #
_DecDigit9 :: Prism' DecDigit () Source #
Re-exports
module Data.Digit.Class.D0
module Data.Digit.Class.D1
module Data.Digit.Class.D2
module Data.Digit.Class.D3
module Data.Digit.Class.D4
module Data.Digit.Class.D5
module Data.Digit.Class.D6
module Data.Digit.Class.D7
module Data.Digit.Class.D8
module Data.Digit.Class.D9