{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DataKinds #-}
module Telegram.Bot.API.Passport where
import Data.Proxy
import Servant.API
import Servant.Client hiding (Response)
import Telegram.Bot.API.Types
import Telegram.Bot.API.MakingRequests
type SetPassportDataErrors
= "setPassportDataErrors"
:> RequiredQueryParam "user_id" UserId
:> RequiredQueryParam "errors" [PassportElementError]
:> Get '[JSON] (Response Bool)
setPassportDataErrors :: UserId -> [PassportElementError] -> ClientM (Response Bool)
setPassportDataErrors :: UserId -> [PassportElementError] -> ClientM (Response Bool)
setPassportDataErrors = Proxy SetPassportDataErrors -> Client ClientM SetPassportDataErrors
forall api.
HasClient ClientM api =>
Proxy api -> Client ClientM api
client (Proxy SetPassportDataErrors
forall k (t :: k). Proxy t
Proxy @SetPassportDataErrors)