{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-}
module Telegram.Bot.API.Methods.DeleteMessages where
import Data.Aeson (FromJSON (..), ToJSON (..))
import Data.Proxy
import GHC.Generics (Generic)
import Servant.API
import Servant.Client hiding (Response)
import Telegram.Bot.API.Internal.TH
import Telegram.Bot.API.Internal.Utils
import Telegram.Bot.API.MakingRequests
import Telegram.Bot.API.Types
type DeleteMessages = "deleteMessages"
:> ReqBody '[JSON] DeleteMessagesRequest
:> Post '[JSON] (Response Bool)
deleteMessages :: DeleteMessagesRequest -> ClientM (Response Bool)
deleteMessages :: DeleteMessagesRequest -> ClientM (Response Bool)
deleteMessages = Proxy DeleteMessages -> Client ClientM DeleteMessages
forall api.
HasClient ClientM api =>
Proxy api -> Client ClientM api
client (forall t. Proxy t
forall {k} (t :: k). Proxy t
Proxy @DeleteMessages)
data DeleteMessagesRequest = DeleteMessagesRequest
{ DeleteMessagesRequest -> ChatId
deleteMessagesRequestChatId :: ChatId
, DeleteMessagesRequest -> [MessageId]
deleteMessagesRequestMessageIds :: [MessageId]
} deriving (forall x. DeleteMessagesRequest -> Rep DeleteMessagesRequest x)
-> (forall x. Rep DeleteMessagesRequest x -> DeleteMessagesRequest)
-> Generic DeleteMessagesRequest
forall x. Rep DeleteMessagesRequest x -> DeleteMessagesRequest
forall x. DeleteMessagesRequest -> Rep DeleteMessagesRequest x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. DeleteMessagesRequest -> Rep DeleteMessagesRequest x
from :: forall x. DeleteMessagesRequest -> Rep DeleteMessagesRequest x
$cto :: forall x. Rep DeleteMessagesRequest x -> DeleteMessagesRequest
to :: forall x. Rep DeleteMessagesRequest x -> DeleteMessagesRequest
Generic
instance ToJSON DeleteMessagesRequest where toJSON :: DeleteMessagesRequest -> Value
toJSON = DeleteMessagesRequest -> Value
forall a (d :: Meta) (f :: * -> *).
(Generic a, GToJSON Zero (Rep a), Rep a ~ D1 d f, Datatype d) =>
a -> Value
gtoJSON
instance FromJSON DeleteMessagesRequest where parseJSON :: Value -> Parser DeleteMessagesRequest
parseJSON = Value -> Parser DeleteMessagesRequest
forall a (d :: Meta) (f :: * -> *).
(Generic a, GFromJSON Zero (Rep a), Rep a ~ D1 d f, Datatype d) =>
Value -> Parser a
gparseJSON
makeDefault ''DeleteMessagesRequest