-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/
-- | A data-type representing digits 0-9 and other combinations
--
--
-- Digit is a data-type that represents the digits 0-9 and other
-- combinations.
@package digit
@version 0.7
module Data.Digit.Class.D0
class D0 d
d0 :: D0 d => Prism' d ()
x0 :: D0 d => d
-- |
-- >>> parse (parse0 <* eof) "test" "0" :: Either ParseError BinDigit
-- Right BinDigit0
--
--
--
-- >>> parse parse0 "test" "0xyz" :: Either ParseError BinDigit
-- Right BinDigit0
--
--
--
-- >>> isn't _Right (parse parse0 "test" "xyz" :: Either ParseError BinDigit)
-- True
--
parse0 :: (D0 d, CharParsing p) => p d
instance Data.Digit.Class.D0.D0 ()
module Data.Digit.Class.D1
class D1 d
d1 :: D1 d => Prism' d ()
x1 :: D1 d => d
-- |
-- >>> parse (parse1 <* eof) "test" "1" :: Either ParseError BinDigit
-- Right BinDigit1
--
--
--
-- >>> parse parse1 "test" "1xyz" :: Either ParseError BinDigit
-- Right BinDigit1
--
--
--
-- >>> isn't _Right (parse parse1 "test" "xyz" :: Either ParseError BinDigit)
-- True
--
parse1 :: (D1 d, CharParsing p) => p d
instance Data.Digit.Class.D1.D1 ()
module Data.Digit.Binary
data BinDigit
BinDigit0 :: BinDigit
BinDigit1 :: BinDigit
type BinaryNoZero d = D1 d
type Binary d = (D0 d, BinaryNoZero d)
parseBinaryNoZero :: (BinaryNoZero d, CharParsing p) => p d
parseBinary :: (Binary d, CharParsing p) => p d
_BinDigit0 :: Prism' BinDigit ()
_BinDigit1 :: Prism' BinDigit ()
instance Data.Digit.Class.D0.D0 Data.Digit.Binary.BinDigit
instance Data.Digit.Class.D1.D1 Data.Digit.Binary.BinDigit
instance GHC.Classes.Ord Data.Digit.Binary.BinDigit
instance GHC.Classes.Eq Data.Digit.Binary.BinDigit
instance GHC.Show.Show Data.Digit.Binary.BinDigit
module Data.Digit.Class.D2
class D2 d
d2 :: D2 d => Prism' d ()
x2 :: D2 d => d
-- |
-- >>> parse (parse2 <* eof) "test" "2" :: Either ParseError DecDigit
-- Right DecDigit2
--
--
--
-- >>> parse parse2 "test" "2xyz" :: Either ParseError DecDigit
-- Right DecDigit2
--
--
--
-- >>> isn't _Right (parse parse2 "test" "xyz" :: Either ParseError DecDigit)
-- True
--
parse2 :: (D2 d, CharParsing p) => p d
instance Data.Digit.Class.D2.D2 ()
module Data.Digit.Class.D3
class D3 d
d3 :: D3 d => Prism' d ()
x3 :: D3 d => d
-- |
-- >>> parse (parse3 <* eof) "test" "3" :: Either ParseError DecDigit
-- Right DecDigit3
--
--
--
-- >>> parse parse3 "test" "3xyz" :: Either ParseError DecDigit
-- Right DecDigit3
--
--
--
-- >>> isn't _Right (parse parse3 "test" "xyz" :: Either ParseError DecDigit)
-- True
--
parse3 :: (D3 d, CharParsing p) => p d
instance Data.Digit.Class.D3.D3 ()
module Data.Digit.Class.D4
class D4 d
d4 :: D4 d => Prism' d ()
x4 :: D4 d => d
-- |
-- >>> parse (parse4 <* eof) "test" "4" :: Either ParseError DecDigit
-- Right DecDigit4
--
--
--
-- >>> parse parse4 "test" "4xyz" :: Either ParseError DecDigit
-- Right DecDigit4
--
--
--
-- >>> isn't _Right (parse parse4 "test" "xyz" :: Either ParseError DecDigit)
-- True
--
parse4 :: (D4 d, CharParsing p) => p d
instance Data.Digit.Class.D4.D4 ()
module Data.Digit.Class.D5
class D5 d
d5 :: D5 d => Prism' d ()
x5 :: D5 d => d
-- |
-- >>> parse (parse5 <* eof) "test" "5" :: Either ParseError DecDigit
-- Right DecDigit5
--
--
--
-- >>> parse parse5 "test" "5xyz" :: Either ParseError DecDigit
-- Right DecDigit5
--
--
--
-- >>> isn't _Right (parse parse5 "test" "xyz" :: Either ParseError DecDigit)
-- True
--
parse5 :: (D5 d, CharParsing p) => p d
instance Data.Digit.Class.D5.D5 ()
module Data.Digit.Class.D6
class D6 d
d6 :: D6 d => Prism' d ()
x6 :: D6 d => d
-- |
-- >>> parse (parse6 <* eof) "test" "6" :: Either ParseError DecDigit
-- Right DecDigit6
--
--
--
-- >>> parse parse6 "test" "6xyz" :: Either ParseError DecDigit
-- Right DecDigit6
--
--
--
-- >>> isn't _Right (parse parse6 "test" "xyz" :: Either ParseError DecDigit)
-- True
--
parse6 :: (D6 d, CharParsing p) => p d
instance Data.Digit.Class.D6.D6 ()
module Data.Digit.Class.D7
class D7 d
d7 :: D7 d => Prism' d ()
x7 :: D7 d => d
-- |
-- >>> parse (parse7 <* eof) "test" "7" :: Either ParseError DecDigit
-- Right DecDigit7
--
--
--
-- >>> parse parse7 "test" "7xyz" :: Either ParseError DecDigit
-- Right DecDigit7
--
--
--
-- >>> isn't _Right (parse parse7 "test" "xyz" :: Either ParseError DecDigit)
-- True
--
parse7 :: (D7 d, CharParsing p) => p d
instance Data.Digit.Class.D7.D7 ()
module Data.Digit.Class.D8
class D8 d
d8 :: D8 d => Prism' d ()
x8 :: D8 d => d
-- |
-- >>> parse (parse8 <* eof) "test" "8" :: Either ParseError DecDigit
-- Right DecDigit8
--
--
--
-- >>> parse parse8 "test" "8xyz" :: Either ParseError DecDigit
-- Right DecDigit8
--
--
--
-- >>> isn't _Right (parse parse8 "test" "xyz" :: Either ParseError DecDigit)
-- True
--
parse8 :: (D8 d, CharParsing p) => p d
instance Data.Digit.Class.D8.D8 ()
module Data.Digit.Class.D9
class D9 d
d9 :: D9 d => Prism' d ()
x9 :: D9 d => d
-- |
-- >>> parse (parse9 <* eof) "test" "9" :: Either ParseError DecDigit
-- Right DecDigit9
--
--
--
-- >>> parse parse9 "test" "9xyz" :: Either ParseError DecDigit
-- Right DecDigit9
--
--
--
-- >>> isn't _Right (parse parse9 "test" "xyz" :: Either ParseError DecDigit)
-- True
--
parse9 :: (D9 d, CharParsing p) => p d
instance Data.Digit.Class.D9.D9 ()
module Data.Digit.Class.LowerCase
class Da d
da :: Da d => Prism' d ()
xa :: Da d => d
class Db d
db :: Db d => Prism' d ()
xb :: Db d => d
class Dc d
dc :: Dc d => Prism' d ()
xc :: Dc d => d
class Dd d
dd :: Dd d => Prism' d ()
xd :: Dd d => d
class De d
de :: De d => Prism' d ()
xe :: De d => d
class Df d
df :: Df d => Prism' d ()
xf :: Df d => d
-- |
-- >>> parse (parsea <* eof) "test" "a" :: Either ParseError HexDigit
-- Right HexDigita
--
--
--
-- >>> parse parsea "test" "axyz" :: Either ParseError HexDigit
-- Right HexDigita
--
--
--
-- >>> isn't _Right (parse parsea "test" "xyz" :: Either ParseError HexDigit)
-- True
--
parsea :: (Da d, CharParsing p) => p d
-- |
-- >>> parse (parseb <* eof) "test" "b" :: Either ParseError HexDigit
-- Right HexDigitb
--
--
--
-- >>> parse parseb "test" "bxyz" :: Either ParseError HexDigit
-- Right HexDigitb
--
--
--
-- >>> isn't _Right (parse parseb "test" "xyz" :: Either ParseError HexDigit)
-- True
--
parseb :: (Db d, CharParsing p) => p d
-- |
-- >>> parse (parsec <* eof) "test" "c" :: Either ParseError HexDigit
-- Right HexDigitc
--
--
--
-- >>> parse parsec "test" "cxyz" :: Either ParseError HexDigit
-- Right HexDigitc
--
--
--
-- >>> isn't _Right (parse parsec "test" "xyz" :: Either ParseError HexDigit)
-- True
--
parsec :: (Dc d, CharParsing p) => p d
-- |
-- >>> parse (parsed <* eof) "test" "d" :: Either ParseError HexDigit
-- Right HexDigitd
--
--
--
-- >>> parse parsed "test" "dxyz" :: Either ParseError HexDigit
-- Right HexDigitd
--
--
--
-- >>> isn't _Right (parse parsed "test" "xyz" :: Either ParseError HexDigit)
-- True
--
parsed :: (Dd d, CharParsing p) => p d
-- |
-- >>> parse (parsee <* eof) "test" "e" :: Either ParseError HexDigit
-- Right HexDigite
--
--
--
-- >>> parse parsee "test" "exyz" :: Either ParseError HexDigit
-- Right HexDigite
--
--
--
-- >>> isn't _Right (parse parsee "test" "xyz" :: Either ParseError HexDigit)
-- True
--
parsee :: (De d, CharParsing p) => p d
-- |
-- >>> parse (parsef <* eof) "test" "f" :: Either ParseError HexDigit
-- Right HexDigitf
--
--
--
-- >>> parse parsef "test" "fxyz" :: Either ParseError HexDigit
-- Right HexDigitf
--
--
--
-- >>> isn't _Right (parse parsef "test" "xyz" :: Either ParseError HexDigit)
-- True
--
parsef :: (Df d, CharParsing p) => p d
instance Data.Digit.Class.LowerCase.Df ()
instance Data.Digit.Class.LowerCase.De ()
instance Data.Digit.Class.LowerCase.Dd ()
instance Data.Digit.Class.LowerCase.Dc ()
instance Data.Digit.Class.LowerCase.Db ()
instance Data.Digit.Class.LowerCase.Da ()
module Data.Digit.Class.UpperCase
class DA d
dA :: DA d => Prism' d ()
xA :: DA d => d
class DB d
dB :: DB d => Prism' d ()
xB :: DB d => d
class DC d
dC :: DC d => Prism' d ()
xC :: DC d => d
class DD d
dD :: DD d => Prism' d ()
xD :: DD d => d
class DE d
dE :: DE d => Prism' d ()
xE :: DE d => d
class DF d
dF :: DF d => Prism' d ()
xF :: DF d => d
-- |
-- >>> parse (parseA <* eof) "test" "A" :: Either ParseError HEXDigit
-- Right HEXDigitA
--
--
--
-- >>> parse parseA "test" "Axyz" :: Either ParseError HEXDigit
-- Right HEXDigitA
--
--
--
-- >>> isn't _Right (parse parseA "test" "xyz" :: Either ParseError HEXDigit)
-- True
--
parseA :: (DA d, CharParsing p) => p d
-- |
-- >>> parse (parseB <* eof) "test" "B" :: Either ParseError HEXDigit
-- Right HEXDigitB
--
--
--
-- >>> parse parseB "test" "Bxyz" :: Either ParseError HEXDigit
-- Right HEXDigitB
--
--
--
-- >>> isn't _Right (parse parseB "test" "xyz" :: Either ParseError HEXDigit)
-- True
--
parseB :: (DB d, CharParsing p) => p d
-- |
-- >>> parse (parseC <* eof) "test" "C" :: Either ParseError HEXDigit
-- Right HEXDigitC
--
--
--
-- >>> parse parseC "test" "Cxyz" :: Either ParseError HEXDigit
-- Right HEXDigitC
--
--
--
-- >>> isn't _Right (parse parseC "test" "xyz" :: Either ParseError HEXDigit)
-- True
--
parseC :: (DC d, CharParsing p) => p d
-- |
-- >>> parse (parseD <* eof) "test" "D" :: Either ParseError HEXDigit
-- Right HEXDigitD
--
--
--
-- >>> parse parseD "test" "Dxyz" :: Either ParseError HEXDigit
-- Right HEXDigitD
--
--
--
-- >>> isn't _Right (parse parseD "test" "xyz" :: Either ParseError HEXDigit)
-- True
--
parseD :: (DD d, CharParsing p) => p d
-- |
-- >>> parse (parseE <* eof) "test" "E" :: Either ParseError HEXDigit
-- Right HEXDigitE
--
--
--
-- >>> parse parseE "test" "Exyz" :: Either ParseError HEXDigit
-- Right HEXDigitE
--
--
--
-- >>> isn't _Right (parse parseE "test" "xyz" :: Either ParseError HEXDigit)
-- True
--
parseE :: (DE d, CharParsing p) => p d
-- |
-- >>> parse (parseF <* eof) "test" "F" :: Either ParseError HEXDigit
-- Right HEXDigitF
--
--
--
-- >>> parse parseF "test" "Fxyz" :: Either ParseError HEXDigit
-- Right HEXDigitF
--
--
--
-- >>> isn't _Right (parse parseF "test" "xyz" :: Either ParseError HEXDigit)
-- True
--
parseF :: (DF d, CharParsing p) => p d
instance Data.Digit.Class.UpperCase.DF ()
instance Data.Digit.Class.UpperCase.DE ()
instance Data.Digit.Class.UpperCase.DD ()
instance Data.Digit.Class.UpperCase.DC ()
instance Data.Digit.Class.UpperCase.DB ()
instance Data.Digit.Class.UpperCase.DA ()
module Data.Digit.Class.MixedCase
type DAa a = (DA a, Da a)
type DBb a = (DB a, Db a)
type DCc a = (DC a, Dc a)
type DDd a = (DD a, Dd a)
type DEe a = (DE a, De a)
type DFf a = (DF a, Df a)
-- |
-- >>> parse (parseAa <* eof) "test" "A" :: Either ParseError HeXDigit
-- Right HeXDigitA
--
--
--
-- >>> parse parseAa "test" "Axyz" :: Either ParseError HeXDigit
-- Right HeXDigitA
--
--
--
-- >>> parse (parseAa <* eof) "test" "a" :: Either ParseError HeXDigit
-- Right HeXDigita
--
--
--
-- >>> parse parseAa "test" "axyz" :: Either ParseError HeXDigit
-- Right HeXDigita
--
--
--
-- >>> isn't _Right (parse parseAa "test" "xyz" :: Either ParseError HeXDigit)
-- True
--
parseAa :: (DAa d, CharParsing p) => p d
-- |
-- >>> parse (parseBb <* eof) "test" "B" :: Either ParseError HeXDigit
-- Right HeXDigitB
--
--
--
-- >>> parse parseBb "test" "Bxyz" :: Either ParseError HeXDigit
-- Right HeXDigitB
--
--
--
-- >>> parse (parseBb <* eof) "test" "b" :: Either ParseError HeXDigit
-- Right HeXDigitb
--
--
--
-- >>> parse parseBb "test" "bxyz" :: Either ParseError HeXDigit
-- Right HeXDigitb
--
--
--
-- >>> isn't _Right (parse parseBb "test" "xyz" :: Either ParseError HeXDigit)
-- True
--
parseBb :: (DBb d, CharParsing p) => p d
-- |
-- >>> parse (parseCc <* eof) "test" "C" :: Either ParseError HeXDigit
-- Right HeXDigitC
--
--
--
-- >>> parse parseCc "test" "Cxyz" :: Either ParseError HeXDigit
-- Right HeXDigitC
--
--
--
-- >>> parse (parseCc <* eof) "test" "c" :: Either ParseError HeXDigit
-- Right HeXDigitc
--
--
--
-- >>> parse parseCc "test" "cxyz" :: Either ParseError HeXDigit
-- Right HeXDigitc
--
--
--
-- >>> isn't _Right (parse parseCc "test" "xyz" :: Either ParseError HeXDigit)
-- True
--
parseCc :: (DCc d, CharParsing p) => p d
-- |
-- >>> parse (parseDd <* eof) "test" "D" :: Either ParseError HeXDigit
-- Right HeXDigitD
--
--
--
-- >>> parse parseDd "test" "Dxyz" :: Either ParseError HeXDigit
-- Right HeXDigitD
--
--
--
-- >>> parse (parseDd <* eof) "test" "d" :: Either ParseError HeXDigit
-- Right HeXDigitd
--
--
--
-- >>> parse parseDd "test" "dxyz" :: Either ParseError HeXDigit
-- Right HeXDigitd
--
--
--
-- >>> isn't _Right (parse parseDd "test" "xyz" :: Either ParseError HeXDigit)
-- True
--
parseDd :: (DDd d, CharParsing p) => p d
-- |
-- >>> parse (parseEe <* eof) "test" "E" :: Either ParseError HeXDigit
-- Right HeXDigitE
--
--
--
-- >>> parse parseEe "test" "Exyz" :: Either ParseError HeXDigit
-- Right HeXDigitE
--
--
--
-- >>> parse (parseEe <* eof) "test" "e" :: Either ParseError HeXDigit
-- Right HeXDigite
--
--
--
-- >>> parse parseEe "test" "exyz" :: Either ParseError HeXDigit
-- Right HeXDigite
--
--
--
-- >>> isn't _Right (parse parseEe "test" "xyz" :: Either ParseError HeXDigit)
-- True
--
parseEe :: (DEe d, CharParsing p) => p d
-- |
-- >>> parse (parseFf <* eof) "test" "F" :: Either ParseError HeXDigit
-- Right HeXDigitF
--
--
--
-- >>> parse parseFf "test" "Fxyz" :: Either ParseError HeXDigit
-- Right HeXDigitF
--
--
--
-- >>> parse (parseFf <* eof) "test" "f" :: Either ParseError HeXDigit
-- Right HeXDigitf
--
--
--
-- >>> parse parseFf "test" "fxyz" :: Either ParseError HeXDigit
-- Right HeXDigitf
--
--
--
-- >>> isn't _Right (parse parseFf "test" "xyz" :: Either ParseError HeXDigit)
-- True
--
parseFf :: (DFf d, CharParsing p) => p d
module Data.Digit.Decimal
data DecDigit
DecDigit0 :: DecDigit
DecDigit1 :: DecDigit
DecDigit2 :: DecDigit
DecDigit3 :: DecDigit
DecDigit4 :: DecDigit
DecDigit5 :: DecDigit
DecDigit6 :: DecDigit
DecDigit7 :: DecDigit
DecDigit8 :: DecDigit
DecDigit9 :: 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 ()
instance Data.Digit.Class.D0.D0 Data.Digit.Decimal.DecDigit
instance Data.Digit.Class.D1.D1 Data.Digit.Decimal.DecDigit
instance Data.Digit.Class.D2.D2 Data.Digit.Decimal.DecDigit
instance Data.Digit.Class.D3.D3 Data.Digit.Decimal.DecDigit
instance Data.Digit.Class.D4.D4 Data.Digit.Decimal.DecDigit
instance Data.Digit.Class.D5.D5 Data.Digit.Decimal.DecDigit
instance Data.Digit.Class.D6.D6 Data.Digit.Decimal.DecDigit
instance Data.Digit.Class.D7.D7 Data.Digit.Decimal.DecDigit
instance Data.Digit.Class.D8.D8 Data.Digit.Decimal.DecDigit
instance Data.Digit.Class.D9.D9 Data.Digit.Decimal.DecDigit
instance GHC.Enum.Bounded Data.Digit.Decimal.DecDigit
instance GHC.Enum.Enum Data.Digit.Decimal.DecDigit
instance GHC.Classes.Ord Data.Digit.Decimal.DecDigit
instance GHC.Classes.Eq Data.Digit.Decimal.DecDigit
instance GHC.Show.Show Data.Digit.Decimal.DecDigit
module Data.Digit.Hexadecimal.LowerCase
data HexDigit
HexDigit0 :: HexDigit
HexDigit1 :: HexDigit
HexDigit2 :: HexDigit
HexDigit3 :: HexDigit
HexDigit4 :: HexDigit
HexDigit5 :: HexDigit
HexDigit6 :: HexDigit
HexDigit7 :: HexDigit
HexDigit8 :: HexDigit
HexDigit9 :: HexDigit
HexDigita :: HexDigit
HexDigitb :: HexDigit
HexDigitc :: HexDigit
HexDigitd :: HexDigit
HexDigite :: HexDigit
HexDigitf :: HexDigit
type HexadecimalNoZero d = (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d, D8 d, D9 d, Da d, Db d, Dc d, Dd d, De d, De d, Df d)
type Hexadecimal d = (D0 d, HexadecimalNoZero d)
parseHexadecimalNoZero :: (HexadecimalNoZero d, CharParsing p) => p d
parseHexadecimal :: (Hexadecimal d, CharParsing p) => p d
_HexDigit0 :: Prism' HexDigit ()
_HexDigit1 :: Prism' HexDigit ()
_HexDigit2 :: Prism' HexDigit ()
_HexDigit3 :: Prism' HexDigit ()
_HexDigit4 :: Prism' HexDigit ()
_HexDigit5 :: Prism' HexDigit ()
_HexDigit6 :: Prism' HexDigit ()
_HexDigit7 :: Prism' HexDigit ()
_HexDigit8 :: Prism' HexDigit ()
_HexDigit9 :: Prism' HexDigit ()
_HexDigita :: Prism' HexDigit ()
_HexDigitb :: Prism' HexDigit ()
_HexDigitc :: Prism' HexDigit ()
_HexDigitd :: Prism' HexDigit ()
_HexDigite :: Prism' HexDigit ()
_HexDigitf :: Prism' HexDigit ()
instance Data.Digit.Class.D0.D0 Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.D1.D1 Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.D2.D2 Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.D3.D3 Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.D4.D4 Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.D5.D5 Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.D6.D6 Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.D7.D7 Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.D8.D8 Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.D9.D9 Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.LowerCase.Da Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.LowerCase.Db Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.LowerCase.Dc Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.LowerCase.Dd Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.LowerCase.De Data.Digit.Hexadecimal.LowerCase.HexDigit
instance Data.Digit.Class.LowerCase.Df Data.Digit.Hexadecimal.LowerCase.HexDigit
instance GHC.Classes.Ord Data.Digit.Hexadecimal.LowerCase.HexDigit
instance GHC.Classes.Eq Data.Digit.Hexadecimal.LowerCase.HexDigit
instance GHC.Show.Show Data.Digit.Hexadecimal.LowerCase.HexDigit
module Data.Digit.Hexadecimal.MixedCase
data HeXDigit
HeXDigit0 :: HeXDigit
HeXDigit1 :: HeXDigit
HeXDigit2 :: HeXDigit
HeXDigit3 :: HeXDigit
HeXDigit4 :: HeXDigit
HeXDigit5 :: HeXDigit
HeXDigit6 :: HeXDigit
HeXDigit7 :: HeXDigit
HeXDigit8 :: HeXDigit
HeXDigit9 :: HeXDigit
HeXDigita :: HeXDigit
HeXDigitb :: HeXDigit
HeXDigitc :: HeXDigit
HeXDigitd :: HeXDigit
HeXDigite :: HeXDigit
HeXDigitf :: HeXDigit
HeXDigitA :: HeXDigit
HeXDigitB :: HeXDigit
HeXDigitC :: HeXDigit
HeXDigitD :: HeXDigit
HeXDigitE :: HeXDigit
HeXDigitF :: HeXDigit
type HeXaDeCiMaLNoZero d = (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d, D8 d, D9 d, DA d, DB d, DC d, DD d, DE d, DF d, Da d, Db d, Dc d, Dd d, De d, De d, Df d)
type HeXaDeCiMaL d = (D0 d, HeXaDeCiMaLNoZero d)
parseHeXaDeCiMaLNoZero :: (HeXaDeCiMaLNoZero d, CharParsing p) => p d
parseHeXaDeCiMaL :: (HeXaDeCiMaL d, CharParsing p) => p d
_HeXDigit0 :: Prism' HeXDigit ()
_HeXDigit1 :: Prism' HeXDigit ()
_HeXDigit2 :: Prism' HeXDigit ()
_HeXDigit3 :: Prism' HeXDigit ()
_HeXDigit4 :: Prism' HeXDigit ()
_HeXDigit5 :: Prism' HeXDigit ()
_HeXDigit6 :: Prism' HeXDigit ()
_HeXDigit7 :: Prism' HeXDigit ()
_HeXDigit8 :: Prism' HeXDigit ()
_HeXDigit9 :: Prism' HeXDigit ()
_HeXDigita :: Prism' HeXDigit ()
_HeXDigitb :: Prism' HeXDigit ()
_HeXDigitc :: Prism' HeXDigit ()
_HeXDigitd :: Prism' HeXDigit ()
_HeXDigite :: Prism' HeXDigit ()
_HeXDigitf :: Prism' HeXDigit ()
_HeXDigitA :: Prism' HeXDigit ()
_HeXDigitB :: Prism' HeXDigit ()
_HeXDigitC :: Prism' HeXDigit ()
_HeXDigitD :: Prism' HeXDigit ()
_HeXDigitE :: Prism' HeXDigit ()
_HeXDigitF :: Prism' HeXDigit ()
instance Data.Digit.Class.D0.D0 Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.D1.D1 Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.D2.D2 Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.D3.D3 Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.D4.D4 Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.D5.D5 Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.D6.D6 Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.D7.D7 Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.D8.D8 Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.D9.D9 Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.UpperCase.DA Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.LowerCase.Da Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.UpperCase.DB Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.LowerCase.Db Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.UpperCase.DC Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.LowerCase.Dc Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.UpperCase.DD Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.LowerCase.Dd Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.UpperCase.DE Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.LowerCase.De Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.UpperCase.DF Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance Data.Digit.Class.LowerCase.Df Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance GHC.Classes.Ord Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance GHC.Classes.Eq Data.Digit.Hexadecimal.MixedCase.HeXDigit
instance GHC.Show.Show Data.Digit.Hexadecimal.MixedCase.HeXDigit
module Data.Digit.Hexadecimal.UpperCase
data HEXDigit
HEXDigit0 :: HEXDigit
HEXDigit1 :: HEXDigit
HEXDigit2 :: HEXDigit
HEXDigit3 :: HEXDigit
HEXDigit4 :: HEXDigit
HEXDigit5 :: HEXDigit
HEXDigit6 :: HEXDigit
HEXDigit7 :: HEXDigit
HEXDigit8 :: HEXDigit
HEXDigit9 :: HEXDigit
HEXDigitA :: HEXDigit
HEXDigitB :: HEXDigit
HEXDigitC :: HEXDigit
HEXDigitD :: HEXDigit
HEXDigitE :: HEXDigit
HEXDigitF :: HEXDigit
type HEXADECIMALNoZero d = (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d, D8 d, D9 d, DA d, DB d, DC d, DD d, DE d, DF d)
type HEXADECIMAL d = (D0 d, HEXADECIMALNoZero d)
parseHEXADECIMALNoZero :: (HEXADECIMALNoZero d, CharParsing p) => p d
parseHEXADECIMAL :: (HEXADECIMAL d, CharParsing p) => p d
_HEXDigit0 :: Prism' HEXDigit ()
_HEXDigit1 :: Prism' HEXDigit ()
_HEXDigit2 :: Prism' HEXDigit ()
_HEXDigit3 :: Prism' HEXDigit ()
_HEXDigit4 :: Prism' HEXDigit ()
_HEXDigit5 :: Prism' HEXDigit ()
_HEXDigit6 :: Prism' HEXDigit ()
_HEXDigit7 :: Prism' HEXDigit ()
_HEXDigit8 :: Prism' HEXDigit ()
_HEXDigit9 :: Prism' HEXDigit ()
_HEXDigitA :: Prism' HEXDigit ()
_HEXDigitB :: Prism' HEXDigit ()
_HEXDigitC :: Prism' HEXDigit ()
_HEXDigitD :: Prism' HEXDigit ()
_HEXDigitE :: Prism' HEXDigit ()
_HEXDigitF :: Prism' HEXDigit ()
instance Data.Digit.Class.D0.D0 Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.D1.D1 Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.D2.D2 Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.D3.D3 Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.D4.D4 Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.D5.D5 Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.D6.D6 Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.D7.D7 Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.D8.D8 Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.D9.D9 Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.UpperCase.DA Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.UpperCase.DB Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.UpperCase.DC Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.UpperCase.DD Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.UpperCase.DE Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance Data.Digit.Class.UpperCase.DF Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance GHC.Classes.Ord Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance GHC.Classes.Eq Data.Digit.Hexadecimal.UpperCase.HEXDigit
instance GHC.Show.Show Data.Digit.Hexadecimal.UpperCase.HEXDigit
module Data.Digit.Octal
data OctDigit
OctDigit0 :: OctDigit
OctDigit1 :: OctDigit
OctDigit2 :: OctDigit
OctDigit3 :: OctDigit
OctDigit4 :: OctDigit
OctDigit5 :: OctDigit
OctDigit6 :: OctDigit
OctDigit7 :: 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 ()
instance Data.Digit.Class.D0.D0 Data.Digit.Octal.OctDigit
instance Data.Digit.Class.D1.D1 Data.Digit.Octal.OctDigit
instance Data.Digit.Class.D2.D2 Data.Digit.Octal.OctDigit
instance Data.Digit.Class.D3.D3 Data.Digit.Octal.OctDigit
instance Data.Digit.Class.D4.D4 Data.Digit.Octal.OctDigit
instance Data.Digit.Class.D5.D5 Data.Digit.Octal.OctDigit
instance Data.Digit.Class.D6.D6 Data.Digit.Octal.OctDigit
instance Data.Digit.Class.D7.D7 Data.Digit.Octal.OctDigit
instance GHC.Enum.Bounded Data.Digit.Octal.OctDigit
instance GHC.Enum.Enum Data.Digit.Octal.OctDigit
instance GHC.Classes.Ord Data.Digit.Octal.OctDigit
instance GHC.Classes.Eq Data.Digit.Octal.OctDigit
instance GHC.Show.Show Data.Digit.Octal.OctDigit
module Data.Digit.Integral
-- |
-- >>> 1 ^? integralBinaryNoZero
-- Just BinDigit1
--
--
--
-- >>> integralBinaryNoZero # BinDigit1 :: Integer
-- 1
--
integralBinaryNoZero :: (Integral a, BinaryNoZero d) => Prism' a d
-- |
-- >>> 0 ^? integralBinary :: Maybe BinDigit
-- Just BinDigit0
--
--
--
-- >>> integralBinary # BinDigit0 :: Integer
-- 0
--
integralBinary :: (Integral a, Binary d) => Prism' a d
-- |
-- >>> integralBinDigits (4 :: Int)
-- Right (BinDigit1 :| [BinDigit0, BinDigit0])
--
--
--
-- >>> integralBinDigits (0 :: Int)
-- Right (BinDigit0 :| [])
--
--
--
-- >>> integralBinDigits (-1 :: Int)
-- Left (BinDigit0 :| [])
--
--
--
-- >>> integralBinDigits (-4 :: Int)
-- Left (BinDigit1 :| [BinDigit1])
--
integralBinDigits :: Integral a => a -> Either (NonEmpty BinDigit) (NonEmpty BinDigit)
-- |
-- >>> binDigitsIntegral (Right (BinDigit1 :| [BinDigit0, BinDigit0])) :: Int
-- 4
--
--
--
-- >>> binDigitsIntegral (Right (BinDigit0 :| [])) :: Int
-- 0
--
--
--
-- >>> binDigitsIntegral (Left (BinDigit0 :| [])) :: Int
-- -1
--
--
--
-- >>> binDigitsIntegral (Left (BinDigit1 :| [BinDigit1])) :: Int
-- -4
--
binDigitsIntegral :: Integral a => Either (NonEmpty BinDigit) (NonEmpty BinDigit) -> a
-- |
-- >>> 7 ^? integralOctalNoZero :: Maybe OctDigit
-- Just OctDigit7
--
--
--
-- >>> integralOctalNoZero # OctDigit7 :: Integer
-- 7
--
integralOctalNoZero :: (Integral a, OctalNoZero d) => Prism' a d
-- |
-- >>> 7 ^? integralOctal :: Maybe OctDigit
-- Just OctDigit7
--
--
--
-- >>> integralOctal # OctDigit7 :: Integer
-- 7
--
integralOctal :: (Integral a, Octal d) => Prism' a d
-- |
-- >>> integralOctDigits (64 :: Int)
-- Right (OctDigit1 :| [OctDigit0, OctDigit0])
--
--
--
-- >>> integralOctDigits (0 :: Int)
-- Right (OctDigit0 :| [])
--
--
--
-- >>> integralOctDigits (-1 :: Int)
-- Left (OctDigit0 :| [])
--
--
--
-- >>> integralOctDigits (-64 :: Int)
-- Left (OctDigit7 :| [OctDigit7])
--
integralOctDigits :: Integral a => a -> Either (NonEmpty OctDigit) (NonEmpty OctDigit)
-- |
-- >>> octDigitsIntegral (Right (OctDigit1 :| [OctDigit0, OctDigit0])) :: Int
-- 64
--
--
--
-- >>> octDigitsIntegral (Right (OctDigit0 :| [])) :: Int
-- 0
--
--
--
-- >>> octDigitsIntegral (Left (OctDigit0 :| [])) :: Int
-- -1
--
--
--
-- >>> octDigitsIntegral (Left (OctDigit7 :| [OctDigit7])) :: Int
-- -64
--
octDigitsIntegral :: Integral a => Either (NonEmpty OctDigit) (NonEmpty OctDigit) -> a
-- |
-- >>> 9 ^? integralDecimal :: Maybe DecDigit
-- Just DecDigit9
--
--
--
-- >>> integralDecimal # DecDigit9 :: Integer
-- 9
--
integralDecimal :: (Integral a, Decimal d) => Prism' a d
-- |
-- >>> 9 ^? integralDecimalNoZero :: Maybe DecDigit
-- Just DecDigit9
--
--
--
-- >>> integralDecimalNoZero # DecDigit9 :: Integer
-- 9
--
integralDecimalNoZero :: (Integral a, DecimalNoZero d) => Prism' a d
-- |
-- >>> integralDecDigits (100 :: Int)
-- Right (DecDigit1 :| [DecDigit0, DecDigit0])
--
--
--
-- >>> integralDecDigits (0 :: Int)
-- Right (DecDigit0 :| [])
--
--
--
-- >>> integralDecDigits (-1 :: Int)
-- Left (DecDigit0 :| [])
--
--
--
-- >>> integralDecDigits (-100 :: Int)
-- Left (DecDigit9 :| [DecDigit9])
--
integralDecDigits :: Integral a => a -> Either (NonEmpty DecDigit) (NonEmpty DecDigit)
-- |
-- >>> decDigitsIntegral (Right (DecDigit1 :| [DecDigit0, DecDigit0])) :: Int
-- 100
--
--
--
-- >>> decDigitsIntegral (Right (DecDigit0 :| [])) :: Int
-- 0
--
--
--
-- >>> decDigitsIntegral (Left (DecDigit0 :| [])) :: Int
-- -1
--
--
--
-- >>> decDigitsIntegral (Left (DecDigit9 :| [DecDigit9])) :: Int
-- -100
--
decDigitsIntegral :: Integral a => Either (NonEmpty DecDigit) (NonEmpty DecDigit) -> a
-- |
-- >>> 15 ^? integralHexadecimalNoZero :: Maybe HexDigit
-- Just HexDigitf
--
--
--
-- >>> integralHexadecimalNoZero # HexDigitf :: Integer
-- 15
--
integralHexadecimalNoZero :: (Integral a, HexadecimalNoZero d) => Prism' a d
-- |
-- >>> 15 ^? integralHexadecimal :: Maybe HexDigit
-- Just HexDigitf
--
--
--
-- >>> integralHexadecimal # HexDigitf :: Integer
-- 15
--
integralHexadecimal :: (Integral a, Hexadecimal d) => Prism' a d
-- |
-- >>> integralHexDigits (256 :: Int)
-- Right (HexDigit1 :| [HexDigit0, HexDigit0])
--
--
--
-- >>> integralHexDigits (0 :: Int)
-- Right (HexDigit0 :| [])
--
--
--
-- >>> integralHexDigits (-1 :: Int)
-- Left (HexDigit0 :| [])
--
--
--
-- >>> integralHexDigits (-256 :: Int)
-- Left (HexDigitf :| [HexDigitf])
--
integralHexDigits :: Integral a => a -> Either (NonEmpty HexDigit) (NonEmpty HexDigit)
-- |
-- >>> hexDigitsIntegral (Right (HexDigit1 :| [HexDigit0, HexDigit0])) :: Int
-- 256
--
--
--
-- >>> hexDigitsIntegral (Right (HexDigit0 :| [])) :: Int
-- 0
--
--
--
-- >>> hexDigitsIntegral (Left (HexDigit0 :| [])) :: Int
-- -1
--
--
--
-- >>> hexDigitsIntegral (Left (HexDigitf :| [HexDigitf])) :: Int
-- -256
--
hexDigitsIntegral :: Integral a => Either (NonEmpty HexDigit) (NonEmpty HexDigit) -> a
-- |
-- >>> 15 ^? integralHEXADECIMALNoZero :: Maybe HEXDigit
-- Just HEXDigitF
--
--
--
-- >>> integralHEXADECIMALNoZero # HEXDigitF :: Integer
-- 15
--
integralHEXADECIMALNoZero :: (Integral a, HEXADECIMALNoZero d) => Prism' a d
-- |
-- >>> 15 ^? integralHEXADECIMAL :: Maybe HEXDigit
-- Just HEXDigitF
--
--
--
-- >>> integralHEXADECIMAL # HEXDigitF :: Integer
-- 15
--
integralHEXADECIMAL :: (Integral a, HEXADECIMAL d) => Prism' a d
-- |
-- >>> integralHEXDigits (256 :: Int)
-- Right (HEXDigit1 :| [HEXDigit0, HEXDigit0])
--
--
--
-- >>> integralHEXDigits (0 :: Int)
-- Right (HEXDigit0 :| [])
--
--
--
-- >>> integralHEXDigits (-1 :: Int)
-- Left (HEXDigit0 :| [])
--
--
--
-- >>> integralHEXDigits (-256 :: Int)
-- Left (HEXDigitF :| [HEXDigitF])
--
integralHEXDigits :: Integral a => a -> Either (NonEmpty HEXDigit) (NonEmpty HEXDigit)
-- |
-- >>> HEXDigitsIntegral (Right (HEXDigit1 :| [HEXDigit0, HEXDigit0])) :: Int
-- 256
--
--
--
-- >>> HEXDigitsIntegral (Right (HEXDigit0 :| [])) :: Int
-- 0
--
--
--
-- >>> HEXDigitsIntegral (Left (HEXDigit0 :| [])) :: Int
-- -1
--
--
--
-- >>> HEXDigitsIntegral (Left (HEXDigitF :| [HEXDigitF])) :: Int
-- -256
--
_HEXDigitsIntegral :: Integral a => Either (NonEmpty HEXDigit) (NonEmpty HEXDigit) -> a
-- |
-- >>> 15 ^? integralHeXaDeCiMaLNoZero :: Maybe HeXDigit
-- Just HeXDigitF
--
--
--
-- >>> integralHeXaDeCiMaLNoZero # HeXDigitF :: Integer
-- 15
--
integralHeXaDeCiMaLNoZero :: (Integral a, HeXaDeCiMaLNoZero d) => Review a d
-- |
-- >>> 15 ^? integralHeXaDeCiMaL :: Maybe HeXDigit
-- Just HeXDigitF
--
--
--
-- >>> integralHeXaDeCiMaL # HeXDigitF :: Integer
-- 15
--
integralHeXaDeCiMaL :: (Integral a, HeXaDeCiMaL d) => Review a d
-- |
-- >>> HeXDigitsIntegral (Right (HeXDigit1 :| [HeXDigit0, HeXDigit0])) :: Int
-- 256
--
--
--
-- >>> HeXDigitsIntegral (Right (HeXDigit0 :| [])) :: Int
-- 0
--
--
--
-- >>> HeXDigitsIntegral (Left (HeXDigit0 :| [])) :: Int
-- -1
--
--
--
-- >>> HeXDigitsIntegral (Left (HeXDigitF :| [HeXDigitF])) :: Int
-- -256
--
_HeXDigitsIntegral :: Integral a => Either (NonEmpty HeXDigit) (NonEmpty HeXDigit) -> a
module Data.Digit.Natural
-- |
-- >>> _NaturalDigits # 0
-- DecDigit0 :| []
--
--
--
-- >>> _NaturalDigits # 1
-- DecDigit1 :| []
--
--
--
-- >>> _NaturalDigits # 922
-- DecDigit9 :| [DecDigit2,DecDigit2]
--
--
--
-- >>> (DecDigit9 :| [DecDigit2,DecDigit2]) ^? _NaturalDigits
-- Just 922
--
--
--
-- >>> (DecDigit1 :| []) ^? _NaturalDigits
-- Just 1
--
--
--
-- \x -> digitsToNatural ( naturalToDigits x ) == Just x
--
_NaturalDigits :: Prism' (NonEmpty DecDigit) Natural
-- |
-- >>> naturalDigits 0
-- DecDigit0 :| []
--
--
--
-- >>> naturalDigits 9
-- DecDigit9 :| []
--
--
--
-- >>> naturalDigits 393
-- DecDigit3 :| [DecDigit9,DecDigit3]
--
naturalToDigits :: Natural -> NonEmpty DecDigit
-- | Create a number from a list of digits with the integer bounds of the
-- machine.
--
--
-- >>> digitsToNatural (DecDigit3 :| [DecDigit4])
-- Just 34
--
--
--
-- >>> digitsToNatural (DecDigit0 :| [])
-- Just 0
--
--
--
-- >>> digitsToNatural (naturalToDigits (maxBound :: Natural))
-- Just 9223372036854775807
--
--
--
-- >>> digitsToNatural (naturalToDigits $ (maxBound :: Natural) + 1)
-- Nothing
--
digitsToNatural :: NonEmpty DecDigit -> Maybe Natural
module Data.Digit.Enum
-- |
-- [1]
--
enumBinaryNoZero :: BinaryNoZero d => [d]
-- |
-- [0, 1]
--
enumBinary :: Binary d => [d]
-- |
-- [1..7]
--
enumOctalNoZero :: OctalNoZero d => [d]
-- |
-- [0..7]
--
enumOctal :: Octal d => [d]
-- |
-- [1..9]
--
enumDecimalNoZero :: DecimalNoZero d => [d]
-- |
-- [0..9]
--
enumDecimal :: Decimal d => [d]
-- |
-- [1..9] ++ [a..f]
--
enumHexadecimalNoZero :: HexadecimalNoZero d => [d]
-- |
-- [0..9] ++ [a..f]
--
enumHexadecimal :: Hexadecimal d => [d]
-- |
-- [1..9] ++ [A..F]
--
enumHEXADECIMALNoZero :: HEXADECIMALNoZero d => [d]
-- |
-- [0..9] ++ [A..F]
--
enumHEXADECIMAL :: HEXADECIMAL d => [d]
module Data.Digit.Char
-- |
-- >>> '1' ^? charBinaryNoZero :: Maybe BinDigit
-- Just BinDigit1
--
--
--
-- >>> charBinaryNoZero # BinDigit1
-- '1'
--
charBinaryNoZero :: BinaryNoZero d => Prism' Char d
-- |
-- >>> '0' ^? charBinary :: Maybe BinDigit
-- Just BinDigit0
--
--
--
-- >>> charBinary # BinDigit0 :: Char
-- '0'
--
charBinary :: Binary d => Prism' Char d
-- |
-- >>> '6' ^? charOctalNoZero :: Maybe OctDigit
-- Just OctDigit6
--
--
--
-- >>> charOctalNoZero # OctDigit5 :: Char
-- '5'
--
charOctalNoZero :: OctalNoZero d => Prism' Char d
-- |
-- >>> '7' ^? charOctal :: Maybe OctDigit
-- Just OctDigit7
--
--
--
-- >>> charOctal # OctDigit7 :: Char
-- '7'
--
charOctal :: Octal d => Prism' Char d
-- |
-- >>> '9' ^? charDecimalNoZero :: Maybe DecDigit
-- Just DecDigit9
--
--
--
-- >>> charDecimalNoZero # DecDigit9 :: Char
-- '9'
--
charDecimalNoZero :: DecimalNoZero d => Prism' Char d
-- |
-- >>> '9' ^? charDecimal :: Maybe DecDigit
-- Just DecDigit9
--
--
--
-- >>> charDecimal # DecDigit9 :: Char
-- '9'
--
charDecimal :: Decimal d => Prism' Char d
-- |
-- >>> 'f' ^? charHexadecimalNoZero :: Maybe HexDigit
-- Just HexDigitf
--
--
--
-- >>> charHexadecimalNoZero # HexDigitf :: Char
-- 'f'
--
charHexadecimalNoZero :: HexadecimalNoZero d => Prism' Char d
-- |
-- >>> 'f' ^? charHexadecimal :: Maybe HexDigit
-- Just HexDigitf
--
--
--
-- >>> charHexadecimal # HexDigitf :: Char
-- 'f'
--
charHexadecimal :: Hexadecimal d => Prism' Char d
-- |
-- >>> 'F' ^? charHEXADECIMALNoZero :: Maybe HEXDigit
-- Just HEXDigitF
--
--
--
-- >>> charHEXADECIMALNoZero # HEXDigitF :: Char
-- 'F'
--
charHEXADECIMALNoZero :: HEXADECIMALNoZero d => Prism' Char d
-- |
-- >>> 'F' ^? charHEXADECIMAL :: Maybe HEXDigit
-- Just HEXDigitF
--
--
--
-- >>> charHEXADECIMAL # HEXDigitF :: Char
-- 'F'
--
charHEXADECIMAL :: HEXADECIMAL d => Prism' Char d
-- |
-- >>> 'f' ^? charHeXaDeCiMaLNoZero :: Maybe HeXDigit
-- Just HeXDigitf
--
--
--
-- >>> 'F' ^? charHeXaDeCiMaLNoZero :: Maybe HeXDigit
-- Just HeXDigitF
--
--
--
-- >>> charHeXaDeCiMaLNoZero # HeXDigitf :: Char
-- 'f'
--
--
--
-- >>> charHeXaDeCiMaLNoZero # HeXDigitF :: Char
-- 'F'
--
charHeXaDeCiMaLNoZero :: HeXaDeCiMaLNoZero d => Prism' Char d
-- |
-- >>> 'f' ^? charHeXaDeCiMaL :: Maybe HeXDigit
-- Just HeXDigitf
--
--
--
-- >>> 'F' ^? charHeXaDeCiMaL :: Maybe HeXDigit
-- Just HeXDigitF
--
--
--
-- >>> charHeXaDeCiMaL # HeXDigitf :: Char
-- 'f'
--
--
--
-- >>> charHeXaDeCiMaL # HeXDigitF :: Char
-- 'F'
--
charHeXaDeCiMaL :: HeXaDeCiMaL d => Prism' Char d
module Data.Digit