{-# LANGUAGE DataKinds                  #-}
{-# LANGUAGE DeriveGeneric              #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE RecordWildCards            #-}
{-# LANGUAGE TypeApplications           #-}
{-# LANGUAGE TypeOperators              #-}
module Telegram.Bot.API.GettingUpdates where

import           Data.Aeson                      (FromJSON (..), ToJSON (..))
import           Data.Foldable                   (asum)
import           Data.Proxy
import           GHC.Generics                    (Generic)

import           Servant.API
import           Servant.Client                  hiding (Response)

import           Telegram.Bot.API.Internal.Utils
import           Telegram.Bot.API.MakingRequests
import           Telegram.Bot.API.Types
import           Telegram.Bot.API.InlineMode

-- ** 'Update'

newtype UpdateId = UpdateId Int
  deriving (UpdateId -> UpdateId -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: UpdateId -> UpdateId -> Bool
$c/= :: UpdateId -> UpdateId -> Bool
== :: UpdateId -> UpdateId -> Bool
$c== :: UpdateId -> UpdateId -> Bool
Eq, Eq UpdateId
UpdateId -> UpdateId -> Bool
UpdateId -> UpdateId -> Ordering
UpdateId -> UpdateId -> UpdateId
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
min :: UpdateId -> UpdateId -> UpdateId
$cmin :: UpdateId -> UpdateId -> UpdateId
max :: UpdateId -> UpdateId -> UpdateId
$cmax :: UpdateId -> UpdateId -> UpdateId
>= :: UpdateId -> UpdateId -> Bool
$c>= :: UpdateId -> UpdateId -> Bool
> :: UpdateId -> UpdateId -> Bool
$c> :: UpdateId -> UpdateId -> Bool
<= :: UpdateId -> UpdateId -> Bool
$c<= :: UpdateId -> UpdateId -> Bool
< :: UpdateId -> UpdateId -> Bool
$c< :: UpdateId -> UpdateId -> Bool
compare :: UpdateId -> UpdateId -> Ordering
$ccompare :: UpdateId -> UpdateId -> Ordering
Ord, Int -> UpdateId -> ShowS
[UpdateId] -> ShowS
UpdateId -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [UpdateId] -> ShowS
$cshowList :: [UpdateId] -> ShowS
show :: UpdateId -> String
$cshow :: UpdateId -> String
showsPrec :: Int -> UpdateId -> ShowS
$cshowsPrec :: Int -> UpdateId -> ShowS
Show, [UpdateId] -> Encoding
[UpdateId] -> Value
UpdateId -> Encoding
UpdateId -> Value
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> ToJSON a
toEncodingList :: [UpdateId] -> Encoding
$ctoEncodingList :: [UpdateId] -> Encoding
toJSONList :: [UpdateId] -> Value
$ctoJSONList :: [UpdateId] -> Value
toEncoding :: UpdateId -> Encoding
$ctoEncoding :: UpdateId -> Encoding
toJSON :: UpdateId -> Value
$ctoJSON :: UpdateId -> Value
ToJSON, Value -> Parser [UpdateId]
Value -> Parser UpdateId
forall a.
(Value -> Parser a) -> (Value -> Parser [a]) -> FromJSON a
parseJSONList :: Value -> Parser [UpdateId]
$cparseJSONList :: Value -> Parser [UpdateId]
parseJSON :: Value -> Parser UpdateId
$cparseJSON :: Value -> Parser UpdateId
FromJSON)

-- | This object represents an incoming update.
-- At most __one__ of the optional parameters can be present in any given update.
data Update = Update
  { Update -> UpdateId
updateUpdateId          :: UpdateId -- ^ The update‘s unique identifier. Update identifiers start from a certain positive number and increase sequentially. This ID becomes especially handy if you’re using Webhooks, since it allows you to ignore repeated updates or to restore the correct update sequence, should they get out of order. If there are no new updates for at least a week, then identifier of the next update will be chosen randomly instead of sequentially.
  , Update -> Maybe Message
updateMessage           :: Maybe Message -- ^ New incoming message of any kind — text, photo, sticker, etc.
  , Update -> Maybe Message
updateEditedMessage     :: Maybe Message -- ^ New version of a message that is known to the bot and was edited
  , Update -> Maybe Message
updateChannelPost       :: Maybe Message -- ^ New incoming channel post of any kind — text, photo, sticker, etc.
  , Update -> Maybe Message
updateEditedChannelPost :: Maybe Message -- ^ New version of a channel post that is known to the bot and was edited

  , Update -> Maybe InlineQuery
updateInlineQuery       :: Maybe InlineQuery -- ^ New incoming inline query

  , Update -> Maybe ChosenInlineResult
updateChosenInlineResult :: Maybe ChosenInlineResult -- ^ The result of an inline query that was chosen by a user and sent to their chat partner. Please see our documentation on the feedback collecting for details on how to enable these updates for your bot.

  , Update -> Maybe CallbackQuery
updateCallbackQuery     :: Maybe CallbackQuery -- ^ New incoming callback query

  , Update -> Maybe ShippingQuery
updateShippingQuery     :: Maybe ShippingQuery -- ^ New incoming shipping query. Only for invoices with flexible price
  , Update -> Maybe PreCheckoutQuery
updatePreCheckoutQuery  :: Maybe PreCheckoutQuery -- ^ New incoming pre-checkout query. Contains full information about checkout
  , Update -> Maybe Poll
updatePoll              :: Maybe Poll -- ^ New poll state. Bots receive only updates about stopped polls and polls, which are sent by the bot.
  , Update -> Maybe PollAnswer
updatePollAnswer        :: Maybe PollAnswer -- ^ A user changed their answer in a non-anonymous poll. Bots receive new votes only in polls that were sent by the bot itself.
  , Update -> Maybe ChatMemberUpdated
updateMyChatMember      :: Maybe ChatMemberUpdated -- ^ The bot's chat member status was updated in a chat. For private chats, this update is received only when the bot is blocked or unblocked by the user.
  , Update -> Maybe ChatMemberUpdated
updateChatMember        :: Maybe ChatMemberUpdated -- ^ A chat member's status was updated in a chat. The bot must be an administrator in the chat and must explicitly specify “chat_member” in the list of allowed_updates to receive these updates.
  , Update -> Maybe ChatJoinRequest
updateChatJoinRequest   :: Maybe ChatJoinRequest -- ^ A request to join the chat has been sent. The bot must have the can_invite_users administrator right in the chat to receive these updates.
  } deriving (forall x. Rep Update x -> Update
forall x. Update -> Rep Update x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Update x -> Update
$cfrom :: forall x. Update -> Rep Update x
Generic, Int -> Update -> ShowS
[Update] -> ShowS
Update -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Update] -> ShowS
$cshowList :: [Update] -> ShowS
show :: Update -> String
$cshow :: Update -> String
showsPrec :: Int -> Update -> ShowS
$cshowsPrec :: Int -> Update -> ShowS
Show)

instance ToJSON   Update where toJSON :: Update -> Value
toJSON = forall a (d :: Meta) (f :: * -> *).
(Generic a, GToJSON Zero (Rep a), Rep a ~ D1 d f, Datatype d) =>
a -> Value
gtoJSON
instance FromJSON Update where parseJSON :: Value -> Parser Update
parseJSON = forall a (d :: Meta) (f :: * -> *).
(Generic a, GFromJSON Zero (Rep a), Rep a ~ D1 d f, Datatype d) =>
Value -> Parser a
gparseJSON

updateChatId :: Update -> Maybe ChatId
updateChatId :: Update -> Maybe ChatId
updateChatId = forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (Chat -> ChatId
chatId forall b c a. (b -> c) -> (a -> b) -> a -> c
. Message -> Chat
messageChat) forall b c a. (b -> c) -> (a -> b) -> a -> c
. Update -> Maybe Message
extractUpdateMessage

extractUpdateMessage :: Update -> Maybe Message
extractUpdateMessage :: Update -> Maybe Message
extractUpdateMessage Update{Maybe ShippingQuery
Maybe PreCheckoutQuery
Maybe PollAnswer
Maybe Poll
Maybe Message
Maybe ChatMemberUpdated
Maybe ChatJoinRequest
Maybe CallbackQuery
Maybe ChosenInlineResult
Maybe InlineQuery
UpdateId
updateChatJoinRequest :: Maybe ChatJoinRequest
updateChatMember :: Maybe ChatMemberUpdated
updateMyChatMember :: Maybe ChatMemberUpdated
updatePollAnswer :: Maybe PollAnswer
updatePoll :: Maybe Poll
updatePreCheckoutQuery :: Maybe PreCheckoutQuery
updateShippingQuery :: Maybe ShippingQuery
updateCallbackQuery :: Maybe CallbackQuery
updateChosenInlineResult :: Maybe ChosenInlineResult
updateInlineQuery :: Maybe InlineQuery
updateEditedChannelPost :: Maybe Message
updateChannelPost :: Maybe Message
updateEditedMessage :: Maybe Message
updateMessage :: Maybe Message
updateUpdateId :: UpdateId
updateChatJoinRequest :: Update -> Maybe ChatJoinRequest
updateChatMember :: Update -> Maybe ChatMemberUpdated
updateMyChatMember :: Update -> Maybe ChatMemberUpdated
updatePollAnswer :: Update -> Maybe PollAnswer
updatePoll :: Update -> Maybe Poll
updatePreCheckoutQuery :: Update -> Maybe PreCheckoutQuery
updateShippingQuery :: Update -> Maybe ShippingQuery
updateCallbackQuery :: Update -> Maybe CallbackQuery
updateChosenInlineResult :: Update -> Maybe ChosenInlineResult
updateInlineQuery :: Update -> Maybe InlineQuery
updateEditedChannelPost :: Update -> Maybe Message
updateChannelPost :: Update -> Maybe Message
updateEditedMessage :: Update -> Maybe Message
updateMessage :: Update -> Maybe Message
updateUpdateId :: Update -> UpdateId
..} = forall (t :: * -> *) (f :: * -> *) a.
(Foldable t, Alternative f) =>
t (f a) -> f a
asum
  [ Maybe Message
updateMessage
  , Maybe Message
updateEditedMessage
  , Maybe Message
updateChannelPost
  , Maybe Message
updateEditedChannelPost
  , Maybe CallbackQuery
updateCallbackQuery forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= CallbackQuery -> Maybe Message
callbackQueryMessage
  ]

-- ** 'getUpdates'

type GetUpdates
  = "getUpdates" :> ReqBody '[JSON] GetUpdatesRequest :> Get '[JSON] (Response [Update])

-- | Use this method to receive incoming updates using long polling.
-- An list of 'Update' objects is returned.
--
-- NOTE: This method will not work if an outgoing webhook is set up.
--
-- NOTE: In order to avoid getting duplicate updates, recalculate offset after each server response.
getUpdates :: GetUpdatesRequest -> ClientM (Response [Update])
getUpdates :: GetUpdatesRequest -> ClientM (Response [Update])
getUpdates = forall api.
HasClient ClientM api =>
Proxy api -> Client ClientM api
client (forall {k} (t :: k). Proxy t
Proxy @GetUpdates)

-- | Request parameters for 'getUpdates'.
data GetUpdatesRequest = GetUpdatesRequest
  { GetUpdatesRequest -> Maybe UpdateId
getUpdatesOffset         :: Maybe UpdateId -- ^ Identifier of the first update to be returned. Must be greater by one than the highest among the identifiers of previously received updates. By default, updates starting with the earliest unconfirmed update are returned. An update is considered confirmed as soon as getUpdates is called with an offset higher than its update_id. The negative offset can be specified to retrieve updates starting from -offset update from the end of the updates queue. All previous updates will forgotten.
  , GetUpdatesRequest -> Maybe Int
getUpdatesLimit          :: Maybe Int -- ^ Limits the number of updates to be retrieved. Values between 1—100 are accepted. Defaults to 100.
  , GetUpdatesRequest -> Maybe Seconds
getUpdatesTimeout        :: Maybe Seconds -- ^ Timeout in seconds for long polling. Defaults to 0, i.e. usual short polling. Should be positive, short polling should be used for testing purposes only.
  , GetUpdatesRequest -> Maybe [UpdateType]
getUpdatesAllowedUpdates :: Maybe [UpdateType] -- ^ List the types of updates you want your bot to receive. For example, specify [“message”, “edited_channel_post”, “callback_query”] to only receive updates of these types. See GetUpdates for a complete list of available update types. Specify an empty list to receive all updates regardless of type (default). If not specified, the previous setting will be used. Please note that this parameter doesn't affect updates created before the call to the getUpdates, so unwanted updates may be received for a short period of time.
  } deriving (forall x. Rep GetUpdatesRequest x -> GetUpdatesRequest
forall x. GetUpdatesRequest -> Rep GetUpdatesRequest x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep GetUpdatesRequest x -> GetUpdatesRequest
$cfrom :: forall x. GetUpdatesRequest -> Rep GetUpdatesRequest x
Generic)

instance ToJSON   GetUpdatesRequest where toJSON :: GetUpdatesRequest -> Value
toJSON = forall a (d :: Meta) (f :: * -> *).
(Generic a, GToJSON Zero (Rep a), Rep a ~ D1 d f, Datatype d) =>
a -> Value
gtoJSON
instance FromJSON GetUpdatesRequest where parseJSON :: Value -> Parser GetUpdatesRequest
parseJSON = forall a (d :: Meta) (f :: * -> *).
(Generic a, GFromJSON Zero (Rep a), Rep a ~ D1 d f, Datatype d) =>
Value -> Parser a
gparseJSON

data UpdateType
  = UpdateMessage
  | UpdateEditedMessage
  | UpdateChannelPost
  | UpdateEditedChannelPost
  | UpdateInlineQuery
  | UpdateChosenInlineResult
  | UpdateCallbackQuery
  | UpdateShippingQuery
  | UpdatePreCheckoutQuery
  deriving (forall x. Rep UpdateType x -> UpdateType
forall x. UpdateType -> Rep UpdateType x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep UpdateType x -> UpdateType
$cfrom :: forall x. UpdateType -> Rep UpdateType x
Generic)

instance ToJSON   UpdateType where toJSON :: UpdateType -> Value
toJSON = forall a (d :: Meta) (f :: * -> *).
(Generic a, GToJSON Zero (Rep a), Rep a ~ D1 d f, Datatype d) =>
a -> Value
gtoJSON
instance FromJSON UpdateType where parseJSON :: Value -> Parser UpdateType
parseJSON = forall a (d :: Meta) (f :: * -> *).
(Generic a, GFromJSON Zero (Rep a), Rep a ~ D1 d f, Datatype d) =>
Value -> Parser a
gparseJSON