-- 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.1.2
module Data.Digit.D9
class Eq a => D9 a
d9 :: D9 a => a
module Data.Digit.D8
class Eq a => D8 a
d8 :: D8 a => a
module Data.Digit.D7
class Eq a => D7 a
d7 :: D7 a => a
module Data.Digit.D6
class Eq a => D6 a
d6 :: D6 a => a
module Data.Digit.D5
class Eq a => D5 a
d5 :: D5 a => a
module Data.Digit.D4
class Eq a => D4 a
d4 :: D4 a => a
module Data.Digit.D3
class Eq a => D3 a
d3 :: D3 a => a
module Data.Digit.D2
class Eq a => D2 a
d2 :: D2 a => a
module Data.Digit.D1
class Eq a => D1 a
d1 :: D1 a => a
module Data.Digit.D0
class Eq a => D0 a
d0 :: D0 a => a
-- | A data type with ten nullary constructors [0-9] and combinators.
module Data.Digit.Digit
-- | A data type with ten nullary constructors.
data Digit
-- | Catamorphism for Digit.
--
--
-- foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d0 == x0
--
--
--
-- foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d1 == x1
--
--
--
-- foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d2 == x2
--
--
--
-- foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d3 == x3
--
--
--
-- foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d4 == x4
--
--
--
-- foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d5 == x5
--
--
--
-- foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d6 == x6
--
--
--
-- foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d7 == x7
--
--
--
-- foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d8 == x8
--
--
--
-- foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d9 == x9
--
foldDigit :: a -> a -> a -> a -> a -> a -> a -> a -> a -> a -> Digit -> a
-- | A prism for using Int as Digit.
--
--
-- >>> 5 ^? digit
-- Just 5
--
--
--
-- >>> 0 ^? digit
-- Just 0
--
--
--
-- >>> 9 ^? digit
-- Just 9
--
--
--
-- >>> 10 ^? digit
-- Nothing
--
--
--
-- >>> (-5) ^? digit
-- Nothing
--
digit :: Prism' Int Digit
-- | A prism for using Char as Digit.
--
--
-- >>> '5' ^? digitC
-- Just 5
--
--
--
-- >>> '0' ^? digitC
-- Just 0
--
--
--
-- >>> '9' ^? digitC
-- Just 9
--
--
--
-- >>> 'a' ^? digitC
-- Nothing
--
--
--
-- >>> '@' ^? digitC
-- Nothing
--
digitC :: Prism' Char Digit
-- | A QuasiQuoter for any range of Digit.
--
--
-- - digitQ|4| :: Digit 4
--
--
-- named [digitQ|4|] = "four" named [digitQ|$x|] = "not four, " ++ show x
-- ++ " instead"
--
-- mod10D x = let y = mod x 10 in [digitQ|$y|]
digitQ :: QuasiQuoter
instance Data.Data.Data Data.Digit.Digit.Digit
instance GHC.Enum.Bounded Data.Digit.Digit.Digit
instance GHC.Enum.Enum Data.Digit.Digit.Digit
instance GHC.Classes.Ord Data.Digit.Digit.Digit
instance GHC.Classes.Eq Data.Digit.Digit.Digit
instance Data.Digit.D0.D0 Data.Digit.Digit.Digit
instance Data.Digit.D1.D1 Data.Digit.Digit.Digit
instance Data.Digit.D2.D2 Data.Digit.Digit.Digit
instance Data.Digit.D3.D3 Data.Digit.Digit.Digit
instance Data.Digit.D4.D4 Data.Digit.Digit.Digit
instance Data.Digit.D5.D5 Data.Digit.Digit.Digit
instance Data.Digit.D6.D6 Data.Digit.Digit.Digit
instance Data.Digit.D7.D7 Data.Digit.Digit.Digit
instance Data.Digit.D8.D8 Data.Digit.Digit.Digit
instance Data.Digit.D9.D9 Data.Digit.Digit.Digit
instance GHC.Show.Show Data.Digit.Digit.Digit
instance GHC.Read.Read Data.Digit.Digit.Digit
-- | A data type with nine nullary constructors [1-9] and combinators.
module Data.Digit.Digit1_9
-- | A data type with nine nullary constructors.
data Digit1_9
-- | Catamorphism for Digit1_9.
--
--
-- foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d1 == x1
--
--
--
-- foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d2 == x2
--
--
--
-- foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d3 == x3
--
--
--
-- foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d4 == x4
--
--
--
-- foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d5 == x5
--
--
--
-- foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d6 == x6
--
--
--
-- foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d7 == x7
--
--
--
-- foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d8 == x8
--
--
--
-- foldDigit1_9 x1 x2 x3 x4 x5 x6 x7 x8 x9 d9 == x9
--
foldDigit1_9 :: a -> a -> a -> a -> a -> a -> a -> a -> a -> Digit1_9 -> a
-- | A prism for using Int as Digit1_9.
--
--
-- >>> 5 ^? digit1_9
-- Just 5
--
--
--
-- >>> 0 ^? digit1_9
-- Nothing
--
--
--
-- >>> 9 ^? digit1_9
-- Just 9
--
--
--
-- >>> 10 ^? digit1_9
-- Nothing
--
--
--
-- >>> (-5) ^? digit1_9
-- Nothing
--
digit1_9 :: Prism' Int Digit1_9
-- | A prism for using Char as Digit1_9.
--
--
-- >>> '5' ^? digitC1_9
-- Just 5
--
--
--
-- >>> '0' ^? digitC1_9
-- Nothing
--
--
--
-- >>> '9' ^? digitC1_9
-- Just 9
--
--
--
-- >>> 'x' ^? digitC1_9
-- Nothing
--
--
--
-- >>> '*' ^? digitC1_9
-- Nothing
--
digitC1_9 :: Prism' Char Digit1_9
-- | A prism for using Digit as Digit1_9.
--
--
-- >>> d5 ^? digit1_9digit
-- Just 5
--
--
--
-- >>> d0 ^? digit1_9digit
-- Nothing
--
--
--
-- >>> d9 ^? digit1_9digit
-- Just 9
--
--
--
-- >>> d1 ^? digit1_9digit
-- Just 1
--
digit1_9digit :: Prism' Digit Digit1_9
instance Data.Data.Data Data.Digit.Digit1_9.Digit1_9
instance GHC.Enum.Bounded Data.Digit.Digit1_9.Digit1_9
instance GHC.Enum.Enum Data.Digit.Digit1_9.Digit1_9
instance GHC.Classes.Ord Data.Digit.Digit1_9.Digit1_9
instance GHC.Classes.Eq Data.Digit.Digit1_9.Digit1_9
instance Data.Digit.D1.D1 Data.Digit.Digit1_9.Digit1_9
instance Data.Digit.D2.D2 Data.Digit.Digit1_9.Digit1_9
instance Data.Digit.D3.D3 Data.Digit.Digit1_9.Digit1_9
instance Data.Digit.D4.D4 Data.Digit.Digit1_9.Digit1_9
instance Data.Digit.D5.D5 Data.Digit.Digit1_9.Digit1_9
instance Data.Digit.D6.D6 Data.Digit.Digit1_9.Digit1_9
instance Data.Digit.D7.D7 Data.Digit.Digit1_9.Digit1_9
instance Data.Digit.D8.D8 Data.Digit.Digit1_9.Digit1_9
instance Data.Digit.D9.D9 Data.Digit.Digit1_9.Digit1_9
instance GHC.Show.Show Data.Digit.Digit1_9.Digit1_9
instance GHC.Read.Read Data.Digit.Digit1_9.Digit1_9
-- | A data type with eight nullary constructors [1-8] and combinators.
module Data.Digit.Digit1_8
-- | A data type with eight nullary constructors.
data Digit1_8
-- | 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
--
foldDigit1_8 :: a -> a -> a -> a -> a -> a -> a -> a -> Digit1_8 -> a
-- | 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
--
digit1_8 :: Prism' Int Digit1_8
-- | 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
--
digitC1_8 :: Prism' Char Digit1_8
-- | 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_8digit :: Prism' Digit Digit1_8
-- | 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
--
digit1_8digit1_9 :: Prism' Digit1_9 Digit1_8
instance Data.Data.Data Data.Digit.Digit1_8.Digit1_8
instance GHC.Enum.Bounded Data.Digit.Digit1_8.Digit1_8
instance GHC.Enum.Enum Data.Digit.Digit1_8.Digit1_8
instance GHC.Classes.Ord Data.Digit.Digit1_8.Digit1_8
instance GHC.Classes.Eq Data.Digit.Digit1_8.Digit1_8
instance Data.Digit.D1.D1 Data.Digit.Digit1_8.Digit1_8
instance Data.Digit.D2.D2 Data.Digit.Digit1_8.Digit1_8
instance Data.Digit.D3.D3 Data.Digit.Digit1_8.Digit1_8
instance Data.Digit.D4.D4 Data.Digit.Digit1_8.Digit1_8
instance Data.Digit.D5.D5 Data.Digit.Digit1_8.Digit1_8
instance Data.Digit.D6.D6 Data.Digit.Digit1_8.Digit1_8
instance Data.Digit.D7.D7 Data.Digit.Digit1_8.Digit1_8
instance Data.Digit.D8.D8 Data.Digit.Digit1_8.Digit1_8
instance GHC.Show.Show Data.Digit.Digit1_8.Digit1_8
instance GHC.Read.Read Data.Digit.Digit1_8.Digit1_8
module Data.Digit