module PostgresqlSyntax.Ast.IntervalSecond where

import PostgresqlSyntax.Algebra
import qualified PostgresqlSyntax.Extras.TextBuilder as TextBuilder
import qualified PostgresqlSyntax.Helpers.Parsers as Parsers
import qualified PostgresqlSyntax.Helpers.TextBuilders as TextBuilders
import PostgresqlSyntax.Prelude
import qualified Test.QuickCheck as Qc

-- |
-- ==== References
-- @
-- interval_second:
--   | SECOND_P
--   | SECOND_P '(' Iconst ')'
-- @
newtype IntervalSecond = IntervalSecond (Maybe Int64)
  deriving (Int -> IntervalSecond -> ShowS
[IntervalSecond] -> ShowS
IntervalSecond -> String
(Int -> IntervalSecond -> ShowS)
-> (IntervalSecond -> String)
-> ([IntervalSecond] -> ShowS)
-> Show IntervalSecond
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> IntervalSecond -> ShowS
showsPrec :: Int -> IntervalSecond -> ShowS
$cshow :: IntervalSecond -> String
show :: IntervalSecond -> String
$cshowList :: [IntervalSecond] -> ShowS
showList :: [IntervalSecond] -> ShowS
Show, (forall x. IntervalSecond -> Rep IntervalSecond x)
-> (forall x. Rep IntervalSecond x -> IntervalSecond)
-> Generic IntervalSecond
forall x. Rep IntervalSecond x -> IntervalSecond
forall x. IntervalSecond -> Rep IntervalSecond x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. IntervalSecond -> Rep IntervalSecond x
from :: forall x. IntervalSecond -> Rep IntervalSecond x
$cto :: forall x. Rep IntervalSecond x -> IntervalSecond
to :: forall x. Rep IntervalSecond x -> IntervalSecond
Generic, IntervalSecond -> IntervalSecond -> Bool
(IntervalSecond -> IntervalSecond -> Bool)
-> (IntervalSecond -> IntervalSecond -> Bool) -> Eq IntervalSecond
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: IntervalSecond -> IntervalSecond -> Bool
== :: IntervalSecond -> IntervalSecond -> Bool
$c/= :: IntervalSecond -> IntervalSecond -> Bool
/= :: IntervalSecond -> IntervalSecond -> Bool
Eq, Eq IntervalSecond
Eq IntervalSecond =>
(IntervalSecond -> IntervalSecond -> Ordering)
-> (IntervalSecond -> IntervalSecond -> Bool)
-> (IntervalSecond -> IntervalSecond -> Bool)
-> (IntervalSecond -> IntervalSecond -> Bool)
-> (IntervalSecond -> IntervalSecond -> Bool)
-> (IntervalSecond -> IntervalSecond -> IntervalSecond)
-> (IntervalSecond -> IntervalSecond -> IntervalSecond)
-> Ord IntervalSecond
IntervalSecond -> IntervalSecond -> Bool
IntervalSecond -> IntervalSecond -> Ordering
IntervalSecond -> IntervalSecond -> IntervalSecond
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
$ccompare :: IntervalSecond -> IntervalSecond -> Ordering
compare :: IntervalSecond -> IntervalSecond -> Ordering
$c< :: IntervalSecond -> IntervalSecond -> Bool
< :: IntervalSecond -> IntervalSecond -> Bool
$c<= :: IntervalSecond -> IntervalSecond -> Bool
<= :: IntervalSecond -> IntervalSecond -> Bool
$c> :: IntervalSecond -> IntervalSecond -> Bool
> :: IntervalSecond -> IntervalSecond -> Bool
$c>= :: IntervalSecond -> IntervalSecond -> Bool
>= :: IntervalSecond -> IntervalSecond -> Bool
$cmax :: IntervalSecond -> IntervalSecond -> IntervalSecond
max :: IntervalSecond -> IntervalSecond -> IntervalSecond
$cmin :: IntervalSecond -> IntervalSecond -> IntervalSecond
min :: IntervalSecond -> IntervalSecond -> IntervalSecond
Ord, Typeable IntervalSecond
Typeable IntervalSecond =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> IntervalSecond -> c IntervalSecond)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c IntervalSecond)
-> (IntervalSecond -> Constr)
-> (IntervalSecond -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c IntervalSecond))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c IntervalSecond))
-> ((forall b. Data b => b -> b)
    -> IntervalSecond -> IntervalSecond)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> IntervalSecond -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> IntervalSecond -> r)
-> (forall u.
    (forall d. Data d => d -> u) -> IntervalSecond -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> IntervalSecond -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d)
    -> IntervalSecond -> m IntervalSecond)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> IntervalSecond -> m IntervalSecond)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d)
    -> IntervalSecond -> m IntervalSecond)
-> Data IntervalSecond
IntervalSecond -> Constr
IntervalSecond -> DataType
(forall b. Data b => b -> b) -> IntervalSecond -> IntervalSecond
forall a.
Typeable a =>
(forall (c :: * -> *).
 (forall d b. Data d => c (d -> b) -> d -> c b)
 -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u.
Int -> (forall d. Data d => d -> u) -> IntervalSecond -> u
forall u. (forall d. Data d => d -> u) -> IntervalSecond -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> IntervalSecond -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> IntervalSecond -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> IntervalSecond -> m IntervalSecond
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> IntervalSecond -> m IntervalSecond
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c IntervalSecond
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> IntervalSecond -> c IntervalSecond
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c IntervalSecond)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c IntervalSecond)
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> IntervalSecond -> c IntervalSecond
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> IntervalSecond -> c IntervalSecond
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c IntervalSecond
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c IntervalSecond
$ctoConstr :: IntervalSecond -> Constr
toConstr :: IntervalSecond -> Constr
$cdataTypeOf :: IntervalSecond -> DataType
dataTypeOf :: IntervalSecond -> DataType
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c IntervalSecond)
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c IntervalSecond)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c IntervalSecond)
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c IntervalSecond)
$cgmapT :: (forall b. Data b => b -> b) -> IntervalSecond -> IntervalSecond
gmapT :: (forall b. Data b => b -> b) -> IntervalSecond -> IntervalSecond
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> IntervalSecond -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> IntervalSecond -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> IntervalSecond -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> IntervalSecond -> r
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> IntervalSecond -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> IntervalSecond -> [u]
$cgmapQi :: forall u.
Int -> (forall d. Data d => d -> u) -> IntervalSecond -> u
gmapQi :: forall u.
Int -> (forall d. Data d => d -> u) -> IntervalSecond -> u
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> IntervalSecond -> m IntervalSecond
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> IntervalSecond -> m IntervalSecond
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> IntervalSecond -> m IntervalSecond
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> IntervalSecond -> m IntervalSecond
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> IntervalSecond -> m IntervalSecond
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> IntervalSecond -> m IntervalSecond
Data)

instance IsAst IntervalSecond where
  toTextBuilder :: Settings -> IntervalSecond -> TextBuilder
toTextBuilder Settings
_settings (IntervalSecond Maybe Int64
a) = case Maybe Int64
a of
    Maybe Int64
Nothing -> TextBuilder
"SECOND"
    Just Int64
a' -> TextBuilder
"SECOND " TextBuilder -> TextBuilder -> TextBuilder
forall a. Semigroup a => a -> a -> a
<> TextBuilder -> TextBuilder
TextBuilders.renderInParens (Int64 -> TextBuilder
TextBuilder.int64Dec Int64
a')
  parser :: Settings -> Parser IntervalSecond
parser Settings
_settings = do
    Text -> HeadedParsec Void Text Text
forall {s} {e}.
(Tokens s ~ Text, Token s ~ Char, Ord e, Stream s) =>
Text -> HeadedParsec e s Text
Parsers.keyword Text
"second"
    Maybe Int64
a <- HeadedParsec Void Text Int64
-> HeadedParsec Void Text (Maybe Int64)
forall (f :: * -> *) a. Alternative f => f a -> f (Maybe a)
optional (HeadedParsec Void Text ()
forall err strm.
(Ord err, Stream strm, Token strm ~ Char) =>
HeadedParsec err strm ()
Parsers.space HeadedParsec Void Text ()
-> HeadedParsec Void Text Int64 -> HeadedParsec Void Text Int64
forall a b.
HeadedParsec Void Text a
-> HeadedParsec Void Text b -> HeadedParsec Void Text b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> HeadedParsec Void Text Int64 -> HeadedParsec Void Text Int64
forall a. Parser a -> Parser a
Parsers.inParens HeadedParsec Void Text Int64
forall err strm decimal.
(Ord err, Stream strm, Token strm ~ Char, Integral decimal) =>
HeadedParsec err strm decimal
Parsers.decimal)
    return (Maybe Int64 -> IntervalSecond
IntervalSecond Maybe Int64
a)

instance Qc.Arbitrary IntervalSecond where
  shrink :: IntervalSecond -> [IntervalSecond]
shrink = IntervalSecond -> [IntervalSecond]
forall a.
(Generic a, RecursivelyShrink (Rep a), GSubterms (Rep a) a) =>
a -> [a]
Qc.genericShrink
  arbitrary :: Gen IntervalSecond
arbitrary = Maybe Int64 -> IntervalSecond
IntervalSecond (Maybe Int64 -> IntervalSecond)
-> Gen (Maybe Int64) -> Gen IntervalSecond
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Gen (Maybe Int64)] -> Gen (Maybe Int64)
forall a. HasCallStack => [Gen a] -> Gen a
Qc.oneof [Maybe Int64 -> Gen (Maybe Int64)
forall a. a -> Gen a
forall (f :: * -> *) a. Applicative f => a -> f a
pure Maybe Int64
forall a. Maybe a
Nothing, Int64 -> Maybe Int64
forall a. a -> Maybe a
Just (Int64 -> Maybe Int64) -> Gen Int64 -> Gen (Maybe Int64)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Gen Int64
forall {a}. (Random a, Num a, Bounded a) => Gen a
nonNegative]
    where
      nonNegative :: Gen a
nonNegative = (Int -> Gen a) -> Gen a
forall a. (Int -> Gen a) -> Gen a
Qc.sized (\Int
n -> (a, a) -> Gen a
forall a. Random a => (a, a) -> Gen a
Qc.choose (a
0, Int -> a
forall {b} {a}. (Bounded a, Integral b, Num a) => b -> a
cap Int
n))
      cap :: b -> a
cap b
n
        | b
n b -> b -> Bool
forall a. Ord a => a -> a -> Bool
>= b
62 = a
forall a. Bounded a => a
maxBound
        | Bool
otherwise = a
2 a -> b -> a
forall a b. (Num a, Integral b) => a -> b -> a
^ b
n