{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DataKinds #-}
module Telegram.Bot.API.Payments where

import Data.Aeson
import Data.Proxy
import Data.Text
import GHC.Generics (Generic)
import Servant.API
import Servant.Client hiding (Response)

import Telegram.Bot.API.Internal.Utils
import Telegram.Bot.API.Types
import Telegram.Bot.API.MakingRequests
import Telegram.Bot.API.Internal.TH (makeDefault)

-- * Methods

-- ** 'sendInvoice'

data SendInvoiceRequest = SendInvoiceRequest
  { SendInvoiceRequest -> ChatId
sendInvoiceChatId                    :: ChatId                     -- ^ Unique identifier for the target chat or username of the target channel (in the format @channelusername).
  , SendInvoiceRequest -> Maybe MessageThreadId
sendInvoiceMessageThreadId           :: Maybe MessageThreadId      -- ^ Unique identifier for the target message thread (topic) of the forum; for forum supergroups only.
  , SendInvoiceRequest -> Text
sendInvoiceTitle                     :: Text                       -- ^ Product name, 1-32 characters.
  , SendInvoiceRequest -> Text
sendInvoiceDescription               :: Text                       -- ^ Product description, 1-255 characters.
  , SendInvoiceRequest -> Text
sendInvoicePayload                   :: Text                       -- ^ Bot-defined invoice payload, 1-128 bytes. This will not be displayed to the user, use for your internal processes.
  , SendInvoiceRequest -> Text
sendInvoiceProviderToken             :: Text                       -- ^ Payments provider token, obtained via [\@Botfather](https://t.me/botfather). Pass an empty string for payments in [Telegram Stars](https://t.me/BotNews/90).
  , SendInvoiceRequest -> Text
sendInvoiceCurrency                  :: Text                       -- ^ Three-letter ISO 4217 currency code, see more on currencies.
  , SendInvoiceRequest -> [LabeledPrice]
sendInvoicePrices                    :: [LabeledPrice]             -- ^ Price breakdown, a JSON-serialized list of components (e.g. product price, tax, discount, delivery cost, delivery tax, bonus, etc.).
  , SendInvoiceRequest -> Maybe Integer
sendInvoiceMaxTipAmount              :: Maybe Integer              -- ^ The maximum accepted amount for tips in the smallest units of the currency (integer, not float\/double). For example, for a maximum tip of US$ 1.45 pass max_tip_amount = 145. See the exp parameter in currencies.json, it shows the number of digits past the decimal point for each currency (2 for the majority of currencies). Defaults to 0.
  , SendInvoiceRequest -> Maybe [Integer]
sendInvoiceequestSuggestedTipAmounts :: Maybe [Integer]            -- ^ A JSON-serialized array of suggested amounts of tips in the smallest units of the currency (integer, not float/double). At most 4 suggested tip amounts can be specified. The suggested tip amounts must be positive, passed in a strictly increased order and must not exceed max_tip_amount.
  , SendInvoiceRequest -> Maybe Text
sendInvoiceStartParameter            :: Maybe Text                 -- ^ Unique deep-linking parameter. If left empty, forwarded copies of the sent message will have a Pay button, allowing multiple users to pay directly from the forwarded message, using the same invoice. If non-empty, forwarded copies of the sent message will have a URL button with a deep link to the bot (instead of a Pay button), with the value used as the start parameter.
  , SendInvoiceRequest -> Maybe Text
sendInvoiceProviderData              :: Maybe Text                 -- ^ A JSON-serialized data about the invoice, which will be shared with the payment provider. A detailed description of required fields should be provided by the payment provider.
  , SendInvoiceRequest -> Maybe Text
sendInvoicePhotoUrl                  :: Maybe Text                 -- ^ URL of the product photo for the invoice. Can be a photo of the goods or a marketing image for a service. People like it better when they see what they are paying for.
  , SendInvoiceRequest -> Maybe Int
sendInvoicePhotoSize                 :: Maybe Int                  -- ^ Photo size.
  , SendInvoiceRequest -> Maybe Int
sendInvoicePhotoWidth                :: Maybe Int                  -- ^ Photo width.
  , SendInvoiceRequest -> Maybe Int
sendInvoicePhotoHeight               :: Maybe Int                  -- ^ Photo height.
  , SendInvoiceRequest -> Maybe Bool
sendInvoiceNeedName                  :: Maybe Bool                 -- ^ Pass 'True', if you require the user's full name to complete the order.
  , SendInvoiceRequest -> Maybe Bool
sendInvoiceNeedPhoneNumber           :: Maybe Bool                 -- ^ Pass 'True', if you require the user's phone number to complete the order.
  , SendInvoiceRequest -> Maybe Bool
sendInvoiceNeedEmail                 :: Maybe Bool                 -- ^ Pass 'True', if you require the user's email address to complete the order.
  , SendInvoiceRequest -> Maybe Bool
sendInvoiceNeedShippingAddress       :: Maybe Bool                 -- ^ Pass 'True', if you require the user's shipping address to complete the order.
  , SendInvoiceRequest -> Maybe Bool
sendInvoiceSendPhoneNumberToProvider :: Maybe Bool                 -- ^ Pass 'True', if you require the user's phone number to complete the order.
  , SendInvoiceRequest -> Maybe Bool
sendInvoiceSendEmailToProvider       :: Maybe Bool                 -- ^ Pass 'True', if user's email address should be sent to provider.
  , SendInvoiceRequest -> Maybe Bool
sendInvoiceIsFlexible                :: Maybe Bool                 -- ^ Pass 'True', if the final price depends on the shipping method.
  , SendInvoiceRequest -> Maybe Bool
sendInvoiceDisableNotification       :: Maybe Bool                 -- ^ Sends the message silently. Users will receive a notification with no sound.
  , SendInvoiceRequest -> Maybe Bool
sendInvoiceProtectContent            :: Maybe Bool                 -- ^ Protects the contents of the sent message from forwarding and saving.
  , SendInvoiceRequest -> Maybe Text
sendInvoiceMessageEffectId           :: Maybe Text                 -- ^ Unique identifier of the message effect to be added to the message; for private chats only.
  , SendInvoiceRequest -> Maybe MessageId
sendInvoiceReplyToMessageId          :: Maybe MessageId            -- ^ If the message is a reply, ID of the original message.
  , SendInvoiceRequest -> Maybe ReplyParameters
sendInvoiceReplyParameters           :: Maybe ReplyParameters      -- ^ Description of the message to reply to.
  , SendInvoiceRequest -> Maybe InlineKeyboardMarkup
sendInvoiceReplyMarkup               :: Maybe InlineKeyboardMarkup -- ^ A JSON-serialized object for an inline keyboard. If empty, one 'Pay total price' button will be shown. If not empty, the first button must be a Pay button.
  }
  deriving ((forall x. SendInvoiceRequest -> Rep SendInvoiceRequest x)
-> (forall x. Rep SendInvoiceRequest x -> SendInvoiceRequest)
-> Generic SendInvoiceRequest
forall x. Rep SendInvoiceRequest x -> SendInvoiceRequest
forall x. SendInvoiceRequest -> Rep SendInvoiceRequest x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. SendInvoiceRequest -> Rep SendInvoiceRequest x
from :: forall x. SendInvoiceRequest -> Rep SendInvoiceRequest x
$cto :: forall x. Rep SendInvoiceRequest x -> SendInvoiceRequest
to :: forall x. Rep SendInvoiceRequest x -> SendInvoiceRequest
Generic, Int -> SendInvoiceRequest -> ShowS
[SendInvoiceRequest] -> ShowS
SendInvoiceRequest -> String
(Int -> SendInvoiceRequest -> ShowS)
-> (SendInvoiceRequest -> String)
-> ([SendInvoiceRequest] -> ShowS)
-> Show SendInvoiceRequest
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> SendInvoiceRequest -> ShowS
showsPrec :: Int -> SendInvoiceRequest -> ShowS
$cshow :: SendInvoiceRequest -> String
show :: SendInvoiceRequest -> String
$cshowList :: [SendInvoiceRequest] -> ShowS
showList :: [SendInvoiceRequest] -> ShowS
Show)

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

type SendInvoice
  =  "sendInvoice"
  :> ReqBody '[JSON] SendInvoiceRequest
  :> Post '[JSON] (Response Message)

-- | Use this method to send invoices. On success, the sent 'Message' is returned.
sendInvoice :: SendInvoiceRequest -> ClientM (Response Message)
sendInvoice :: SendInvoiceRequest -> ClientM (Response Message)
sendInvoice = Proxy SendInvoice -> Client ClientM SendInvoice
forall api.
HasClient ClientM api =>
Proxy api -> Client ClientM api
client (forall t. Proxy t
forall {k} (t :: k). Proxy t
Proxy @SendInvoice)

-- ** 'createInvoiceLink'

data CreateInvoiceLinkRequest = CreateInvoiceLinkRequest
  { CreateInvoiceLinkRequest -> Text
createInvoiceLinkTitle                     :: Text            -- ^ Product name, 1-32 characters.
  , CreateInvoiceLinkRequest -> Text
createInvoiceLinkDescription               :: Text            -- ^ Product description, 1-255 characters.
  , CreateInvoiceLinkRequest -> Text
createInvoiceLinkPayload                   :: Text            -- ^ Bot-defined invoice payload, 1-128 bytes. This will not be displayed to the user, use for your internal processes.
  , CreateInvoiceLinkRequest -> Text
createInvoiceLinkProviderToken             :: Text            -- ^ Payments provider token, obtained via [\@Botfather](https://t.me/botfather). Pass an empty string for payments in [Telegram Stars](https://t.me/BotNews/90).
  , CreateInvoiceLinkRequest -> Text
createInvoiceLinkCurrency                  :: Text            -- ^ Three-letter ISO 4217 currency code, see more on currencies.
  , CreateInvoiceLinkRequest -> [LabeledPrice]
createInvoiceLinkPrices                    :: [LabeledPrice]  -- ^ Price breakdown, a JSON-serialized list of components (e.g. product price, tax, discount, delivery cost, delivery tax, bonus, etc.).
  , CreateInvoiceLinkRequest -> Maybe Integer
createInvoiceLinkMaxTipAmount              :: Maybe Integer   -- ^ The maximum accepted amount for tips in the smallest units of the currency (integer, not float\/double). For example, for a maximum tip of US$ 1.45 pass max_tip_amount = 145. See the exp parameter in currencies.json, it shows the number of digits past the decimal point for each currency (2 for the majority of currencies). Defaults to 0.
  , CreateInvoiceLinkRequest -> Maybe [Integer]
createInvoiceLinkSuggestedTipAmounts       :: Maybe [Integer] -- ^ A JSON-serialized array of suggested amounts of tips in the smallest units of the currency (integer, not float\/double). At most 4 suggested tip amounts can be specified. The suggested tip amounts must be positive, passed in a strictly increased order and must not exceed @max_tip_amount@.
  , CreateInvoiceLinkRequest -> Maybe Text
createInvoiceLinkProviderData              :: Maybe Text      -- ^ JSON-serialized data about the invoice, which will be shared with the payment provider. A detailed description of required fields should be provided by the payment provider.
  , CreateInvoiceLinkRequest -> Maybe Text
createInvoiceLinkPhotoUrl                  :: Maybe Text      -- ^ URL of the product photo for the invoice. Can be a photo of the goods or a marketing image for a service.
  , CreateInvoiceLinkRequest -> Maybe Int
createInvoiceLinkPhotoSize                 :: Maybe Int       -- ^ Photo size in bytes.
  , CreateInvoiceLinkRequest -> Maybe Int
createInvoiceLinkPhotoWidth                :: Maybe Int       -- ^ Photo width.
  , CreateInvoiceLinkRequest -> Maybe Int
createInvoiceLinkPhotoHeight               :: Maybe Int       -- ^ Photo height
  , CreateInvoiceLinkRequest -> Maybe Bool
createInvoiceLinkNeedName                  :: Maybe Bool      -- ^ Pass 'True' if you require the user's full name to complete the order.
  , CreateInvoiceLinkRequest -> Maybe Bool
createInvoiceLinkNeedPhoneNumber           :: Maybe Bool      -- ^ Pass 'True' if you require the user's phone number to complete the order.
  , CreateInvoiceLinkRequest -> Maybe Bool
createInvoiceLinkNeedEmail                 :: Maybe Bool      -- ^ Pass 'True' if you require the user's email address to complete the order.
  , CreateInvoiceLinkRequest -> Maybe Bool
createInvoiceLinkNeedShippingAddress       :: Maybe Bool      -- ^ Pass 'True' if you require the user's shipping address to complete the order.
  , CreateInvoiceLinkRequest -> Maybe Bool
createInvoiceLinkSendPhoneNumberToProvider :: Maybe Bool      -- ^ Pass 'True' if the user's phone number should be sent to the provider.
  , CreateInvoiceLinkRequest -> Maybe Bool
createInvoiceLinkSendEmailToProvider       :: Maybe Bool      -- ^ Pass 'True' if the user's email address should be sent to the provider.
  , CreateInvoiceLinkRequest -> Maybe Bool
createInvoiceLinkIsFlexible                :: Maybe Bool      -- ^ Pass 'True' if the final price depends on the shipping method.
  }
  deriving ((forall x.
 CreateInvoiceLinkRequest -> Rep CreateInvoiceLinkRequest x)
-> (forall x.
    Rep CreateInvoiceLinkRequest x -> CreateInvoiceLinkRequest)
-> Generic CreateInvoiceLinkRequest
forall x.
Rep CreateInvoiceLinkRequest x -> CreateInvoiceLinkRequest
forall x.
CreateInvoiceLinkRequest -> Rep CreateInvoiceLinkRequest x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
CreateInvoiceLinkRequest -> Rep CreateInvoiceLinkRequest x
from :: forall x.
CreateInvoiceLinkRequest -> Rep CreateInvoiceLinkRequest x
$cto :: forall x.
Rep CreateInvoiceLinkRequest x -> CreateInvoiceLinkRequest
to :: forall x.
Rep CreateInvoiceLinkRequest x -> CreateInvoiceLinkRequest
Generic, Int -> CreateInvoiceLinkRequest -> ShowS
[CreateInvoiceLinkRequest] -> ShowS
CreateInvoiceLinkRequest -> String
(Int -> CreateInvoiceLinkRequest -> ShowS)
-> (CreateInvoiceLinkRequest -> String)
-> ([CreateInvoiceLinkRequest] -> ShowS)
-> Show CreateInvoiceLinkRequest
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> CreateInvoiceLinkRequest -> ShowS
showsPrec :: Int -> CreateInvoiceLinkRequest -> ShowS
$cshow :: CreateInvoiceLinkRequest -> String
show :: CreateInvoiceLinkRequest -> String
$cshowList :: [CreateInvoiceLinkRequest] -> ShowS
showList :: [CreateInvoiceLinkRequest] -> ShowS
Show)

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

type CreateInvoiceLink
  =  "createInvoiceLink"
  :> ReqBody '[JSON] CreateInvoiceLinkRequest
  :> Post '[JSON] (Response Text)

-- | Use this method to create a link for an invoice. Returns the created invoice link as 'Text' on success.
createInvoiceLink :: CreateInvoiceLinkRequest -> ClientM (Response Text)
createInvoiceLink :: CreateInvoiceLinkRequest -> ClientM (Response Text)
createInvoiceLink = Proxy CreateInvoiceLink -> Client ClientM CreateInvoiceLink
forall api.
HasClient ClientM api =>
Proxy api -> Client ClientM api
client (forall t. Proxy t
forall {k} (t :: k). Proxy t
Proxy @CreateInvoiceLink)

-- ** 'answerShippingQuery'

data AnswerShippingQueryRequest = AnswerShippingQueryRequest
  { AnswerShippingQueryRequest -> Text
answerShippingQueryShippingQueryId :: Text                   -- ^ Unique identifier for the query to be answered.
  , AnswerShippingQueryRequest -> Bool
answerShippingQueryOk              :: Bool                   -- ^ Specify 'True' if delivery to the specified address is possible and 'False' if there are any problems (for example, if delivery to the specified address is not possible).
  , AnswerShippingQueryRequest -> Maybe [ShippingOption]
answerShippingQueryShippingOptions :: Maybe [ShippingOption] -- ^ Required if @ok@ is 'True'. A JSON-serialized array of available shipping options.
  , AnswerShippingQueryRequest -> Maybe Text
answerShippingQueryErrorMessage    :: Maybe Text             -- ^ Required if @ok@ is 'False'. Error message in human readable form that explains why it is impossible to complete the order (e.g. "Sorry, delivery to your desired address is unavailable'). Telegram will display this message to the user.
  }
  deriving ((forall x.
 AnswerShippingQueryRequest -> Rep AnswerShippingQueryRequest x)
-> (forall x.
    Rep AnswerShippingQueryRequest x -> AnswerShippingQueryRequest)
-> Generic AnswerShippingQueryRequest
forall x.
Rep AnswerShippingQueryRequest x -> AnswerShippingQueryRequest
forall x.
AnswerShippingQueryRequest -> Rep AnswerShippingQueryRequest x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
AnswerShippingQueryRequest -> Rep AnswerShippingQueryRequest x
from :: forall x.
AnswerShippingQueryRequest -> Rep AnswerShippingQueryRequest x
$cto :: forall x.
Rep AnswerShippingQueryRequest x -> AnswerShippingQueryRequest
to :: forall x.
Rep AnswerShippingQueryRequest x -> AnswerShippingQueryRequest
Generic, Int -> AnswerShippingQueryRequest -> ShowS
[AnswerShippingQueryRequest] -> ShowS
AnswerShippingQueryRequest -> String
(Int -> AnswerShippingQueryRequest -> ShowS)
-> (AnswerShippingQueryRequest -> String)
-> ([AnswerShippingQueryRequest] -> ShowS)
-> Show AnswerShippingQueryRequest
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> AnswerShippingQueryRequest -> ShowS
showsPrec :: Int -> AnswerShippingQueryRequest -> ShowS
$cshow :: AnswerShippingQueryRequest -> String
show :: AnswerShippingQueryRequest -> String
$cshowList :: [AnswerShippingQueryRequest] -> ShowS
showList :: [AnswerShippingQueryRequest] -> ShowS
Show)

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

type AnswerShippingQuery
  =  "answerShippingQuery"
  :> ReqBody '[JSON] AnswerShippingQueryRequest
  :> Post '[JSON] (Response Bool)

-- | If you sent an invoice requesting a shipping address and the parameter @is_flexible@ was specified, the Bot API will send an 'Update' with a @shipping_query@ field to the bot. Use this method to reply to shipping queries. On success, True is returned.
answerShippingQuery :: AnswerShippingQueryRequest -> ClientM (Response Bool)
answerShippingQuery :: AnswerShippingQueryRequest -> ClientM (Response Bool)
answerShippingQuery = Proxy AnswerShippingQuery -> Client ClientM AnswerShippingQuery
forall api.
HasClient ClientM api =>
Proxy api -> Client ClientM api
client (forall t. Proxy t
forall {k} (t :: k). Proxy t
Proxy @AnswerShippingQuery)

-- ** 'answerPreCheckoutQuery'

data AnswerPreCheckoutQueryRequest = AnswerPreCheckoutQueryRequest
  { AnswerPreCheckoutQueryRequest -> Text
answerPreCheckoutQueryPreCheckoutQueryId :: Text       -- ^ Unique identifier for the query to be answered.
  , AnswerPreCheckoutQueryRequest -> Bool
answerPreCheckoutQueryOk                 :: Bool       -- ^ Specify 'True' if everything is alright (goods are available, etc.) and the bot is ready to proceed with the order. Use False if there are any problems.
  , AnswerPreCheckoutQueryRequest -> Maybe Text
answerPreCheckoutQueryErrorMessage       :: Maybe Text -- ^ Required if @ok@ is 'False'. Error message in human readable form that explains the reason for failure to proceed with the checkout (e.g. "Sorry, somebody just bought the last of our amazing black T-shirts while you were busy filling out your payment details. Please choose a different color or garment!"). Telegram will display this message to the user.
  }
  deriving ((forall x.
 AnswerPreCheckoutQueryRequest
 -> Rep AnswerPreCheckoutQueryRequest x)
-> (forall x.
    Rep AnswerPreCheckoutQueryRequest x
    -> AnswerPreCheckoutQueryRequest)
-> Generic AnswerPreCheckoutQueryRequest
forall x.
Rep AnswerPreCheckoutQueryRequest x
-> AnswerPreCheckoutQueryRequest
forall x.
AnswerPreCheckoutQueryRequest
-> Rep AnswerPreCheckoutQueryRequest x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
AnswerPreCheckoutQueryRequest
-> Rep AnswerPreCheckoutQueryRequest x
from :: forall x.
AnswerPreCheckoutQueryRequest
-> Rep AnswerPreCheckoutQueryRequest x
$cto :: forall x.
Rep AnswerPreCheckoutQueryRequest x
-> AnswerPreCheckoutQueryRequest
to :: forall x.
Rep AnswerPreCheckoutQueryRequest x
-> AnswerPreCheckoutQueryRequest
Generic, Int -> AnswerPreCheckoutQueryRequest -> ShowS
[AnswerPreCheckoutQueryRequest] -> ShowS
AnswerPreCheckoutQueryRequest -> String
(Int -> AnswerPreCheckoutQueryRequest -> ShowS)
-> (AnswerPreCheckoutQueryRequest -> String)
-> ([AnswerPreCheckoutQueryRequest] -> ShowS)
-> Show AnswerPreCheckoutQueryRequest
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> AnswerPreCheckoutQueryRequest -> ShowS
showsPrec :: Int -> AnswerPreCheckoutQueryRequest -> ShowS
$cshow :: AnswerPreCheckoutQueryRequest -> String
show :: AnswerPreCheckoutQueryRequest -> String
$cshowList :: [AnswerPreCheckoutQueryRequest] -> ShowS
showList :: [AnswerPreCheckoutQueryRequest] -> ShowS
Show)

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

type AnswerPreCheckoutQuery
  =  "answerPreCheckoutQuery"
  :> ReqBody '[JSON] AnswerPreCheckoutQueryRequest
  :> Post '[JSON] (Response Bool)

-- | Once the user has confirmed their payment and shipping details, the Bot API sends the final confirmation in the form of an Update with the field pre_checkout_query. Use this method to respond to such pre-checkout queries. On success, 'True' is returned. Note: The Bot API must receive an answer within 10 seconds after the pre-checkout query was sent.
answerPreCheckoutQuery :: AnswerPreCheckoutQueryRequest -> ClientM (Response Bool)
answerPreCheckoutQuery :: AnswerPreCheckoutQueryRequest -> ClientM (Response Bool)
answerPreCheckoutQuery = Proxy AnswerPreCheckoutQuery
-> Client ClientM AnswerPreCheckoutQuery
forall api.
HasClient ClientM api =>
Proxy api -> Client ClientM api
client (forall t. Proxy t
forall {k} (t :: k). Proxy t
Proxy @AnswerPreCheckoutQuery)

-- ** 'refundStarPayment'

data RefundStarPaymentRequest = RefundStarPaymentRequest
  { RefundStarPaymentRequest -> UserId
refundStarPaymentUserId :: UserId -- ^ Identifier of the user whose payment will be refunded.
  , RefundStarPaymentRequest -> Text
refundStarPaymentTelegramPaymentChargeId :: Text -- ^ Telegram payment identifier.
  }
  deriving ((forall x.
 RefundStarPaymentRequest -> Rep RefundStarPaymentRequest x)
-> (forall x.
    Rep RefundStarPaymentRequest x -> RefundStarPaymentRequest)
-> Generic RefundStarPaymentRequest
forall x.
Rep RefundStarPaymentRequest x -> RefundStarPaymentRequest
forall x.
RefundStarPaymentRequest -> Rep RefundStarPaymentRequest x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x.
RefundStarPaymentRequest -> Rep RefundStarPaymentRequest x
from :: forall x.
RefundStarPaymentRequest -> Rep RefundStarPaymentRequest x
$cto :: forall x.
Rep RefundStarPaymentRequest x -> RefundStarPaymentRequest
to :: forall x.
Rep RefundStarPaymentRequest x -> RefundStarPaymentRequest
Generic, Int -> RefundStarPaymentRequest -> ShowS
[RefundStarPaymentRequest] -> ShowS
RefundStarPaymentRequest -> String
(Int -> RefundStarPaymentRequest -> ShowS)
-> (RefundStarPaymentRequest -> String)
-> ([RefundStarPaymentRequest] -> ShowS)
-> Show RefundStarPaymentRequest
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> RefundStarPaymentRequest -> ShowS
showsPrec :: Int -> RefundStarPaymentRequest -> ShowS
$cshow :: RefundStarPaymentRequest -> String
show :: RefundStarPaymentRequest -> String
$cshowList :: [RefundStarPaymentRequest] -> ShowS
showList :: [RefundStarPaymentRequest] -> ShowS
Show)

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

type RefundStarPayment
  =  "refundStarPayment"
  :> ReqBody '[JSON] RefundStarPaymentRequest
  :> Post '[JSON] (Response Bool)

-- | Refunds a successful payment in [Telegram Stars](https://t.me/BotNews/90). Returns 'True' on success.
refundStarPayment :: RefundStarPaymentRequest -> ClientM (Response Bool)
refundStarPayment :: RefundStarPaymentRequest -> ClientM (Response Bool)
refundStarPayment = Proxy RefundStarPayment -> Client ClientM RefundStarPayment
forall api.
HasClient ClientM api =>
Proxy api -> Client ClientM api
client (forall t. Proxy t
forall {k} (t :: k). Proxy t
Proxy @RefundStarPayment)

foldMap makeDefault
  [ ''SendInvoiceRequest
  , ''CreateInvoiceLinkRequest
  , ''AnswerShippingQueryRequest
  , ''AnswerPreCheckoutQueryRequest
  ]