module TD.Data.PassportElementError
  (PassportElementError(..)) where

import qualified Data.Aeson as A
import qualified Data.Aeson.Types as AT
import qualified TD.Lib.Internal as I
import qualified TD.Data.PassportElementType as PassportElementType
import qualified Data.Text as T
import qualified TD.Data.PassportElementErrorSource as PassportElementErrorSource

data PassportElementError
  = PassportElementError -- ^ Contains the description of an error in a Telegram Passport element
    { PassportElementError -> Maybe PassportElementType
_type   :: Maybe PassportElementType.PassportElementType               -- ^ Type of the Telegram Passport element which has the error
    , PassportElementError -> Maybe Text
message :: Maybe T.Text                                                -- ^ Error message
    , PassportElementError -> Maybe PassportElementErrorSource
source  :: Maybe PassportElementErrorSource.PassportElementErrorSource -- ^ Error source
    }
  deriving (PassportElementError -> PassportElementError -> Bool
(PassportElementError -> PassportElementError -> Bool)
-> (PassportElementError -> PassportElementError -> Bool)
-> Eq PassportElementError
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PassportElementError -> PassportElementError -> Bool
== :: PassportElementError -> PassportElementError -> Bool
$c/= :: PassportElementError -> PassportElementError -> Bool
/= :: PassportElementError -> PassportElementError -> Bool
Eq, Int -> PassportElementError -> ShowS
[PassportElementError] -> ShowS
PassportElementError -> String
(Int -> PassportElementError -> ShowS)
-> (PassportElementError -> String)
-> ([PassportElementError] -> ShowS)
-> Show PassportElementError
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> PassportElementError -> ShowS
showsPrec :: Int -> PassportElementError -> ShowS
$cshow :: PassportElementError -> String
show :: PassportElementError -> String
$cshowList :: [PassportElementError] -> ShowS
showList :: [PassportElementError] -> ShowS
Show)

instance I.ShortShow PassportElementError where
  shortShow :: PassportElementError -> String
shortShow PassportElementError
    { _type :: PassportElementError -> Maybe PassportElementType
_type   = Maybe PassportElementType
_type_
    , message :: PassportElementError -> Maybe Text
message = Maybe Text
message_
    , source :: PassportElementError -> Maybe PassportElementErrorSource
source  = Maybe PassportElementErrorSource
source_
    }
      = String
"PassportElementError"
        String -> ShowS
forall a. [a] -> [a] -> [a]
++ [String] -> String
I.cc
        [ String
"_type"   String -> Maybe PassportElementType -> String
forall a. ShortShow a => String -> Maybe a -> String
`I.p` Maybe PassportElementType
_type_
        , String
"message" String -> Maybe Text -> String
forall a. ShortShow a => String -> Maybe a -> String
`I.p` Maybe Text
message_
        , String
"source"  String -> Maybe PassportElementErrorSource -> String
forall a. ShortShow a => String -> Maybe a -> String
`I.p` Maybe PassportElementErrorSource
source_
        ]

instance AT.FromJSON PassportElementError where
  parseJSON :: Value -> Parser PassportElementError
parseJSON v :: Value
v@(AT.Object Object
obj) = do
    String
t <- Object
obj Object -> Key -> Parser String
forall a. FromJSON a => Object -> Key -> Parser a
A..: Key
"@type" :: AT.Parser String

    case String
t of
      String
"passportElementError" -> Value -> Parser PassportElementError
parsePassportElementError Value
v
      String
_                      -> Parser PassportElementError
forall a. Monoid a => a
mempty
    
    where
      parsePassportElementError :: A.Value -> AT.Parser PassportElementError
      parsePassportElementError :: Value -> Parser PassportElementError
parsePassportElementError = String
-> (Object -> Parser PassportElementError)
-> Value
-> Parser PassportElementError
forall a. String -> (Object -> Parser a) -> Value -> Parser a
A.withObject String
"PassportElementError" ((Object -> Parser PassportElementError)
 -> Value -> Parser PassportElementError)
-> (Object -> Parser PassportElementError)
-> Value
-> Parser PassportElementError
forall a b. (a -> b) -> a -> b
$ \Object
o -> do
        Maybe PassportElementType
_type_   <- Object
o Object -> Key -> Parser (Maybe PassportElementType)
forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
A..:?  Key
"type"
        Maybe Text
message_ <- Object
o Object -> Key -> Parser (Maybe Text)
forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
A..:?  Key
"message"
        Maybe PassportElementErrorSource
source_  <- Object
o Object -> Key -> Parser (Maybe PassportElementErrorSource)
forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
A..:?  Key
"source"
        PassportElementError -> Parser PassportElementError
forall a. a -> Parser a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (PassportElementError -> Parser PassportElementError)
-> PassportElementError -> Parser PassportElementError
forall a b. (a -> b) -> a -> b
$ PassportElementError
          { _type :: Maybe PassportElementType
_type   = Maybe PassportElementType
_type_
          , message :: Maybe Text
message = Maybe Text
message_
          , source :: Maybe PassportElementErrorSource
source  = Maybe PassportElementErrorSource
source_
          }
  parseJSON Value
_ = Parser PassportElementError
forall a. Monoid a => a
mempty