-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | A data-type representing digits 0-9 and other combinations -- @package digit @version 0.1.1 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 instance Eq Digit instance Ord Digit instance Enum Digit instance Bounded Digit instance Read Digit instance Show Digit instance D9 Digit instance D8 Digit instance D7 Digit instance D6 Digit instance D5 Digit instance D4 Digit instance D3 Digit instance D2 Digit instance D1 Digit instance D0 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 Eq Digit1_9 instance Ord Digit1_9 instance Bounded Digit1_9 instance Read Digit1_9 instance Show Digit1_9 instance D9 Digit1_9 instance D8 Digit1_9 instance D7 Digit1_9 instance D6 Digit1_9 instance D5 Digit1_9 instance D4 Digit1_9 instance D3 Digit1_9 instance D2 Digit1_9 instance D1 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 Eq Digit1_8 instance Ord Digit1_8 instance Bounded Digit1_8 instance Read Digit1_8 instance Show Digit1_8 instance D8 Digit1_8 instance D7 Digit1_8 instance D6 Digit1_8 instance D5 Digit1_8 instance D4 Digit1_8 instance D3 Digit1_8 instance D2 Digit1_8 instance D1 Digit1_8 module Data.Digit