module TD.Data.InputCall
(InputCall(..)) where
import qualified Data.Aeson as A
import qualified Data.Aeson.Types as AT
import qualified TD.Lib.Internal as I
data InputCall
= InputCallDiscarded
{ InputCall -> Maybe Int
call_id :: Maybe Int
}
| InputCallFromMessage
{ InputCall -> Maybe Int
chat_id :: Maybe Int
, InputCall -> Maybe Int
message_id :: Maybe Int
}
deriving (InputCall -> InputCall -> Bool
(InputCall -> InputCall -> Bool)
-> (InputCall -> InputCall -> Bool) -> Eq InputCall
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: InputCall -> InputCall -> Bool
== :: InputCall -> InputCall -> Bool
$c/= :: InputCall -> InputCall -> Bool
/= :: InputCall -> InputCall -> Bool
Eq, Int -> InputCall -> ShowS
[InputCall] -> ShowS
InputCall -> String
(Int -> InputCall -> ShowS)
-> (InputCall -> String)
-> ([InputCall] -> ShowS)
-> Show InputCall
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> InputCall -> ShowS
showsPrec :: Int -> InputCall -> ShowS
$cshow :: InputCall -> String
show :: InputCall -> String
$cshowList :: [InputCall] -> ShowS
showList :: [InputCall] -> ShowS
Show)
instance I.ShortShow InputCall where
shortShow :: InputCall -> String
shortShow InputCallDiscarded
{ call_id :: InputCall -> Maybe Int
call_id = Maybe Int
call_id_
}
= String
"InputCallDiscarded"
String -> ShowS
forall a. [a] -> [a] -> [a]
++ [String] -> String
I.cc
[ String
"call_id" String -> Maybe Int -> String
forall a. ShortShow a => String -> Maybe a -> String
`I.p` Maybe Int
call_id_
]
shortShow InputCallFromMessage
{ chat_id :: InputCall -> Maybe Int
chat_id = Maybe Int
chat_id_
, message_id :: InputCall -> Maybe Int
message_id = Maybe Int
message_id_
}
= String
"InputCallFromMessage"
String -> ShowS
forall a. [a] -> [a] -> [a]
++ [String] -> String
I.cc
[ String
"chat_id" String -> Maybe Int -> String
forall a. ShortShow a => String -> Maybe a -> String
`I.p` Maybe Int
chat_id_
, String
"message_id" String -> Maybe Int -> String
forall a. ShortShow a => String -> Maybe a -> String
`I.p` Maybe Int
message_id_
]
instance AT.FromJSON InputCall where
parseJSON :: Value -> Parser InputCall
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
"inputCallDiscarded" -> Value -> Parser InputCall
parseInputCallDiscarded Value
v
String
"inputCallFromMessage" -> Value -> Parser InputCall
parseInputCallFromMessage Value
v
String
_ -> Parser InputCall
forall a. Monoid a => a
mempty
where
parseInputCallDiscarded :: A.Value -> AT.Parser InputCall
parseInputCallDiscarded :: Value -> Parser InputCall
parseInputCallDiscarded = String -> (Object -> Parser InputCall) -> Value -> Parser InputCall
forall a. String -> (Object -> Parser a) -> Value -> Parser a
A.withObject String
"InputCallDiscarded" ((Object -> Parser InputCall) -> Value -> Parser InputCall)
-> (Object -> Parser InputCall) -> Value -> Parser InputCall
forall a b. (a -> b) -> a -> b
$ \Object
o -> do
Maybe Int
call_id_ <- Object
o Object -> Key -> Parser (Maybe Int)
forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
A..:? Key
"call_id"
InputCall -> Parser InputCall
forall a. a -> Parser a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (InputCall -> Parser InputCall) -> InputCall -> Parser InputCall
forall a b. (a -> b) -> a -> b
$ InputCallDiscarded
{ call_id :: Maybe Int
call_id = Maybe Int
call_id_
}
parseInputCallFromMessage :: A.Value -> AT.Parser InputCall
parseInputCallFromMessage :: Value -> Parser InputCall
parseInputCallFromMessage = String -> (Object -> Parser InputCall) -> Value -> Parser InputCall
forall a. String -> (Object -> Parser a) -> Value -> Parser a
A.withObject String
"InputCallFromMessage" ((Object -> Parser InputCall) -> Value -> Parser InputCall)
-> (Object -> Parser InputCall) -> Value -> Parser InputCall
forall a b. (a -> b) -> a -> b
$ \Object
o -> do
Maybe Int
chat_id_ <- Object
o Object -> Key -> Parser (Maybe Int)
forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
A..:? Key
"chat_id"
Maybe Int
message_id_ <- Object
o Object -> Key -> Parser (Maybe Int)
forall a. FromJSON a => Object -> Key -> Parser (Maybe a)
A..:? Key
"message_id"
InputCall -> Parser InputCall
forall a. a -> Parser a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (InputCall -> Parser InputCall) -> InputCall -> Parser InputCall
forall a b. (a -> b) -> a -> b
$ InputCallFromMessage
{ chat_id :: Maybe Int
chat_id = Maybe Int
chat_id_
, message_id :: Maybe Int
message_id = Maybe Int
message_id_
}
parseJSON Value
_ = Parser InputCall
forall a. Monoid a => a
mempty
instance AT.ToJSON InputCall where
toJSON :: InputCall -> Value
toJSON InputCallDiscarded
{ call_id :: InputCall -> Maybe Int
call_id = Maybe Int
call_id_
}
= [Pair] -> Value
A.object
[ Key
"@type" Key -> Value -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Key -> v -> kv
forall v. ToJSON v => Key -> v -> Pair
A..= Text -> Value
AT.String Text
"inputCallDiscarded"
, Key
"call_id" Key -> Maybe Int -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Key -> v -> kv
forall v. ToJSON v => Key -> v -> Pair
A..= Maybe Int
call_id_
]
toJSON InputCallFromMessage
{ chat_id :: InputCall -> Maybe Int
chat_id = Maybe Int
chat_id_
, message_id :: InputCall -> Maybe Int
message_id = Maybe Int
message_id_
}
= [Pair] -> Value
A.object
[ Key
"@type" Key -> Value -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Key -> v -> kv
forall v. ToJSON v => Key -> v -> Pair
A..= Text -> Value
AT.String Text
"inputCallFromMessage"
, Key
"chat_id" Key -> Maybe Int -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Key -> v -> kv
forall v. ToJSON v => Key -> v -> Pair
A..= Maybe Int
chat_id_
, Key
"message_id" Key -> Maybe Int -> Pair
forall kv v. (KeyValue kv, ToJSON v) => Key -> v -> kv
forall v. ToJSON v => Key -> v -> Pair
A..= Maybe Int
message_id_
]