-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A data-type representing digits 0-9 and other combinations
--   
--   
--   <tt>Digit</tt> is a data-type that represents the digits 0-9 and other
--   combinations.
@package digit
@version 0.2.0


-- | A data type with ten nullary constructors [0-9] and combinators.
module Data.Digit

-- | A data type with ten nullary constructors.
data Digit

-- | Catamorphism for <tt>Digit</tt>.
--   
--   <pre>
--   foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d0 == x0
--   </pre>
--   
--   <pre>
--   foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d1 == x1
--   </pre>
--   
--   <pre>
--   foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d2 == x2
--   </pre>
--   
--   <pre>
--   foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d3 == x3
--   </pre>
--   
--   <pre>
--   foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d4 == x4
--   </pre>
--   
--   <pre>
--   foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d5 == x5
--   </pre>
--   
--   <pre>
--   foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d6 == x6
--   </pre>
--   
--   <pre>
--   foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d7 == x7
--   </pre>
--   
--   <pre>
--   foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d8 == x8
--   </pre>
--   
--   <pre>
--   foldDigit x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 d9 == x9
--   </pre>
foldDigit :: a -> a -> a -> a -> a -> a -> a -> a -> a -> a -> Digit -> a
class D0 d
d0 :: D0 d => Prism' d ()
x0 :: D0 d => d
class D1 d
d1 :: D1 d => Prism' d ()
x1 :: D1 d => d
class D2 d
d2 :: D2 d => Prism' d ()
x2 :: D2 d => d
class D3 d
d3 :: D3 d => Prism' d ()
x3 :: D3 d => d
class D4 d
d4 :: D4 d => Prism' d ()
x4 :: D4 d => d
class D5 d
d5 :: D5 d => Prism' d ()
x5 :: D5 d => d
class D6 d
d6 :: D6 d => Prism' d ()
x6 :: D6 d => d
class D7 d
d7 :: D7 d => Prism' d ()
x7 :: D7 d => d
class D8 d
d8 :: D8 d => Prism' d ()
x8 :: D8 d => d
class D9 d
d9 :: D9 d => Prism' d ()
x9 :: D9 d => d

-- | A prism for using <tt>Int</tt> as <tt>Digit</tt>.
--   
--   <pre>
--   &gt;&gt;&gt; 5 ^? digit
--   Just 5
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; 0 ^? digit
--   Just 0
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; 9 ^? digit
--   Just 9
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; 10 ^? digit
--   Nothing
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; (-5) ^? digit
--   Nothing
--   </pre>
digit :: Prism' Int Digit

-- | A prism for using <tt>Char</tt> as <tt>Digit</tt>.
--   
--   <pre>
--   &gt;&gt;&gt; '5' ^? digitC
--   Just 5
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; '0' ^? digitC
--   Just 0
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; '9' ^? digitC
--   Just 9
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; 'a' ^? digitC
--   Nothing
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; '@' ^? digitC
--   Nothing
--   </pre>
digitC :: Prism' Char Digit

-- | A QuasiQuoter for any range of <tt>Digit</tt>.
--   
--   <ul>
--   <li><i>digitQ|4|</i> :: Digit 4</li>
--   </ul>
--   
--   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
instance GHC.Enum.Bounded Data.Digit.Digit
instance GHC.Enum.Enum Data.Digit.Digit
instance GHC.Classes.Ord Data.Digit.Digit
instance GHC.Classes.Eq Data.Digit.Digit
instance Data.Digit.D0 Data.Digit.Digit
instance Data.Digit.D1 Data.Digit.Digit
instance Data.Digit.D2 Data.Digit.Digit
instance Data.Digit.D3 Data.Digit.Digit
instance Data.Digit.D4 Data.Digit.Digit
instance Data.Digit.D5 Data.Digit.Digit
instance Data.Digit.D6 Data.Digit.Digit
instance Data.Digit.D7 Data.Digit.Digit
instance Data.Digit.D8 Data.Digit.Digit
instance Data.Digit.D9 Data.Digit.Digit
instance GHC.Show.Show Data.Digit.Digit
instance GHC.Read.Read Data.Digit.Digit