{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-}
module Telegram.Bot.API.Methods.GetChat where
import Data.Proxy
import Servant.API
import Servant.Client hiding (Response)
import Telegram.Bot.API.MakingRequests
import Telegram.Bot.API.Types
type GetChat = "getChat"
:> RequiredQueryParam "chat_id" SomeChatId
:> Post '[JSON] (Response Chat)
getChat :: SomeChatId
-> ClientM (Response Chat)
getChat :: SomeChatId -> ClientM (Response Chat)
getChat = forall api.
HasClient ClientM api =>
Proxy api -> Client ClientM api
client (forall {k} (t :: k). Proxy t
Proxy @GetChat)