{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE TemplateHaskell #-}

module Data.Digit.Decimal(
  DecDigit(..)
, DecimalNoZero
, Decimal
, parseDecimalNoZero
, parseDecimal
-- * Prisms
, _DecDigit0
, _DecDigit1
, _DecDigit2
, _DecDigit3
, _DecDigit4
, _DecDigit5
, _DecDigit6
, _DecDigit7
, _DecDigit8
, _DecDigit9
-- * 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
) where

import Prelude (Eq, Show, Ord, Enum, Bounded)
import Control.Lens.TH (makePrisms)
import Text.Parser.Char(CharParsing)
import Text.Parser.Combinators((<?>), choice)

import Data.Digit.Class.D0
import Data.Digit.Class.D1
import Data.Digit.Class.D2
import Data.Digit.Class.D3
import Data.Digit.Class.D4
import Data.Digit.Class.D5
import Data.Digit.Class.D6
import Data.Digit.Class.D7
import Data.Digit.Class.D8
import Data.Digit.Class.D9

data DecDigit
  = DecDigit0
  | DecDigit1
  | DecDigit2
  | DecDigit3
  | DecDigit4
  | DecDigit5
  | DecDigit6
  | DecDigit7
  | DecDigit8
  | DecDigit9
  deriving (Int -> DecDigit -> ShowS
[DecDigit] -> ShowS
DecDigit -> String
(Int -> DecDigit -> ShowS)
-> (DecDigit -> String) -> ([DecDigit] -> ShowS) -> Show DecDigit
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [DecDigit] -> ShowS
$cshowList :: [DecDigit] -> ShowS
show :: DecDigit -> String
$cshow :: DecDigit -> String
showsPrec :: Int -> DecDigit -> ShowS
$cshowsPrec :: Int -> DecDigit -> ShowS
Show, DecDigit -> DecDigit -> Bool
(DecDigit -> DecDigit -> Bool)
-> (DecDigit -> DecDigit -> Bool) -> Eq DecDigit
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: DecDigit -> DecDigit -> Bool
$c/= :: DecDigit -> DecDigit -> Bool
== :: DecDigit -> DecDigit -> Bool
$c== :: DecDigit -> DecDigit -> Bool
Eq, Eq DecDigit
Eq DecDigit
-> (DecDigit -> DecDigit -> Ordering)
-> (DecDigit -> DecDigit -> Bool)
-> (DecDigit -> DecDigit -> Bool)
-> (DecDigit -> DecDigit -> Bool)
-> (DecDigit -> DecDigit -> Bool)
-> (DecDigit -> DecDigit -> DecDigit)
-> (DecDigit -> DecDigit -> DecDigit)
-> Ord DecDigit
DecDigit -> DecDigit -> Bool
DecDigit -> DecDigit -> Ordering
DecDigit -> DecDigit -> DecDigit
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: DecDigit -> DecDigit -> DecDigit
$cmin :: DecDigit -> DecDigit -> DecDigit
max :: DecDigit -> DecDigit -> DecDigit
$cmax :: DecDigit -> DecDigit -> DecDigit
>= :: DecDigit -> DecDigit -> Bool
$c>= :: DecDigit -> DecDigit -> Bool
> :: DecDigit -> DecDigit -> Bool
$c> :: DecDigit -> DecDigit -> Bool
<= :: DecDigit -> DecDigit -> Bool
$c<= :: DecDigit -> DecDigit -> Bool
< :: DecDigit -> DecDigit -> Bool
$c< :: DecDigit -> DecDigit -> Bool
compare :: DecDigit -> DecDigit -> Ordering
$ccompare :: DecDigit -> DecDigit -> Ordering
$cp1Ord :: Eq DecDigit
Ord, Int -> DecDigit
DecDigit -> Int
DecDigit -> [DecDigit]
DecDigit -> DecDigit
DecDigit -> DecDigit -> [DecDigit]
DecDigit -> DecDigit -> DecDigit -> [DecDigit]
(DecDigit -> DecDigit)
-> (DecDigit -> DecDigit)
-> (Int -> DecDigit)
-> (DecDigit -> Int)
-> (DecDigit -> [DecDigit])
-> (DecDigit -> DecDigit -> [DecDigit])
-> (DecDigit -> DecDigit -> [DecDigit])
-> (DecDigit -> DecDigit -> DecDigit -> [DecDigit])
-> Enum DecDigit
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
enumFromThenTo :: DecDigit -> DecDigit -> DecDigit -> [DecDigit]
$cenumFromThenTo :: DecDigit -> DecDigit -> DecDigit -> [DecDigit]
enumFromTo :: DecDigit -> DecDigit -> [DecDigit]
$cenumFromTo :: DecDigit -> DecDigit -> [DecDigit]
enumFromThen :: DecDigit -> DecDigit -> [DecDigit]
$cenumFromThen :: DecDigit -> DecDigit -> [DecDigit]
enumFrom :: DecDigit -> [DecDigit]
$cenumFrom :: DecDigit -> [DecDigit]
fromEnum :: DecDigit -> Int
$cfromEnum :: DecDigit -> Int
toEnum :: Int -> DecDigit
$ctoEnum :: Int -> DecDigit
pred :: DecDigit -> DecDigit
$cpred :: DecDigit -> DecDigit
succ :: DecDigit -> DecDigit
$csucc :: DecDigit -> DecDigit
Enum, DecDigit
DecDigit -> DecDigit -> Bounded DecDigit
forall a. a -> a -> Bounded a
maxBound :: DecDigit
$cmaxBound :: DecDigit
minBound :: DecDigit
$cminBound :: DecDigit
Bounded)

makePrisms ''DecDigit

instance D0 DecDigit where; d0 :: p () (f ()) -> p DecDigit (f DecDigit)
d0 = p () (f ()) -> p DecDigit (f DecDigit)
Prism' DecDigit ()
_DecDigit0
instance D1 DecDigit where; d1 :: p () (f ()) -> p DecDigit (f DecDigit)
d1 = p () (f ()) -> p DecDigit (f DecDigit)
Prism' DecDigit ()
_DecDigit1
instance D2 DecDigit where; d2 :: p () (f ()) -> p DecDigit (f DecDigit)
d2 = p () (f ()) -> p DecDigit (f DecDigit)
Prism' DecDigit ()
_DecDigit2
instance D3 DecDigit where; d3 :: p () (f ()) -> p DecDigit (f DecDigit)
d3 = p () (f ()) -> p DecDigit (f DecDigit)
Prism' DecDigit ()
_DecDigit3
instance D4 DecDigit where; d4 :: p () (f ()) -> p DecDigit (f DecDigit)
d4 = p () (f ()) -> p DecDigit (f DecDigit)
Prism' DecDigit ()
_DecDigit4
instance D5 DecDigit where; d5 :: p () (f ()) -> p DecDigit (f DecDigit)
d5 = p () (f ()) -> p DecDigit (f DecDigit)
Prism' DecDigit ()
_DecDigit5
instance D6 DecDigit where; d6 :: p () (f ()) -> p DecDigit (f DecDigit)
d6 = p () (f ()) -> p DecDigit (f DecDigit)
Prism' DecDigit ()
_DecDigit6
instance D7 DecDigit where; d7 :: p () (f ()) -> p DecDigit (f DecDigit)
d7 = p () (f ()) -> p DecDigit (f DecDigit)
Prism' DecDigit ()
_DecDigit7
instance D8 DecDigit where; d8 :: p () (f ()) -> p DecDigit (f DecDigit)
d8 = p () (f ()) -> p DecDigit (f DecDigit)
Prism' DecDigit ()
_DecDigit8
instance D9 DecDigit where; d9 :: p () (f ()) -> p DecDigit (f DecDigit)
d9 = p () (f ()) -> p DecDigit (f DecDigit)
Prism' DecDigit ()
_DecDigit9

type DecimalNoZero d =
  (D1 d, D2 d, D3 d, D4 d, D5 d, D6 d, D7 d, D8 d, D9 d)

parseDecimalNoZero ::
  (DecimalNoZero d, CharParsing p) =>
  p d
parseDecimalNoZero :: p d
parseDecimalNoZero =
  [p d] -> p d
forall (m :: * -> *) a. Alternative m => [m a] -> m a
choice
    [
      p d
forall d (p :: * -> *). (D1 d, CharParsing p) => p d
parse1
    , p d
forall d (p :: * -> *). (D2 d, CharParsing p) => p d
parse2
    , p d
forall d (p :: * -> *). (D3 d, CharParsing p) => p d
parse3
    , p d
forall d (p :: * -> *). (D4 d, CharParsing p) => p d
parse4
    , p d
forall d (p :: * -> *). (D5 d, CharParsing p) => p d
parse5
    , p d
forall d (p :: * -> *). (D6 d, CharParsing p) => p d
parse6
    , p d
forall d (p :: * -> *). (D7 d, CharParsing p) => p d
parse7
    , p d
forall d (p :: * -> *). (D8 d, CharParsing p) => p d
parse8
    , p d
forall d (p :: * -> *). (D9 d, CharParsing p) => p d
parse9
    ] p d -> String -> p d
forall (m :: * -> *) a. Parsing m => m a -> String -> m a
<?> String
"DecimalNoZero"

type Decimal d =
  (D0 d, DecimalNoZero d)

parseDecimal ::
  (Decimal d, CharParsing p) =>
  p d
parseDecimal :: p d
parseDecimal =
  [p d] -> p d
forall (m :: * -> *) a. Alternative m => [m a] -> m a
choice
    [
      p d
forall d (p :: * -> *). (D0 d, CharParsing p) => p d
parse0
    , p d
forall d (p :: * -> *). (DecimalNoZero d, CharParsing p) => p d
parseDecimalNoZero
    ] p d -> String -> p d
forall (m :: * -> *) a. Parsing m => m a -> String -> m a
<?> String
"Decimal"