{-# LANGUAGE DeriveFoldable             #-}
{-# LANGUAGE DeriveFunctor              #-}
{-# LANGUAGE DeriveGeneric              #-}
{-# LANGUAGE DeriveTraversable          #-}
{-# LANGUAGE DerivingStrategies         #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}

-- | Haskell types used to express standard protobuf wrapper message types.
module Google.Protobuf.Wrappers.Polymorphic
  ( Wrapped(..)
  ) where

import Control.DeepSeq (NFData)
import Data.Aeson (FromJSON, ToJSON)
import GHC.Generics (Generic)

-- | A Haskell type representing the standard protobuf wrapper
-- message that is associated with the given Haskell type.
--
-- Note that if Google ever adds wrappers for "sint..." or "...fixed..."
-- then this newtype could still be used, provided its type parameter
-- involves the appropriate combination of `Proto3.Suite.Types.Signed`
-- and/or `Proto3.Suite.Types.Fixed`.  Because the latter two types
-- are themselves newtypes, the corresponding coercions should work.
newtype Wrapped a = Wrapped a
  deriving ((forall m. Monoid m => Wrapped m -> m)
-> (forall m a. Monoid m => (a -> m) -> Wrapped a -> m)
-> (forall m a. Monoid m => (a -> m) -> Wrapped a -> m)
-> (forall a b. (a -> b -> b) -> b -> Wrapped a -> b)
-> (forall a b. (a -> b -> b) -> b -> Wrapped a -> b)
-> (forall b a. (b -> a -> b) -> b -> Wrapped a -> b)
-> (forall b a. (b -> a -> b) -> b -> Wrapped a -> b)
-> (forall a. (a -> a -> a) -> Wrapped a -> a)
-> (forall a. (a -> a -> a) -> Wrapped a -> a)
-> (forall a. Wrapped a -> [a])
-> (forall a. Wrapped a -> Bool)
-> (forall a. Wrapped a -> Int)
-> (forall a. Eq a => a -> Wrapped a -> Bool)
-> (forall a. Ord a => Wrapped a -> a)
-> (forall a. Ord a => Wrapped a -> a)
-> (forall a. Num a => Wrapped a -> a)
-> (forall a. Num a => Wrapped a -> a)
-> Foldable Wrapped
forall a. Eq a => a -> Wrapped a -> Bool
forall a. Num a => Wrapped a -> a
forall a. Ord a => Wrapped a -> a
forall m. Monoid m => Wrapped m -> m
forall a. Wrapped a -> Bool
forall a. Wrapped a -> Int
forall a. Wrapped a -> [a]
forall a. (a -> a -> a) -> Wrapped a -> a
forall m a. Monoid m => (a -> m) -> Wrapped a -> m
forall b a. (b -> a -> b) -> b -> Wrapped a -> b
forall a b. (a -> b -> b) -> b -> Wrapped a -> b
forall (t :: * -> *).
(forall m. Monoid m => t m -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. t a -> [a])
-> (forall a. t a -> Bool)
-> (forall a. t a -> Int)
-> (forall a. Eq a => a -> t a -> Bool)
-> (forall a. Ord a => t a -> a)
-> (forall a. Ord a => t a -> a)
-> (forall a. Num a => t a -> a)
-> (forall a. Num a => t a -> a)
-> Foldable t
$cfold :: forall m. Monoid m => Wrapped m -> m
fold :: forall m. Monoid m => Wrapped m -> m
$cfoldMap :: forall m a. Monoid m => (a -> m) -> Wrapped a -> m
foldMap :: forall m a. Monoid m => (a -> m) -> Wrapped a -> m
$cfoldMap' :: forall m a. Monoid m => (a -> m) -> Wrapped a -> m
foldMap' :: forall m a. Monoid m => (a -> m) -> Wrapped a -> m
$cfoldr :: forall a b. (a -> b -> b) -> b -> Wrapped a -> b
foldr :: forall a b. (a -> b -> b) -> b -> Wrapped a -> b
$cfoldr' :: forall a b. (a -> b -> b) -> b -> Wrapped a -> b
foldr' :: forall a b. (a -> b -> b) -> b -> Wrapped a -> b
$cfoldl :: forall b a. (b -> a -> b) -> b -> Wrapped a -> b
foldl :: forall b a. (b -> a -> b) -> b -> Wrapped a -> b
$cfoldl' :: forall b a. (b -> a -> b) -> b -> Wrapped a -> b
foldl' :: forall b a. (b -> a -> b) -> b -> Wrapped a -> b
$cfoldr1 :: forall a. (a -> a -> a) -> Wrapped a -> a
foldr1 :: forall a. (a -> a -> a) -> Wrapped a -> a
$cfoldl1 :: forall a. (a -> a -> a) -> Wrapped a -> a
foldl1 :: forall a. (a -> a -> a) -> Wrapped a -> a
$ctoList :: forall a. Wrapped a -> [a]
toList :: forall a. Wrapped a -> [a]
$cnull :: forall a. Wrapped a -> Bool
null :: forall a. Wrapped a -> Bool
$clength :: forall a. Wrapped a -> Int
length :: forall a. Wrapped a -> Int
$celem :: forall a. Eq a => a -> Wrapped a -> Bool
elem :: forall a. Eq a => a -> Wrapped a -> Bool
$cmaximum :: forall a. Ord a => Wrapped a -> a
maximum :: forall a. Ord a => Wrapped a -> a
$cminimum :: forall a. Ord a => Wrapped a -> a
minimum :: forall a. Ord a => Wrapped a -> a
$csum :: forall a. Num a => Wrapped a -> a
sum :: forall a. Num a => Wrapped a -> a
$cproduct :: forall a. Num a => Wrapped a -> a
product :: forall a. Num a => Wrapped a -> a
Foldable, (forall a b. (a -> b) -> Wrapped a -> Wrapped b)
-> (forall a b. a -> Wrapped b -> Wrapped a) -> Functor Wrapped
forall a b. a -> Wrapped b -> Wrapped a
forall a b. (a -> b) -> Wrapped a -> Wrapped b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
$cfmap :: forall a b. (a -> b) -> Wrapped a -> Wrapped b
fmap :: forall a b. (a -> b) -> Wrapped a -> Wrapped b
$c<$ :: forall a b. a -> Wrapped b -> Wrapped a
<$ :: forall a b. a -> Wrapped b -> Wrapped a
Functor, (forall x. Wrapped a -> Rep (Wrapped a) x)
-> (forall x. Rep (Wrapped a) x -> Wrapped a)
-> Generic (Wrapped a)
forall x. Rep (Wrapped a) x -> Wrapped a
forall x. Wrapped a -> Rep (Wrapped a) x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
forall a x. Rep (Wrapped a) x -> Wrapped a
forall a x. Wrapped a -> Rep (Wrapped a) x
$cfrom :: forall a x. Wrapped a -> Rep (Wrapped a) x
from :: forall x. Wrapped a -> Rep (Wrapped a) x
$cto :: forall a x. Rep (Wrapped a) x -> Wrapped a
to :: forall x. Rep (Wrapped a) x -> Wrapped a
Generic, Int -> Wrapped a -> ShowS
[Wrapped a] -> ShowS
Wrapped a -> String
(Int -> Wrapped a -> ShowS)
-> (Wrapped a -> String)
-> ([Wrapped a] -> ShowS)
-> Show (Wrapped a)
forall a. Show a => Int -> Wrapped a -> ShowS
forall a. Show a => [Wrapped a] -> ShowS
forall a. Show a => Wrapped a -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: forall a. Show a => Int -> Wrapped a -> ShowS
showsPrec :: Int -> Wrapped a -> ShowS
$cshow :: forall a. Show a => Wrapped a -> String
show :: Wrapped a -> String
$cshowList :: forall a. Show a => [Wrapped a] -> ShowS
showList :: [Wrapped a] -> ShowS
Show, Functor Wrapped
Foldable Wrapped
(Functor Wrapped, Foldable Wrapped) =>
(forall (f :: * -> *) a b.
 Applicative f =>
 (a -> f b) -> Wrapped a -> f (Wrapped b))
-> (forall (f :: * -> *) a.
    Applicative f =>
    Wrapped (f a) -> f (Wrapped a))
-> (forall (m :: * -> *) a b.
    Monad m =>
    (a -> m b) -> Wrapped a -> m (Wrapped b))
-> (forall (m :: * -> *) a.
    Monad m =>
    Wrapped (m a) -> m (Wrapped a))
-> Traversable Wrapped
forall (t :: * -> *).
(Functor t, Foldable t) =>
(forall (f :: * -> *) a b.
 Applicative f =>
 (a -> f b) -> t a -> f (t b))
-> (forall (f :: * -> *) a. Applicative f => t (f a) -> f (t a))
-> (forall (m :: * -> *) a b.
    Monad m =>
    (a -> m b) -> t a -> m (t b))
-> (forall (m :: * -> *) a. Monad m => t (m a) -> m (t a))
-> Traversable t
forall (m :: * -> *) a. Monad m => Wrapped (m a) -> m (Wrapped a)
forall (f :: * -> *) a.
Applicative f =>
Wrapped (f a) -> f (Wrapped a)
forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> Wrapped a -> m (Wrapped b)
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> Wrapped a -> f (Wrapped b)
$ctraverse :: forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> Wrapped a -> f (Wrapped b)
traverse :: forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> Wrapped a -> f (Wrapped b)
$csequenceA :: forall (f :: * -> *) a.
Applicative f =>
Wrapped (f a) -> f (Wrapped a)
sequenceA :: forall (f :: * -> *) a.
Applicative f =>
Wrapped (f a) -> f (Wrapped a)
$cmapM :: forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> Wrapped a -> m (Wrapped b)
mapM :: forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> Wrapped a -> m (Wrapped b)
$csequence :: forall (m :: * -> *) a. Monad m => Wrapped (m a) -> m (Wrapped a)
sequence :: forall (m :: * -> *) a. Monad m => Wrapped (m a) -> m (Wrapped a)
Traversable)
  deriving newtype (Wrapped a
Wrapped a -> Wrapped a -> Bounded (Wrapped a)
forall a. a -> a -> Bounded a
forall a. Bounded a => Wrapped a
$cminBound :: forall a. Bounded a => Wrapped a
minBound :: Wrapped a
$cmaxBound :: forall a. Bounded a => Wrapped a
maxBound :: Wrapped a
Bounded, Int -> Wrapped a
Wrapped a -> Int
Wrapped a -> [Wrapped a]
Wrapped a -> Wrapped a
Wrapped a -> Wrapped a -> [Wrapped a]
Wrapped a -> Wrapped a -> Wrapped a -> [Wrapped a]
(Wrapped a -> Wrapped a)
-> (Wrapped a -> Wrapped a)
-> (Int -> Wrapped a)
-> (Wrapped a -> Int)
-> (Wrapped a -> [Wrapped a])
-> (Wrapped a -> Wrapped a -> [Wrapped a])
-> (Wrapped a -> Wrapped a -> [Wrapped a])
-> (Wrapped a -> Wrapped a -> Wrapped a -> [Wrapped a])
-> Enum (Wrapped a)
forall a. Enum a => Int -> Wrapped a
forall a. Enum a => Wrapped a -> Int
forall a. Enum a => Wrapped a -> [Wrapped a]
forall a. Enum a => Wrapped a -> Wrapped a
forall a. Enum a => Wrapped a -> Wrapped a -> [Wrapped a]
forall a.
Enum a =>
Wrapped a -> Wrapped a -> Wrapped a -> [Wrapped a]
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
$csucc :: forall a. Enum a => Wrapped a -> Wrapped a
succ :: Wrapped a -> Wrapped a
$cpred :: forall a. Enum a => Wrapped a -> Wrapped a
pred :: Wrapped a -> Wrapped a
$ctoEnum :: forall a. Enum a => Int -> Wrapped a
toEnum :: Int -> Wrapped a
$cfromEnum :: forall a. Enum a => Wrapped a -> Int
fromEnum :: Wrapped a -> Int
$cenumFrom :: forall a. Enum a => Wrapped a -> [Wrapped a]
enumFrom :: Wrapped a -> [Wrapped a]
$cenumFromThen :: forall a. Enum a => Wrapped a -> Wrapped a -> [Wrapped a]
enumFromThen :: Wrapped a -> Wrapped a -> [Wrapped a]
$cenumFromTo :: forall a. Enum a => Wrapped a -> Wrapped a -> [Wrapped a]
enumFromTo :: Wrapped a -> Wrapped a -> [Wrapped a]
$cenumFromThenTo :: forall a.
Enum a =>
Wrapped a -> Wrapped a -> Wrapped a -> [Wrapped a]
enumFromThenTo :: Wrapped a -> Wrapped a -> Wrapped a -> [Wrapped a]
Enum, Wrapped a -> Wrapped a -> Bool
(Wrapped a -> Wrapped a -> Bool)
-> (Wrapped a -> Wrapped a -> Bool) -> Eq (Wrapped a)
forall a. Eq a => Wrapped a -> Wrapped a -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: forall a. Eq a => Wrapped a -> Wrapped a -> Bool
== :: Wrapped a -> Wrapped a -> Bool
$c/= :: forall a. Eq a => Wrapped a -> Wrapped a -> Bool
/= :: Wrapped a -> Wrapped a -> Bool
Eq, Maybe (Wrapped a)
Value -> Parser [Wrapped a]
Value -> Parser (Wrapped a)
(Value -> Parser (Wrapped a))
-> (Value -> Parser [Wrapped a])
-> Maybe (Wrapped a)
-> FromJSON (Wrapped a)
forall a. FromJSON a => Maybe (Wrapped a)
forall a. FromJSON a => Value -> Parser [Wrapped a]
forall a. FromJSON a => Value -> Parser (Wrapped a)
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: forall a. FromJSON a => Value -> Parser (Wrapped a)
parseJSON :: Value -> Parser (Wrapped a)
$cparseJSONList :: forall a. FromJSON a => Value -> Parser [Wrapped a]
parseJSONList :: Value -> Parser [Wrapped a]
$comittedField :: forall a. FromJSON a => Maybe (Wrapped a)
omittedField :: Maybe (Wrapped a)
FromJSON, Semigroup (Wrapped a)
Wrapped a
Semigroup (Wrapped a) =>
Wrapped a
-> (Wrapped a -> Wrapped a -> Wrapped a)
-> ([Wrapped a] -> Wrapped a)
-> Monoid (Wrapped a)
[Wrapped a] -> Wrapped a
Wrapped a -> Wrapped a -> Wrapped a
forall a.
Semigroup a =>
a -> (a -> a -> a) -> ([a] -> a) -> Monoid a
forall a. Monoid a => Semigroup (Wrapped a)
forall a. Monoid a => Wrapped a
forall a. Monoid a => [Wrapped a] -> Wrapped a
forall a. Monoid a => Wrapped a -> Wrapped a -> Wrapped a
$cmempty :: forall a. Monoid a => Wrapped a
mempty :: Wrapped a
$cmappend :: forall a. Monoid a => Wrapped a -> Wrapped a -> Wrapped a
mappend :: Wrapped a -> Wrapped a -> Wrapped a
$cmconcat :: forall a. Monoid a => [Wrapped a] -> Wrapped a
mconcat :: [Wrapped a] -> Wrapped a
Monoid,
                    Wrapped a -> ()
(Wrapped a -> ()) -> NFData (Wrapped a)
forall a. NFData a => Wrapped a -> ()
forall a. (a -> ()) -> NFData a
$crnf :: forall a. NFData a => Wrapped a -> ()
rnf :: Wrapped a -> ()
NFData, Integer -> Wrapped a
Wrapped a -> Wrapped a
Wrapped a -> Wrapped a -> Wrapped a
(Wrapped a -> Wrapped a -> Wrapped a)
-> (Wrapped a -> Wrapped a -> Wrapped a)
-> (Wrapped a -> Wrapped a -> Wrapped a)
-> (Wrapped a -> Wrapped a)
-> (Wrapped a -> Wrapped a)
-> (Wrapped a -> Wrapped a)
-> (Integer -> Wrapped a)
-> Num (Wrapped a)
forall a. Num a => Integer -> Wrapped a
forall a. Num a => Wrapped a -> Wrapped a
forall a. Num a => Wrapped a -> Wrapped a -> Wrapped a
forall a.
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (Integer -> a)
-> Num a
$c+ :: forall a. Num a => Wrapped a -> Wrapped a -> Wrapped a
+ :: Wrapped a -> Wrapped a -> Wrapped a
$c- :: forall a. Num a => Wrapped a -> Wrapped a -> Wrapped a
- :: Wrapped a -> Wrapped a -> Wrapped a
$c* :: forall a. Num a => Wrapped a -> Wrapped a -> Wrapped a
* :: Wrapped a -> Wrapped a -> Wrapped a
$cnegate :: forall a. Num a => Wrapped a -> Wrapped a
negate :: Wrapped a -> Wrapped a
$cabs :: forall a. Num a => Wrapped a -> Wrapped a
abs :: Wrapped a -> Wrapped a
$csignum :: forall a. Num a => Wrapped a -> Wrapped a
signum :: Wrapped a -> Wrapped a
$cfromInteger :: forall a. Num a => Integer -> Wrapped a
fromInteger :: Integer -> Wrapped a
Num, Eq (Wrapped a)
Eq (Wrapped a) =>
(Wrapped a -> Wrapped a -> Ordering)
-> (Wrapped a -> Wrapped a -> Bool)
-> (Wrapped a -> Wrapped a -> Bool)
-> (Wrapped a -> Wrapped a -> Bool)
-> (Wrapped a -> Wrapped a -> Bool)
-> (Wrapped a -> Wrapped a -> Wrapped a)
-> (Wrapped a -> Wrapped a -> Wrapped a)
-> Ord (Wrapped a)
Wrapped a -> Wrapped a -> Bool
Wrapped a -> Wrapped a -> Ordering
Wrapped a -> Wrapped a -> Wrapped a
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
forall a. Ord a => Eq (Wrapped a)
forall a. Ord a => Wrapped a -> Wrapped a -> Bool
forall a. Ord a => Wrapped a -> Wrapped a -> Ordering
forall a. Ord a => Wrapped a -> Wrapped a -> Wrapped a
$ccompare :: forall a. Ord a => Wrapped a -> Wrapped a -> Ordering
compare :: Wrapped a -> Wrapped a -> Ordering
$c< :: forall a. Ord a => Wrapped a -> Wrapped a -> Bool
< :: Wrapped a -> Wrapped a -> Bool
$c<= :: forall a. Ord a => Wrapped a -> Wrapped a -> Bool
<= :: Wrapped a -> Wrapped a -> Bool
$c> :: forall a. Ord a => Wrapped a -> Wrapped a -> Bool
> :: Wrapped a -> Wrapped a -> Bool
$c>= :: forall a. Ord a => Wrapped a -> Wrapped a -> Bool
>= :: Wrapped a -> Wrapped a -> Bool
$cmax :: forall a. Ord a => Wrapped a -> Wrapped a -> Wrapped a
max :: Wrapped a -> Wrapped a -> Wrapped a
$cmin :: forall a. Ord a => Wrapped a -> Wrapped a -> Wrapped a
min :: Wrapped a -> Wrapped a -> Wrapped a
Ord, NonEmpty (Wrapped a) -> Wrapped a
Wrapped a -> Wrapped a -> Wrapped a
(Wrapped a -> Wrapped a -> Wrapped a)
-> (NonEmpty (Wrapped a) -> Wrapped a)
-> (forall b. Integral b => b -> Wrapped a -> Wrapped a)
-> Semigroup (Wrapped a)
forall b. Integral b => b -> Wrapped a -> Wrapped a
forall a. Semigroup a => NonEmpty (Wrapped a) -> Wrapped a
forall a. Semigroup a => Wrapped a -> Wrapped a -> Wrapped a
forall a b.
(Semigroup a, Integral b) =>
b -> Wrapped a -> Wrapped a
forall a.
(a -> a -> a)
-> (NonEmpty a -> a)
-> (forall b. Integral b => b -> a -> a)
-> Semigroup a
$c<> :: forall a. Semigroup a => Wrapped a -> Wrapped a -> Wrapped a
<> :: Wrapped a -> Wrapped a -> Wrapped a
$csconcat :: forall a. Semigroup a => NonEmpty (Wrapped a) -> Wrapped a
sconcat :: NonEmpty (Wrapped a) -> Wrapped a
$cstimes :: forall a b.
(Semigroup a, Integral b) =>
b -> Wrapped a -> Wrapped a
stimes :: forall b. Integral b => b -> Wrapped a -> Wrapped a
Semigroup, [Wrapped a] -> Value
[Wrapped a] -> Encoding
Wrapped a -> Bool
Wrapped a -> Value
Wrapped a -> Encoding
(Wrapped a -> Value)
-> (Wrapped a -> Encoding)
-> ([Wrapped a] -> Value)
-> ([Wrapped a] -> Encoding)
-> (Wrapped a -> Bool)
-> ToJSON (Wrapped a)
forall a. ToJSON a => [Wrapped a] -> Value
forall a. ToJSON a => [Wrapped a] -> Encoding
forall a. ToJSON a => Wrapped a -> Bool
forall a. ToJSON a => Wrapped a -> Value
forall a. ToJSON a => Wrapped a -> Encoding
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: forall a. ToJSON a => Wrapped a -> Value
toJSON :: Wrapped a -> Value
$ctoEncoding :: forall a. ToJSON a => Wrapped a -> Encoding
toEncoding :: Wrapped a -> Encoding
$ctoJSONList :: forall a. ToJSON a => [Wrapped a] -> Value
toJSONList :: [Wrapped a] -> Value
$ctoEncodingList :: forall a. ToJSON a => [Wrapped a] -> Encoding
toEncodingList :: [Wrapped a] -> Encoding
$comitField :: forall a. ToJSON a => Wrapped a -> Bool
omitField :: Wrapped a -> Bool
ToJSON)