-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Easy to use library for building Telegram bots.
--   
--   Please see the README on Github at
--   <a>https://github.com/fizruk/telegram-bot-simple#readme</a>
@package telegram-bot-simple
@version 0.4

module Telegram.Bot.API.Internal.Utils
deriveJSON' :: Name -> Q [Dec]
gtoJSON :: forall a d f. (Generic a, GToJSON Zero (Rep a), Rep a ~ D1 d f, Datatype d) => a -> Value
gparseJSON :: forall a d f. (Generic a, GFromJSON Zero (Rep a), Rep a ~ D1 d f, Datatype d) => Value -> Parser a
genericSomeToJSON :: (Generic a, GSomeJSON (Rep a)) => a -> Value
genericSomeParseJSON :: (Generic a, GSomeJSON (Rep a)) => Value -> Parser a
data Proxy3 d f a
Proxy3 :: Proxy3 d f a
jsonOptions :: String -> Options
snakeFieldModifier :: String -> String -> String
camelWords :: String -> [String]
stripCommonPrefix :: Eq a => [a] -> [a] -> [a]
wordsToCamel :: [String] -> String
wordsToSnake :: [String] -> String
capitalise :: String -> String
stripCommonPrefixWords :: String -> String -> [String]
class GSomeJSON f
gsomeToJSON :: GSomeJSON f => f p -> Value
gsomeParseJSON :: GSomeJSON f => Value -> Parser (f p)
addJsonFields :: Value -> [Pair] -> Value
addMultipartFields :: [Input] -> MultipartData tag -> MultipartData tag
instance forall k (f :: k -> *) (d :: GHC.Generics.Meta). Telegram.Bot.API.Internal.Utils.GSomeJSON f => Telegram.Bot.API.Internal.Utils.GSomeJSON (GHC.Generics.D1 d f)
instance (Data.Aeson.Types.ToJSON.ToJSON a, Data.Aeson.Types.FromJSON.FromJSON a) => Telegram.Bot.API.Internal.Utils.GSomeJSON (GHC.Generics.C1 c (GHC.Generics.S1 s (GHC.Generics.K1 i a)))
instance forall k (f :: k -> *) (g :: k -> *). (Telegram.Bot.API.Internal.Utils.GSomeJSON f, Telegram.Bot.API.Internal.Utils.GSomeJSON g) => Telegram.Bot.API.Internal.Utils.GSomeJSON (f GHC.Generics.:+: g)
instance GHC.Base.Semigroup a => GHC.Base.Semigroup (Language.Haskell.TH.Syntax.Q a)
instance GHC.Base.Monoid a => GHC.Base.Monoid (Language.Haskell.TH.Syntax.Q a)

module Telegram.Bot.API.InlineMode.InputMessageContent

-- | Represents the content of a text message to be sent as the result of
--   an inline query.
data InputMessageContent

-- | Represents the <a>content</a> of a text message to be sent as the
--   result of an inline query.
InputTextMessageContent :: Text -> Maybe Text -> Maybe Bool -> InputMessageContent

-- | Text of the message to be sent, 1-4096 characters
[inputMessageContentMessageText] :: InputMessageContent -> Text

-- | Mode for parsing entities in the message text. See <a>formatting
--   options</a> for more details.
[inputMessageContentParseMode] :: InputMessageContent -> Maybe Text

-- | Disables link previews for links in the sent message
[inputMessageContentDisableWebPagePrefiew] :: InputMessageContent -> Maybe Bool

-- | Represents the <a>content</a> of a location message to be sent as the
--   result of an inline query.
InputLocationMessageContent :: Float -> Float -> Maybe Float -> Maybe Integer -> Maybe Integer -> Maybe Integer -> InputMessageContent

-- | Latitude of the location in degrees
[inputMessageContentLatitude] :: InputMessageContent -> Float

-- | Longitude of the location in degrees
[inputMessageContentLongitude] :: InputMessageContent -> Float

-- | The radius of uncertainty for the location, measured in meters; 0-1500
[inputMessageContentHorizontalAccuracy] :: InputMessageContent -> Maybe Float

-- | Period in seconds for which the location can be updated, should be
--   between 60 and 86400.
[inputMessageContentLivePeriod] :: InputMessageContent -> Maybe Integer

-- | For live locations, a direction in which the user is moving, in
--   degrees. Must be between 1 and 360 if specified.
[inputMessageContentHeading] :: InputMessageContent -> Maybe Integer

-- | For live locations, a maximum distance for proximity alerts about
--   approaching another chat member, in meters. Must be between 1 and
--   100000 if specified.
[inputMessageContentProximityAlertRadius] :: InputMessageContent -> Maybe Integer

-- | Represents the content of a <a>venue</a> message to be sent as the
--   result of an inline query.
InputVenueMessageContent :: Float -> Float -> Text -> Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> InputMessageContent

-- | Latitude of the location in degrees
[inputMessageContentLatitude] :: InputMessageContent -> Float

-- | Longitude of the location in degrees
[inputMessageContentLongitude] :: InputMessageContent -> Float

-- | Name of the venue
[inputMessageContentTitle] :: InputMessageContent -> Text

-- | Address of the venue
[inputMessageContentAddress] :: InputMessageContent -> Text

-- | Foursquare identifier of the venue, if known
[inputMessageContentFoursquareId] :: InputMessageContent -> Maybe Text

-- | Foursquare type of the venue, if known. (For example,
--   “arts_entertainment/default”, “arts_entertainment/aquarium” or
--   “food/icecream”.)
[inputMessageContentFoursquareType] :: InputMessageContent -> Maybe Text

-- | Google Places identifier of the venue
[inputMessageContentGooglePlaceId] :: InputMessageContent -> Maybe Text

-- | Google Places type of the venue. (See <a>supported types</a>.)
[inputMessageContentGooglePlaceType] :: InputMessageContent -> Maybe Text

-- | Represents the <a>content</a> of a contact message to be sent as the
--   result of an inline query.
InputContactMessageContent :: Text -> Text -> Maybe Text -> Maybe Text -> InputMessageContent

-- | Contact's phone number
[inputMessageContentPhoneNumber] :: InputMessageContent -> Text

-- | Contact's first name
[inputMessageContentFirstName] :: InputMessageContent -> Text

-- | Contact's last name
[inputMessageContentSecondName] :: InputMessageContent -> Maybe Text

-- | Additional data about the contact in the form of a <a>vCard</a>,
--   0-2048 bytes
[inputMessageContentVcard] :: InputMessageContent -> Maybe Text
defaultInputTextMessageContent :: Text -> InputMessageContent
defaultInputLocationMessageContent :: Float -> Float -> InputMessageContent
instance GHC.Show.Show Telegram.Bot.API.InlineMode.InputMessageContent.InputMessageContent
instance GHC.Generics.Generic Telegram.Bot.API.InlineMode.InputMessageContent.InputMessageContent
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.InlineMode.InputMessageContent.InputMessageContent
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.InlineMode.InputMessageContent.InputMessageContent

module Telegram.Bot.API.Types
type RequiredQueryParam = QueryParam' '[Required, Strict]
newtype Seconds
Seconds :: Int32 -> Seconds

-- | This object represents a Telegram user or bot.
--   
--   <a>https://core.telegram.org/bots/api#user</a>
data User
User :: UserId -> Bool -> Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Bool -> Maybe Bool -> Maybe Bool -> User

-- | Unique identifier for this user or bot.
[$sel:userId:User] :: User -> UserId

-- | <a>True</a>, if this user is a bot.
[$sel:userIsBot:User] :: User -> Bool

-- | User's or bot's first name.
[$sel:userFirstName:User] :: User -> Text

-- | User‘s or bot’s last name.
[$sel:userLastName:User] :: User -> Maybe Text

-- | User‘s or bot’s username.
[$sel:userUsername:User] :: User -> Maybe Text

-- | IETF language tag of the user's language.
[$sel:userLanguageCode:User] :: User -> Maybe Text

-- | <a>True</a>, if the bot can be invited to groups. Returned only in
--   <tt>getMe</tt>.
[$sel:userCanJoinGroups:User] :: User -> Maybe Bool

-- | <a>True</a>, if privacy mode is disabled for the bot. Returned only in
--   <tt>getMe</tt>.
[$sel:userCanReadAllGroupMessages:User] :: User -> Maybe Bool

-- | <a>True</a>, if the bot supports inline queries. Returned only in
--   <tt>getMe</tt>.
[$sel:userSupportsInlineQueries:User] :: User -> Maybe Bool

-- | Unique identifier for this user or bot.
newtype UserId
UserId :: Integer -> UserId

-- | This object represents a chat.
--   
--   <a>https://core.telegram.org/bots/api#chat</a>
data Chat
Chat :: ChatId -> ChatType -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe ChatPhoto -> Maybe Text -> Maybe Bool -> Maybe Text -> Maybe Text -> Maybe Message -> Maybe ChatPermissions -> Maybe Int -> Maybe POSIXTime -> Maybe Bool -> Maybe Text -> Maybe Bool -> Maybe ChatId -> Maybe ChatLocation -> Chat

-- | Unique identifier for this chat. This number may be greater than 32
--   bits and some programming languages may have difficulty/silent defects
--   in interpreting it. But it is smaller than 52 bits, so a signed 64 bit
--   integer or double-precision float type are safe for storing this
--   identifier.
[$sel:chatId:Chat] :: Chat -> ChatId

-- | Type of chat.
[$sel:chatType:Chat] :: Chat -> ChatType

-- | Title, for supergroups, channels and group chats
[$sel:chatTitle:Chat] :: Chat -> Maybe Text

-- | Username, for private chats, supergroups and channels if available
[$sel:chatUsername:Chat] :: Chat -> Maybe Text

-- | First name of the other party in a private chat
[$sel:chatFirstName:Chat] :: Chat -> Maybe Text

-- | Last name of the other party in a private chat
[$sel:chatLastName:Chat] :: Chat -> Maybe Text

-- | Chat photo. Returned only in getChat.
[$sel:chatPhoto:Chat] :: Chat -> Maybe ChatPhoto

-- | Bio of the other party in a private chat. Returned only in
--   <tt>getChat</tt>.
[$sel:chatBio:Chat] :: Chat -> Maybe Text

-- | <a>True</a>, if privacy settings of the other party in the private
--   chat allows to use `tg://user?id=<a>user_id</a>` links only in chats
--   with the user. Returned only in getChat.
[$sel:chatHasPrivateForwards:Chat] :: Chat -> Maybe Bool

-- | Description, for supergroups and channel chats. Returned only in
--   getChat.
[$sel:chatDescription:Chat] :: Chat -> Maybe Text

-- | Chat invite link, for supergroups and channel chats. Returned only in
--   getChat.
[$sel:chatInviteLink:Chat] :: Chat -> Maybe Text

-- | Pinned message, for supergroups. Returned only in getChat.
[$sel:chatPinnedMessage:Chat] :: Chat -> Maybe Message

-- | Default chat member permissions, for groups and supergroups.
[$sel:chatPermissions:Chat] :: Chat -> Maybe ChatPermissions

-- | For supergroups, the minimum allowed delay between consecutive
--   messages sent by each unpriviledged user; in seconds.
[$sel:chatSlowModeDelay:Chat] :: Chat -> Maybe Int

-- | The time after which all messages sent to the chat will be
--   automatically deleted; in seconds.
[$sel:chatMessageAutoDeleteTime:Chat] :: Chat -> Maybe POSIXTime

-- | <a>True</a>, if messages from the chat can't be forwarded to other
--   chats.
[$sel:chatHasProtectedContent:Chat] :: Chat -> Maybe Bool

-- | For supergroups, name of group sticker set. Returned only in getChat.
[$sel:chatStickerSetName:Chat] :: Chat -> Maybe Text

-- | True, if the bot can change the group sticker set. Returned only in
--   <tt>getChat</tt>.
[$sel:chatCanSetStickerSet:Chat] :: Chat -> Maybe Bool

-- | Unique identifier for the linked chat, i.e. the discussion group
--   identifier for a channel and vice versa; for supergroups and channel
--   chats. This identifier may be greater than 32 bits and some
--   programming languages may have difficulty/silent defects in
--   interpreting it. But it is smaller than 52 bits, so a signed 64 bit
--   integer or double-precision float type are safe for storing this
--   identifier.
[$sel:chatLinkedChatId:Chat] :: Chat -> Maybe ChatId

-- | For supergroups, the location to which the supergroup is connected.
--   Returned only in getChat.
[$sel:chatLocation:Chat] :: Chat -> Maybe ChatLocation

-- | Unique identifier for this chat.
newtype ChatId
ChatId :: Integer -> ChatId

-- | Type of chat.
data ChatType
ChatTypePrivate :: ChatType
ChatTypeGroup :: ChatType
ChatTypeSupergroup :: ChatType
ChatTypeChannel :: ChatType

-- | This object represents a message.
data Message
Message :: MessageId -> Maybe User -> Maybe Chat -> POSIXTime -> Chat -> Maybe User -> Maybe Chat -> Maybe MessageId -> Maybe Text -> Maybe Text -> Maybe POSIXTime -> Maybe Bool -> Maybe Message -> Maybe User -> Maybe POSIXTime -> Maybe Bool -> Maybe MediaGroupId -> Maybe Text -> Maybe Text -> Maybe [MessageEntity] -> Maybe Animation -> Maybe Audio -> Maybe Document -> Maybe [PhotoSize] -> Maybe Sticker -> Maybe Video -> Maybe VideoNote -> Maybe Voice -> Maybe Text -> Maybe [MessageEntity] -> Maybe Contact -> Maybe Dice -> Maybe Game -> Maybe Poll -> Maybe Venue -> Maybe Location -> Maybe [User] -> Maybe User -> Maybe Text -> Maybe [PhotoSize] -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe MessageAutoDeleteTimerChanged -> Maybe ChatId -> Maybe ChatId -> Maybe Message -> Maybe Invoice -> Maybe SuccessfulPayment -> Maybe Text -> Maybe PassportData -> Maybe ProximityAlertTriggered -> Maybe VoiceChatScheduled -> Maybe VoiceChatStarted -> Maybe VoiceChatEnded -> Maybe VoiceChatParticipantsInvited -> Maybe InlineKeyboardMarkup -> Message

-- | Unique message identifier inside this chat.
[$sel:messageMessageId:Message] :: Message -> MessageId

-- | Sender, empty for messages sent to channels.
[$sel:messageFrom:Message] :: Message -> Maybe User

-- | Sender of the message, sent on behalf of a chat. For example, the
--   channel itself for channel posts, the supergroup itself for messages
--   from anonymous group administrators, the linked channel for messages
--   automatically forwarded to the discussion group. For backward
--   compatibility, the field from contains a fake sender user in
--   non-channel chats, if the message was sent on behalf of a chat.
[$sel:messageSenderChat:Message] :: Message -> Maybe Chat

-- | Date the message was sent in Unix time.
[$sel:messageDate:Message] :: Message -> POSIXTime

-- | Conversation the message belongs to.
[$sel:messageChat:Message] :: Message -> Chat

-- | For forwarded messages, sender of the original message.
[$sel:messageForwardFrom:Message] :: Message -> Maybe User

-- | For messages forwarded from channels, information about the original
--   channel.
[$sel:messageForwardFromChat:Message] :: Message -> Maybe Chat

-- | For messages forwarded from channels, identifier of the original
--   message in the channel.
[$sel:messageForwardFromMessageId:Message] :: Message -> Maybe MessageId

-- | For messages forwarded from channels, signature of the post author if
--   present.
[$sel:messageForwardSignature:Message] :: Message -> Maybe Text

-- | Sender's name for messages forwarded from users who disallow adding a
--   link to their account in forwarded messages.
[$sel:messageForwardSenderName:Message] :: Message -> Maybe Text

-- | For forwarded messages, date the original message was sent in Unix
--   time
[$sel:messageForwardDate:Message] :: Message -> Maybe POSIXTime

-- | <a>True</a>, if the message is a channel post that was automatically
--   forwarded to the connected discussion group.
[$sel:messageIsAutomaticForward:Message] :: Message -> Maybe Bool

-- | For replies, the original message. Note that the Message object in
--   this field will not contain further reply_to_message fields even if it
--   itself is a reply.
[$sel:messageReplyToMessage:Message] :: Message -> Maybe Message

-- | Bot through which the message was sent.
[$sel:messageViaBot:Message] :: Message -> Maybe User

-- | Date the message was last edited in Unix time
[$sel:messageEditDate:Message] :: Message -> Maybe POSIXTime

-- | <a>True</a>, if the message can't be forwarded.
[$sel:messageHasProtectedContent:Message] :: Message -> Maybe Bool

-- | The unique identifier of a media message group this message belongs to
[$sel:messageMediaGroupId:Message] :: Message -> Maybe MediaGroupId

-- | Signature of the post author for messages in channels
[$sel:messageAuthorSignature:Message] :: Message -> Maybe Text

-- | For text messages, the actual UTF-8 text of the message, 0-4096
--   characters.
[$sel:messageText:Message] :: Message -> Maybe Text

-- | For text messages, special entities like usernames, URLs, bot
--   commands, etc. that appear in the text
[$sel:messageEntities:Message] :: Message -> Maybe [MessageEntity]

-- | Message is an animation, information about the animation. For backward
--   compatibility, when this field is set, the document field will also be
--   set.
[$sel:messageAnimation:Message] :: Message -> Maybe Animation

-- | Message is an audio file, information about the file
[$sel:messageAudio:Message] :: Message -> Maybe Audio

-- | Message is a general file, information about the file.
[$sel:messageDocument:Message] :: Message -> Maybe Document

-- | Message is a photo, available sizes of the photo
[$sel:messagePhoto:Message] :: Message -> Maybe [PhotoSize]

-- | Message is a sticker, information about the sticker
[$sel:messageSticker:Message] :: Message -> Maybe Sticker

-- | Message is a video, information about the video
[$sel:messageVideo:Message] :: Message -> Maybe Video

-- | Message is a video note, information about the video message
[$sel:messageVideoNote:Message] :: Message -> Maybe VideoNote

-- | Message is a voice message, information about the file
[$sel:messageVoice:Message] :: Message -> Maybe Voice

-- | Caption for the audio, document, photo, video or voice, 0-200
--   characters
[$sel:messageCaption:Message] :: Message -> Maybe Text

-- | For messages with a caption, special entities like usernames, URLs,
--   bot commands, etc. that appear in the caption
[$sel:messageCaptionEntities:Message] :: Message -> Maybe [MessageEntity]

-- | Message is a shared contact, information about the contact
[$sel:messageContact:Message] :: Message -> Maybe Contact

-- | Message is a dice with random value.
[$sel:messageDice:Message] :: Message -> Maybe Dice

-- | Message is a game, information about the game. More about games » ,
--   messageLocation :: Maybe Location -- ^ Message is a shared location,
--   information about the location
[$sel:messageGame:Message] :: Message -> Maybe Game

-- | Message is a native poll, information about the poll.
[$sel:messagePoll:Message] :: Message -> Maybe Poll

-- | Message is a venue, information about the venue
[$sel:messageVenue:Message] :: Message -> Maybe Venue

-- | Message is a shared location, information about the location.
[$sel:messageLocation:Message] :: Message -> Maybe Location

-- | New members that were added to the group or supergroup and information
--   about them (the bot itself may be one of these members)
[$sel:messageNewChatMembers:Message] :: Message -> Maybe [User]

-- | A member was removed from the group, information about them (this
--   member may be the bot itself)
[$sel:messageLeftChatMember:Message] :: Message -> Maybe User

-- | A chat title was changed to this value
[$sel:messageNewChatTitle:Message] :: Message -> Maybe Text

-- | A chat photo was change to this value
[$sel:messageNewChatPhoto:Message] :: Message -> Maybe [PhotoSize]

-- | Service message: the chat photo was deleted
[$sel:messageDeleteChatPhoto:Message] :: Message -> Maybe Bool

-- | Service message: the group has been created
[$sel:messageGroupChatCreated:Message] :: Message -> Maybe Bool

-- | Service message: the supergroup has been created. This field can‘t be
--   received in a message coming through updates, because bot can’t be a
--   member of a supergroup when it is created. It can only be found in
--   reply_to_message if someone replies to a very first message in a
--   directly created supergroup.
[$sel:messageSupergroupChatCreated:Message] :: Message -> Maybe Bool

-- | Service message: the channel has been created. This field can‘t be
--   received in a message coming through updates, because bot can’t be a
--   member of a channel when it is created. It can only be found in
--   reply_to_message if someone replies to a very first message in a
--   channel.
[$sel:messageChannelChatCreated:Message] :: Message -> Maybe Bool

-- | Service message: auto-delete timer settings changed in the chat.
[$sel:messageAutoDeleteTimerChanged:Message] :: Message -> Maybe MessageAutoDeleteTimerChanged

-- | The group has been migrated to a supergroup with the specified
--   identifier. This number may be greater than 32 bits and some
--   programming languages may have difficulty/silent defects in
--   interpreting it. But it is smaller than 52 bits, so a signed 64 bit
--   integer or double-precision float type are safe for storing this
--   identifier.
[$sel:messageMigrateToChatId:Message] :: Message -> Maybe ChatId

-- | The supergroup has been migrated from a group with the specified
--   identifier. This number may be greater than 32 bits and some
--   programming languages may have difficulty/silent defects in
--   interpreting it. But it is smaller than 52 bits, so a signed 64 bit
--   integer or double-precision float type are safe for storing this
--   identifier.
[$sel:messageMigrateFromChatId:Message] :: Message -> Maybe ChatId

-- | Specified message was pinned. Note that the Message object in this
--   field will not contain further reply_to_message fields even if it is
--   itself a reply.
[$sel:messagePinnedMessage:Message] :: Message -> Maybe Message

-- | Message is an invoice for a payment, information about the invoice.
[$sel:messageInvoice:Message] :: Message -> Maybe Invoice

-- | Message is a service message about a successful payment, information
--   about the payment.
[$sel:messageSuccessfulPayment:Message] :: Message -> Maybe SuccessfulPayment

-- | The domain name of the website on which the user has logged in.
[$sel:messageConnectedWebsite:Message] :: Message -> Maybe Text

-- | Telegram Passport data.
[$sel:messagePassportData:Message] :: Message -> Maybe PassportData

-- | Service message. A user in the chat triggered another user's proximity
--   alert while sharing Live Location.
[$sel:messageProximityAlertTriggered:Message] :: Message -> Maybe ProximityAlertTriggered

-- | Service message: voice chat scheduled.
[$sel:messageVoiceChatScheduled:Message] :: Message -> Maybe VoiceChatScheduled

-- | Service message: voice chat started
[$sel:messageVoiceChatStarted:Message] :: Message -> Maybe VoiceChatStarted

-- | Service message: voice chat ended.
[$sel:messageVoiceChatEnded:Message] :: Message -> Maybe VoiceChatEnded

-- | Service message: new participants invited to a voice chat.
[$sel:messageVoiceChatParticipantsInvited:Message] :: Message -> Maybe VoiceChatParticipantsInvited

-- | Inline keyboard attached to the message. <tt>login_url</tt> buttons
--   are represented as ordinary <tt>url</tt> buttons.
[$sel:messageReplyMarkup:Message] :: Message -> Maybe InlineKeyboardMarkup

-- | Unique message identifier inside this chat.
newtype MessageId
MessageId :: Integer -> MessageId

-- | The unique identifier of a media message group a message belongs to.
newtype MediaGroupId
MediaGroupId :: Text -> MediaGroupId

-- | This object represents one special entity in a text message. For
--   example, hashtags, usernames, URLs, etc.
data MessageEntity
MessageEntity :: MessageEntityType -> Int32 -> Int32 -> Maybe Text -> Maybe User -> Maybe Text -> MessageEntity

-- | Type of the entity. Can be mention (@username), hashtag, bot_command,
--   url, email, bold (bold text), italic (italic text), underline
--   (underlined text), strikethrough, code (monowidth string), pre
--   (monowidth block), text_link (for clickable text URLs), text_mention
--   (for users without usernames)
[$sel:messageEntityType:MessageEntity] :: MessageEntity -> MessageEntityType

-- | Offset in UTF-16 code units to the start of the entity
[$sel:messageEntityOffset:MessageEntity] :: MessageEntity -> Int32

-- | Length of the entity in UTF-16 code units
[$sel:messageEntityLength:MessageEntity] :: MessageEntity -> Int32

-- | For “text_link” only, url that will be opened after user taps on the
--   text
[$sel:messageEntityUrl:MessageEntity] :: MessageEntity -> Maybe Text

-- | For “text_mention” only, the mentioned user
[$sel:messageEntityUser:MessageEntity] :: MessageEntity -> Maybe User

-- | For “pre” only, the programming language of the entity text.
[$sel:messageEntityLanguage:MessageEntity] :: MessageEntity -> Maybe Text

-- | Type of the entity. Can be mention (@username), hashtag, bot_command,
--   url, email, bold (bold text), italic (italic text), underline
--   (underlined text), strikethrough, code (monowidth string), pre
--   (monowidth block), text_link (for clickable text URLs), text_mention
--   (for users without usernames), cashtag, phone_number
data MessageEntityType
MessageEntityMention :: MessageEntityType
MessageEntityHashtag :: MessageEntityType
MessageEntityBotCommand :: MessageEntityType
MessageEntityUrl :: MessageEntityType
MessageEntityEmail :: MessageEntityType
MessageEntityBold :: MessageEntityType
MessageEntityItalic :: MessageEntityType

-- | See
--   <a>https://core.telegram.org/tdlib/docs/classtd_1_1td__api_1_1text_entity_type_underline.html</a>
MessageEntityUnderline :: MessageEntityType

-- | See
--   <a>https://core.telegram.org/tdlib/docs/classtd_1_1td__api_1_1text_entity_type_strikethrough.html</a>
MessageEntityStrikethrough :: MessageEntityType
MessageEntityCode :: MessageEntityType
MessageEntityPre :: MessageEntityType
MessageEntityTextLink :: MessageEntityType
MessageEntityTextMention :: MessageEntityType

-- | See
--   <a>https://core.telegram.org/tdlib/docs/classtd_1_1td__api_1_1text_entity_type_cashtag.html</a>.
MessageEntityCashtag :: MessageEntityType

-- | See
--   <a>https://core.telegram.org/tdlib/docs/classtd_1_1td__api_1_1text_entity_type_phone_number.html</a>.
MessageEntityPhoneNumber :: MessageEntityType

-- | This object represents one size of a photo or a file / sticker
--   thumbnail.
data PhotoSize
PhotoSize :: FileId -> FileId -> Int32 -> Int32 -> Maybe Int32 -> PhotoSize

-- | Unique identifier for this file.
[$sel:photoSizeFileId:PhotoSize] :: PhotoSize -> FileId

-- | Unique identifier for this file, which is supposed to be the same over
--   time and for different bots. Can't be used to download or reuse the
--   file.
[$sel:photoSizeFileUniqueId:PhotoSize] :: PhotoSize -> FileId

-- | Photo width
[$sel:photoSizeWidth:PhotoSize] :: PhotoSize -> Int32

-- | Photo height
[$sel:photoSizeHeight:PhotoSize] :: PhotoSize -> Int32

-- | File size
[$sel:photoSizeFileSize:PhotoSize] :: PhotoSize -> Maybe Int32

-- | Unique identifier for this file.
newtype FileId
FileId :: Text -> FileId

-- | This object represents an animation file (GIF or H.264/MPEG-4 AVC
--   video without sound).
data Animation
Animation :: FileId -> FileId -> Int32 -> Int32 -> Seconds -> Maybe PhotoSize -> Maybe Text -> Maybe Text -> Maybe Int32 -> Animation

-- | Identifier for this file, which can be used to download or reuse the
--   file.
[$sel:animationFileId:Animation] :: Animation -> FileId

-- | Unique identifier for this file, which is supposed to be the same over
--   time and for different bots. Can't be used to download or reuse the
--   file.
[$sel:animationFileUniqueId:Animation] :: Animation -> FileId

-- | Video width as defined by sender.
[$sel:animationWidth:Animation] :: Animation -> Int32

-- | Video height as defined by sender.
[$sel:animationHeight:Animation] :: Animation -> Int32

-- | Duration of the video in seconds as defined by sender.
[$sel:animationDuration:Animation] :: Animation -> Seconds

-- | Animation thumbnail as defined by sender.
[$sel:animationThumb:Animation] :: Animation -> Maybe PhotoSize

-- | Original animation filename as defined by sender.
[$sel:animationFileName:Animation] :: Animation -> Maybe Text

-- | MIME type of the file as defined by sender.
[$sel:animationMimeType:Animation] :: Animation -> Maybe Text

-- | File size in bytes.
[$sel:animationFileSize:Animation] :: Animation -> Maybe Int32

-- | This object represents an audio file to be treated as music by the
--   Telegram clients.
data Audio
Audio :: FileId -> FileId -> Seconds -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Int32 -> Maybe PhotoSize -> Audio

-- | Unique identifier for this file.
[$sel:audioFileId:Audio] :: Audio -> FileId

-- | Unique identifier for this file, which is supposed to be the same over
--   time and for different bots. Can't be used to download or reuse the
--   file.
[$sel:audioFileUniqueId:Audio] :: Audio -> FileId

-- | Duration of the audio in seconds as defined by sender.
[$sel:audioDuration:Audio] :: Audio -> Seconds

-- | Performer of the audio as defined by sender or by audio tags.
[$sel:audioPerformer:Audio] :: Audio -> Maybe Text

-- | Title of the audio as defined by sender or by audio tags.
[$sel:audioTitle:Audio] :: Audio -> Maybe Text

-- | Original filename as defined by sender.
[$sel:audioFileName:Audio] :: Audio -> Maybe Text

-- | MIME type of the file as defined by sender.
[$sel:audioMimeType:Audio] :: Audio -> Maybe Text

-- | File size in bytes.
[$sel:audioFileSize:Audio] :: Audio -> Maybe Int32

-- | Thumbnail of the album cover to which the music file belongs.
[$sel:audioThumb:Audio] :: Audio -> Maybe PhotoSize

-- | This object represents a general file (as opposed to photos, voice
--   messages and audio files).
data Document
Document :: FileId -> FileId -> Maybe PhotoSize -> Maybe Text -> Maybe Text -> Maybe Int32 -> Document

-- | Unique file identifier.
[$sel:documentFileId:Document] :: Document -> FileId

-- | Unique identifier for this file, which is supposed to be the same over
--   time and for different bots. Can't be used to download or reuse the
--   file.
[$sel:documentFileUniqueId:Document] :: Document -> FileId

-- | Document thumbnail as defined by sender.
[$sel:documentThumb:Document] :: Document -> Maybe PhotoSize

-- | Original filename as defined by sender.
[$sel:documentFileName:Document] :: Document -> Maybe Text

-- | MIME type of the file as defined by sender.
[$sel:documentMimeType:Document] :: Document -> Maybe Text

-- | File size in bytes.
[$sel:documentFileSize:Document] :: Document -> Maybe Int32

-- | This object represents a video file.
data Video
Video :: FileId -> FileId -> Int32 -> Int32 -> Seconds -> Maybe PhotoSize -> Maybe Text -> Maybe Text -> Maybe Int32 -> Video

-- | Unique identifier for this file.
[$sel:videoFileId:Video] :: Video -> FileId

-- | Unique identifier for this file, which is supposed to be the same over
--   time and for different bots. Can't be used to download or reuse the
--   file.
[$sel:videoFileUniqueId:Video] :: Video -> FileId

-- | Video width as defined by sender.
[$sel:videoWidth:Video] :: Video -> Int32

-- | Video height as defined by sender.
[$sel:videoHeight:Video] :: Video -> Int32

-- | Duration of the video in seconds as defined by sender.
[$sel:videoDuration:Video] :: Video -> Seconds

-- | Video thumbnail.
[$sel:videoThumb:Video] :: Video -> Maybe PhotoSize

-- | Original filename as defined by sender.
[$sel:videoFileName:Video] :: Video -> Maybe Text

-- | Mime type of a file as defined by sender.
[$sel:videoMimeType:Video] :: Video -> Maybe Text

-- | File size in bytes.
[$sel:videoFileSize:Video] :: Video -> Maybe Int32

-- | This object represents a video message (available in Telegram apps as
--   of v.4.0).
data VideoNote
VideoNote :: FileId -> FileId -> Int32 -> Seconds -> Maybe PhotoSize -> Maybe Int32 -> VideoNote

-- | Unique identifier for this file.
[$sel:videoNoteFileId:VideoNote] :: VideoNote -> FileId

-- | Unique identifier for this file, which is supposed to be the same over
--   time and for different bots. Can't be used to download or reuse the
--   file.
[$sel:videoNoteFileUniqueId:VideoNote] :: VideoNote -> FileId

-- | Video width and height as defined by sender.
[$sel:videoNoteLength:VideoNote] :: VideoNote -> Int32

-- | Duration of the video in seconds as defined by sender.
[$sel:videoNoteDuration:VideoNote] :: VideoNote -> Seconds

-- | Video thumbnail.
[$sel:videoNoteThumb:VideoNote] :: VideoNote -> Maybe PhotoSize

-- | File size in bytes.
[$sel:videoNoteFileSize:VideoNote] :: VideoNote -> Maybe Int32

-- | This object represents a voice note.
data Voice
Voice :: FileId -> FileId -> Seconds -> Maybe Text -> Maybe Int32 -> Voice

-- | Unique identifier for this file.
[$sel:voiceFileId:Voice] :: Voice -> FileId

-- | Unique identifier for this file, which is supposed to be the same over
--   time and for different bots. Can't be used to download or reuse the
--   file.
[$sel:voiceFileUniqueId:Voice] :: Voice -> FileId

-- | Duration of the audio in seconds as defined by sender.
[$sel:voiceDuration:Voice] :: Voice -> Seconds

-- | MIME type of the file as defined by sender.
[$sel:voiceMimeType:Voice] :: Voice -> Maybe Text

-- | File size in bytes.
[$sel:voiceFileSize:Voice] :: Voice -> Maybe Int32

-- | This object represents a phone contact.
data Contact
Contact :: Text -> Text -> Maybe Text -> Maybe UserId -> Maybe Text -> Contact

-- | Contact's phone number.
[$sel:contactPhoneNumber:Contact] :: Contact -> Text

-- | Contact's first name.
[$sel:contactFirstName:Contact] :: Contact -> Text

-- | Contact's last name.
[$sel:contactLastName:Contact] :: Contact -> Maybe Text

-- | Contact's user identifier in Telegram.
[$sel:contactUserId:Contact] :: Contact -> Maybe UserId

-- | Additional data about the contact in the form of a vCard.
[$sel:contactVcard:Contact] :: Contact -> Maybe Text

-- | This object represents an animated emoji that displays a random value.
data Dice
Dice :: Text -> Int -> Dice

-- | Emoji on which the dice throw animation is based.
[$sel:diceEmoji:Dice] :: Dice -> Text

-- | Value of the dice, 1-6 for “🎲”, “🎯” and “🎳” base emoji, 1-5 for “🏀”
--   and “⚽” base emoji, 1-64 for “🎰” base emoji
[$sel:diceValue:Dice] :: Dice -> Int

-- | This object contains information about one answer option in a poll.
data PollOption
PollOption :: Text -> Int -> PollOption

-- | Option text, 1-100 characters.
[$sel:pollOptionText:PollOption] :: PollOption -> Text

-- | Number of users that voted for this option.
[$sel:pollOptionVoterCount:PollOption] :: PollOption -> Int

-- | This object represents an answer of a user in a non-anonymous poll.
data PollAnswer
PollAnswer :: PollId -> User -> [Int] -> PollAnswer

-- | Unique poll identifier.
[$sel:pollAnswerPollId:PollAnswer] :: PollAnswer -> PollId

-- | The user, who changed the answer to the poll.
[$sel:pollAnswerUser:PollAnswer] :: PollAnswer -> User

-- | 0-based identifiers of answer options, chosen by the user. May be
--   empty if the user retracted their vote.
[$sel:pollAnswerOptionIds:PollAnswer] :: PollAnswer -> [Int]

-- | Unique poll identifier.
newtype PollId
PollId :: Text -> PollId
data Poll
Poll :: PollId -> Text -> [PollOption] -> Int32 -> Bool -> Bool -> PollType -> Bool -> Maybe Int -> Maybe Text -> Maybe [MessageEntity] -> Maybe Seconds -> Maybe POSIXTime -> Poll

-- | Unique poll identifier.
[$sel:pollId:Poll] :: Poll -> PollId

-- | Poll question, 1-300 characters.
[$sel:pollQuestion:Poll] :: Poll -> Text

-- | List of poll options.
[$sel:pollOptions:Poll] :: Poll -> [PollOption]

-- | Total number of users that voted in the poll.
[$sel:pollTotalVoterCount:Poll] :: Poll -> Int32

-- | <a>True</a>, if the poll is closed.
[$sel:pollIsClosed:Poll] :: Poll -> Bool

-- | <a>True</a>, if the poll is anonymous.
[$sel:pollIsAnonymous:Poll] :: Poll -> Bool

-- | Poll type, currently can be “regular” or “quiz”.
[$sel:pollType:Poll] :: Poll -> PollType

-- | <a>True</a>, if the poll allows multiple answers.
[$sel:pollAllowsMultipleAnswers:Poll] :: Poll -> Bool

-- | 0-based identifier of the correct answer option. Available only for
--   polls in the quiz mode, which are closed, or was sent (not forwarded)
--   by the bot or to the private chat with the bot.
[$sel:pollCorrectOptionId:Poll] :: Poll -> Maybe Int

-- | Text that is shown when a user chooses an incorrect answer or taps on
--   the lamp icon in a quiz-style poll, 0-200 characters.
[$sel:pollExplanation:Poll] :: Poll -> Maybe Text

-- | Special entities like usernames, URLs, bot commands, etc. that appear
--   in the explanation.
[$sel:pollExplanationEntities:Poll] :: Poll -> Maybe [MessageEntity]

-- | Amount of time in seconds the poll will be active after creation.
[$sel:pollOpenPeriod:Poll] :: Poll -> Maybe Seconds

-- | Point in time (Unix timestamp) when the poll will be automatically
--   closed.
[$sel:pollCloseData:Poll] :: Poll -> Maybe POSIXTime

-- | This object represents a point on the map.
data Location
Location :: Float -> Float -> Maybe Float -> Maybe Seconds -> Maybe Int -> Maybe Int -> Location

-- | Longitude as defined by sender.
[$sel:locationLongitude:Location] :: Location -> Float

-- | Latitude as defined by sender.
[$sel:locationLatitude:Location] :: Location -> Float

-- | The radius of uncertainty for the location, measured in meters;
--   0-1500.
[$sel:locationHorizontalAccuracy:Location] :: Location -> Maybe Float

-- | Time relative to the message sending date, during which the location
--   can be updated; in seconds. For active live locations only.
[$sel:locationLivePeriod:Location] :: Location -> Maybe Seconds

-- | The direction in which user is moving, in degrees; 1-360. For active
--   live locations only.
[$sel:locationHeading:Location] :: Location -> Maybe Int

-- | Maximum distance for proximity alerts about approaching another chat
--   member, in meters. For sent live locations only.
[$sel:locationProximityAlertRadius:Location] :: Location -> Maybe Int

-- | This object represents a venue.
data Venue
Venue :: Location -> Text -> Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Venue

-- | Venue location.
[$sel:venueLocation:Venue] :: Venue -> Location

-- | Name of the venue.
[$sel:venueTitle:Venue] :: Venue -> Text

-- | Address of the venue.
[$sel:venueAddress:Venue] :: Venue -> Text

-- | Foursquare identifier of the venue.
[$sel:venueFoursquareId:Venue] :: Venue -> Maybe Text

-- | Foursquare type of the venue. (For example,
--   “arts_entertainment<i>default”, “arts_entertainment</i>aquarium” or
--   “food/icecream”.)
[$sel:venueFoursquareType:Venue] :: Venue -> Maybe Text

-- | Google Places identifier of the venue.
[$sel:venueGooglePlaceId:Venue] :: Venue -> Maybe Text

-- | Google Places type of the venue. (See supported types.)
[$sel:venueGooglePlaceType:Venue] :: Venue -> Maybe Text

-- | This object represents the content of a service message, sent whenever
--   a user in the chat triggers a proximity alert set by another user.
data ProximityAlertTriggered
ProximityAlertTriggered :: User -> User -> Int32 -> ProximityAlertTriggered

-- | User that triggered the alert.
[$sel:proximityAlertTriggeredTraveler:ProximityAlertTriggered] :: ProximityAlertTriggered -> User

-- | User that set the alert.
[$sel:proximityAlertTriggeredWatcher:ProximityAlertTriggered] :: ProximityAlertTriggered -> User

-- | The distance between the users.
[$sel:proximityAlertTriggeredDistance:ProximityAlertTriggered] :: ProximityAlertTriggered -> Int32

-- | This object represents a service message about a change in auto-delete
--   timer settings.
data MessageAutoDeleteTimerChanged
MessageAutoDeleteTimerChanged :: Seconds -> MessageAutoDeleteTimerChanged

-- | New auto-delete time for messages in the chat; in seconds
[$sel:messageAutoDeleteTimerChangedMessageAutoDeleteTime:MessageAutoDeleteTimerChanged] :: MessageAutoDeleteTimerChanged -> Seconds

-- | This object represents a service message about a voice chat scheduled
--   in the chat.
data VoiceChatScheduled
VoiceChatScheduled :: POSIXTime -> VoiceChatScheduled

-- | Point in time (Unix timestamp) when the voice chat is supposed to be
--   started by a chat administrator.
[$sel:voiceChatScheduledStartDate:VoiceChatScheduled] :: VoiceChatScheduled -> POSIXTime

-- | This object represents a service message about a voice chat started in
--   the chat. Currently holds no information.
data VoiceChatStarted
VoiceChatStarted :: VoiceChatStarted

-- | This object represents a service message about a voice chat ended in
--   the chat.
data VoiceChatEnded
VoiceChatEnded :: Seconds -> VoiceChatEnded

-- | Voice chat duration in seconds.
[$sel:voiceChatEndedDuration:VoiceChatEnded] :: VoiceChatEnded -> Seconds
data VoiceChatParticipantsInvited
VoiceChatParticipantsInvited :: Maybe [User] -> VoiceChatParticipantsInvited

-- | New members that were invited to the voice chat.
[$sel:voiceChatParticipantsInvitedUsers:VoiceChatParticipantsInvited] :: VoiceChatParticipantsInvited -> Maybe [User]

-- | This object represent a user's profile pictures.
data UserProfilePhotos
UserProfilePhotos :: Int32 -> [[PhotoSize]] -> UserProfilePhotos

-- | Total number of profile pictures the target user has
[$sel:userProfilePhotosTotalCount:UserProfilePhotos] :: UserProfilePhotos -> Int32

-- | Requested profile pictures (in up to 4 sizes each)
[$sel:userProfilePhotosPhotos:UserProfilePhotos] :: UserProfilePhotos -> [[PhotoSize]]

-- | This object represents a file ready to be downloaded. The file can be
--   downloaded via the link
--   <tt><a>https://api.telegram.org/file/bot&lt;token&gt;/&lt;file_path&gt;</a></tt>.
--   It is guaranteed that the link will be valid for at least 1 hour. When
--   the link expires, a new one can be requested by calling getFile.
data File
File :: FileId -> FileId -> Maybe Int32 -> Maybe Text -> File

-- | Unique identifier for this file.
[$sel:fileFileId:File] :: File -> FileId

-- | Unique identifier for this file, which is supposed to be the same over
--   time and for different bots. Can't be used to download or reuse the
--   file.
[$sel:fileFileUniqueId:File] :: File -> FileId

-- | File size in bytes, if known.
[$sel:fileFileSize:File] :: File -> Maybe Int32

-- | File path. Use
--   <a>https://api.telegram.org/file/bot&lt;token&gt;/&lt;file_path&gt;</a>
--   to get the file.
[$sel:fileFilePath:File] :: File -> Maybe Text
type ContentType = Text
data InputFile
InputFileId :: FileId -> InputFile
FileUrl :: Text -> InputFile
InputFile :: FilePath -> ContentType -> InputFile

-- | Multipart file helper
makeFile :: Text -> InputFile -> MultipartData Tmp -> MultipartData Tmp

-- | This object represents a custom keyboard with reply options (see
--   Introduction to bots for details and examples).
data ReplyKeyboardMarkup
ReplyKeyboardMarkup :: [[KeyboardButton]] -> Maybe Bool -> Maybe Bool -> Maybe Text -> Maybe Bool -> ReplyKeyboardMarkup

-- | Array of button rows, each represented by an Array of KeyboardButton
--   objects
[$sel:replyKeyboardMarkupKeyboard:ReplyKeyboardMarkup] :: ReplyKeyboardMarkup -> [[KeyboardButton]]

-- | Requests clients to resize the keyboard vertically for optimal fit
--   (e.g., make the keyboard smaller if there are just two rows of
--   buttons). Defaults to false, in which case the custom keyboard is
--   always of the same height as the app's standard keyboard.
[$sel:replyKeyboardMarkupResizeKeyboard:ReplyKeyboardMarkup] :: ReplyKeyboardMarkup -> Maybe Bool

-- | Requests clients to hide the keyboard as soon as it's been used. The
--   keyboard will still be available, but clients will automatically
--   display the usual letter-keyboard in the chat – the user can press a
--   special button in the input field to see the custom keyboard again.
--   Defaults to false.
[$sel:replyKeyboardMarkupOneTimeKeyboard:ReplyKeyboardMarkup] :: ReplyKeyboardMarkup -> Maybe Bool

-- | The placeholder to be shown in the input field when the keyboard is
--   active; 1-64 characters.
[$sel:replyKeyboardMarkupInputFieldSelector:ReplyKeyboardMarkup] :: ReplyKeyboardMarkup -> Maybe Text

-- | Use this parameter if you want to show the keyboard to specific users
--   only. Targets: 1) users that are @mentioned in the text of the Message
--   object; 2) if the bot's message is a reply (has reply_to_message_id),
--   sender of the original message.
--   
--   Example: A user requests to change the bot's language, bot replies to
--   the request with a keyboard to select the new language. Other users in
--   the group don't see the keyboard.
[$sel:replyKeyboardMarkupSelective:ReplyKeyboardMarkup] :: ReplyKeyboardMarkup -> Maybe Bool

-- | This object represents one button of the reply keyboard. For simple
--   text buttons String can be used instead of this object to specify text
--   of the button. Optional fields are mutually exclusive.
data KeyboardButton
KeyboardButton :: Text -> Maybe Bool -> Maybe Bool -> Maybe PollType -> KeyboardButton

-- | Text of the button. If none of the optional fields are used, it will
--   be sent as a message when the button is pressed.
[$sel:keyboardButtonText:KeyboardButton] :: KeyboardButton -> Text

-- | If <a>True</a>, the user's phone number will be sent as a contact when
--   the button is pressed. Available in private chats only.
[$sel:keyboardButtonRequestContact:KeyboardButton] :: KeyboardButton -> Maybe Bool

-- | If <a>True</a>, the user's current location will be sent when the
--   button is pressed. Available in private chats only.
[$sel:keyboardButtonRequestLocation:KeyboardButton] :: KeyboardButton -> Maybe Bool

-- | If specified, the user will be asked to create a poll and send it to
--   the bot when the button is pressed. Available in private chats only.
[$sel:keyboardButtonRequestPoll:KeyboardButton] :: KeyboardButton -> Maybe PollType
data PollType
PollTypeQuiz :: PollType
PollTypeRegular :: PollType
getPollType :: PollType -> Text

-- | Upon receiving a message with this object, Telegram clients will
--   remove the current custom keyboard and display the default
--   letter-keyboard.
--   
--   By default, custom keyboards are displayed until a new keyboard is
--   sent by a bot. An exception is made for one-time keyboards that are
--   hidden immediately after the user presses a button (see
--   <a>ReplyKeyboardMarkup</a>).
data ReplyKeyboardRemove
ReplyKeyboardRemove :: Bool -> Maybe Bool -> ReplyKeyboardRemove

-- | Requests clients to remove the custom keyboard (user will not be able
--   to summon this keyboard; if you want to hide the keyboard from sight
--   but keep it accessible, use one_time_keyboard in ReplyKeyboardMarkup)
[$sel:replyKeyboardRemoveRemoveKeyboard:ReplyKeyboardRemove] :: ReplyKeyboardRemove -> Bool

-- | Use this parameter if you want to remove the keyboard for specific
--   users only. Targets: 1) users that are @mentioned in the text of the
--   Message object; 2) if the bot's message is a reply (has
--   reply_to_message_id), sender of the original message.
--   
--   Example: A user votes in a poll, bot returns confirmation message in
--   reply to the vote and removes the keyboard for that user, while still
--   showing the keyboard with poll options to users who haven't voted yet.
[$sel:replyKeyboardRemoveSelective:ReplyKeyboardRemove] :: ReplyKeyboardRemove -> Maybe Bool

-- | This object represents an inline keyboard that appears right next to
--   the message it belongs to.
--   
--   <ul>
--   <li>*Note**: This will only work in Telegram versions released after 9
--   April, 2016. Older clients will display unsupported message.</li>
--   </ul>
data InlineKeyboardMarkup
InlineKeyboardMarkup :: [[InlineKeyboardButton]] -> InlineKeyboardMarkup

-- | Array of button rows, each represented by an Array of
--   InlineKeyboardButton objects
[$sel:inlineKeyboardMarkupInlineKeyboard:InlineKeyboardMarkup] :: InlineKeyboardMarkup -> [[InlineKeyboardButton]]

-- | This object represents one button of an inline keyboard. You must use
--   exactly one of the optional fields.
data InlineKeyboardButton
InlineKeyboardButton :: Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe CallbackGame -> Maybe Bool -> InlineKeyboardButton

-- | Label text on the button
[$sel:inlineKeyboardButtonText:InlineKeyboardButton] :: InlineKeyboardButton -> Text

-- | HTTP url to be opened when button is pressed
[$sel:inlineKeyboardButtonUrl:InlineKeyboardButton] :: InlineKeyboardButton -> Maybe Text

-- | Data to be sent in a callback query to the bot when button is pressed,
--   1-64 bytes
[$sel:inlineKeyboardButtonCallbackData:InlineKeyboardButton] :: InlineKeyboardButton -> Maybe Text

-- | If set, pressing the button will prompt the user to select one of
--   their chats, open that chat and insert the bot‘s username and the
--   specified inline query in the input field. Can be empty, in which case
--   just the bot’s username will be inserted.
[$sel:inlineKeyboardButtonSwitchInlineQuery:InlineKeyboardButton] :: InlineKeyboardButton -> Maybe Text

-- | If set, pressing the button will insert the bot‘s username and the
--   specified inline query in the current chat's input field. Can be
--   empty, in which case only the bot’s username will be inserted.
[$sel:inlineKeyboardButtonSwitchInlineQueryCurrentChat:InlineKeyboardButton] :: InlineKeyboardButton -> Maybe Text

-- | Description of the game that will be launched when the user presses
--   the button.
[$sel:inlineKeyboardButtonCallbackGame:InlineKeyboardButton] :: InlineKeyboardButton -> Maybe CallbackGame

-- | Specify True, to send a Pay button.
[$sel:inlineKeyboardButtonPay:InlineKeyboardButton] :: InlineKeyboardButton -> Maybe Bool
labeledInlineKeyboardButton :: Text -> InlineKeyboardButton

-- | This object represents a parameter of the inline keyboard button used
--   to automatically authorize a user. Serves as a great replacement for
--   the Telegram Login Widget when the user is coming from Telegram. All
--   the user needs to do is tap/click a button and confirm that they want
--   to log in:
--   
--   
--   <a>https://core.telegram.org/file/811140015/1734/8VZFkwWXalM.97872/6127fa62d8a0bf2b3c</a>
--   
--   Telegram apps support these buttons as of version 5.7.
data LoginUrl
LoginUrl :: Text -> Maybe Text -> Maybe Text -> Maybe Bool -> LoginUrl

-- | An HTTP URL to be opened with user authorization data added to the
--   query string when the button is pressed. If the user refuses to
--   provide authorization data, the original URL without information about
--   the user will be opened. The data added is the same as described in
--   Receiving authorization data.
--   
--   <ul>
--   <li>*NOTE**: You **must** always check the hash of the received data
--   to verify the authentication and the integrity of the data as
--   described in Checking authorization.</li>
--   </ul>
[$sel:loginUrlUrl:LoginUrl] :: LoginUrl -> Text

-- | New text of the button in forwarded messages.
[$sel:loginUrlForwardText:LoginUrl] :: LoginUrl -> Maybe Text

-- | Username of a bot, which will be used for user authorization. See
--   Setting up a bot for more details. If not specified, the current bot's
--   username will be assumed. The url's domain must be the same as the
--   domain linked with the bot. See Linking your domain to the bot for
--   more details.
[$sel:loginUrlBotUsername:LoginUrl] :: LoginUrl -> Maybe Text

-- | Pass <a>True</a> to request the permission for your bot to send
--   messages to the user.
[$sel:loginUrlRequestWriteAccess:LoginUrl] :: LoginUrl -> Maybe Bool

-- | This object represents an incoming callback query from a callback
--   button in an inline keyboard. If the button that originated the query
--   was attached to a message sent by the bot, the field message will be
--   present. If the button was attached to a message sent via the bot (in
--   inline mode), the field <tt>inline_message_id</tt> will be present.
--   Exactly one of the fields data or game_short_name will be present.
data CallbackQuery
CallbackQuery :: CallbackQueryId -> User -> Maybe Message -> Maybe MessageId -> Text -> Maybe Text -> Maybe Text -> CallbackQuery

-- | Unique identifier for this query
[$sel:callbackQueryId:CallbackQuery] :: CallbackQuery -> CallbackQueryId

-- | Sender
[$sel:callbackQueryFrom:CallbackQuery] :: CallbackQuery -> User

-- | Message with the callback button that originated the query. Note that
--   message content and message date will not be available if the message
--   is too old
[$sel:callbackQueryMessage:CallbackQuery] :: CallbackQuery -> Maybe Message

-- | Identifier of the message sent via the bot in inline mode, that
--   originated the query.
[$sel:callbackQueryInlineMessageId:CallbackQuery] :: CallbackQuery -> Maybe MessageId

-- | Global identifier, uniquely corresponding to the chat to which the
--   message with the callback button was sent. Useful for high scores in
--   games.
[$sel:callbackQueryChatInstance:CallbackQuery] :: CallbackQuery -> Text

-- | Data associated with the callback button. Be aware that a bad client
--   can send arbitrary data in this field.
[$sel:callbackQueryData:CallbackQuery] :: CallbackQuery -> Maybe Text

-- | Short name of a Game to be returned, serves as the unique identifier
--   for the game
[$sel:callbackQueryGameShortName:CallbackQuery] :: CallbackQuery -> Maybe Text
newtype CallbackQueryId
CallbackQueryId :: Text -> CallbackQueryId

-- | Upon receiving a message with this object, Telegram clients will
--   display a reply interface to the user (act as if the user has selected
--   the bot‘s message and tapped ’Reply'). This can be extremely useful if
--   you want to create user-friendly step-by-step interfaces without
--   having to sacrifice privacy mode.
data ForceReply
ForceReply :: Bool -> Maybe Text -> Maybe Bool -> ForceReply

-- | Shows reply interface to the user, as if they manually selected the
--   bot‘s message and tapped ’Reply'
[$sel:forceReplyForceReply:ForceReply] :: ForceReply -> Bool

-- | The placeholder to be shown in the input field when the reply is
--   active; 1-64 characters.
[$sel:forceReplyInputFieldPlaceholder:ForceReply] :: ForceReply -> Maybe Text

-- | Use this parameter if you want to force reply from specific users
--   only. Targets: 1) users that are @mentioned in the text of the Message
--   object; 2) if the bot's message is a reply (has reply_to_message_id),
--   sender of the original message.
[$sel:forceReplySelective:ForceReply] :: ForceReply -> Maybe Bool

-- | Chat photo. Returned only in getChat.
data ChatPhoto
ChatPhoto :: FileId -> FileId -> FileId -> FileId -> ChatPhoto

-- | Unique file identifier of small (160x160) chat photo. This file_id can
--   be used only for photo download.
[$sel:chatPhotoSmallFileId:ChatPhoto] :: ChatPhoto -> FileId

-- | Unique file identifier of small (160x160) chat photo, which is
--   supposed to be the same over time and for different bots. Can't be
--   used to download or reuse the file.
[$sel:chatPhotoSmallFileUniqueId:ChatPhoto] :: ChatPhoto -> FileId

-- | Unique file identifier of big (640x640) chat photo. This file_id can
--   be used only for photo download.
[$sel:chatPhotoBigFileId:ChatPhoto] :: ChatPhoto -> FileId

-- | Unique file identifier of big (640x640) chat photo, which is supposed
--   to be the same over time and for different bots. Can't be used to
--   download or reuse the file.
[$sel:chatPhotoBigFileUniqueId:ChatPhoto] :: ChatPhoto -> FileId

-- | Represents an invite link for a chat.
data ChatInviteLink
ChatInviteLink :: Text -> User -> Bool -> Bool -> Bool -> Maybe Text -> Maybe POSIXTime -> Maybe Int32 -> Maybe Int32 -> ChatInviteLink

-- | The invite link. If the link was created by another chat
--   administrator, then the second part of the link will be replaced with
--   “…”.
[$sel:chatInviteLinkInviteLink:ChatInviteLink] :: ChatInviteLink -> Text

-- | Creator of the link.
[$sel:chatInviteLinkCreator:ChatInviteLink] :: ChatInviteLink -> User

-- | <a>True</a>, if users joining the chat via the link need to be
--   approved by chat administrators.
[$sel:chatInviteLinkCreatesJoinRequest:ChatInviteLink] :: ChatInviteLink -> Bool

-- | <a>True</a>, if the link is primary.
[$sel:chatInviteLinkIsPrimary:ChatInviteLink] :: ChatInviteLink -> Bool

-- | <a>True</a>, if the link is revoked.
[$sel:chatInviteLinkIsRevoked:ChatInviteLink] :: ChatInviteLink -> Bool

-- | Invite link name.
[$sel:chatInviteLinkName:ChatInviteLink] :: ChatInviteLink -> Maybe Text

-- | Point in time (Unix timestamp) when the link will expire or has been
--   expired.
[$sel:chatInviteLinkExpireDate:ChatInviteLink] :: ChatInviteLink -> Maybe POSIXTime

-- | Maximum number of users that can be members of the chat simultaneously
--   after joining the chat via this invite link; 1-99999.
[$sel:chatInviteLinkMemberLimit:ChatInviteLink] :: ChatInviteLink -> Maybe Int32

-- | Number of pending join requests created using this link.
[$sel:chatInviteLinkPendingJoinRequestCount:ChatInviteLink] :: ChatInviteLink -> Maybe Int32

-- | This object contains information about one member of a chat.
data ChatMember
ChatMember :: User -> Text -> Maybe POSIXTime -> Maybe Bool -> Maybe Text -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> ChatMember

-- | Information about the user
[$sel:chatMemberUser:ChatMember] :: ChatMember -> User

-- | The member's status in the chat. Can be “owner”, “administrator”,
--   “member”, “restricted”, “left” or “banned”.
[$sel:chatMemberStatus:ChatMember] :: ChatMember -> Text

-- | Restictred and banned only. Date when restrictions will be lifted for
--   this user, unix time.
[$sel:chatMemberUntilDate:ChatMember] :: ChatMember -> Maybe POSIXTime

-- | Owners and administrators only. <a>True</a>, if the user's presence in
--   the chat is hidden.
[$sel:chatMemberIsAnonymous:ChatMember] :: ChatMember -> Maybe Bool

-- | Owners and administrators only. Custom title for this user.
[$sel:chatMemberCustomTitle:ChatMember] :: ChatMember -> Maybe Text

-- | Administrators only. True, if the bot is allowed to edit administrator
--   privileges of that user
[$sel:chatMemberCanBeEdited:ChatMember] :: ChatMember -> Maybe Bool

-- | Administrators only. <a>True</a>, if the administrator can access the
--   chat event log, chat statistics, message statistics in channels, see
--   channel members, see anonymous administrators in supergroups and
--   ignore slow mode. Implied by any other administrator privilege.
[$sel:chatMemberCanManageChat:ChatMember] :: ChatMember -> Maybe Bool

-- | Administrators only. True, if the administrator can delete messages of
--   other users.
[$sel:chatMemberCanDeleteMessages:ChatMember] :: ChatMember -> Maybe Bool

-- | Administrators only. True, if the administrator can manage voice chats
[$sel:chatMemberCanManageVoiceChats:ChatMember] :: ChatMember -> Maybe Bool

-- | Administrators only. True, if the administrator can restrict, ban or
--   unban chat members
[$sel:chatMemberCanRestrictMembers:ChatMember] :: ChatMember -> Maybe Bool

-- | Administrators only. True, if the administrator can add new
--   administrators with a subset of his own privileges or demote
--   administrators that he has promoted, directly or indirectly (promoted
--   by administrators that were appointed by the user)
[$sel:chatMemberCanPromoteMembers:ChatMember] :: ChatMember -> Maybe Bool

-- | Administrators only. True, if the administrator can change the chat
--   title, photo and other settings
[$sel:chatMemberCanChangeInfo:ChatMember] :: ChatMember -> Maybe Bool

-- | Administrators only. True, if the administrator can post in the
--   channel, channels only
[$sel:chatMemberCanPostMessages:ChatMember] :: ChatMember -> Maybe Bool

-- | Administrators only. True, if the administrator can edit messages of
--   other users and can pin messages, channels only
[$sel:chatMemberCanEditMessages:ChatMember] :: ChatMember -> Maybe Bool

-- | Administrators and restricted only. True, if the administrator can
--   invite new users to the chat
[$sel:chatMemberCanInviteUsers:ChatMember] :: ChatMember -> Maybe Bool

-- | Administrators and restricted only. True, if the administrator can pin
--   messages, supergroups only
[$sel:chatMemberCanPinMessages:ChatMember] :: ChatMember -> Maybe Bool

-- | Restricted only. True, if the user is a member of the chat at the
--   moment of the request.
[$sel:chatMemberIsMember:ChatMember] :: ChatMember -> Maybe Bool

-- | Restricted only. True, if the user can send text messages, contacts,
--   locations and venues
[$sel:chatMemberCanSendMessages:ChatMember] :: ChatMember -> Maybe Bool

-- | Restricted only. True, if the user can send audios, documents, photos,
--   videos, video notes and voice notes, implies can_send_messages
[$sel:chatMemberCanSendMediaMessages:ChatMember] :: ChatMember -> Maybe Bool

-- | Restricted only. True, if the user is allowed to send polls.
[$sel:chatMemberCanSendPolls:ChatMember] :: ChatMember -> Maybe Bool

-- | Restricted only. True, if the user can send animations, games,
--   stickers and use inline bots, implies can_send_media_messages
[$sel:chatMemberCanSendOtherMessages:ChatMember] :: ChatMember -> Maybe Bool

-- | Restricted only. True, if user may add web page previews to his
--   messages, implies can_send_media_messages
[$sel:chatMemberCanAddWebPagePreviews:ChatMember] :: ChatMember -> Maybe Bool

-- | This object represents changes in the status of a chat member.
data ChatMemberUpdated
ChatMemberUpdated :: Chat -> User -> POSIXTime -> ChatMember -> ChatMember -> Maybe ChatInviteLink -> ChatMemberUpdated

-- | Chat the user belongs to.
[$sel:chatMemberUpdatedChat:ChatMemberUpdated] :: ChatMemberUpdated -> Chat

-- | Performer of the action, which resulted in the change.
[$sel:chatMemberUpdatedFrom:ChatMemberUpdated] :: ChatMemberUpdated -> User

-- | Date the change was done in Unix time.
[$sel:chatMemberUpdatedDate:ChatMemberUpdated] :: ChatMemberUpdated -> POSIXTime

-- | Previous information about the chat member.
[$sel:chatMemberUpdatedOldChatMember:ChatMemberUpdated] :: ChatMemberUpdated -> ChatMember

-- | New information about the chat member.
[$sel:chatMemberUpdatedNewChatMember:ChatMemberUpdated] :: ChatMemberUpdated -> ChatMember

-- | Chat invite link, which was used by the user to join the chat; for
--   joining by invite link events only.
[$sel:chatMemberUpdatedInviteLink:ChatMemberUpdated] :: ChatMemberUpdated -> Maybe ChatInviteLink

-- | Represents a join request sent to a chat.
data ChatJoinRequest
ChatJoinRequest :: Chat -> User -> POSIXTime -> Maybe Text -> Maybe ChatInviteLink -> ChatJoinRequest

-- | Chat to which the request was sent.
[$sel:chatJoinRequestChat:ChatJoinRequest] :: ChatJoinRequest -> Chat

-- | User that sent the join request.
[$sel:chatJoinRequestFrom:ChatJoinRequest] :: ChatJoinRequest -> User

-- | Date the request was sent in Unix time.
[$sel:chatJoinRequestDate:ChatJoinRequest] :: ChatJoinRequest -> POSIXTime

-- | Bio of the user.
[$sel:chatJoinRequestBio:ChatJoinRequest] :: ChatJoinRequest -> Maybe Text

-- | Chat invite link that was used by the user to send the join request.
[$sel:chatJoinRequestInviteLink:ChatJoinRequest] :: ChatJoinRequest -> Maybe ChatInviteLink

-- | Describes actions that a non-administrator user is allowed to take in
--   a chat.
data ChatPermissions
ChatPermissions :: Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> ChatPermissions

-- | True, if the user is allowed to send text messages, contacts,
--   locations and venues.
[$sel:chatPermissionsCanSendMessages:ChatPermissions] :: ChatPermissions -> Maybe Bool

-- | True, if the user is allowed to send audios, documents, photos,
--   videos, video notes and voice notes, implies can_send_messages.
[$sel:chatPermissionsCanSendMediaMessages:ChatPermissions] :: ChatPermissions -> Maybe Bool

-- | True, if the user is allowed to send polls, implies can_send_messages.
[$sel:chatPermissionsCanSendPolls:ChatPermissions] :: ChatPermissions -> Maybe Bool

-- | True, if the user is allowed to send animations, games, stickers and
--   use inline bots, implies can_send_media_messages.
[$sel:chatPermissionsCanSendOtherMessages:ChatPermissions] :: ChatPermissions -> Maybe Bool

-- | True, if the user is allowed to add web page previews to their
--   messages, implies can_send_media_messages.
[$sel:chatPermissionsCanAddWebPagePreviews:ChatPermissions] :: ChatPermissions -> Maybe Bool

-- | True, if the user is allowed to change the chat title, photo and other
--   settings. Ignored in public supergroups
[$sel:chatPermissionsCanChangeInfo:ChatPermissions] :: ChatPermissions -> Maybe Bool

-- | True, if the user is allowed to invite new users to the chat.
[$sel:chatPermissionsCanInviteUsers:ChatPermissions] :: ChatPermissions -> Maybe Bool

-- | True, if the user is allowed to pin messages. Ignored in public
--   supergroups.
[$sel:chatPermissionsCanPinMessages:ChatPermissions] :: ChatPermissions -> Maybe Bool

-- | Represents a location to which a chat is connected.
data ChatLocation
ChatLocation :: Location -> Text -> ChatLocation

-- | The location to which the supergroup is connected. Can't be a live
--   location..
[$sel:chatLocationLocation:ChatLocation] :: ChatLocation -> Location

-- | Location address; 1-64 characters, as defined by the chat owner.
[$sel:chatLocationAddress:ChatLocation] :: ChatLocation -> Text

-- | Contains information about why a request was unsuccessful.
data ResponseParameters
ResponseParameters :: Maybe ChatId -> Maybe Seconds -> ResponseParameters

-- | The group has been migrated to a supergroup with the specified
--   identifier. This number may be greater than 32 bits and some
--   programming languages may have difficulty/silent defects in
--   interpreting it. But it is smaller than 52 bits, so a signed 64 bit
--   integer or double-precision float type are safe for storing this
--   identifier.
[$sel:responseParametersMigrateToChatId:ResponseParameters] :: ResponseParameters -> Maybe ChatId

-- | In case of exceeding flood control, the number of seconds left to wait
--   before the request can be repeated
[$sel:responseParametersRetryAfter:ResponseParameters] :: ResponseParameters -> Maybe Seconds

-- | This object represents a sticker.
data Sticker
Sticker :: FileId -> FileId -> Int32 -> Int32 -> Bool -> Maybe PhotoSize -> Maybe Text -> Maybe Text -> Maybe MaskPosition -> Maybe Integer -> Sticker

-- | Identifier for this file, which can be used to download or reuse the
--   file.
[$sel:stickerFileId:Sticker] :: Sticker -> FileId

-- | Unique identifier for this file, which is supposed to be the same over
--   time and for different bots. Can't be used to download or reuse the
--   file.
[$sel:stickerFileUniqueId:Sticker] :: Sticker -> FileId

-- | Sticker width.
[$sel:stickerWidth:Sticker] :: Sticker -> Int32

-- | Sticker height.
[$sel:stickerHeight:Sticker] :: Sticker -> Int32

-- | True, if the sticker is animated.
[$sel:stickerIsAnimated:Sticker] :: Sticker -> Bool

-- | Sticker thumbnail in the .WEBP or .JPG format.
[$sel:stickerThumb:Sticker] :: Sticker -> Maybe PhotoSize

-- | Emoji associated with the sticker.
[$sel:stickerEmoji:Sticker] :: Sticker -> Maybe Text

-- | Name of the sticker set to which the sticker belongs.
[$sel:stickerSetName:Sticker] :: Sticker -> Maybe Text

-- | For mask stickers, the position where the mask should be placed.
[$sel:stickerMaskPosition:Sticker] :: Sticker -> Maybe MaskPosition

-- | File size in bytes.
[$sel:stickerFileSize:Sticker] :: Sticker -> Maybe Integer

-- | This object represents a sticker set.
data StickerSet
StickerSet :: Text -> Text -> Bool -> Bool -> [Sticker] -> Maybe PhotoSize -> StickerSet

-- | Sticker set name.
[$sel:stickerSetName:StickerSet] :: StickerSet -> Text

-- | Sticker set title.
[$sel:stickerSetTitle:StickerSet] :: StickerSet -> Text

-- | True, if the sticker set contains animated stickers.
[$sel:stickerSetIsAnimated:StickerSet] :: StickerSet -> Bool

-- | True, if the sticker set contains masks.
[$sel:stickerSetContainsMasks:StickerSet] :: StickerSet -> Bool

-- | List of all set stickers.
[$sel:stickerSetStickers:StickerSet] :: StickerSet -> [Sticker]

-- | Sticker set thumbnail in the .WEBP or .TGS format.
[$sel:stickerSetThumb:StickerSet] :: StickerSet -> Maybe PhotoSize

-- | This object describes the position on faces where a mask should be
--   placed by default.
data MaskPosition
MaskPosition :: Text -> Float -> Float -> Float -> MaskPosition

-- | The part of the face relative to which the mask should be placed. One
--   of “forehead”, “eyes”, “mouth”, or “chin”.
[$sel:maskPositionPoint:MaskPosition] :: MaskPosition -> Text

-- | Shift by X-axis measured in widths of the mask scaled to the face
--   size, from left to right. For example, choosing -1.0 will place mask
--   just to the left of the default mask position.
[$sel:maskPositionXShift:MaskPosition] :: MaskPosition -> Float

-- | Shift by Y-axis measured in heights of the mask scaled to the face
--   size, from top to bottom. For example, 1.0 will place the mask just
--   below the default mask position.
[$sel:maskPositionYShift:MaskPosition] :: MaskPosition -> Float

-- | Mask scaling coefficient. For example, 2.0 means double size.
[$sel:maskPositionScale:MaskPosition] :: MaskPosition -> Float

-- | This object represents a portion of the price for goods or services.
data LabeledPrice
LabelPrice :: Text -> Int32 -> LabeledPrice

-- | Portion label.
[$sel:labeledPriceLabel:LabelPrice] :: LabeledPrice -> Text

-- | Price of the product in the smallest units of the currency (integer,
--   not float/double). For example, for a price of US$ 1.45 pass 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).
[$sel:labeledPriceAmount:LabelPrice] :: LabeledPrice -> Int32

-- | This object contains basic information about an invoice.
data Invoice
Invoice :: Text -> Text -> Text -> Text -> Int32 -> Invoice

-- | Product name.
[$sel:invoiceTitle:Invoice] :: Invoice -> Text

-- | Product description.
[$sel:invoiceDescription:Invoice] :: Invoice -> Text

-- | Unique bot deep-linking parameter that can be used to generate this
--   invoice.
[$sel:invoiceStartParameter:Invoice] :: Invoice -> Text

-- | Three-letter ISO 4217 currency code.
[$sel:invoiceCurrency:Invoice] :: Invoice -> Text

-- | Total price in the smallest units of the currency (integer, not
--   float/double). For example, for a price of US$ 1.45 pass 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).
[$sel:invoiceTotalAmount:Invoice] :: Invoice -> Int32

-- | This object represents a shipping address.
data ShippingAddress
ShippingAddress :: Text -> Text -> Text -> Text -> Text -> Text -> ShippingAddress

-- | ISO 3166-1 alpha-2 country code.
[$sel:shippingAddressCountryCode:ShippingAddress] :: ShippingAddress -> Text

-- | State, if applicable.
[$sel:shippingAddressState:ShippingAddress] :: ShippingAddress -> Text

-- | City.
[$sel:shippingAddressCity:ShippingAddress] :: ShippingAddress -> Text

-- | First line for the address.
[$sel:shippingAddressStreetLine1:ShippingAddress] :: ShippingAddress -> Text

-- | Second line for the address.
[$sel:shippingAddressStreetLine2:ShippingAddress] :: ShippingAddress -> Text

-- | Address post code.
[$sel:shippingAddressPostCode:ShippingAddress] :: ShippingAddress -> Text

-- | This object represents information about an order.
data OrderInfo
OrderInfo :: Maybe Text -> Maybe Text -> Maybe Text -> Maybe ShippingAddress -> OrderInfo

-- | User name.
[$sel:orderInfoName:OrderInfo] :: OrderInfo -> Maybe Text

-- | User's phone number.
[$sel:orderInfoPhoneNumber:OrderInfo] :: OrderInfo -> Maybe Text

-- | User email.
[$sel:orderInfoEmail:OrderInfo] :: OrderInfo -> Maybe Text

-- | User shipping address.
[$sel:orderInfoShippingAddress:OrderInfo] :: OrderInfo -> Maybe ShippingAddress

-- | This object represents one shipping option.
data ShippingOption
ShippingOption :: ShippingOptionId -> Text -> [LabeledPrice] -> ShippingOption

-- | Shipping option identifier.
[$sel:shippingOptionId:ShippingOption] :: ShippingOption -> ShippingOptionId

-- | Option title.
[$sel:shippingOptionTitle:ShippingOption] :: ShippingOption -> Text

-- | List of price portions.
[$sel:shippingOptionPrice:ShippingOption] :: ShippingOption -> [LabeledPrice]
newtype ShippingOptionId
ShippingOptionId :: Text -> ShippingOptionId

-- | This object contains basic information about a successful payment.
data SuccessfulPayment
SuccessfulPayment :: Text -> Int32 -> Text -> Maybe ShippingOptionId -> Maybe OrderInfo -> Text -> Text -> SuccessfulPayment

-- | Three-letter ISO 4217 currency code.
[$sel:successfulPaymentCurrency:SuccessfulPayment] :: SuccessfulPayment -> Text

-- | Total price in the smallest units of the currency (integer, not
--   float/double). For example, for a price of US$ 1.45 pass 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).
[$sel:successfulPaymentTotalAmount:SuccessfulPayment] :: SuccessfulPayment -> Int32

-- | Bot specified invoice payload.
[$sel:successfulPaymentInvoicePayload:SuccessfulPayment] :: SuccessfulPayment -> Text

-- | Identifier of the shipping option chosen by the user.
[$sel:successfulPaymentShippingOptionId:SuccessfulPayment] :: SuccessfulPayment -> Maybe ShippingOptionId

-- | Order info provided by the user.
[$sel:successfulPaymentOrderInfo:SuccessfulPayment] :: SuccessfulPayment -> Maybe OrderInfo

-- | Telegram payment identifier.
[$sel:successfulPaymentTelegramPaymentChargeId:SuccessfulPayment] :: SuccessfulPayment -> Text

-- | Provider payment identifier.
[$sel:successfulPaymentProviderPaymentChargeId:SuccessfulPayment] :: SuccessfulPayment -> Text

-- | This object contains information about an incoming shipping query.
data ShippingQuery
ShippingQuery :: Text -> User -> Text -> ShippingAddress -> ShippingQuery

-- | Unique query identifier.
[$sel:shippingQueryId:ShippingQuery] :: ShippingQuery -> Text

-- | User who sent the query.
[$sel:shippingQueryFrom:ShippingQuery] :: ShippingQuery -> User

-- | Bot specified invoice payload.
[$sel:shippingQueryInvoicePayload:ShippingQuery] :: ShippingQuery -> Text

-- | User specified shipping address.
[$sel:shippingQueryShippingAddress:ShippingQuery] :: ShippingQuery -> ShippingAddress

-- | This object contains information about an incoming pre-checkout query.
data PreCheckoutQuery
PreCheckoutQuery :: Text -> User -> Text -> Int32 -> Text -> Maybe ShippingOptionId -> Maybe OrderInfo -> PreCheckoutQuery

-- | Unique query identifier.
[$sel:preCheckoutQueryId:PreCheckoutQuery] :: PreCheckoutQuery -> Text

-- | User who sent the query.
[$sel:preCheckoutQueryFrom:PreCheckoutQuery] :: PreCheckoutQuery -> User

-- | Three-letter ISO 4217 currency code
[$sel:preCheckoutQueryCurrency:PreCheckoutQuery] :: PreCheckoutQuery -> Text

-- | Total price in the smallest units of the currency (integer, not
--   float/double). For example, for a price of US$ 1.45 pass 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).
[$sel:preCheckoutQueryTotalAmount:PreCheckoutQuery] :: PreCheckoutQuery -> Int32

-- | Bot specified invoice payload
[$sel:preCheckoutQueryInvoicePayload:PreCheckoutQuery] :: PreCheckoutQuery -> Text

-- | Identifier of the shipping option chosen by the user.
[$sel:preCheckoutQueryShippingOptionId:PreCheckoutQuery] :: PreCheckoutQuery -> Maybe ShippingOptionId

-- | Order info provided by the user.
[$sel:preCheckoutQueryOrderInfo:PreCheckoutQuery] :: PreCheckoutQuery -> Maybe OrderInfo

-- | Contains information about Telegram Passport data shared with the bot
--   by the user.
data PassportData
PassportData :: [EncryptedPassportElement] -> EncryptedCredentials -> PassportData

-- | Array with information about documents and other Telegram Passport
--   elements that was shared with the bot.
[$sel:passportDataData:PassportData] :: PassportData -> [EncryptedPassportElement]

-- | Encrypted credentials required to decrypt the data.
[$sel:passportDataCredentials:PassportData] :: PassportData -> EncryptedCredentials

-- | This object represents a file uploaded to Telegram Passport. Currently
--   all Telegram Passport files are in JPEG format when decrypted and
--   don't exceed 10MB.
data PassportFile
PassportFile :: FileId -> FileId -> Int32 -> POSIXTime -> PassportFile

-- | Identifier for this file, which can be used to download or reuse the
--   file.
[$sel:passportFileFileId:PassportFile] :: PassportFile -> FileId

-- | Unique identifier for this file, which is supposed to be the same over
--   time and for different bots. Can't be used to download or reuse the
--   file.
[$sel:passportFileFileUniqueId:PassportFile] :: PassportFile -> FileId

-- | File size in bytes.
[$sel:passportFileFileSize:PassportFile] :: PassportFile -> Int32

-- | Unix time when the file was uploaded.
[$sel:passportFileFileDate:PassportFile] :: PassportFile -> POSIXTime

-- | Contains information about documents or other Telegram Passport
--   elements shared with the bot by the user.
data EncryptedPassportElement
EncryptedPassportElement :: PassportElementType -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe [PassportFile] -> Maybe PassportFile -> Maybe PassportFile -> Maybe PassportFile -> Maybe [PassportFile] -> Text -> EncryptedPassportElement

-- | One of “personal_details”, “passport”, “driver_license”,
--   “identity_card”, “internal_passport”, “address”, “utility_bill”,
--   “bank_statement”, “rental_agreement”, “passport_registration”,
--   “temporary_registration”, “phone_number”, “email”.
[$sel:encryptedPassportElementType:EncryptedPassportElement] :: EncryptedPassportElement -> PassportElementType

-- | Base64-encoded encrypted Telegram Passport element data provided by
--   the user, available for “personal_details”, “passport”,
--   “driver_license”, “identity_card”, “internal_passport” and “address”
--   types. Can be decrypted and verified using the accompanying
--   <a>EncryptedCredentials</a>.
[$sel:encryptedPassportElementData:EncryptedPassportElement] :: EncryptedPassportElement -> Maybe Text

-- | User's verified phone number, available only for “phone_number” type.
[$sel:encryptedPassportElementPhoneNumber:EncryptedPassportElement] :: EncryptedPassportElement -> Maybe Text

-- | User's verified email address, available only for “email” type.
[$sel:encryptedPassportElementEmail:EncryptedPassportElement] :: EncryptedPassportElement -> Maybe Text

-- | Array of encrypted files with documents provided by the user,
--   available for “utility_bill”, “bank_statement”, “rental_agreement”,
--   “passport_registration” and “temporary_registration” types. Files can
--   be decrypted and verified using the accompanying EncryptedCredentials.
[$sel:encryptedPassportElementFiles:EncryptedPassportElement] :: EncryptedPassportElement -> Maybe [PassportFile]

-- | Encrypted file with the front side of the document, provided by the
--   user. Available for “passport”, “driver_license”, “identity_card” and
--   “internal_passport”. The file can be decrypted and verified using the
--   accompanying EncryptedCredentials.
[$sel:encryptedPassportElementFrontSide:EncryptedPassportElement] :: EncryptedPassportElement -> Maybe PassportFile

-- | Encrypted file with the reverse side of the document, provided by the
--   user. Available for “driver_license” and “identity_card”. The file can
--   be decrypted and verified using the accompanying EncryptedCredentials.
[$sel:encryptedPassportElementReverseSide:EncryptedPassportElement] :: EncryptedPassportElement -> Maybe PassportFile

-- | Encrypted file with the selfie of the user holding a document,
--   provided by the user; available for “passport”, “driver_license”,
--   “identity_card” and “internal_passport”. The file can be decrypted and
--   verified using the accompanying EncryptedCredentials.
[$sel:encryptedPassportElementSelfie:EncryptedPassportElement] :: EncryptedPassportElement -> Maybe PassportFile

-- | Array of encrypted files with translated versions of documents
--   provided by the user. Available if requested for “passport”,
--   “driver_license”, “identity_card”, “internal_passport”,
--   “utility_bill”, “bank_statement”, “rental_agreement”,
--   “passport_registration” and “temporary_registration” types. Files can
--   be decrypted and verified using the accompanying EncryptedCredentials.
[$sel:encryptedPassportElementTranslation:EncryptedPassportElement] :: EncryptedPassportElement -> Maybe [PassportFile]

-- | Base64-encoded element hash for using in
--   <tt>PassportElementErrorUnspecified</tt>.
[$sel:encryptedPassportElementHash:EncryptedPassportElement] :: EncryptedPassportElement -> Text

-- | One of “personal_details”, “passport”, “driver_license”,
--   “identity_card”, “internal_passport”, “address”, “utility_bill”,
--   “bank_statement”, “rental_agreement”, “passport_registration”,
--   “temporary_registration”, “phone_number”, “email”.
data PassportElementType
PassportElementTypePersonalDetails :: PassportElementType
PassportElementTypePassport :: PassportElementType
PassportElementTypeDriverLicense :: PassportElementType
PassportElementTypeIdentityCard :: PassportElementType
PassportElementTypeInternalPassport :: PassportElementType
PassportElementTypeAddress :: PassportElementType
PassportElementTypeUtilityBill :: PassportElementType
PassportElementTypeBankStatement :: PassportElementType
PassportElementTypeRentalAgreement :: PassportElementType
PassportElementTypePassportRegistration :: PassportElementType
PassportElementTypeTemporaryRegistration :: PassportElementType
PassportElementTypePhoneNumber :: PassportElementType
PassportElementTypeEmail :: PassportElementType

-- | Contains data required for decrypting and authenticating
--   EncryptedPassportElement. See the Telegram Passport Documentation for
--   a complete description of the data decryption and authentication
--   processes.
data EncryptedCredentials
EncryptedCredentials :: Text -> Text -> Text -> EncryptedCredentials

-- | Base64-encoded encrypted JSON-serialized data with unique user's
--   payload, data hashes and secrets required for EncryptedPassportElement
--   decryption and authentication.
[$sel:encryptedCredentialsData:EncryptedCredentials] :: EncryptedCredentials -> Text

-- | Base64-encoded data hash for data authentication.
[$sel:encryptedCredentialsHash:EncryptedCredentials] :: EncryptedCredentials -> Text

-- | Base64-encoded secret, encrypted with the bot's public RSA key,
--   required for data decryption
[$sel:encryptedCredentialsSecret:EncryptedCredentials] :: EncryptedCredentials -> Text
data PassportErrorSource
PassportErrorSourceData :: PassportErrorSource
PassportErrorSourceFrontSide :: PassportErrorSource
PassportErrorSourceReverseSide :: PassportErrorSource
PassportErrorSourceSelfie :: PassportErrorSource
PassportErrorSourceFile :: PassportErrorSource
PassportErrorSourceFiles :: PassportErrorSource
PassportErrorSourceTranslationFile :: PassportErrorSource
PassportErrorSourceTranslationFiles :: PassportErrorSource
PassportErrorSourceUnspecified :: PassportErrorSource
data PassportElementError
PassportElementError :: PassportErrorSource -> PassportElementType -> Text -> Maybe Text -> Text -> Maybe Text -> Maybe [Text] -> Maybe Text -> PassportElementError

-- | Error source, must be one of <a>PassportErrorSource</a>.
[$sel:passportElementErroSource:PassportElementError] :: PassportElementError -> PassportErrorSource

-- | The section of the user's Telegram Passport which has the error, one
--   of <a>PassportElementType</a>.
[$sel:passportElementErrorType:PassportElementError] :: PassportElementError -> PassportElementType

-- | Name of the data field which has the error.
[$sel:passportElementErrorName:PassportElementError] :: PassportElementError -> Text

-- | Base64-encoded data hash.
[$sel:passportElementErrorHash:PassportElementError] :: PassportElementError -> Maybe Text

-- | Error message.
[$sel:passportElementErrorMessage:PassportElementError] :: PassportElementError -> Text

-- | Base64-encoded hash of the file with the reverse side of the document.
[$sel:passportElementErrorFileHash:PassportElementError] :: PassportElementError -> Maybe Text

-- | List of base64-encoded file hashes.
[$sel:passportElementErrorFileHashes:PassportElementError] :: PassportElementError -> Maybe [Text]

-- | Base64-encoded element hash.
[$sel:passportElementErrorElementHash:PassportElementError] :: PassportElementError -> Maybe Text

-- | This object represents a game. Use BotFather to create and edit games,
--   their short names will act as unique identifiers.
data Game
Game :: Text -> Text -> [PhotoSize] -> Maybe Text -> Maybe [MessageEntity] -> Maybe Animation -> Game

-- | Title of the game.
[$sel:gameTitle:Game] :: Game -> Text

-- | Description of the game.
[$sel:gameDescription:Game] :: Game -> Text

-- | Photo that will be displayed in the game message in chats.
[$sel:gamePhoto:Game] :: Game -> [PhotoSize]

-- | Brief description of the game or high scores included in the game
--   message. Can be automatically edited to include current high scores
--   for the game when the bot calls setGameScore, or manually edited using
--   editMessageText. 0-4096 characters.
[$sel:gameText:Game] :: Game -> Maybe Text

-- | Special entities that appear in text, such as usernames, URLs, bot
--   commands, etc.
[$sel:gameTextEntities:Game] :: Game -> Maybe [MessageEntity]

-- | Animation that will be displayed in the game message in chats. Upload
--   via <tt>BotFather</tt>.
[$sel:gameAnimation:Game] :: Game -> Maybe Animation

-- | A placeholder, currently holds no information. Use BotFather to set up
--   your game.
newtype CallbackGame
CallbackGame :: Object -> CallbackGame

-- | This object represents one row of the high scores table for a game.
data GameHighScore
GameHighScore :: Int32 -> User -> Int32 -> GameHighScore

-- | Position in high score table for the game.
[$sel:gameHighScorePosition:GameHighScore] :: GameHighScore -> Int32

-- | User.
[$sel:gameHighScoreUser:GameHighScore] :: GameHighScore -> User

-- | Score.
[$sel:gameHighScoreScore:GameHighScore] :: GameHighScore -> Int32

-- | Unique identifier for the target chat or username of the target
--   channel (in the format <tt>@channelusername</tt>).
data SomeChatId

-- | Unique chat ID.
SomeChatId :: ChatId -> SomeChatId

-- | Username of the target channel.
SomeChatUsername :: Text -> SomeChatId

-- | This object represents a bot command.
data BotCommand
BotCommand :: Text -> Text -> BotCommand

-- | Text of the command; 1-32 characters. Can contain only lowercase
--   English letters, digits and underscores.
[$sel:botCommandCommand:BotCommand] :: BotCommand -> Text

-- | Description of the command; 1-256 characters.
[$sel:botCommandDescription:BotCommand] :: BotCommand -> Text
data BotCommandScope

-- | Represents the default scope of bot commands. Default commands are
--   used if no commands with a narrower scope are specified for the user.
BotCommandScopeDefault :: BotCommandScope

-- | Represents the scope of bot commands, covering all private chats.
BotCommandScopeAllPrivateChats :: BotCommandScope

-- | Represents the scope of bot commands, covering all group and
--   supergroup chats.
BotCommandScopeAllGroupChats :: BotCommandScope

-- | Represents the scope of bot commands, covering all group and
--   supergroup chat administrators.
BotCommandScopeAllChatAdministrators :: BotCommandScope

-- | Represents the scope of bot commands, covering a specific chat.
BotCommandScopeChat :: SomeChatId -> BotCommandScope

-- | Represents the scope of bot commands, covering all administrators of a
--   specific group or supergroup chat.
BotCommandScopeChatAdministrators :: SomeChatId -> BotCommandScope

-- | Represents the scope of bot commands, covering a specific member of a
--   group or supergroup chat.
BotCommandScopeChatMember :: SomeChatId -> UserId -> BotCommandScope
addType :: Text -> [Pair] -> [Pair]

-- | Generic fields for all InputMedia structures
data InputMediaGeneric
InputMediaGeneric :: InputFile -> Maybe Text -> Maybe Text -> Maybe [MessageEntity] -> InputMediaGeneric

-- | File to send. Pass a file_id to send a file that exists on the
--   Telegram servers (recommended), pass an HTTP URL for Telegram to get a
--   file from the Internet, or pass “attach:/<i><a>file_attach_name</a>”
--   to upload a new one using multipart</i>form-data under
--   <a>file_attach_name</a> name.
[$sel:inputMediaGenericMedia:InputMediaGeneric] :: InputMediaGeneric -> InputFile

-- | Caption of the photo to be sent, 0-1024 characters after entities
--   parsing.
[$sel:inputMediaGenericCaption:InputMediaGeneric] :: InputMediaGeneric -> Maybe Text

-- | Mode for parsing entities in the photo caption. See formatting options
--   <a>https://core.telegram.org/bots/api#formatting-options</a> for more
--   details.
[$sel:inputMediaGenericParseMode:InputMediaGeneric] :: InputMediaGeneric -> Maybe Text

-- | List of special entities that appear in the caption, which can be
--   specified instead of parse_mode.
[$sel:inputMediaGenericCaptionEntities:InputMediaGeneric] :: InputMediaGeneric -> Maybe [MessageEntity]
data InputMediaGenericThumb
InputMediaGenericThumb :: InputMediaGeneric -> Maybe InputFile -> InputMediaGenericThumb
[$sel:inputMediaGenericGeneric:InputMediaGenericThumb] :: InputMediaGenericThumb -> InputMediaGeneric

-- | Thumbnail of the file sent; can be ignored if thumbnail generation for
--   the file is supported server-side. The thumbnail should be in JPEG
--   format and less than 200 kB in size. A thumbnail's width and height
--   should not exceed 320. Ignored if the file is not uploaded using
--   multipart<i>form-data. Thumbnails can't be reused and can be only
--   uploaded as a new file, so you can pass
--   “attach:</i><i><a>file_attach_name</a>” if the thumbnail was uploaded
--   using multipart</i>form-data under <a>file_attach_name</a>.
[$sel:inputMediaGenericThumb:InputMediaGenericThumb] :: InputMediaGenericThumb -> Maybe InputFile
data InputMedia

-- | Represents a photo to be sent.
InputMediaPhoto :: InputMediaGeneric -> InputMedia

-- | Represents a video to be sent.
InputMediaVideo :: InputMediaGenericThumb -> Maybe Integer -> Maybe Integer -> Maybe Integer -> Maybe Bool -> InputMedia
[$sel:inputMediaVideoGeneric:InputMediaPhoto] :: InputMedia -> InputMediaGenericThumb

-- | Video width
[$sel:inputMediaVideoWidth:InputMediaPhoto] :: InputMedia -> Maybe Integer

-- | Video height
[$sel:inputMediaVideoHeight:InputMediaPhoto] :: InputMedia -> Maybe Integer

-- | Video duration in seconds
[$sel:inputMediaVideoDuration:InputMediaPhoto] :: InputMedia -> Maybe Integer

-- | Pass True, if the uploaded video is suitable for streaming
[$sel:inputMediaVideoSupportsStreaming:InputMediaPhoto] :: InputMedia -> Maybe Bool

-- | Represents an animation file (GIF or H.264/MPEG-4 AVC video without
--   sound) to be sent.
InputMediaAnimation :: InputMediaGenericThumb -> Maybe Integer -> Maybe Integer -> Maybe Integer -> InputMedia
[$sel:inputMediaAnimationGeneric:InputMediaPhoto] :: InputMedia -> InputMediaGenericThumb

-- | Animation width
[$sel:inputMediaAnimationWidth:InputMediaPhoto] :: InputMedia -> Maybe Integer

-- | Animation height
[$sel:inputMediaAnimationHeight:InputMediaPhoto] :: InputMedia -> Maybe Integer

-- | Animation duration in seconds
[$sel:inputMediaAnimationDuration:InputMediaPhoto] :: InputMedia -> Maybe Integer

-- | Represents an audio file to be treated as music to be sent.
InputMediaAudio :: InputMediaGenericThumb -> Maybe Integer -> Maybe Text -> Maybe Text -> InputMedia
[$sel:inputMediaAudioGeneric:InputMediaPhoto] :: InputMedia -> InputMediaGenericThumb

-- | Duration of the audio in seconds
[$sel:inputMediaAudioDuration:InputMediaPhoto] :: InputMedia -> Maybe Integer

-- | Performer of the audio
[$sel:inputMediaAudioPerformer:InputMediaPhoto] :: InputMedia -> Maybe Text

-- | Title of the audio
[$sel:inputMediaAudioTitle:InputMediaPhoto] :: InputMedia -> Maybe Text

-- | Represents a general file to be sent.
InputMediaDocument :: InputMediaGenericThumb -> Maybe Bool -> InputMedia
[$sel:inputMediaDocumentGeneric:InputMediaPhoto] :: InputMedia -> InputMediaGenericThumb

-- | Disables automatic server-side content type detection for files
--   uploaded using multipart/form-data. Always True, if the document is
--   sent as part of an album.
[$sel:inputMediaDocumentDisableContentTypeDetection:InputMediaPhoto] :: InputMedia -> Maybe Bool
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.User
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.User
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Chat
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Chat
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Message
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Message
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.MessageEntity
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.MessageEntity
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.PhotoSize
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.PhotoSize
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Audio
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Audio
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Document
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Document
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Sticker
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Sticker
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Video
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Video
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Voice
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Voice
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.VideoNote
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.VideoNote
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Contact
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Contact
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Location
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Location
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Venue
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Venue
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.UserProfilePhotos
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.UserProfilePhotos
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.File
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.File
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ReplyKeyboardMarkup
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ReplyKeyboardMarkup
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.KeyboardButton
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.KeyboardButton
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ReplyKeyboardRemove
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ReplyKeyboardRemove
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.InlineKeyboardMarkup
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.InlineKeyboardMarkup
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.InlineKeyboardButton
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.InlineKeyboardButton
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.CallbackQuery
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.CallbackQuery
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ForceReply
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ForceReply
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ChatPhoto
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ChatPhoto
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ChatMember
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ChatMember
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ResponseParameters
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ResponseParameters
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.MaskPosition
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.MaskPosition
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.CallbackGame
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.CallbackGame
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Animation
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Animation
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Dice
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Dice
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Game
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Game
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Poll
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Poll
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.PollOption
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.PollOption
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.MessageAutoDeleteTimerChanged
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.MessageAutoDeleteTimerChanged
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Invoice
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Invoice
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.SuccessfulPayment
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.SuccessfulPayment
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.OrderInfo
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.OrderInfo
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ShippingAddress
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ShippingAddress
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.PassportData
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.PassportData
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.EncryptedPassportElement
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.EncryptedPassportElement
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.PassportElementType
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.PassportElementType
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.PassportFile
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.PassportFile
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.PassportErrorSource
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.PassportErrorSource
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.PassportElementError
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.PassportElementError
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.EncryptedCredentials
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.EncryptedCredentials
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ProximityAlertTriggered
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ProximityAlertTriggered
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.VoiceChatScheduled
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.VoiceChatScheduled
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.VoiceChatStarted
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.VoiceChatStarted
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.VoiceChatEnded
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.VoiceChatEnded
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.VoiceChatParticipantsInvited
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.VoiceChatParticipantsInvited
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ChatPermissions
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ChatPermissions
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ChatLocation
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ChatLocation
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.StickerSet
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.StickerSet
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.BotCommand
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.BotCommand
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ChatInviteLink
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ChatInviteLink
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.LabeledPrice
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.LabeledPrice
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ShippingOption
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ShippingOption
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ShippingQuery
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ShippingQuery
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.PreCheckoutQuery
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.PreCheckoutQuery
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.Seconds
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.Seconds
instance GHC.Num.Num Telegram.Bot.API.Types.Seconds
instance GHC.Show.Show Telegram.Bot.API.Types.Seconds
instance GHC.Classes.Eq Telegram.Bot.API.Types.Seconds
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.UserId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.UserId
instance GHC.Show.Show Telegram.Bot.API.Types.UserId
instance GHC.Classes.Eq Telegram.Bot.API.Types.UserId
instance GHC.Generics.Generic Telegram.Bot.API.Types.User
instance GHC.Show.Show Telegram.Bot.API.Types.User
instance Data.Hashable.Class.Hashable Telegram.Bot.API.Types.ChatId
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ChatId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ChatId
instance GHC.Show.Show Telegram.Bot.API.Types.ChatId
instance GHC.Classes.Eq Telegram.Bot.API.Types.ChatId
instance GHC.Show.Show Telegram.Bot.API.Types.ChatType
instance GHC.Generics.Generic Telegram.Bot.API.Types.ChatType
instance Data.Hashable.Class.Hashable Telegram.Bot.API.Types.MessageId
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.MessageId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.MessageId
instance GHC.Show.Show Telegram.Bot.API.Types.MessageId
instance GHC.Classes.Eq Telegram.Bot.API.Types.MessageId
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.MediaGroupId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.MediaGroupId
instance GHC.Show.Show Telegram.Bot.API.Types.MediaGroupId
instance GHC.Classes.Eq Telegram.Bot.API.Types.MediaGroupId
instance GHC.Generics.Generic Telegram.Bot.API.Types.MessageEntityType
instance GHC.Show.Show Telegram.Bot.API.Types.MessageEntityType
instance GHC.Classes.Eq Telegram.Bot.API.Types.MessageEntityType
instance GHC.Show.Show Telegram.Bot.API.Types.MessageEntity
instance GHC.Generics.Generic Telegram.Bot.API.Types.MessageEntity
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.FileId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.FileId
instance GHC.Show.Show Telegram.Bot.API.Types.FileId
instance GHC.Classes.Eq Telegram.Bot.API.Types.FileId
instance GHC.Show.Show Telegram.Bot.API.Types.PhotoSize
instance GHC.Generics.Generic Telegram.Bot.API.Types.PhotoSize
instance GHC.Show.Show Telegram.Bot.API.Types.Animation
instance GHC.Generics.Generic Telegram.Bot.API.Types.Animation
instance GHC.Show.Show Telegram.Bot.API.Types.Audio
instance GHC.Generics.Generic Telegram.Bot.API.Types.Audio
instance GHC.Show.Show Telegram.Bot.API.Types.Document
instance GHC.Generics.Generic Telegram.Bot.API.Types.Document
instance GHC.Show.Show Telegram.Bot.API.Types.Video
instance GHC.Generics.Generic Telegram.Bot.API.Types.Video
instance GHC.Show.Show Telegram.Bot.API.Types.VideoNote
instance GHC.Generics.Generic Telegram.Bot.API.Types.VideoNote
instance GHC.Show.Show Telegram.Bot.API.Types.Voice
instance GHC.Generics.Generic Telegram.Bot.API.Types.Voice
instance GHC.Show.Show Telegram.Bot.API.Types.Contact
instance GHC.Generics.Generic Telegram.Bot.API.Types.Contact
instance GHC.Show.Show Telegram.Bot.API.Types.Dice
instance GHC.Generics.Generic Telegram.Bot.API.Types.Dice
instance GHC.Show.Show Telegram.Bot.API.Types.PollOption
instance GHC.Generics.Generic Telegram.Bot.API.Types.PollOption
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.PollId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.PollId
instance GHC.Show.Show Telegram.Bot.API.Types.PollId
instance GHC.Classes.Eq Telegram.Bot.API.Types.PollId
instance GHC.Show.Show Telegram.Bot.API.Types.PollAnswer
instance GHC.Generics.Generic Telegram.Bot.API.Types.PollAnswer
instance GHC.Show.Show Telegram.Bot.API.Types.Location
instance GHC.Generics.Generic Telegram.Bot.API.Types.Location
instance GHC.Show.Show Telegram.Bot.API.Types.Venue
instance GHC.Generics.Generic Telegram.Bot.API.Types.Venue
instance GHC.Show.Show Telegram.Bot.API.Types.ProximityAlertTriggered
instance GHC.Generics.Generic Telegram.Bot.API.Types.ProximityAlertTriggered
instance GHC.Show.Show Telegram.Bot.API.Types.MessageAutoDeleteTimerChanged
instance GHC.Generics.Generic Telegram.Bot.API.Types.MessageAutoDeleteTimerChanged
instance GHC.Show.Show Telegram.Bot.API.Types.VoiceChatScheduled
instance GHC.Generics.Generic Telegram.Bot.API.Types.VoiceChatScheduled
instance GHC.Show.Show Telegram.Bot.API.Types.VoiceChatStarted
instance GHC.Generics.Generic Telegram.Bot.API.Types.VoiceChatStarted
instance GHC.Show.Show Telegram.Bot.API.Types.VoiceChatEnded
instance GHC.Generics.Generic Telegram.Bot.API.Types.VoiceChatEnded
instance GHC.Show.Show Telegram.Bot.API.Types.VoiceChatParticipantsInvited
instance GHC.Generics.Generic Telegram.Bot.API.Types.VoiceChatParticipantsInvited
instance GHC.Show.Show Telegram.Bot.API.Types.UserProfilePhotos
instance GHC.Generics.Generic Telegram.Bot.API.Types.UserProfilePhotos
instance GHC.Show.Show Telegram.Bot.API.Types.File
instance GHC.Generics.Generic Telegram.Bot.API.Types.File
instance GHC.Show.Show Telegram.Bot.API.Types.PollType
instance GHC.Generics.Generic Telegram.Bot.API.Types.PollType
instance GHC.Show.Show Telegram.Bot.API.Types.KeyboardButton
instance GHC.Generics.Generic Telegram.Bot.API.Types.KeyboardButton
instance GHC.Show.Show Telegram.Bot.API.Types.ReplyKeyboardMarkup
instance GHC.Generics.Generic Telegram.Bot.API.Types.ReplyKeyboardMarkup
instance GHC.Show.Show Telegram.Bot.API.Types.Poll
instance GHC.Generics.Generic Telegram.Bot.API.Types.Poll
instance GHC.Show.Show Telegram.Bot.API.Types.ReplyKeyboardRemove
instance GHC.Generics.Generic Telegram.Bot.API.Types.ReplyKeyboardRemove
instance GHC.Show.Show Telegram.Bot.API.Types.LoginUrl
instance GHC.Generics.Generic Telegram.Bot.API.Types.LoginUrl
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.CallbackQueryId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.CallbackQueryId
instance GHC.Generics.Generic Telegram.Bot.API.Types.CallbackQueryId
instance GHC.Show.Show Telegram.Bot.API.Types.CallbackQueryId
instance GHC.Classes.Eq Telegram.Bot.API.Types.CallbackQueryId
instance GHC.Show.Show Telegram.Bot.API.Types.ForceReply
instance GHC.Generics.Generic Telegram.Bot.API.Types.ForceReply
instance GHC.Show.Show Telegram.Bot.API.Types.ChatPhoto
instance GHC.Generics.Generic Telegram.Bot.API.Types.ChatPhoto
instance GHC.Show.Show Telegram.Bot.API.Types.ChatInviteLink
instance GHC.Generics.Generic Telegram.Bot.API.Types.ChatInviteLink
instance GHC.Show.Show Telegram.Bot.API.Types.ChatMember
instance GHC.Generics.Generic Telegram.Bot.API.Types.ChatMember
instance GHC.Show.Show Telegram.Bot.API.Types.ChatPermissions
instance GHC.Generics.Generic Telegram.Bot.API.Types.ChatPermissions
instance GHC.Show.Show Telegram.Bot.API.Types.ChatLocation
instance GHC.Generics.Generic Telegram.Bot.API.Types.ChatLocation
instance GHC.Generics.Generic Telegram.Bot.API.Types.ResponseParameters
instance GHC.Show.Show Telegram.Bot.API.Types.ResponseParameters
instance GHC.Show.Show Telegram.Bot.API.Types.MaskPosition
instance GHC.Generics.Generic Telegram.Bot.API.Types.MaskPosition
instance GHC.Show.Show Telegram.Bot.API.Types.Sticker
instance GHC.Generics.Generic Telegram.Bot.API.Types.Sticker
instance GHC.Show.Show Telegram.Bot.API.Types.StickerSet
instance GHC.Generics.Generic Telegram.Bot.API.Types.StickerSet
instance GHC.Show.Show Telegram.Bot.API.Types.LabeledPrice
instance GHC.Generics.Generic Telegram.Bot.API.Types.LabeledPrice
instance GHC.Show.Show Telegram.Bot.API.Types.Invoice
instance GHC.Generics.Generic Telegram.Bot.API.Types.Invoice
instance GHC.Show.Show Telegram.Bot.API.Types.ShippingAddress
instance GHC.Generics.Generic Telegram.Bot.API.Types.ShippingAddress
instance GHC.Show.Show Telegram.Bot.API.Types.OrderInfo
instance GHC.Generics.Generic Telegram.Bot.API.Types.OrderInfo
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ShippingOptionId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ShippingOptionId
instance GHC.Generics.Generic Telegram.Bot.API.Types.ShippingOptionId
instance GHC.Show.Show Telegram.Bot.API.Types.ShippingOptionId
instance GHC.Classes.Eq Telegram.Bot.API.Types.ShippingOptionId
instance GHC.Show.Show Telegram.Bot.API.Types.ShippingOption
instance GHC.Generics.Generic Telegram.Bot.API.Types.ShippingOption
instance GHC.Show.Show Telegram.Bot.API.Types.SuccessfulPayment
instance GHC.Generics.Generic Telegram.Bot.API.Types.SuccessfulPayment
instance GHC.Show.Show Telegram.Bot.API.Types.ShippingQuery
instance GHC.Generics.Generic Telegram.Bot.API.Types.ShippingQuery
instance GHC.Show.Show Telegram.Bot.API.Types.PreCheckoutQuery
instance GHC.Generics.Generic Telegram.Bot.API.Types.PreCheckoutQuery
instance GHC.Show.Show Telegram.Bot.API.Types.PassportFile
instance GHC.Generics.Generic Telegram.Bot.API.Types.PassportFile
instance GHC.Show.Show Telegram.Bot.API.Types.PassportElementType
instance GHC.Generics.Generic Telegram.Bot.API.Types.PassportElementType
instance GHC.Show.Show Telegram.Bot.API.Types.EncryptedPassportElement
instance GHC.Generics.Generic Telegram.Bot.API.Types.EncryptedPassportElement
instance GHC.Show.Show Telegram.Bot.API.Types.EncryptedCredentials
instance GHC.Generics.Generic Telegram.Bot.API.Types.EncryptedCredentials
instance GHC.Show.Show Telegram.Bot.API.Types.PassportData
instance GHC.Generics.Generic Telegram.Bot.API.Types.PassportData
instance GHC.Show.Show Telegram.Bot.API.Types.PassportErrorSource
instance GHC.Generics.Generic Telegram.Bot.API.Types.PassportErrorSource
instance GHC.Show.Show Telegram.Bot.API.Types.PassportElementError
instance GHC.Generics.Generic Telegram.Bot.API.Types.PassportElementError
instance GHC.Show.Show Telegram.Bot.API.Types.Game
instance GHC.Generics.Generic Telegram.Bot.API.Types.Game
instance GHC.Show.Show Telegram.Bot.API.Types.CallbackGame
instance GHC.Generics.Generic Telegram.Bot.API.Types.CallbackGame
instance GHC.Show.Show Telegram.Bot.API.Types.InlineKeyboardButton
instance GHC.Generics.Generic Telegram.Bot.API.Types.InlineKeyboardButton
instance GHC.Show.Show Telegram.Bot.API.Types.InlineKeyboardMarkup
instance GHC.Generics.Generic Telegram.Bot.API.Types.InlineKeyboardMarkup
instance GHC.Show.Show Telegram.Bot.API.Types.Chat
instance GHC.Generics.Generic Telegram.Bot.API.Types.Chat
instance GHC.Show.Show Telegram.Bot.API.Types.Message
instance GHC.Generics.Generic Telegram.Bot.API.Types.Message
instance GHC.Show.Show Telegram.Bot.API.Types.CallbackQuery
instance GHC.Generics.Generic Telegram.Bot.API.Types.CallbackQuery
instance GHC.Show.Show Telegram.Bot.API.Types.ChatJoinRequest
instance GHC.Generics.Generic Telegram.Bot.API.Types.ChatJoinRequest
instance GHC.Show.Show Telegram.Bot.API.Types.ChatMemberUpdated
instance GHC.Generics.Generic Telegram.Bot.API.Types.ChatMemberUpdated
instance GHC.Show.Show Telegram.Bot.API.Types.GameHighScore
instance GHC.Generics.Generic Telegram.Bot.API.Types.GameHighScore
instance GHC.Generics.Generic Telegram.Bot.API.Types.SomeChatId
instance GHC.Show.Show Telegram.Bot.API.Types.BotCommand
instance GHC.Generics.Generic Telegram.Bot.API.Types.BotCommand
instance GHC.Generics.Generic Telegram.Bot.API.Types.InputMediaGeneric
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.InputMedia
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Types.InputMedia
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.InputMediaGenericThumb
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Types.InputMediaGenericThumb
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.InputMediaGeneric
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Types.InputMediaGeneric
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.BotCommandScope
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.BotCommandScope
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.SomeChatId
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.SomeChatId
instance Web.Internal.HttpApiData.ToHttpApiData Telegram.Bot.API.Types.SomeChatId
instance Web.Internal.HttpApiData.ToHttpApiData Telegram.Bot.API.Types.PassportElementError
instance Web.Internal.HttpApiData.ToHttpApiData [Telegram.Bot.API.Types.PassportElementError]
instance Data.String.IsString Telegram.Bot.API.Types.KeyboardButton
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.PollType
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.PollType
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.InputFile
instance Web.Internal.HttpApiData.ToHttpApiData Telegram.Bot.API.Types.FileId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.MessageEntityType
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.MessageEntityType
instance Web.Internal.HttpApiData.ToHttpApiData Telegram.Bot.API.Types.MessageId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Types.ChatType
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Types.ChatType
instance Web.Internal.HttpApiData.ToHttpApiData Telegram.Bot.API.Types.ChatId
instance Web.Internal.HttpApiData.ToHttpApiData Telegram.Bot.API.Types.UserId

module Telegram.Bot.API.MakingRequests
botBaseUrl :: Token -> BaseUrl
defaultTelegramClientEnv :: Token -> IO ClientEnv
defaultRunBot :: Token -> ClientM a -> IO (Either ClientError a)
data Response a
Response :: Bool -> Maybe Text -> a -> Maybe Integer -> Maybe ResponseParameters -> Response a
[responseOk] :: Response a -> Bool
[responseDescription] :: Response a -> Maybe Text
[responseResult] :: Response a -> a
[responseErrorCode] :: Response a -> Maybe Integer
[responseParameters] :: Response a -> Maybe ResponseParameters
newtype Token
Token :: Text -> Token
instance GHC.Generics.Generic (Telegram.Bot.API.MakingRequests.Response a)
instance GHC.Show.Show a => GHC.Show.Show (Telegram.Bot.API.MakingRequests.Response a)
instance Data.String.IsString Telegram.Bot.API.MakingRequests.Token
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.MakingRequests.Token
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.MakingRequests.Token
instance Web.Internal.HttpApiData.FromHttpApiData Telegram.Bot.API.MakingRequests.Token
instance Web.Internal.HttpApiData.ToHttpApiData Telegram.Bot.API.MakingRequests.Token
instance GHC.Show.Show Telegram.Bot.API.MakingRequests.Token
instance GHC.Classes.Eq Telegram.Bot.API.MakingRequests.Token
instance Data.Aeson.Types.ToJSON.ToJSON a => Data.Aeson.Types.ToJSON.ToJSON (Telegram.Bot.API.MakingRequests.Response a)
instance Data.Aeson.Types.FromJSON.FromJSON a => Data.Aeson.Types.FromJSON.FromJSON (Telegram.Bot.API.MakingRequests.Response a)

module Telegram.Bot.API.Stickers

-- | Type of uploaded sticker file. Static or animated.
data StickerType

-- | PNG image with the sticker, must be up to 512 kilobytes in size,
--   dimensions must not exceed 512px, and either width or height must be
--   exactly 512px. Pass a file_id as a String to send a file that already
--   exists on the Telegram servers, pass an HTTP URL as a String for
--   Telegram to get a file from the Internet, or upload a new one using
--   multipart/form-data.
PngSticker :: StickerType

-- | TGS animation with the sticker, uploaded using multipart/form-data.
--   See
--   <a>https://core.telegram.org/animated_stickers#technical-requirements</a>
--   for technical requirements
TgsSticker :: StickerType
stickerLabel :: StickerType -> Text

-- | Sticker file with static/animated label.
data StickerFile
StickerFile :: InputFile -> StickerType -> StickerFile
[stickerFileSticker] :: StickerFile -> InputFile
[stickerFileLabel] :: StickerFile -> StickerType

-- | Request parameters for <a>sendSticker</a>.
data SendStickerRequest
SendStickerRequest :: SomeChatId -> InputFile -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendStickerRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[sendStickerChatId] :: SendStickerRequest -> SomeChatId

-- | Sticker to send. Pass a file_id as String to send a file that exists
--   on the Telegram servers (recommended), pass an HTTP URL as a String
--   for Telegram to get a .WEBP file from the Internet, or upload a new
--   one using multipart/form-data.
[sendStickerSticker] :: SendStickerRequest -> InputFile

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendStickerDisableNotification] :: SendStickerRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[sendStickerReplyToMessageId] :: SendStickerRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[sendStickerAllowSendingWithoutReply] :: SendStickerRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendStickerReplyMarkup] :: SendStickerRequest -> Maybe InlineKeyboardMarkup
type SendStickerContent = "sendSticker" :> MultipartForm Tmp SendStickerRequest :> Post '[JSON] (Response Message)
type SendStickerLink = "sendSticker" :> ReqBody '[JSON] SendStickerRequest :> Post '[JSON] (Response Message)

-- | Use this method to send static .WEBP or animated .TGS stickers. On
--   success, the sent Message is returned.
sendSticker :: SendStickerRequest -> ClientM (Response Message)

-- | Request parameters for <a>uploadStickerFile</a>.
data UploadStickerFileRequest
UploadStickerFileRequest :: UserId -> InputFile -> UploadStickerFileRequest

-- | User identifier of sticker file owner
[uploadStickerFileUserId] :: UploadStickerFileRequest -> UserId

-- | PNG image with the sticker, must be up to 512 kilobytes in size,
--   dimensions must not exceed 512px, and either width or height must be
--   exactly 512px.
[uploadStickerFilePngSticker] :: UploadStickerFileRequest -> InputFile
type UploadStickerFileContent = "uploadStickerFile" :> MultipartForm Tmp UploadStickerFileRequest :> Post '[JSON] (Response File)
type UploadStickerFileLink = "uploadStickerFile" :> ReqBody '[JSON] UploadStickerFileRequest :> Post '[JSON] (Response File)

-- | Use this method to upload a .PNG file with a sticker for later use in
--   createNewStickerSet and addStickerToSet methods (can be used multiple
--   times). Returns the uploaded File on success.
uploadStickerFile :: UploadStickerFileRequest -> ClientM (Response File)

-- | Request parameters for <a>createNewStickerSet</a>.
data CreateNewStickerSetRequest
CreateNewStickerSetRequest :: UserId -> Text -> Text -> StickerFile -> Text -> Maybe Bool -> Maybe MaskPosition -> CreateNewStickerSetRequest

-- | User identifier of created sticker set owner
[createNewStickerSetUserId] :: CreateNewStickerSetRequest -> UserId

-- | Short name of sticker set, to be used in t.me<i>addstickers</i> URLs
--   (e.g., animals). Can contain only english letters, digits and
--   underscores. Must begin with a letter, can't contain consecutive
--   underscores and must end in “_by_<a>username</a>”. <a>bot_username</a>
--   is case insensitive. 1-64 characters.
[createNewStickerSetName] :: CreateNewStickerSetRequest -> Text

-- | Sticker set title, 1-64 characters
[createNewStickerSetTitle] :: CreateNewStickerSetRequest -> Text

-- | Sticker file to upload
[createNewStickerSetSticker] :: CreateNewStickerSetRequest -> StickerFile

-- | One or more emoji corresponding to the sticker
[createNewStickerSetEmojis] :: CreateNewStickerSetRequest -> Text

-- | Pass True, if a set of mask stickers should be created
[createNewStickerSetContainsMasks] :: CreateNewStickerSetRequest -> Maybe Bool

-- | A JSON-serialized object for position where the mask should be placed
--   on faces
[createNewStickerSetMaskPosition] :: CreateNewStickerSetRequest -> Maybe MaskPosition
type CreateNewStickerSetContent = "createNewStickerSet" :> MultipartForm Tmp CreateNewStickerSetRequest :> Post '[JSON] (Response Bool)
type CreateNewStickerSetLink = "createNewStickerSet" :> ReqBody '[JSON] CreateNewStickerSetRequest :> Post '[JSON] (Response Bool)

-- | Use this method to create a new sticker set owned by a user. The bot
--   will be able to edit the sticker set thus created. You must use
--   exactly one of the fields png_sticker or tgs_sticker. Returns True on
--   success.
createNewStickerSet :: CreateNewStickerSetRequest -> ClientM (Response Bool)

-- | Request parameters for <a>addStickerToSet</a>.
data AddStickerToSetRequest
AddStickerToSetRequest :: UserId -> Text -> StickerFile -> Text -> Maybe MaskPosition -> AddStickerToSetRequest

-- | User identifier of sticker set owner
[addStickerToSetUserId] :: AddStickerToSetRequest -> UserId

-- | Sticker set name
[addStickerToSetName] :: AddStickerToSetRequest -> Text

-- | Sticker file to upload
[addStickerToSetSticker] :: AddStickerToSetRequest -> StickerFile

-- | One or more emoji corresponding to the sticker
[addStickerToSetEmojis] :: AddStickerToSetRequest -> Text

-- | A JSON-serialized object for position where the mask should be placed
--   on faces
[addStickerToSetMaskPosition] :: AddStickerToSetRequest -> Maybe MaskPosition
type AddStickerToSetContent = "addStickerToSet" :> MultipartForm Tmp AddStickerToSetRequest :> Post '[JSON] (Response Bool)
type AddStickerToSetLink = "addStickerToSet" :> ReqBody '[JSON] AddStickerToSetRequest :> Post '[JSON] (Response Bool)

-- | Use this method to add a new sticker to a set created by the bot. You
--   must use exactly one of the fields png_sticker or tgs_sticker.
--   Animated stickers can be added to animated sticker sets and only to
--   them. Animated sticker sets can have up to 50 stickers. Static sticker
--   sets can have up to 120 stickers. Returns True on success.
addStickerToSet :: AddStickerToSetRequest -> ClientM (Response Bool)
type GetStickerSet = "getStickerSet" :> RequiredQueryParam "name" Text :> Get '[JSON] (Response StickerSet)

-- | Use this method to get a sticker set. On success, a StickerSet object
--   is returned.
getStickerSet :: Text -> ClientM (Response StickerSet)
type SetStickerPositionInSet = "setStickerPositionInSet" :> RequiredQueryParam "sticker" Text :> RequiredQueryParam "position" Integer :> Post '[JSON] (Response Bool)

-- | Use this method to move a sticker in a set created by the bot to a
--   specific position. Returns True on success.
setStickerPositionInSet :: Text -> Integer -> ClientM (Response Bool)
type DeleteStickerFromSet = "deleteStickerFromSet" :> RequiredQueryParam "sticker" Text :> Post '[JSON] (Response Bool)

-- | Use this method to delete a sticker from a set created by the bot.
--   Returns True on success.
deleteStickerFromSet :: Text -> ClientM (Response Bool)

-- | Request parameters for <a>setStickerSetThumb</a>.
data SetStickerSetThumbRequest
SetStickerSetThumbRequest :: Text -> UserId -> InputFile -> SetStickerSetThumbRequest

-- | Sticker set name
[setStickerSetThumbName] :: SetStickerSetThumbRequest -> Text

-- | User identifier of the sticker set owner
[setStickerSetThumbUserId] :: SetStickerSetThumbRequest -> UserId

-- | A PNG image with the thumbnail, must be up to 128 kilobytes in size
--   and have width and height exactly 100px, or a TGS animation with the
--   thumbnail up to 32 kilobytes in size; see
--   <a>https://core.telegram.org/animated_stickers#technical-requirements</a>
--   for animated sticker technical requirements. Pass a file_id as a
--   String to send a file that already exists on the Telegram servers,
--   pass an HTTP URL as a String for Telegram to get a file from the
--   Internet, or upload a new one using multipart/form-data. Animated
--   sticker set thumbnail can't be uploaded via HTTP URL.
[setStickerSetThumbThumb] :: SetStickerSetThumbRequest -> InputFile
type SetStickerSetThumbContent = "setStickerSetThumb" :> MultipartForm Tmp SetStickerSetThumbRequest :> Post '[JSON] (Response Bool)
type SetStickerSetThumbLink = "setStickerSetThumb" :> ReqBody '[JSON] SetStickerSetThumbRequest :> Post '[JSON] (Response Bool)

-- | Use this method to set the thumbnail of a sticker set. Animated
--   thumbnails can be set for animated sticker sets only. Returns True on
--   success.
setStickerSetThumb :: SetStickerSetThumbRequest -> ClientM (Response Bool)
instance GHC.Generics.Generic Telegram.Bot.API.Stickers.SendStickerRequest
instance GHC.Generics.Generic Telegram.Bot.API.Stickers.UploadStickerFileRequest
instance GHC.Generics.Generic Telegram.Bot.API.Stickers.CreateNewStickerSetRequest
instance GHC.Generics.Generic Telegram.Bot.API.Stickers.AddStickerToSetRequest
instance GHC.Generics.Generic Telegram.Bot.API.Stickers.SetStickerSetThumbRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Stickers.SetStickerSetThumbRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Stickers.SetStickerSetThumbRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Stickers.AddStickerToSetRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Stickers.AddStickerToSetRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Stickers.CreateNewStickerSetRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Stickers.CreateNewStickerSetRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Stickers.UploadStickerFileRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Stickers.UploadStickerFileRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Stickers.SendStickerRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Stickers.SendStickerRequest

module Telegram.Bot.API.Payments
data SendInvoiceRequest
SendInvoiceRequest :: ChatId -> Text -> Text -> Text -> Text -> Text -> [LabeledPrice] -> Maybe Integer -> Maybe [Integer] -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Int -> Maybe Int -> Maybe Int -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendInvoiceRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername).
[sendInvoiceRequestChatId] :: SendInvoiceRequest -> ChatId

-- | Product name, 1-32 characters.
[sendInvoiceRequestTitle] :: SendInvoiceRequest -> Text

-- | Product description, 1-255 characters.
[sendInvoiceRequestDescription] :: SendInvoiceRequest -> Text

-- | Bot-defined invoice payload, 1-128 bytes. This will not be displayed
--   to the user, use for your internal processes.
[sendInvoiceRequestPayload] :: SendInvoiceRequest -> Text

-- | Payments provider token, obtained via Botfather.
[sendInvoiceRequestProviderToken] :: SendInvoiceRequest -> Text

-- | Three-letter ISO 4217 currency code, see more on currencies.
[sendInvoiceRequestCurrency] :: SendInvoiceRequest -> Text

-- | Price breakdown, a JSON-serialized list of components (e.g. product
--   price, tax, discount, delivery cost, delivery tax, bonus, etc.).
[sendInvoiceRequestPrices] :: SendInvoiceRequest -> [LabeledPrice]

-- | 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.
[sendInvoiceRequestMaxTipAmount] :: SendInvoiceRequest -> 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.
[sendInvoiceRequestSuggestedTipAmounts] :: SendInvoiceRequest -> Maybe [Integer]

-- | 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.
[sendInvoiceRequestStartParameter] :: SendInvoiceRequest -> 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.
[sendInvoiceRequestProviderData] :: SendInvoiceRequest -> 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.
[sendInvoiceRequestPhotoUrl] :: SendInvoiceRequest -> Maybe Text

-- | Photo size.
[sendInvoiceRequestPhotoSize] :: SendInvoiceRequest -> Maybe Int

-- | Photo width.
[sendInvoiceRequestPhotoWidth] :: SendInvoiceRequest -> Maybe Int

-- | Photo height.
[sendInvoiceRequestPhotoHeight] :: SendInvoiceRequest -> Maybe Int

-- | Pass <a>True</a>, if you require the user's full name to complete the
--   order.
[sendInvoiceRequestNeedName] :: SendInvoiceRequest -> Maybe Bool

-- | Pass <a>True</a>, if you require the user's phone number to complete
--   the order.
[sendInvoiceRequestNeedPhoneNumber] :: SendInvoiceRequest -> Maybe Bool

-- | Pass <a>True</a>, if you require the user's email address to complete
--   the order.
[sendInvoiceRequestNeedEmail] :: SendInvoiceRequest -> Maybe Bool

-- | Pass <a>True</a>, if you require the user's shipping address to
--   complete the order.
[sendInvoiceRequestNeedShippingAddress] :: SendInvoiceRequest -> Maybe Bool

-- | Pass <a>True</a>, if you require the user's phone number to complete
--   the order.
[sendInvoiceRequestSendPhoneNumberToProvider] :: SendInvoiceRequest -> Maybe Bool

-- | Pass <a>True</a>, if user's email address should be sent to provider.
[sendInvoiceRequestSendEmailToProvider] :: SendInvoiceRequest -> Maybe Bool

-- | Pass <a>True</a>, if the final price depends on the shipping method.
[sendInvoiceRequestIsFlexible] :: SendInvoiceRequest -> Maybe Bool

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendInvoiceRequestDisableNotification] :: SendInvoiceRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding and saving.
[sendInvoiceRequestProtectContent] :: SendInvoiceRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message.
[sendInvoiceRequestReplyToMessageId] :: SendInvoiceRequest -> Maybe MessageId

-- | Pass <a>True</a>, if the message should be sent even if the specified
--   replied-to message is not found.
[sendInvoiceRequestAllowSendingWithoutReply] :: SendInvoiceRequest -> Maybe Bool

-- | 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.
[sendInvoiceRequestReplyMarkup] :: SendInvoiceRequest -> Maybe InlineKeyboardMarkup
type SendInvoice = "sendInvoice" :> ReqBody '[JSON] SendInvoiceRequest :> Post '[JSON] (Response Message)

-- | Use this method to send invoices. On success, the sent <a>Message</a>
--   is returned.
sendInvoice :: SendInvoiceRequest -> ClientM (Response Message)
data AnswerShippingQueryRequest
AnswerShippingQueryRequest :: Text -> Bool -> Maybe [ShippingOption] -> Maybe Text -> AnswerShippingQueryRequest

-- | Unique identifier for the query to be answered.
[answerShippingQueryRequestShippingQueryId] :: AnswerShippingQueryRequest -> Text

-- | Specify <a>True</a> if delivery to the specified address is possible
--   and <a>False</a> if there are any problems (for example, if delivery
--   to the specified address is not possible).
[answerShippingQueryRequestOk] :: AnswerShippingQueryRequest -> Bool

-- | Required if <tt>ok</tt> is <a>True</a>. A JSON-serialized array of
--   available shipping options.
[answerShippingQueryRequestShippingOptions] :: AnswerShippingQueryRequest -> Maybe [ShippingOption]

-- | Required if <tt>ok</tt> is <a>False</a>. 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.
[answerShippingQueryRequestErrorMessage] :: AnswerShippingQueryRequest -> Maybe Text
type AnswerShippingQuery = "answerShippingQuery" :> ReqBody '[JSON] AnswerShippingQueryRequest :> Post '[JSON] (Response Bool)

-- | If you sent an invoice requesting a shipping address and the parameter
--   <tt>is_flexible</tt> was specified, the Bot API will send an
--   <tt>Update</tt> with a <tt>shipping_query</tt> field to the bot. Use
--   this method to reply to shipping queries. On success, True is
--   returned.
answerShippingQuery :: AnswerShippingQueryRequest -> ClientM (Response Bool)
data AnswerPreCheckoutQueryRequest
AnswerPreCheckoutQueryRequest :: Text -> Bool -> Maybe Text -> AnswerPreCheckoutQueryRequest

-- | Unique identifier for the query to be answered.
[answerPreCheckoutQueryRequestPreCheckoutQueryId] :: AnswerPreCheckoutQueryRequest -> Text

-- | Specify <a>True</a> 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.
[answerPreCheckoutQueryRequestOk] :: AnswerPreCheckoutQueryRequest -> Bool

-- | Required if <tt>ok</tt> is <a>False</a>. 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.
[answerPreCheckoutQueryRequestErrorMessage] :: AnswerPreCheckoutQueryRequest -> Maybe Text
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, <a>True</a> 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)
instance GHC.Show.Show Telegram.Bot.API.Payments.SendInvoiceRequest
instance GHC.Generics.Generic Telegram.Bot.API.Payments.SendInvoiceRequest
instance GHC.Show.Show Telegram.Bot.API.Payments.AnswerShippingQueryRequest
instance GHC.Generics.Generic Telegram.Bot.API.Payments.AnswerShippingQueryRequest
instance GHC.Show.Show Telegram.Bot.API.Payments.AnswerPreCheckoutQueryRequest
instance GHC.Generics.Generic Telegram.Bot.API.Payments.AnswerPreCheckoutQueryRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Payments.AnswerPreCheckoutQueryRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Payments.AnswerPreCheckoutQueryRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Payments.AnswerShippingQueryRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Payments.AnswerShippingQueryRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Payments.SendInvoiceRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Payments.SendInvoiceRequest

module Telegram.Bot.API.Passport
type SetPassportDataErrors = "setPassportDataErrors" :> RequiredQueryParam "user_id" UserId :> RequiredQueryParam "errors" [PassportElementError] :> Get '[JSON] (Response Bool)

-- | Use this if the data submitted by the user doesn't satisfy the
--   standards your service requires for any reason. For example, if a
--   birthday date seems invalid, a submitted document is blurry, a scan
--   shows evidence of tampering, etc. Supply some details in the error
--   message to make sure the user knows how to correct the issues.
setPassportDataErrors :: UserId -> [PassportElementError] -> ClientM (Response Bool)

module Telegram.Bot.API.Methods
type GetMe = "getMe" :> Get '[JSON] (Response User)

-- | A simple method for testing your bot's auth token. Requires no
--   parameters. Returns basic information about the bot in form of a
--   <a>User</a> object.
getMe :: ClientM (Response User)

-- | Notice that deleting by POST method was bugged, so we use GET
type DeleteMessage = "deleteMessage" :> RequiredQueryParam "chat_id" ChatId :> RequiredQueryParam "message_id" MessageId :> Get '[JSON] (Response Bool)

-- | Use this method to delete message in chat. On success, the sent Bool
--   is returned.
deleteMessage :: ChatId -> MessageId -> ClientM (Response Bool)
type SendMessage = "sendMessage" :> ReqBody '[JSON] SendMessageRequest :> Post '[JSON] (Response Message)

-- | Use this method to send text messages. On success, the sent
--   <a>Message</a> is returned.
sendMessage :: SendMessageRequest -> ClientM (Response Message)
type ForwardMessage = "forwardMessage" :> ReqBody '[JSON] ForwardMessageRequest :> Post '[JSON] (Response Message)

-- | Use this method to forward messages of any kind. On success, the sent
--   <a>Message</a> is returned.
forwardMessage :: ForwardMessageRequest -> ClientM (Response Message)

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
data SomeReplyMarkup
SomeInlineKeyboardMarkup :: InlineKeyboardMarkup -> SomeReplyMarkup
SomeReplyKeyboardMarkup :: ReplyKeyboardMarkup -> SomeReplyMarkup
SomeReplyKeyboardRemove :: ReplyKeyboardRemove -> SomeReplyMarkup
SomeForceReply :: ForceReply -> SomeReplyMarkup
data ParseMode
Markdown :: ParseMode
HTML :: ParseMode
MarkdownV2 :: ParseMode

-- | Request parameters for <a>sendMessage</a>.
data SendMessageRequest
SendMessageRequest :: SomeChatId -> Text -> Maybe ParseMode -> Maybe [MessageEntity] -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe SomeReplyMarkup -> SendMessageRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format <tt>@channelusername</tt>).
[sendMessageChatId] :: SendMessageRequest -> SomeChatId

-- | Text of the message to be sent.
[sendMessageText] :: SendMessageRequest -> Text

-- | Send <a>Markdown</a> or <a>HTML</a>, if you want Telegram apps to show
--   bold, italic, fixed-width text or inline URLs in your bot's message.
[sendMessageParseMode] :: SendMessageRequest -> Maybe ParseMode

-- | A JSON-serialized list of special entities that appear in message
--   text, which can be specified instead of <i>parse_mode</i>.
[sendMessageEntities] :: SendMessageRequest -> Maybe [MessageEntity]

-- | Disables link previews for links in this message.
[sendMessageDisableWebPagePreview] :: SendMessageRequest -> Maybe Bool

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendMessageDisableNotification] :: SendMessageRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message.
[sendMessageReplyToMessageId] :: SendMessageRequest -> Maybe MessageId

-- | Pass <a>True</a>, if the message should be sent even if the specified
--   replied-to message is not found.
[sendMessageAllowSendingWithoutReply] :: SendMessageRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendMessageReplyMarkup] :: SendMessageRequest -> Maybe SomeReplyMarkup

-- | Request parameters for <a>forwardMessage</a>.
data ForwardMessageRequest
ForwardMessageRequest :: SomeChatId -> SomeChatId -> Maybe Bool -> MessageId -> ForwardMessageRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @@channelusername).
[forwardMessageChatId] :: ForwardMessageRequest -> SomeChatId

-- | Unique identifier for the chat where the original message was sent (or
--   channel username in the format @@channelusername)
[forwardMessageFromChatId] :: ForwardMessageRequest -> SomeChatId

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[forwardMessageDisableNotification] :: ForwardMessageRequest -> Maybe Bool

-- | Message identifier in the chat specified in from_chat_id
[forwardMessageMessageId] :: ForwardMessageRequest -> MessageId
type SendDocumentContent = "sendDocument" :> MultipartForm Tmp SendDocumentRequest :> Post '[JSON] (Response Message)
type SendDocumentLink = "sendDocument" :> ReqBody '[JSON] SendDocumentRequest :> Post '[JSON] (Response Message)

-- | Use this method to send text messages. On success, the sent
--   <a>Message</a> is returned.
--   
--   <a>https://core.telegram.org/bots/api#senddocument</a>
sendDocument :: SendDocumentRequest -> ClientM (Response Message)

-- | Request parameters for <a>sendDocument</a>
data SendDocumentRequest
SendDocumentRequest :: SomeChatId -> DocumentFile -> Maybe FilePath -> Maybe Text -> Maybe ParseMode -> Maybe [MessageEntity] -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe SomeReplyMarkup -> SendDocumentRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format <tt>@channelusername</tt>).
[sendDocumentChatId] :: SendDocumentRequest -> SomeChatId

-- | Pass a file_id as String to send a file that exists on the Telegram
--   servers (recommended), pass an HTTP URL as a String for Telegram to
--   get a file from the Internet, or upload a new one using
--   multipart/form-data
[sendDocumentDocument] :: SendDocumentRequest -> DocumentFile

-- | Thumbnail of the file sent; can be ignored if thumbnail generation for
--   the file is supported server-side. The thumbnail should be in JPEG
--   format and less than 200 kB in size. A thumbnail's width and height
--   should not exceed 320. Ignored if the file is not uploaded using
--   multipart<i>form-data. Thumbnails can't be reused and can be only
--   uploaded as a new file, so you can pass
--   “attach:</i><i><a>file_attach_name</a>” if the thumbnail was uploaded
--   using multipart</i>form-data under <a>file_attach_name</a>
[sendDocumentThumb] :: SendDocumentRequest -> Maybe FilePath

-- | Document caption (may also be used when resending documents by
--   file_id), 0-1024 characters after entities parsing
[sendDocumentCaption] :: SendDocumentRequest -> Maybe Text

-- | Mode for parsing entities in the document caption.
[sendDocumentParseMode] :: SendDocumentRequest -> Maybe ParseMode

-- | A JSON-serialized list of special entities that appear in the caption,
--   which can be specified instead of <i>parse_mode</i>.
[sendDocumentCaptionEntities] :: SendDocumentRequest -> Maybe [MessageEntity]

-- | Disables automatic server-side content type detection for files
--   uploaded using <tt>multipart/form-data</tt>.
[sendDocumentDisableContentTypeDetection] :: SendDocumentRequest -> Maybe Bool

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendDocumentDisableNotification] :: SendDocumentRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message.
[sendDocumentReplyToMessageId] :: SendDocumentRequest -> Maybe MessageId

-- | Pass <a>True</a>, if the message should be sent even if the specified
--   replied-to message is not found.
[sendDocumentAllowSendingWithoutReply] :: SendDocumentRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendDocumentReplyMarkup] :: SendDocumentRequest -> Maybe SomeReplyMarkup
newtype DocumentFile
MakeDocumentFile :: InputFile -> DocumentFile
pattern DocumentFileId :: FileId -> DocumentFile
pattern DocumentUrl :: Text -> DocumentFile
pattern DocumentFile :: FilePath -> ContentType -> DocumentFile

-- | Generate send document structure.
toSendDocument :: SomeChatId -> DocumentFile -> SendDocumentRequest
type GetFile = "getFile" :> RequiredQueryParam "file_id" FileId :> Get '[JSON] (Response File)
getFile :: FileId -> ClientM (Response File)
type SendPhotoContent = "sendPhoto" :> MultipartForm Tmp SendPhotoRequest :> Post '[JSON] (Response Message)
type SendPhotoLink = "sendPhoto" :> ReqBody '[JSON] SendPhotoRequest :> Post '[JSON] (Response Message)
newtype PhotoFile
MakePhotoFile :: InputFile -> PhotoFile
pattern PhotoFileId :: FileId -> PhotoFile
pattern PhotoUrl :: Text -> PhotoFile
pattern PhotoFile :: FilePath -> ContentType -> PhotoFile

-- | Request parameters for <a>sendPhoto</a>
data SendPhotoRequest
SendPhotoRequest :: SomeChatId -> PhotoFile -> Maybe FilePath -> Maybe Text -> Maybe ParseMode -> Maybe [MessageEntity] -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe SomeReplyMarkup -> SendPhotoRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format <tt>@channelusername</tt>).
[sendPhotoChatId] :: SendPhotoRequest -> SomeChatId

-- | Pass a file_id as String to send a file that exists on the Telegram
--   servers (recommended), pass an HTTP URL as a String for Telegram to
--   get a file from the Internet, or upload a new one using
--   multipart/form-data
[sendPhotoPhoto] :: SendPhotoRequest -> PhotoFile

-- | Thumbnail of the file sent; can be ignored if thumbnail generation for
--   the file is supported server-side. The thumbnail should be in JPEG
--   format and less than 200 kB in size. A thumbnail's width and height
--   should not exceed 320. Ignored if the file is not uploaded using
--   multipart<i>form-data. Thumbnails can't be reused and can be only
--   uploaded as a new file, so you can pass
--   “attach:</i><i><a>file_attach_name</a>” if the thumbnail was uploaded
--   using multipart</i>form-data under <a>file_attach_name</a>
[sendPhotoThumb] :: SendPhotoRequest -> Maybe FilePath

-- | Photo caption (may also be used when resending Photos by file_id),
--   0-1024 characters after entities parsing
[sendPhotoCaption] :: SendPhotoRequest -> Maybe Text

-- | Mode for parsing entities in the Photo caption.
[sendPhotoParseMode] :: SendPhotoRequest -> Maybe ParseMode

-- | A JSON-serialized list of special entities that appear in the caption,
--   which can be specified instead of <i>parse_mode</i>.
[sendPhotoCaptionEntities] :: SendPhotoRequest -> Maybe [MessageEntity]

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendPhotoDisableNotification] :: SendPhotoRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message.
[sendPhotoReplyToMessageId] :: SendPhotoRequest -> Maybe MessageId

-- | Pass <a>True</a>, if the message should be sent even if the specified
--   replied-to message is not found.
[sendPhotoAllowSendingWithoutReply] :: SendPhotoRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendPhotoReplyMarkup] :: SendPhotoRequest -> Maybe SomeReplyMarkup

-- | Use this method to send photos. On success, the sent <a>Message</a> is
--   returned.
--   
--   <a>https://core.telegram.org/bots/api#sendphoto</a>
sendPhoto :: SendPhotoRequest -> ClientM (Response Message)

-- | Request parameters for <a>copyMessage</a>.
data CopyMessageRequest
CopyMessageRequest :: SomeChatId -> SomeChatId -> MessageId -> Maybe Text -> Maybe Text -> Maybe [MessageEntity] -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> CopyMessageRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[copyMessageChatId] :: CopyMessageRequest -> SomeChatId

-- | Unique identifier for the chat where the original message was sent (or
--   channel username in the format @channelusername)
[copyMessageFromChatId] :: CopyMessageRequest -> SomeChatId

-- | Message identifier in the chat specified in from_chat_id
[copyMessageMessageId] :: CopyMessageRequest -> MessageId

-- | New caption for media, 0-1024 characters after entities parsing. If
--   not specified, the original caption is kept
[copyMessageCaption] :: CopyMessageRequest -> Maybe Text

-- | Mode for parsing entities in the new caption. See formatting options
--   for more details.
[copyMessageParseMode] :: CopyMessageRequest -> Maybe Text

-- | A JSON-serialized list of special entities that appear in the caption,
--   which can be specified instead of parse_mode
[copyMessageCaptionEntities] :: CopyMessageRequest -> Maybe [MessageEntity]

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[copyMessageDisableNotification] :: CopyMessageRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding and saving
[copyMessageProtectContent] :: CopyMessageRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[copyMessageReplyToMessageId] :: CopyMessageRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[copyMessageAllowSendingWithoutReply] :: CopyMessageRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[copyMessageReplyMarkup] :: CopyMessageRequest -> Maybe InlineKeyboardMarkup
type CopyMessage = "copyMessage" :> ReqBody '[JSON] CopyMessageRequest :> Post '[JSON] (Response MessageId)

-- | Use this method to copy messages of any kind. Service messages and
--   invoice messages can't be copied. The method is analogous to the
--   method forwardMessage, but the copied message doesn't have a link to
--   the original message. Returns the MessageId of the sent message on
--   success.
copyMessage :: CopyMessageRequest -> ClientM (Response MessageId)

-- | Request parameters for <a>sendAudio</a>.
data SendAudioRequest
SendAudioRequest :: SomeChatId -> InputFile -> Maybe Int -> Maybe Text -> Maybe Text -> Maybe InputFile -> Maybe Text -> Maybe Text -> Maybe [MessageEntity] -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendAudioRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[sendAudioChatId] :: SendAudioRequest -> SomeChatId

-- | Audio to send. Pass a file_id as String to send an audio that exists
--   on the Telegram servers (recommended), pass an HTTP URL as a String
--   for Telegram to get a audio from the Internet, or upload a new audio
--   using multipart/form-data. More info on Sending Files »
[sendAudioAudio] :: SendAudioRequest -> InputFile

-- | Duration of sent audio in seconds
[sendAudioDuration] :: SendAudioRequest -> Maybe Int

-- | Performer
[sendAudioPerformer] :: SendAudioRequest -> Maybe Text

-- | Track name
[sendAudioTitle] :: SendAudioRequest -> Maybe Text

-- | Thumbnail of the file sent; can be ignored if thumbnail generation for
--   the file is supported server-side. The thumbnail should be in JPEG
--   format and less than 200 kB in size. A thumbnail's width and height
--   should not exceed 320. Ignored if the file is not uploaded using
--   multipart<i>form-data. Thumbnails can't be reused and can be only
--   uploaded as a new file, so you can pass
--   “attach:</i><i><a>file_attach_name</a>” if the thumbnail was uploaded
--   using multipart</i>form-data under <a>file_attach_name</a>. More info
--   on Sending Files »
[sendAudioThumb] :: SendAudioRequest -> Maybe InputFile

-- | Audio caption (may also be used when resending audios by file_id),
--   0-1024 characters after entities parsing
[sendAudioCaption] :: SendAudioRequest -> Maybe Text

-- | Mode for parsing entities in the audio caption. See formatting options
--   for more details.
[sendAudioParseMode] :: SendAudioRequest -> Maybe Text

-- | A JSON-serialized list of special entities that appear in the caption,
--   which can be specified instead of parse_mode
[sendAudioCaptionEntities] :: SendAudioRequest -> Maybe [MessageEntity]

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendAudioDisableNotification] :: SendAudioRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding and saving
[sendAudioProtectContent] :: SendAudioRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[sendAudioReplyToMessageId] :: SendAudioRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[sendAudioAllowSendingWithoutReply] :: SendAudioRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendAudioReplyMarkup] :: SendAudioRequest -> Maybe InlineKeyboardMarkup
type SendAudioContent = "sendAudio" :> MultipartForm Tmp SendAudioRequest :> Post '[JSON] (Response Message)
type SendAudioLink = "sendAudio" :> ReqBody '[JSON] SendAudioRequest :> Post '[JSON] (Response Message)

-- | Use this method to send audio files, if you want Telegram clients to
--   display them in the music player. Your audio must be in the .MP3 or
--   .M4A format. On success, the sent Message is returned. Bots can
--   currently send audio files of up to 50 MB in size, this limit may be
--   changed in the future.
--   
--   For sending voice messages, use the sendVoice method instead.
sendAudio :: SendAudioRequest -> ClientM (Response Message)

-- | Request parameters for <a>sendVideo</a>.
data SendVideoRequest
SendVideoRequest :: SomeChatId -> InputFile -> Maybe Int -> Maybe Int -> Maybe Int -> Maybe InputFile -> Maybe Text -> Maybe Text -> Maybe [MessageEntity] -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendVideoRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[sendVideoChatId] :: SendVideoRequest -> SomeChatId

-- | Video to send. Pass a file_id as String to send an video that exists
--   on the Telegram servers (recommended), pass an HTTP URL as a String
--   for Telegram to get a video from the Internet, or upload a new video
--   using multipart/form-data. More info on Sending Files »
[sendVideoVideo] :: SendVideoRequest -> InputFile

-- | Duration of sent video in seconds
[sendVideoDuration] :: SendVideoRequest -> Maybe Int

-- | Video width
[sendVideoWidth] :: SendVideoRequest -> Maybe Int

-- | Video height
[sendVideoHeight] :: SendVideoRequest -> Maybe Int

-- | Thumbnail of the file sent; can be ignored if thumbnail generation for
--   the file is supported server-side. The thumbnail should be in JPEG
--   format and less than 200 kB in size. A thumbnail's width and height
--   should not exceed 320. Ignored if the file is not uploaded using
--   multipart<i>form-data. Thumbnails can't be reused and can be only
--   uploaded as a new file, so you can pass
--   “attach:</i><i><a>file_attach_name</a>” if the thumbnail was uploaded
--   using multipart</i>form-data under <a>file_attach_name</a>. More info
--   on Sending Files »
[sendVideoThumb] :: SendVideoRequest -> Maybe InputFile

-- | Video caption (may also be used when resending videos by file_id),
--   0-1024 characters after entities parsing
[sendVideoCaption] :: SendVideoRequest -> Maybe Text

-- | Mode for parsing entities in the video caption. See formatting options
--   for more details.
[sendVideoParseMode] :: SendVideoRequest -> Maybe Text

-- | A JSON-serialized list of special entities that appear in the caption,
--   which can be specified instead of parse_mode
[sendVideoCaptionEntities] :: SendVideoRequest -> Maybe [MessageEntity]

-- | Pass True, if the uploaded video is suitable for streaming
[sendVideoSupportsStreaming] :: SendVideoRequest -> Maybe Bool

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendVideoDisableNotification] :: SendVideoRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding and saving
[sendVideoProtectContent] :: SendVideoRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[sendVideoReplyToMessageId] :: SendVideoRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[sendVideoAllowSendingWithoutReply] :: SendVideoRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendVideoReplyMarkup] :: SendVideoRequest -> Maybe InlineKeyboardMarkup
type SendVideoContent = "sendVideo" :> MultipartForm Tmp SendVideoRequest :> Post '[JSON] (Response Message)
type SendVideoLink = "sendVideo" :> ReqBody '[JSON] SendVideoRequest :> Post '[JSON] (Response Message)

-- | Use this method to send video files, Telegram clients support mp4
--   videos (other formats may be sent as Document). On success, the sent
--   Message is returned. Bots can currently send video files of up to 50
--   MB in size, this limit may be changed in the future.
sendVideo :: SendVideoRequest -> ClientM (Response Message)

-- | Request parameters for <a>sendAnimation</a>.
data SendAnimationRequest
SendAnimationRequest :: SomeChatId -> InputFile -> Maybe Int -> Maybe Int -> Maybe Int -> Maybe InputFile -> Maybe Text -> Maybe Text -> Maybe [MessageEntity] -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendAnimationRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[sendAnimationChatId] :: SendAnimationRequest -> SomeChatId

-- | Animation to send. Pass a file_id as String to send an animation that
--   exists on the Telegram servers (recommended), pass an HTTP URL as a
--   String for Telegram to get an animation from the Internet, or upload a
--   new animation using multipart/form-data. More info on Sending Files »
[sendAnimationAnimation] :: SendAnimationRequest -> InputFile

-- | Duration of sent animation in seconds
[sendAnimationDuration] :: SendAnimationRequest -> Maybe Int

-- | Animation width
[sendAnimationWidth] :: SendAnimationRequest -> Maybe Int

-- | Animation height
[sendAnimationHeight] :: SendAnimationRequest -> Maybe Int

-- | Thumbnail of the file sent; can be ignored if thumbnail generation for
--   the file is supported server-side. The thumbnail should be in JPEG
--   format and less than 200 kB in size. A thumbnail's width and height
--   should not exceed 320. Ignored if the file is not uploaded using
--   multipart<i>form-data. Thumbnails can't be reused and can be only
--   uploaded as a new file, so you can pass
--   “attach:</i><i><a>file_attach_name</a>” if the thumbnail was uploaded
--   using multipart</i>form-data under <a>file_attach_name</a>. More info
--   on Sending Files »
[sendAnimationThumb] :: SendAnimationRequest -> Maybe InputFile

-- | Animation caption (may also be used when resending animation by
--   file_id), 0-1024 characters after entities parsing
[sendAnimationCaption] :: SendAnimationRequest -> Maybe Text

-- | Mode for parsing entities in the animation caption. See formatting
--   options for more details.
[sendAnimationParseMode] :: SendAnimationRequest -> Maybe Text

-- | A JSON-serialized list of special entities that appear in the caption,
--   which can be specified instead of parse_mode
[sendAnimationCaptionEntities] :: SendAnimationRequest -> Maybe [MessageEntity]

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendAnimationDisableNotification] :: SendAnimationRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding and saving
[sendAnimationProtectContent] :: SendAnimationRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[sendAnimationReplyToMessageId] :: SendAnimationRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[sendAnimationAllowSendingWithoutReply] :: SendAnimationRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendAnimationReplyMarkup] :: SendAnimationRequest -> Maybe InlineKeyboardMarkup
type SendAnimationContent = "sendAnimation" :> MultipartForm Tmp SendAnimationRequest :> Post '[JSON] (Response Message)
type SendAnimationLink = "sendAnimation" :> ReqBody '[JSON] SendAnimationRequest :> Post '[JSON] (Response Message)

-- | Use this method to send animation files (GIF or H.264/MPEG-4 AVC video
--   without sound). On success, the sent Message is returned. Bots can
--   currently send animation files of up to 50 MB in size, this limit may
--   be changed in the future.
sendAnimation :: SendAnimationRequest -> ClientM (Response Message)

-- | Request parameters for <a>sendVoice</a>.
data SendVoiceRequest
SendVoiceRequest :: SomeChatId -> InputFile -> Maybe Text -> Maybe Text -> Maybe [MessageEntity] -> Maybe Int -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendVoiceRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[sendVoiceChatId] :: SendVoiceRequest -> SomeChatId

-- | Audio file to send. Pass a file_id as String to send a file that
--   exists on the Telegram servers (recommended), pass an HTTP URL as a
--   String for Telegram to get a file from the Internet, or upload a new
--   one using multipart/form-data. More info on Sending Files »
[sendVoiceVoice] :: SendVoiceRequest -> InputFile

-- | Voice message caption, 0-1024 characters after entities parsing
[sendVoiceCaption] :: SendVoiceRequest -> Maybe Text

-- | Mode for parsing entities in the voice message caption. See formatting
--   options for more details.
[sendVoiceParseMode] :: SendVoiceRequest -> Maybe Text

-- | A JSON-serialized list of special entities that appear in the caption,
--   which can be specified instead of parse_mode
[sendVoiceCaptionEntities] :: SendVoiceRequest -> Maybe [MessageEntity]

-- | Duration of the voice message in seconds
[sendVoiceDuration] :: SendVoiceRequest -> Maybe Int

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendVoiceDisableNotification] :: SendVoiceRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding and saving
[sendVoiceProtectContent] :: SendVoiceRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[sendVoiceReplyToMessageId] :: SendVoiceRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[sendVoiceAllowSendingWithoutReply] :: SendVoiceRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendVoiceReplyMarkup] :: SendVoiceRequest -> Maybe InlineKeyboardMarkup
type SendVoiceContent = "sendVoice" :> MultipartForm Tmp SendVoiceRequest :> Post '[JSON] (Response Message)
type SendVoiceLink = "sendVoice" :> ReqBody '[JSON] SendVoiceRequest :> Post '[JSON] (Response Message)

-- | Use this method to send audio files, if you want Telegram clients to
--   display the file as a playable voice message. For this to work, your
--   audio must be in an .OGG file encoded with OPUS (other formats may be
--   sent as Audio or Document). On success, the sent Message is returned.
--   Bots can currently send voice messages of up to 50 MB in size, this
--   limit may be changed in the future.
sendVoice :: SendVoiceRequest -> ClientM (Response Message)

-- | Request parameters for <a>sendVideoNote</a>.
data SendVideoNoteRequest
SendVideoNoteRequest :: SomeChatId -> InputFile -> Maybe Int -> Maybe Int -> Maybe InputFile -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendVideoNoteRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[sendVideoNoteChatId] :: SendVideoNoteRequest -> SomeChatId

-- | Video note to send. Pass a file_id as String to send a video note that
--   exists on the Telegram servers (recommended) or upload a new video
--   using multipart/form-data. More info on Sending Files ». Sending video
--   notes by a URL is currently unsupported
[sendVideoNoteVideoNote] :: SendVideoNoteRequest -> InputFile

-- | Duration of sent video in seconds
[sendVideoNoteDuration] :: SendVideoNoteRequest -> Maybe Int

-- | Video width and height, i.e. diameter of the video message
[sendVideoNoteLength] :: SendVideoNoteRequest -> Maybe Int

-- | Thumbnail of the file sent; can be ignored if thumbnail generation for
--   the file is supported server-side. The thumbnail should be in JPEG
--   format and less than 200 kB in size. A thumbnail's width and height
--   should not exceed 320. Ignored if the file is not uploaded using
--   multipart<i>form-data. Thumbnails can't be reused and can be only
--   uploaded as a new file, so you can pass
--   “attach:</i><i><a>file_attach_name</a>” if the thumbnail was uploaded
--   using multipart</i>form-data under <a>file_attach_name</a>. More info
--   on Sending Files »
[sendVideoNoteThumb] :: SendVideoNoteRequest -> Maybe InputFile

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendVideoNoteDisableNotification] :: SendVideoNoteRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding and saving
[sendVideoNoteProtectContent] :: SendVideoNoteRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[sendVideoNoteReplyToMessageId] :: SendVideoNoteRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[sendVideoNoteAllowSendingWithoutReply] :: SendVideoNoteRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendVideoNoteReplyMarkup] :: SendVideoNoteRequest -> Maybe InlineKeyboardMarkup
type SendVideoNoteContent = "sendVideoNote" :> MultipartForm Tmp SendVideoNoteRequest :> Post '[JSON] (Response Message)
type SendVideoNoteLink = "sendVideoNote" :> ReqBody '[JSON] SendVideoNoteRequest :> Post '[JSON] (Response Message)

-- | As of v.4.0, Telegram clients support rounded square mp4 videos of up
--   to 1 minute long. Use this method to send video messages. On success,
--   the sent Message is returned.
sendVideoNote :: SendVideoNoteRequest -> ClientM (Response Message)

-- | Request parameters for <a>sendMediaGroup</a>.
data SendMediaGroupRequest
SendMediaGroupRequest :: SomeChatId -> [InputMedia] -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendMediaGroupRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[sendMediaGroupChatId] :: SendMediaGroupRequest -> SomeChatId

-- | A JSON-serialized array describing messages to be sent, must include
--   2-10 items. InputMediaAudio, InputMediaDocument, InputMediaPhoto or
--   InputMediaVideo.
[sendMediaGroupMedia] :: SendMediaGroupRequest -> [InputMedia]

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendMediaGroupDisableNotification] :: SendMediaGroupRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding and saving
[sendMediaGroupProtectContent] :: SendMediaGroupRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[sendMediaGroupReplyToMessageId] :: SendMediaGroupRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[sendMediaGroupAllowSendingWithoutReply] :: SendMediaGroupRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendMediaGroupReplyMarkup] :: SendMediaGroupRequest -> Maybe InlineKeyboardMarkup
type SendMediaGroup = "sendMediaGroup" :> ReqBody '[JSON] SendMediaGroupRequest :> Post '[JSON] (Response [Message])

-- | Use this method to send a group of photos, videos, documents or audios
--   as an album. Documents and audio files can be only grouped in an album
--   with messages of the same type. On success, an array of Messages that
--   were sent is returned.
sendMediaGroup :: SendMediaGroupRequest -> ClientM (Response [Message])

-- | Request parameters for <a>sendLocation</a>.
data SendLocationRequest
SendLocationRequest :: SomeChatId -> Float -> Float -> Maybe Float -> Int -> Maybe Int -> Maybe Int -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendLocationRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[sendLocationChatId] :: SendLocationRequest -> SomeChatId

-- | Latitude of new location
[sendLocationLatitude] :: SendLocationRequest -> Float

-- | Longitude of new location
[sendLocationLongitude] :: SendLocationRequest -> Float

-- | The radius of uncertainty for the location, measured in meters; 0-1500
[sendLocationHorizontalAccuracy] :: SendLocationRequest -> Maybe Float

-- | Period in seconds for which the location will be updated (see Live
--   Locations, should be between 60 and 86400.)
[sendLocationLivePeriod] :: SendLocationRequest -> Int

-- | Direction in which the user is moving, in degrees. Must be between 1
--   and 360 if specified.
[sendLocationHeading] :: SendLocationRequest -> Maybe Int

-- | Maximum distance for proximity alerts about approaching another chat
--   member, in meters. Must be between 1 and 100000 if specified.
[sendLocationProximityAlertRadius] :: SendLocationRequest -> Maybe Int

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendLocationDisableNotification] :: SendLocationRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding and saving
[sendLocationProtectContent] :: SendLocationRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[sendLocationReplyToMessageId] :: SendLocationRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[sendLocationAllowSendingWithoutReply] :: SendLocationRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendLocationReplyMarkup] :: SendLocationRequest -> Maybe InlineKeyboardMarkup
type SendLocation = "sendLocation" :> ReqBody '[JSON] SendLocationRequest :> Post '[JSON] (Response Message)

-- | Use this method to send point on the map. On success, the sent Message
--   is returned.
sendLocation :: SendLocationRequest -> ClientM (Response Message)

-- | Request parameters for <a>editMessageLiveLocation</a>.
data EditMessageLiveLocationRequest
EditMessageLiveLocationRequest :: Maybe SomeChatId -> Maybe MessageId -> Maybe Text -> Float -> Float -> Maybe Float -> Maybe Int -> Maybe Int -> Maybe InlineKeyboardMarkup -> EditMessageLiveLocationRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[editMessageLiveLocationChatId] :: EditMessageLiveLocationRequest -> Maybe SomeChatId

-- | Required if inline_message_id is not specified. Identifier of the
--   message with live location to stop
[editMessageLiveLocationMessageId] :: EditMessageLiveLocationRequest -> Maybe MessageId

-- | Required if chat_id and message_id are not specified. Identifier of
--   the inline message
[editMessageLiveLocationInlineMessageId] :: EditMessageLiveLocationRequest -> Maybe Text

-- | Latitude of new location
[editMessageLiveLocationLatitude] :: EditMessageLiveLocationRequest -> Float

-- | Longitude of new location
[editMessageLiveLocationLongitude] :: EditMessageLiveLocationRequest -> Float

-- | The radius of uncertainty for the location, measured in meters; 0-1500
[editMessageLiveLocationHorizontalAccuracy] :: EditMessageLiveLocationRequest -> Maybe Float

-- | Direction in which the user is moving, in degrees. Must be between 1
--   and 360 if specified.
[editMessageLiveLocationHeading] :: EditMessageLiveLocationRequest -> Maybe Int

-- | Maximum distance for proximity alerts about approaching another chat
--   member, in meters. Must be between 1 and 100000 if specified.
[editMessageLiveLocationProximityAlertRadius] :: EditMessageLiveLocationRequest -> Maybe Int

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[editMessageLiveLocationReplyMarkup] :: EditMessageLiveLocationRequest -> Maybe InlineKeyboardMarkup
type EditMessageLiveLocation = "editMessageLiveLocation" :> ReqBody '[JSON] EditMessageLiveLocationRequest :> Post '[JSON] (Response (Either Bool Message))

-- | Use this method to edit live location messages. A location can be
--   edited until its live_period expires or editing is explicitly disabled
--   by a call to stopMessageLiveLocation. On success, if the edited
--   message is not an inline message, the edited Message is returned,
--   otherwise True is returned.
editMessageLiveLocation :: EditMessageLiveLocationRequest -> ClientM (Response (Either Bool Message))

-- | Request parameters for <a>stopMessageLiveLocation</a>.
data StopMessageLiveLocationRequest
StopMessageLiveLocationRequest :: Maybe SomeChatId -> Maybe MessageId -> Maybe Text -> Maybe InlineKeyboardMarkup -> StopMessageLiveLocationRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[stopMessageLiveLocationChatId] :: StopMessageLiveLocationRequest -> Maybe SomeChatId

-- | Required if inline_message_id is not specified. Identifier of the
--   message with live location to stop
[stopMessageLiveLocationMessageId] :: StopMessageLiveLocationRequest -> Maybe MessageId

-- | Required if chat_id and message_id are not specified. Identifier of
--   the inline message
[stopMessageLiveLocationInlineMessageId] :: StopMessageLiveLocationRequest -> Maybe Text

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[stopMessageLiveLocationReplyMarkup] :: StopMessageLiveLocationRequest -> Maybe InlineKeyboardMarkup
type StopMessageLiveLocation = "stopMessageLiveLocation" :> ReqBody '[JSON] StopMessageLiveLocationRequest :> Post '[JSON] (Response (Either Bool Message))

-- | Use this method to stop updating a live location message before
--   live_period expires. On success, if the message is not an inline
--   message, the edited Message is returned, otherwise True is returned.
stopMessageLiveLocation :: StopMessageLiveLocationRequest -> ClientM (Response (Either Bool Message))

-- | Request parameters for <a>sendVenue</a>.
data SendVenueRequest
SendVenueRequest :: SomeChatId -> Float -> Float -> Text -> Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Text -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendVenueRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[sendVenueChatId] :: SendVenueRequest -> SomeChatId

-- | Latitude of the venue
[sendVenueLatitude] :: SendVenueRequest -> Float

-- | Longitude of the venue
[sendVenueLongitude] :: SendVenueRequest -> Float

-- | Name of the venue
[sendVenueTitle] :: SendVenueRequest -> Text

-- | Address of the venue
[sendVenueAddress] :: SendVenueRequest -> Text

-- | Foursquare identifier of the venue
[sendVenueFoursquareId] :: SendVenueRequest -> Maybe Text

-- | Foursquare type of the venue, if known. (For example,
--   “arts_entertainment<i>default”, “arts_entertainment</i>aquarium” or
--   “food/icecream”.)
[sendVenueFoursquareType] :: SendVenueRequest -> Maybe Text

-- | Google Places identifier of the venue
[sendVenueGooglePlaceId] :: SendVenueRequest -> Maybe Text

-- | Google Places type of the venue. (See supported types
--   <a>https://developers.google.com/maps/documentation/places/web-service/supported_types</a>.)
[sendVenueGooglePlaceType] :: SendVenueRequest -> Maybe Text

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendVenueDisableNotification] :: SendVenueRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding and saving
[sendVenueProtectContent] :: SendVenueRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[sendVenueReplyToMessageId] :: SendVenueRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[sendVenueAllowSendingWithoutReply] :: SendVenueRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendVenueReplyMarkup] :: SendVenueRequest -> Maybe InlineKeyboardMarkup
type SendVenue = "sendVenue" :> ReqBody '[JSON] SendVenueRequest :> Post '[JSON] (Response Message)

-- | Use this method to send information about a venue. On success, the
--   sent Message is returned.
sendVenue :: SendVenueRequest -> ClientM (Response Message)

-- | Request parameters for <a>sendContact</a>.
data SendContactRequest
SendContactRequest :: SomeChatId -> Text -> Text -> Text -> Text -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendContactRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[sendContactChatId] :: SendContactRequest -> SomeChatId

-- | Contact's phone number
[sendContactPhoneNumber] :: SendContactRequest -> Text

-- | Contact's first name
[sendContactFirstName] :: SendContactRequest -> Text

-- | Contact's last name
[sendContactLastName] :: SendContactRequest -> Text

-- | Additional data about the contact in the form of a vCard, 0-2048 bytes
[sendContactVcard] :: SendContactRequest -> Text

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendContactDisableNotification] :: SendContactRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding and saving
[sendContactProtectContent] :: SendContactRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[sendContactReplyToMessageId] :: SendContactRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[sendContactAllowSendingWithoutReply] :: SendContactRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendContactReplyMarkup] :: SendContactRequest -> Maybe InlineKeyboardMarkup
type SendContact = "sendContact" :> ReqBody '[JSON] SendContactRequest :> Post '[JSON] (Response Message)

-- | Use this method to send phone contacts. On success, the sent Message
--   is returned.
sendContact :: SendContactRequest -> ClientM (Response Message)

-- | Request parameters for <a>sendPoll</a>.
data SendPollRequest
SendPollRequest :: SomeChatId -> Text -> [Text] -> Maybe Bool -> Maybe Text -> Maybe Bool -> Maybe Int -> Maybe Text -> Maybe Text -> Maybe [MessageEntity] -> Maybe Int -> Maybe Int -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendPollRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[sendPollChatId] :: SendPollRequest -> SomeChatId

-- | Poll question, 1-300 characters
[sendPollQuestion] :: SendPollRequest -> Text

-- | A JSON-serialized list of answer options, 2-10 strings 1-100
--   characters each
[sendPollOptions] :: SendPollRequest -> [Text]

-- | True, if the poll needs to be anonymous, defaults to True
[sendPollIsAnonymous] :: SendPollRequest -> Maybe Bool

-- | Poll type, “quiz” or “regular”, defaults to “regular”
[sendPollType] :: SendPollRequest -> Maybe Text

-- | True, if the poll allows multiple answers, ignored for polls in quiz
--   mode, defaults to False
[sendPollAllowsMultipleAnswers] :: SendPollRequest -> Maybe Bool

-- | 0-based identifier of the correct answer option, required for polls in
--   quiz mode
[sendPollCorrectOptionId] :: SendPollRequest -> Maybe Int

-- | Text that is shown when a user chooses an incorrect answer or taps on
--   the lamp icon in a quiz-style poll, 0-200 characters with at most 2
--   line feeds after entities parsing
[sendPollExplanation] :: SendPollRequest -> Maybe Text

-- | Mode for parsing entities in the explanation. See formatting options
--   for more details.
[sendPollExplanationParseMode] :: SendPollRequest -> Maybe Text

-- | A JSON-serialized list of special entities that appear in the poll
--   explanation, which can be specified instead of parse_mode
[sendPollExplanationEntities] :: SendPollRequest -> Maybe [MessageEntity]

-- | Amount of time in seconds the poll will be active after creation,
--   5-600. Can't be used together with close_date.
[sendPollOpenPeriod] :: SendPollRequest -> Maybe Int

-- | Point in time (Unix timestamp) when the poll will be automatically
--   closed. Must be at least 5 and no more than 600 seconds in the future.
--   Can't be used together with open_period.
[sendPollCloseDate] :: SendPollRequest -> Maybe Int

-- | Pass True, if the poll needs to be immediately closed. This can be
--   useful for poll preview.
[sendPollIsClosed] :: SendPollRequest -> Maybe Bool

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendPollDisableNotification] :: SendPollRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding and saving
[sendPollProtectContent] :: SendPollRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[sendPollReplyToMessageId] :: SendPollRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[sendPollAllowSendingWithoutReply] :: SendPollRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendPollReplyMarkup] :: SendPollRequest -> Maybe InlineKeyboardMarkup
type SendPoll = "sendPoll" :> ReqBody '[JSON] SendPollRequest :> Post '[JSON] (Response Message)

-- | Use this method to send a native poll. On success, the sent Message is
--   returned.
sendPoll :: SendPollRequest -> ClientM (Response Message)

-- | Request parameters for <a>sendDice</a>.
data SendDiceRequest
SendDiceRequest :: SomeChatId -> Maybe Text -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendDiceRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[sendDiceChatId] :: SendDiceRequest -> SomeChatId

-- | Emoji on which the dice throw animation is based. Currently, must be
--   one of “🎲”, “🎯”, “🏀”, “⚽”, “🎳”, or “🎰”. Dice can have values 1-6 for
--   “🎲”, “🎯” and “🎳”, values 1-5 for “🏀” and “⚽”, and values 1-64 for “🎰”.
--   Defaults to “🎲”
[sendDiceEmoji] :: SendDiceRequest -> Maybe Text

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendDiceDisableNotification] :: SendDiceRequest -> Maybe Bool

-- | Protects the contents of the sent message from forwarding
[sendDiceProtectContent] :: SendDiceRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message
[sendDiceReplyToMessageId] :: SendDiceRequest -> Maybe MessageId

-- | Pass True, if the message should be sent even if the specified
--   replied-to message is not found
[sendDiceAllowSendingWithoutReply] :: SendDiceRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[sendDiceReplyMarkup] :: SendDiceRequest -> Maybe InlineKeyboardMarkup
type SendDice = "sendDice" :> ReqBody '[JSON] SendDiceRequest :> Post '[JSON] (Response Message)

-- | Use this method to send an animated emoji that will display a random
--   value. On success, the sent Message is returned.
sendDice :: SendDiceRequest -> ClientM (Response Message)
type SendChatAction = "sendChatAction" :> RequiredQueryParam "chat_id" SomeChatId :> RequiredQueryParam "action" Text :> Post '[JSON] (Response Bool)

-- | Use this method when you need to tell the user that something is
--   happening on the bot's side. The status is set for 5 seconds or less
--   (when a message arrives from your bot, Telegram clients clear its
--   typing status). Returns True on success.
--   
--   Example: The ImageBot needs some time to process a request and upload
--   the image. Instead of sending a text message along the lines of
--   “Retrieving image, please wait…”, the bot may use sendChatAction with
--   action = upload_photo. The user will see a “sending photo” status for
--   the bot.
--   
--   We only recommend using this method when a response from the bot will
--   take a noticeable amount of time to arrive.
sendChatAction :: SomeChatId -> Text -> ClientM (Response Bool)

-- | Request parameters for <a>getUserProfilePhotos</a>.
data GetUserProfilePhotosRequest
GetUserProfilePhotosRequest :: UserId -> Maybe Int -> Maybe Int -> GetUserProfilePhotosRequest

-- | Unique identifier of the target user
[getUserProfilePhotosUserId] :: GetUserProfilePhotosRequest -> UserId

-- | Sequential number of the first photo to be returned. By default, all
--   photos are returned.
[getUserProfilePhotosOffset] :: GetUserProfilePhotosRequest -> Maybe Int

-- | Limits the number of photos to be retrieved. Values between 1-100 are
--   accepted. Defaults to 100.
[getUserProfilePhotosLimit] :: GetUserProfilePhotosRequest -> Maybe Int
type GetUserProfilePhotos = "getUserProfilePhotos" :> ReqBody '[JSON] GetUserProfilePhotosRequest :> Post '[JSON] (Response UserProfilePhotos)

-- | Use this method to get a list of profile pictures for a user. Returns
--   a UserProfilePhotos object.
getUserProfilePhotos :: GetUserProfilePhotosRequest -> ClientM (Response UserProfilePhotos)

-- | Request parameters for <a>banChatMember</a>.
data BanChatMemberRequest
BanChatMemberRequest :: SomeChatId -> UserId -> Maybe Int -> Maybe Bool -> BanChatMemberRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[banChatMemberChatId] :: BanChatMemberRequest -> SomeChatId

-- | Unique identifier of the target user
[banChatMemberUserId] :: BanChatMemberRequest -> UserId

-- | Date when the user will be unbanned, unix time. If user is banned for
--   more than 366 days or less than 30 seconds from the current time they
--   are considered to be banned forever. Applied for supergroups and
--   channels only.
[banChatMemberUntilDate] :: BanChatMemberRequest -> Maybe Int

-- | Pass True to delete all messages from the chat for the user that is
--   being removed. If False, the user will be able to see messages in the
--   group that were sent before the user was removed. Always True for
--   supergroups and channels.
[banChatMemberRevokeMessages] :: BanChatMemberRequest -> Maybe Bool
type BanChatMember = "banChatMember" :> ReqBody '[JSON] BanChatMemberRequest :> Post '[JSON] (Response Bool)

-- | Use this method to ban a user in a group, a supergroup or a channel.
--   In the case of supergroups and channels, the user will not be able to
--   return to the chat on their own using invite links, etc., unless
--   unbanned first. The bot must be an administrator in the chat for this
--   to work and must have the appropriate administrator rights. Returns
--   True on success.
banChatMember :: BanChatMemberRequest -> ClientM (Response Bool)

-- | Request parameters for <a>unbanChatMember</a>.
data UnbanChatMemberRequest
UnbanChatMemberRequest :: SomeChatId -> UserId -> Maybe Bool -> UnbanChatMemberRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[unbanChatMemberChatId] :: UnbanChatMemberRequest -> SomeChatId

-- | Unique identifier of the target user
[unbanChatMemberUserId] :: UnbanChatMemberRequest -> UserId

-- | Do nothing if the user is not banned
[unbanChatMemberOnlyIfBanned] :: UnbanChatMemberRequest -> Maybe Bool
type UnbanChatMember = "unbanChatMember" :> ReqBody '[JSON] UnbanChatMemberRequest :> Post '[JSON] (Response Bool)

-- | Use this method to unban a previously banned user in a supergroup or
--   channel. The user will not return to the group or channel
--   automatically, but will be able to join via link, etc. The bot must be
--   an administrator for this to work. By default, this method guarantees
--   that after the call the user is not a member of the chat, but will be
--   able to join it. So if the user is a member of the chat they will also
--   be removed from the chat. If you don't want this, use the parameter
--   only_if_banned. Returns True on success.
unbanChatMember :: UnbanChatMemberRequest -> ClientM (Response Bool)

-- | Request parameters for <a>restrictChatMember</a>.
data RestrictChatMemberRequest
RestrictChatMemberRequest :: SomeChatId -> UserId -> ChatPermissions -> Maybe Int -> RestrictChatMemberRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[restrictChatMemberChatId] :: RestrictChatMemberRequest -> SomeChatId

-- | Unique identifier of the target user
[restrictChatMemberUserId] :: RestrictChatMemberRequest -> UserId

-- | A JSON-serialized object for new user permissions
[restrictChatMemberPermissions] :: RestrictChatMemberRequest -> ChatPermissions

-- | Date when restrictions will be lifted for the user, unix time. If user
--   is restricted for more than 366 days or less than 30 seconds from the
--   current time, they are considered to be restricted forever
[restrictChatMemberUntilDate] :: RestrictChatMemberRequest -> Maybe Int
type RestrictChatMember = "restrictChatMember" :> ReqBody '[JSON] RestrictChatMemberRequest :> Post '[JSON] (Response Bool)

-- | Use this method to restrict a user in a supergroup. The bot must be an
--   administrator in the supergroup for this to work and must have the
--   appropriate administrator rights. Pass True for all permissions to
--   lift restrictions from a user. Returns True on success.
restrictChatMember :: RestrictChatMemberRequest -> ClientM (Response Bool)

-- | Request parameters for <a>promoteChatMember</a>.
data PromoteChatMemberRequest
PromoteChatMemberRequest :: SomeChatId -> UserId -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> Maybe Bool -> PromoteChatMemberRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[promoteChatMemberChatId] :: PromoteChatMemberRequest -> SomeChatId

-- | Unique identifier of the target user
[promoteChatMemberUserId] :: PromoteChatMemberRequest -> UserId

-- | Pass True, if the administrator's presence in the chat is hidden
[promoteChatMemberIsAnonymous] :: PromoteChatMemberRequest -> Maybe Bool

-- | Pass True, if the administrator can access the chat event log, chat
--   statistics, message statistics in channels, see channel members, see
--   anonymous administrators in supergroups and ignore slow mode. Implied
--   by any other administrator privilege
[promoteChatMemberCanManageChat] :: PromoteChatMemberRequest -> Maybe Bool

-- | Pass True, if the administrator can create channel posts, channels
--   only
[promoteChatMemberCanPostMessages] :: PromoteChatMemberRequest -> Maybe Bool

-- | Pass True, if the administrator can edit messages of other users and
--   can pin messages, channels only
[promoteChatMemberCanEditMessages] :: PromoteChatMemberRequest -> Maybe Bool

-- | Pass True, if the administrator can delete messages of other users
[promoteChatMemberCanDeleteMessages] :: PromoteChatMemberRequest -> Maybe Bool

-- | Pass True, if the administrator can manage voice chats
[promoteChatMemberCanManageVoiceChats] :: PromoteChatMemberRequest -> Maybe Bool

-- | Pass True, if the administrator can restrict, ban or unban chat
--   members
[promoteChatMemberCanRestrictMembers] :: PromoteChatMemberRequest -> Maybe Bool

-- | Pass True, if the administrator can add new administrators with a
--   subset of their own privileges or demote administrators that he has
--   promoted, directly or indirectly (promoted by administrators that were
--   appointed by him)
[promoteChatMemberCanPromoteMembers] :: PromoteChatMemberRequest -> Maybe Bool

-- | Pass True, if the administrator can change chat title, photo and other
--   settings
[promoteChatMemberCanChangeInfo] :: PromoteChatMemberRequest -> Maybe Bool

-- | Pass True, if the administrator can invite new users to the chat
[promoteChatMemberCanInviteUsers] :: PromoteChatMemberRequest -> Maybe Bool

-- | Pass True, if the administrator can pin messages, supergroups only
[promoteChatMemberCanPinMessages] :: PromoteChatMemberRequest -> Maybe Bool
type PromoteChatMember = "promoteChatMember" :> ReqBody '[JSON] PromoteChatMemberRequest :> Post '[JSON] (Response Bool)

-- | Use this method to promote or demote a user in a supergroup or a
--   channel. The bot must be an administrator in the chat for this to work
--   and must have the appropriate administrator rights. Pass False for all
--   boolean parameters to demote a user. Returns True on success.
promoteChatMember :: PromoteChatMemberRequest -> ClientM (Response Bool)

-- | Request parameters for <a>setChatAdministratorCustomTitle</a>.
data SetChatAdministratorCustomTitleRequest
SetChatAdministratorCustomTitleRequest :: SomeChatId -> UserId -> Text -> SetChatAdministratorCustomTitleRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[setChatAdministratorCustomTitleChatId] :: SetChatAdministratorCustomTitleRequest -> SomeChatId

-- | Unique identifier of the target user
[setChatAdministratorCustomTitleUserId] :: SetChatAdministratorCustomTitleRequest -> UserId

-- | New custom title for the administrator; 0-16 characters, emoji are not
--   allowed
[setChatAdministratorCustomTitleCustomTitle] :: SetChatAdministratorCustomTitleRequest -> Text
type SetChatAdministratorCustomTitle = "setChatAdministratorCustomTitle" :> ReqBody '[JSON] SetChatAdministratorCustomTitleRequest :> Post '[JSON] (Response Bool)

-- | Use this method to set a custom title for an administrator in a
--   supergroup promoted by the bot. Returns True on success.
setChatAdministratorCustomTitle :: SetChatAdministratorCustomTitleRequest -> ClientM (Response Bool)
type BanChatSenderChat = "banChatSenderChat" :> RequiredQueryParam "chat_id" SomeChatId :> RequiredQueryParam "sender_chat_id" ChatId :> Post '[JSON] (Response Bool)

-- | Use this method to ban a channel chat in a supergroup or a channel.
--   Until the chat is unbanned, the owner of the banned chat won't be able
--   to send messages on behalf of any of their channels. The bot must be
--   an administrator in the supergroup or channel for this to work and
--   must have the appropriate administrator rights. Returns True on
--   success.
banChatSenderChat :: SomeChatId -> ChatId -> ClientM (Response Bool)
type UnbanChatSenderChat = "unbanChatSenderChat" :> RequiredQueryParam "chat_id" SomeChatId :> RequiredQueryParam "sender_chat_id" ChatId :> Post '[JSON] (Response Bool)

-- | Use this method to unban a previously banned channel chat in a
--   supergroup or channel. The bot must be an administrator for this to
--   work and must have the appropriate administrator rights. Returns True
--   on success.
unbanChatSenderChat :: SomeChatId -> ChatId -> ClientM (Response Bool)

-- | Request parameters for <a>setChatPermissions</a>.
data SetChatPermissionsRequest
SetChatPermissionsRequest :: SomeChatId -> ChatPermissions -> SetChatPermissionsRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[setChatPermissionsChatId] :: SetChatPermissionsRequest -> SomeChatId

-- | A JSON-serialized object for new default chat permissions
[setChatPermissionsPermissions] :: SetChatPermissionsRequest -> ChatPermissions
type SetChatPermissions = "setChatPermissions" :> ReqBody '[JSON] SetChatPermissionsRequest :> Post '[JSON] (Response Bool)

-- | Use this method to set default chat permissions for all members. The
--   bot must be an administrator in the group or a supergroup for this to
--   work and must have the can_restrict_members administrator rights.
--   Returns True on success.
setChatPermissions :: SetChatPermissionsRequest -> ClientM (Response Bool)
type ExportChatInviteLink = "exportChatInviteLink" :> RequiredQueryParam "chat_id" SomeChatId :> Post '[JSON] (Response Text)

-- | Use this method to generate a new primary invite link for a chat; any
--   previously generated primary link is revoked. The bot must be an
--   administrator in the chat for this to work and must have the
--   appropriate administrator rights. Returns the new invite link as
--   String on success.
exportChatInviteLink :: SomeChatId -> ClientM (Response Text)

-- | Request parameters for <a>createChatInviteLink</a>.
data CreateChatInviteLinkRequest
CreateChatInviteLinkRequest :: SomeChatId -> Maybe Text -> Maybe Integer -> Maybe Int -> Maybe Bool -> CreateChatInviteLinkRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[createChatInviteLinkChatId] :: CreateChatInviteLinkRequest -> SomeChatId

-- | Invite link name; 0-32 characters
[createChatInviteLinkName] :: CreateChatInviteLinkRequest -> Maybe Text

-- | Point in time (Unix timestamp) when the link will expire
[createChatInviteLinkExpireDate] :: CreateChatInviteLinkRequest -> Maybe Integer

-- | Maximum number of users that can be members of the chat simultaneously
--   after joining the chat via this invite link; 1-99999
[createChatInviteLinkMemberLimit] :: CreateChatInviteLinkRequest -> Maybe Int

-- | True, if users joining the chat via the link need to be approved by
--   chat administrators. If True, member_limit can't be specified
[createChatInviteLinkCreatesJoinRequest] :: CreateChatInviteLinkRequest -> Maybe Bool
type CreateChatInviteLink = "createChatInviteLink" :> ReqBody '[JSON] CreateChatInviteLinkRequest :> Post '[JSON] (Response ChatInviteLink)

-- | Use this method to create an additional invite link for a chat. The
--   bot must be an administrator in the chat for this to work and must
--   have the appropriate administrator rights. The link can be revoked
--   using the method revokeChatInviteLink. Returns the new invite link as
--   ChatInviteLink object.
createChatInviteLink :: CreateChatInviteLinkRequest -> ClientM (Response ChatInviteLink)

-- | Request parameters for <a>editChatInviteLink</a>.
data EditChatInviteLinkRequest
EditChatInviteLinkRequest :: SomeChatId -> Text -> Maybe Text -> Maybe Integer -> Maybe Int -> Maybe Bool -> EditChatInviteLinkRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[editChatInviteLinkChatId] :: EditChatInviteLinkRequest -> SomeChatId

-- | The invite link to edit
[editChatInviteLinkInviteLink] :: EditChatInviteLinkRequest -> Text

-- | Invite link name; 0-32 characters
[editChatInviteLinkName] :: EditChatInviteLinkRequest -> Maybe Text

-- | Point in time (Unix timestamp) when the link will expire
[editChatInviteLinkExpireDate] :: EditChatInviteLinkRequest -> Maybe Integer

-- | Maximum number of users that can be members of the chat simultaneously
--   after joining the chat via this invite link; 1-99999
[editChatInviteLinkMemberLimit] :: EditChatInviteLinkRequest -> Maybe Int

-- | True, if users joining the chat via the link need to be approved by
--   chat administrators. If True, member_limit can't be specified
[editChatInviteLinkCreatesJoinRequest] :: EditChatInviteLinkRequest -> Maybe Bool
type EditChatInviteLink = "editChatInviteLink" :> ReqBody '[JSON] EditChatInviteLinkRequest :> Post '[JSON] (Response ChatInviteLink)

-- | Use this method to edit a non-primary invite link created by the bot.
--   The bot must be an administrator in the chat for this to work and must
--   have the appropriate administrator rights. Returns the edited invite
--   link as a ChatInviteLink object.
editChatInviteLink :: EditChatInviteLinkRequest -> ClientM (Response ChatInviteLink)
type RevokeChatInviteLink = "revokeChatInviteLink" :> RequiredQueryParam "chat_id" SomeChatId :> RequiredQueryParam "invite_link" Text :> Post '[JSON] (Response ChatInviteLink)

-- | Use this method to revoke an invite link created by the bot. If the
--   primary link is revoked, a new link is automatically generated. The
--   bot must be an administrator in the chat for this to work and must
--   have the appropriate administrator rights. Returns the revoked invite
--   link as ChatInviteLink object.
revokeChatInviteLink :: SomeChatId -> Text -> ClientM (Response ChatInviteLink)
type ApproveChatJoinRequest = "approveChatJoinRequest" :> RequiredQueryParam "chat_id" SomeChatId :> RequiredQueryParam "user_id" UserId :> Post '[JSON] (Response Bool)

-- | Use this method to approve a chat join request. The bot must be an
--   administrator in the chat for this to work and must have the
--   can_invite_users administrator right. Returns True on success.
approveChatJoinRequest :: SomeChatId -> UserId -> ClientM (Response Bool)
type DeclineChatJoinRequest = "declineChatJoinRequest" :> RequiredQueryParam "chat_id" SomeChatId :> RequiredQueryParam "user_id" UserId :> Post '[JSON] (Response Bool)

-- | Use this method to decline a chat join request. The bot must be an
--   administrator in the chat for this to work and must have the
--   can_invite_users administrator right. Returns True on success.
declineChatJoinRequest :: SomeChatId -> UserId -> ClientM (Response Bool)

-- | Request parameters for <a>setChatPhoto</a>.
data SetChatPhotoRequest
SetChatPhotoRequest :: SomeChatId -> InputFile -> SetChatPhotoRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[setChatPhotoChatId] :: SetChatPhotoRequest -> SomeChatId

-- | New chat photo, uploaded using multipart/form-data
[setChatPhotoPhoto] :: SetChatPhotoRequest -> InputFile
type SetChatPhoto = "setChatPhoto" :> MultipartForm Tmp SetChatPhotoRequest :> Post '[JSON] (Response Bool)

-- | Use this method to set a new profile photo for the chat. Photos can't
--   be changed for private chats. The bot must be an administrator in the
--   chat for this to work and must have the appropriate administrator
--   rights. Returns True on success.
--   
--   <ul>
--   <li>Note*: Only <a>InputFile</a> case might be used in
--   <a>SetChatPhotoRequest</a>. Rest cases will be rejected by
--   Telegram.</li>
--   </ul>
setChatPhoto :: SetChatPhotoRequest -> ClientM (Response Bool)
type DeleteChatPhoto = "deleteChatPhoto" :> RequiredQueryParam "chat_id" SomeChatId :> Post '[JSON] (Response Bool)

-- | Use this method to delete a chat photo. Photos can't be changed for
--   private chats. The bot must be an administrator in the chat for this
--   to work and must have the appropriate administrator rights. Returns
--   True on success.
deleteChatPhoto :: SomeChatId -> ClientM (Response Bool)
type SetChatTitle = "setChatTitle" :> RequiredQueryParam "chat_id" SomeChatId :> RequiredQueryParam "title" Text :> Post '[JSON] (Response Bool)

-- | Use this method to change the title of a chat. Titles can't be changed
--   for private chats. The bot must be an administrator in the chat for
--   this to work and must have the appropriate administrator rights.
--   Returns True on success.
setChatTitle :: SomeChatId -> Text -> ClientM (Response Bool)
type SetChatDescription = "setChatDescription" :> RequiredQueryParam "chat_id" SomeChatId :> QueryParam "description" Text :> Post '[JSON] (Response Bool)

-- | Use this method to change the description of a group, a supergroup or
--   a channel. The bot must be an administrator in the chat for this to
--   work and must have the appropriate administrator rights. Returns True
--   on success.
setChatDescription :: SomeChatId -> Maybe Text -> ClientM (Response Bool)

-- | Request parameters for <a>pinChatMessage</a>.
data PinChatMessageRequest
PinChatMessageRequest :: SomeChatId -> MessageId -> Maybe Bool -> PinChatMessageRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[pinChatMessageChatId] :: PinChatMessageRequest -> SomeChatId

-- | Identifier of a message to pin
[pinChatMessageMessageId] :: PinChatMessageRequest -> MessageId

-- | Pass True, if it is not necessary to send a notification to all chat
--   members about the new pinned message. Notifications are always
--   disabled in channels and private chats.
[pinChatMessageDisableNotification] :: PinChatMessageRequest -> Maybe Bool
type PinChatMessage = "pinChatMessage" :> ReqBody '[JSON] PinChatMessageRequest :> Post '[JSON] (Response Bool)

-- | Use this method to add a message to the list of pinned messages in a
--   chat. If the chat is not a private chat, the bot must be an
--   administrator in the chat for this to work and must have the
--   <tt>can_pin_messages</tt> administrator right in a supergroup or
--   <tt>can_edit_messages</tt> administrator right in a channel. Returns
--   True on success.
pinChatMessage :: PinChatMessageRequest -> ClientM (Response Bool)
type UnpinChatMessage = "unpinChatMessage" :> RequiredQueryParam "chat_id" SomeChatId :> QueryParam "message_id" MessageId :> Post '[JSON] (Response Bool)

-- | Use this method to remove a message from the list of pinned messages
--   in a chat. If the chat is not a private chat, the bot must be an
--   administrator in the chat for this to work and must have the
--   <tt>can_pin_messages</tt> administrator right in a supergroup or
--   <tt>can_edit_messages</tt> administrator right in a channel. Returns
--   True on success.
unpinChatMessage :: SomeChatId -> Maybe MessageId -> ClientM (Response Bool)
type UnpinAllChatMessages = "unpinAllChatMessages" :> RequiredQueryParam "chat_id" SomeChatId :> Post '[JSON] (Response Bool)

-- | Use this method to clear the list of pinned messages in a chat. If the
--   chat is not a private chat, the bot must be an administrator in the
--   chat for this to work and must have the <tt>can_pin_messages</tt>
--   administrator right in a supergroup or <tt>can_edit_messages</tt>
--   administrator right in a channel. Returns True on success.
unpinAllChatMessages :: SomeChatId -> ClientM (Response Bool)
type LeaveChat = "leaveChat" :> RequiredQueryParam "chat_id" SomeChatId :> Post '[JSON] (Response Bool)

-- | Use this method for your bot to leave a group, supergroup or channel.
--   Returns True on success.
leaveChat :: SomeChatId -> ClientM (Response Bool)
type GetChat = "getChat" :> RequiredQueryParam "chat_id" SomeChatId :> Post '[JSON] (Response Chat)

-- | Use this method to get up to date information about the chat (current
--   name of the user for one-on-one conversations, current username of a
--   user, group or channel, etc.). Returns a Chat object on success.
getChat :: SomeChatId -> ClientM (Response Chat)
type GetChatAdministrators = "getChatAdministrators" :> RequiredQueryParam "chat_id" SomeChatId :> Post '[JSON] (Response [ChatMember])

-- | Use this method to get a list of administrators in a chat. On success,
--   returns an Array of ChatMember objects that contains information about
--   all chat administrators except other bots. If the chat is a group or a
--   supergroup and no administrators were appointed, only the creator will
--   be returned.
getChatAdministrators :: SomeChatId -> ClientM (Response [ChatMember])
type GetChatMemberCount = "getChatMemberCount" :> RequiredQueryParam "chat_id" SomeChatId :> Post '[JSON] (Response Integer)

-- | Use this method to get the number of members in a chat. Returns Int on
--   success.
getChatMemberCount :: SomeChatId -> ClientM (Response Integer)
type GetChatMember = "getChatMember" :> RequiredQueryParam "chat_id" SomeChatId :> RequiredQueryParam "user_id" UserId :> Post '[JSON] (Response ChatMember)

-- | Use this method to get information about a member of a chat. Returns a
--   ChatMember object on success.
getChatMember :: SomeChatId -> UserId -> ClientM (Response ChatMember)
type SetChatStickerSet = "setChatStickerSet" :> RequiredQueryParam "chat_id" SomeChatId :> RequiredQueryParam "sticker_set_name" Text :> Post '[JSON] (Response Bool)

-- | Use this method to set a new group sticker set for a supergroup. The
--   bot must be an administrator in the chat for this to work and must
--   have the appropriate administrator rights. Use the field
--   can_set_sticker_set optionally returned in getChat requests to check
--   if the bot can use this method. Returns True on success.
setChatStickerSet :: SomeChatId -> Text -> ClientM (Response Bool)
type DeleteChatStickerSet = "deleteChatStickerSet" :> RequiredQueryParam "chat_id" SomeChatId :> Post '[JSON] (Response Bool)

-- | Use this method to delete a group sticker set from a supergroup. The
--   bot must be an administrator in the chat for this to work and must
--   have the appropriate administrator rights. Use the field
--   can_set_sticker_set optionally returned in getChat requests to check
--   if the bot can use this method. Returns True on success.
deleteChatStickerSet :: SomeChatId -> ClientM (Response Bool)

-- | Request parameters for <a>answerCallbackQuery</a>.
data AnswerCallbackQueryRequest
AnswerCallbackQueryRequest :: CallbackQueryId -> Maybe Text -> Maybe Bool -> Maybe Text -> Maybe Integer -> AnswerCallbackQueryRequest

-- | Unique identifier for the query to be answered
[answerCallbackQueryCallbackQueryId] :: AnswerCallbackQueryRequest -> CallbackQueryId

-- | Text of the notification. If not specified, nothing will be shown to
--   the user, 0-200 characters
[answerCallbackQueryText] :: AnswerCallbackQueryRequest -> Maybe Text

-- | If True, an alert will be shown by the client instead of a
--   notification at the top of the chat screen. Defaults to false.
[answerCallbackQueryShowAlert] :: AnswerCallbackQueryRequest -> Maybe Bool

-- | URL that will be opened by the user's client. If you have created a
--   Game and accepted the conditions via @Botfather, specify the URL that
--   opens your game — note that this will only work if the query comes
--   from a callback_game button.
--   
--   Otherwise, you may use links like t.me/your_bot?start=XXXX that open
--   your bot with a parameter.
[answerCallbackQueryUrl] :: AnswerCallbackQueryRequest -> Maybe Text

-- | The maximum amount of time in seconds that the result of the callback
--   query may be cached client-side. Telegram apps will support caching
--   starting in version 3.14. Defaults to 0.
[answerCallbackQueryCacheTime] :: AnswerCallbackQueryRequest -> Maybe Integer
type AnswerCallbackQuery = "answerCallbackQuery" :> ReqBody '[JSON] AnswerCallbackQueryRequest :> Post '[JSON] (Response Bool)

-- | Use this method to send answers to callback queries sent from inline
--   keyboards. The answer will be displayed to the user as a notification
--   at the top of the chat screen or as an alert. On success, True is
--   returned.
--   
--   Alternatively, the user can be redirected to the specified Game URL.
--   For this option to work, you must first create a game for your bot via
--   @Botfather and accept the terms. Otherwise, you may use links like
--   t.me/your_bot?start=XXXX that open your bot with a parameter.
answerCallbackQuery :: AnswerCallbackQueryRequest -> ClientM (Response Bool)

-- | Request parameters for <a>setMyCommands</a>.
data SetMyCommandsRequest
SetMyCommandsRequest :: [BotCommand] -> Maybe BotCommandScope -> Maybe Text -> SetMyCommandsRequest

-- | A JSON-serialized list of bot commands to be set as the list of the
--   bot's commands. At most 100 commands can be specified.
[setMyCommandsCommands] :: SetMyCommandsRequest -> [BotCommand]

-- | A JSON-serialized object, describing scope of users for which the
--   commands are relevant. Defaults to BotCommandScopeDefault.
[setMyCommandsScope] :: SetMyCommandsRequest -> Maybe BotCommandScope

-- | A two-letter ISO 639-1 language code. If empty, commands will be
--   applied to all users from the given scope, for whose language there
--   are no dedicated commands
[setMyCommandsLanguageCode] :: SetMyCommandsRequest -> Maybe Text
type SetMyCommands = "setMyCommands" :> ReqBody '[JSON] SetMyCommandsRequest :> Post '[JSON] (Response Bool)

-- | Use this method to change the list of the bot's commands. See
--   <a>https://core.telegram.org/bots#commands</a> for more details about
--   bot commands. Returns True on success.
setMyCommands :: SetMyCommandsRequest -> ClientM (Response Bool)

-- | Request parameters for <a>deleteMyCommands</a>.
data DeleteMyCommandsRequest
DeleteMyCommandsRequest :: Maybe BotCommandScope -> Maybe Text -> DeleteMyCommandsRequest

-- | A JSON-serialized object, describing scope of users. Defaults to
--   BotCommandScopeDefault.
[deleteMyCommandsScope] :: DeleteMyCommandsRequest -> Maybe BotCommandScope

-- | A two-letter ISO 639-1 language code. If empty, commands will be
--   applied to all users from the given scope, for whose language there
--   are no dedicated commands
[deleteMyCommandsLanguageCode] :: DeleteMyCommandsRequest -> Maybe Text
type DeleteMyCommands = "deleteMyCommands" :> ReqBody '[JSON] DeleteMyCommandsRequest :> Post '[JSON] (Response Bool)

-- | Use this method to delete the list of the bot's commands for the given
--   scope and user language. After deletion, higher level commands will be
--   shown to affected users. Returns True on success.
deleteMyCommands :: DeleteMyCommandsRequest -> ClientM (Response Bool)

-- | Request parameters for <a>getMyCommands</a>.
data GetMyCommandsRequest
GetMyCommandsRequest :: Maybe BotCommandScope -> Maybe Text -> GetMyCommandsRequest

-- | A JSON-serialized object, describing scope of users. Defaults to
--   BotCommandScopeDefault.
[getMyCommandsScope] :: GetMyCommandsRequest -> Maybe BotCommandScope

-- | A two-letter ISO 639-1 language code or an empty string
[getMyCommandsLanguageCode] :: GetMyCommandsRequest -> Maybe Text
type GetMyCommands = "getMyCommands" :> ReqBody '[JSON] GetMyCommandsRequest :> Post '[JSON] (Response [BotCommand])

-- | Use this method to get the current list of the bot's commands for the
--   given scope and user language. Returns Array of BotCommand on success.
--   If commands aren't set, an empty list is returned.
getMyCommands :: GetMyCommandsRequest -> ClientM (Response [BotCommand])
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.GetMyCommandsRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.GetMyCommandsRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.DeleteMyCommandsRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.DeleteMyCommandsRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SetMyCommandsRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.SetMyCommandsRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.AnswerCallbackQueryRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.AnswerCallbackQueryRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.EditChatInviteLinkRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.EditChatInviteLinkRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.PinChatMessageRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.PinChatMessageRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.CreateChatInviteLinkRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.CreateChatInviteLinkRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SetChatPermissionsRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.SetChatPermissionsRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SetChatAdministratorCustomTitleRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.SetChatAdministratorCustomTitleRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.PromoteChatMemberRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.PromoteChatMemberRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.RestrictChatMemberRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.RestrictChatMemberRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.UnbanChatMemberRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.UnbanChatMemberRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.BanChatMemberRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.BanChatMemberRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.GetUserProfilePhotosRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.GetUserProfilePhotosRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendDiceRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.SendDiceRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendPollRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.SendPollRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendContactRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.SendContactRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendVenueRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.SendVenueRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.StopMessageLiveLocationRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.StopMessageLiveLocationRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.EditMessageLiveLocationRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.EditMessageLiveLocationRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendLocationRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.SendLocationRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.CopyMessageRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.CopyMessageRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SomeReplyMarkup
instance GHC.Generics.Generic Telegram.Bot.API.Methods.ParseMode
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendMessageRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.ForwardMessageRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.DocumentFile
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendDocumentRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.PhotoFile
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendPhotoRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.CopyMessageRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendAudioRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendVideoRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendAnimationRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendVoiceRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendVideoNoteRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendMediaGroupRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendLocationRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.EditMessageLiveLocationRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.StopMessageLiveLocationRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendVenueRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendContactRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendPollRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SendDiceRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.GetUserProfilePhotosRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.BanChatMemberRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.UnbanChatMemberRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.RestrictChatMemberRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.PromoteChatMemberRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SetChatAdministratorCustomTitleRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SetChatPermissionsRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.CreateChatInviteLinkRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.EditChatInviteLinkRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.PinChatMessageRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.AnswerCallbackQueryRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.SetMyCommandsRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.DeleteMyCommandsRequest
instance GHC.Generics.Generic Telegram.Bot.API.Methods.GetMyCommandsRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Methods.SetChatPhotoRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendMediaGroupRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendVideoNoteRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Methods.SendVideoNoteRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendVoiceRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Methods.SendVoiceRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendAnimationRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Methods.SendAnimationRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendVideoRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Methods.SendVideoRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendAudioRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Methods.SendAudioRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Methods.SendPhotoRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendPhotoRequest
instance Servant.Multipart.API.ToMultipart Servant.Multipart.API.Tmp Telegram.Bot.API.Methods.SendDocumentRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendDocumentRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.ForwardMessageRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.ForwardMessageRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SendMessageRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.SendMessageRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.ParseMode
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.ParseMode
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Methods.SomeReplyMarkup
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Methods.SomeReplyMarkup

module Telegram.Bot.API.InlineMode.InlineQueryResult

-- | This object represents one result of an inline query
data InlineQueryResult
InlineQueryResult :: InlineQueryResultType -> InlineQueryResultId -> Maybe Text -> Maybe InputMessageContent -> Maybe Contact -> InlineQueryResult

-- | Type of the result
[inlineQueryResultType] :: InlineQueryResult -> InlineQueryResultType

-- | Unique identifier for this result, 1-64 Bytes
[inlineQueryResultId] :: InlineQueryResult -> InlineQueryResultId

-- | Title of the result (only valid for <a>Article</a>, <a>Photo</a>,
--   <a>Gif</a>, <a>Mpeg4Gif</a>, <a>Video</a>, <a>Audio</a>, <a>Voice</a>,
--   <a>Document</a>, <a>Location</a>, <a>Venue</a>, <a>CachedPhoto</a>,
--   <a>CachedGif</a>, <a>CachedMpeg4Gif</a>, <a>CachedDocument</a>,
--   <a>CachedVideo</a>, <a>CachedVoice</a> types of results)
[inlineQueryResultTitle] :: InlineQueryResult -> Maybe Text
[inlineQueryResultInputMessageContent] :: InlineQueryResult -> Maybe InputMessageContent
[inlineQueryResultContact] :: InlineQueryResult -> Maybe Contact
newtype InlineQueryResultId
InlineQueryResultId :: Text -> InlineQueryResultId

-- | Type of inline query result
data InlineQueryResultType
InlineQueryResultCachedAudio :: InlineQueryResultType
InlineQueryResultCachedDocument :: InlineQueryResultType
InlineQueryResultCachedGif :: InlineQueryResultType
InlineQueryResultCachedMpeg4Gif :: InlineQueryResultType
InlineQueryResultCachedPhoto :: InlineQueryResultType
InlineQueryResultCachedSticker :: InlineQueryResultType
InlineQueryResultCachedVideo :: InlineQueryResultType
InlineQueryResultCachedVoice :: InlineQueryResultType
InlineQueryResultArticle :: InlineQueryResultType
InlineQueryResultAudio :: InlineQueryResultType
InlineQueryResultContact :: InlineQueryResultType
InlineQueryResultGame :: InlineQueryResultType
InlineQueryResultDocument :: InlineQueryResultType
InlineQueryResultGif :: InlineQueryResultType
InlineQueryResultLocation :: InlineQueryResultType
InlineQueryResultMpeg4Gif :: InlineQueryResultType
InlineQueryResultPhoto :: InlineQueryResultType
InlineQueryResultVenue :: InlineQueryResultType
InlineQueryResultVideo :: InlineQueryResultType
InlineQueryResultVoice :: InlineQueryResultType
getType :: InlineQueryResultType -> Text
instance Data.Hashable.Class.Hashable Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResultId
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResultId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResultId
instance GHC.Generics.Generic Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResultId
instance GHC.Show.Show Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResultId
instance GHC.Classes.Eq Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResultId
instance GHC.Generics.Generic Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResultType
instance GHC.Show.Show Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResultType
instance GHC.Classes.Eq Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResultType
instance GHC.Show.Show Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResult
instance GHC.Generics.Generic Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResult
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResult
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResult
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResultType
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.InlineMode.InlineQueryResult.InlineQueryResultType

module Telegram.Bot.API.InlineMode

-- | This object represents an incoming inline query. When the user sends
--   an empty query, your bot could return some default or trending
--   results.
--   
--   <a>https://core.telegram.org/bots/api#inline-mode</a>
data InlineQuery
InlineQuery :: InlineQueryId -> User -> Maybe Location -> Text -> Text -> Maybe ChatType -> InlineQuery

-- | Unique query identifier
[inlineQueryId] :: InlineQuery -> InlineQueryId

-- | Sender
[inlineQueryFrom] :: InlineQuery -> User

-- | For bots that require user location, sender location
[inlineQueryLocation] :: InlineQuery -> Maybe Location

-- | Text of the query, up to 256 characters
[inlineQueryQuery] :: InlineQuery -> Text

-- | Offset of the results to be returned, can be controlled by bot
[inlineQueryOffset] :: InlineQuery -> Text

-- | Type of the chat, from which the inline query was sent. Can be either
--   “sender” for a private chat with the inline query sender, “private”,
--   “group”, “supergroup”, or “channel”. The chat type should be always
--   known for requests sent from official clients and most third-party
--   clients, unless the request was sent from a secret chat.
[inlineQueryChatType] :: InlineQuery -> Maybe ChatType

-- | Unique identifier for this query
newtype InlineQueryId
InlineQueryId :: Text -> InlineQueryId
type AnswerInlineQuery = "answerInlineQuery" :> ReqBody '[JSON] AnswerInlineQueryRequest :> Post '[JSON] (Response Bool)
answerInlineQuery :: AnswerInlineQueryRequest -> ClientM (Response Bool)
data AnswerInlineQueryRequest
AnswerInlineQueryRequest :: InlineQueryId -> [InlineQueryResult] -> Maybe Seconds -> Maybe Bool -> Maybe Text -> Maybe Text -> Maybe Text -> AnswerInlineQueryRequest

-- | Unique identifier for the answered query.
[answerInlineQueryRequestInlineQueryId] :: AnswerInlineQueryRequest -> InlineQueryId

-- | A JSON-serialized array of results for the inline query.
[answerInlineQueryRequestResults] :: AnswerInlineQueryRequest -> [InlineQueryResult]

-- | The maximum amount of time in seconds that the result of the inline
--   query may be cached on the server. Defaults to 300.
[answerInlineQueryCacheTime] :: AnswerInlineQueryRequest -> Maybe Seconds

-- | Pass <a>True</a>, if results may be cached on the server side only for
--   the user that sent the query. By default, results may be returned to
--   any user who sends the same query.
[answerInlineQueryIsPersonal] :: AnswerInlineQueryRequest -> Maybe Bool

-- | Pass the offset that a client should send in the next query with the
--   same text to receive more results. Pass an empty string if there are
--   no more results or if you don't support pagination. Offset length
--   can't exceed 64 bytes.
[answerInlineQueryNextOffset] :: AnswerInlineQueryRequest -> Maybe Text

-- | If passed, clients will display a button with specified text that
--   switches the user to a private chat with the bot and sends the bot a
--   start message with the parameter switch_pm_parameter.
[answerInlineQuerySwitchPmText] :: AnswerInlineQueryRequest -> Maybe Text

-- | Deep-linking parameter for the /start message sent to the bot when
--   user presses the switch button. 1-64 characters, only A-Z, a-z, 0-9, _
--   and - are allowed.
--   
--   Example: An inline bot that sends YouTube videos can ask the user to
--   connect the bot to their YouTube account to adapt search results
--   accordingly. To do this, it displays a 'Connect your YouTube account'
--   button above the results, or even before showing any. The user presses
--   the button, switches to a private chat with the bot and, in doing so,
--   passes a start parameter that instructs the bot to return an OAuth
--   link. Once done, the bot can offer a switch_inline button so that the
--   user can easily return to the chat where they wanted to use the bot's
--   inline capabilities.
[answerInlineQuerySwitchPmParameter] :: AnswerInlineQueryRequest -> Maybe Text
data ChosenInlineResult
ChosenInlineResult :: InlineQueryResultId -> User -> Maybe Location -> Maybe MessageId -> InlineQueryId -> ChosenInlineResult

-- | The unique identifier for the result that was chosen.
[chosenInlineResultResultId] :: ChosenInlineResult -> InlineQueryResultId

-- | The user that chose the result.
[chosenInlineResultFrom] :: ChosenInlineResult -> User

-- | Sender location, only for bots that require user location.
[chosenInlineResultLocation] :: ChosenInlineResult -> Maybe Location

-- | Identifier of the sent inline message. Available only if there is an
--   inline keyboard attached to the message. Will be also received in
--   callback queries and can be used to edit the message.
[chosenInlineResultInlineMessageId] :: ChosenInlineResult -> Maybe MessageId

-- | The query that was used to obtain the result.
[chosenInlineResultQuery] :: ChosenInlineResult -> InlineQueryId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.InlineMode.InlineQuery
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.InlineMode.InlineQuery
instance GHC.Generics.Generic Telegram.Bot.API.InlineMode.InlineQueryId
instance Data.Hashable.Class.Hashable Telegram.Bot.API.InlineMode.InlineQueryId
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.InlineMode.InlineQueryId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.InlineMode.InlineQueryId
instance GHC.Show.Show Telegram.Bot.API.InlineMode.InlineQueryId
instance GHC.Classes.Eq Telegram.Bot.API.InlineMode.InlineQueryId
instance GHC.Show.Show Telegram.Bot.API.InlineMode.InlineQuery
instance GHC.Generics.Generic Telegram.Bot.API.InlineMode.InlineQuery
instance GHC.Generics.Generic Telegram.Bot.API.InlineMode.AnswerInlineQueryRequest
instance GHC.Show.Show Telegram.Bot.API.InlineMode.ChosenInlineResult
instance GHC.Generics.Generic Telegram.Bot.API.InlineMode.ChosenInlineResult
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.InlineMode.ChosenInlineResult
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.InlineMode.ChosenInlineResult
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.InlineMode.AnswerInlineQueryRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.InlineMode.AnswerInlineQueryRequest

module Telegram.Bot.API.GettingUpdates
newtype UpdateId
UpdateId :: Int32 -> UpdateId

-- | This object represents an incoming update. At most <b>one</b> of the
--   optional parameters can be present in any given update.
data Update
Update :: UpdateId -> Maybe Message -> Maybe Message -> Maybe Message -> Maybe Message -> Maybe InlineQuery -> Maybe ChosenInlineResult -> Maybe CallbackQuery -> Maybe ShippingQuery -> Maybe PreCheckoutQuery -> Update

-- | 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.
[updateUpdateId] :: Update -> UpdateId

-- | New incoming message of any kind — text, photo, sticker, etc.
[updateMessage] :: Update -> Maybe Message

-- | New version of a message that is known to the bot and was edited
[updateEditedMessage] :: Update -> Maybe Message

-- | New incoming channel post of any kind — text, photo, sticker, etc.
[updateChannelPost] :: Update -> Maybe Message

-- | New version of a channel post that is known to the bot and was edited
[updateEditedChannelPost] :: Update -> Maybe Message

-- | New incoming inline query
[updateInlineQuery] :: Update -> Maybe InlineQuery

-- | 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.
[updateChosenInlineResult] :: Update -> Maybe ChosenInlineResult

-- | New incoming callback query
[updateCallbackQuery] :: Update -> Maybe CallbackQuery

-- | New incoming shipping query. Only for invoices with flexible price
[updateShippingQuery] :: Update -> Maybe ShippingQuery

-- | New incoming pre-checkout query. Contains full information about
--   checkout
[updatePreCheckoutQuery] :: Update -> Maybe PreCheckoutQuery
updateChatId :: Update -> Maybe ChatId
extractUpdateMessage :: Update -> Maybe Message
type GetUpdates = "getUpdates" :> ReqBody '[JSON] GetUpdatesRequest :> Get '[JSON] (Response [Update])

-- | Use this method to receive incoming updates using long polling. An
--   list of <a>Update</a> 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])

-- | Request parameters for <a>getUpdates</a>.
data GetUpdatesRequest
GetUpdatesRequest :: Maybe UpdateId -> Maybe Int32 -> Maybe Seconds -> Maybe [UpdateType] -> GetUpdatesRequest

-- | 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.
[getUpdatesOffset] :: GetUpdatesRequest -> Maybe UpdateId

-- | Limits the number of updates to be retrieved. Values between 1—100 are
--   accepted. Defaults to 100.
[getUpdatesLimit] :: GetUpdatesRequest -> Maybe Int32

-- | 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.
[getUpdatesTimeout] :: GetUpdatesRequest -> Maybe Seconds

-- | 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.
[getUpdatesAllowedUpdates] :: GetUpdatesRequest -> Maybe [UpdateType]
data UpdateType
UpdateMessage :: UpdateType
UpdateEditedMessage :: UpdateType
UpdateChannelPost :: UpdateType
UpdateEditedChannelPost :: UpdateType
UpdateInlineQuery :: UpdateType
UpdateChosenInlineResult :: UpdateType
UpdateCallbackQuery :: UpdateType
UpdateShippingQuery :: UpdateType
UpdatePreCheckoutQuery :: UpdateType
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.GettingUpdates.UpdateId
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.GettingUpdates.UpdateId
instance GHC.Show.Show Telegram.Bot.API.GettingUpdates.UpdateId
instance GHC.Classes.Ord Telegram.Bot.API.GettingUpdates.UpdateId
instance GHC.Classes.Eq Telegram.Bot.API.GettingUpdates.UpdateId
instance GHC.Show.Show Telegram.Bot.API.GettingUpdates.Update
instance GHC.Generics.Generic Telegram.Bot.API.GettingUpdates.Update
instance GHC.Generics.Generic Telegram.Bot.API.GettingUpdates.UpdateType
instance GHC.Generics.Generic Telegram.Bot.API.GettingUpdates.GetUpdatesRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.GettingUpdates.GetUpdatesRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.GettingUpdates.GetUpdatesRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.GettingUpdates.UpdateType
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.GettingUpdates.UpdateType
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.GettingUpdates.Update
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.GettingUpdates.Update

module Telegram.Bot.API.Games
data SendGameRequest
SendGameRequest :: ChatId -> Text -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe InlineKeyboardMarkup -> SendGameRequest

-- | Unique identifier for the target chat.
[sendGameRequestChatId] :: SendGameRequest -> ChatId

-- | Short name of the game, serves as the unique identifier for the game.
--   Set up your games via Botfather.
[sendGameRequestGameShortName] :: SendGameRequest -> Text

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[sendGameRequestDisableNotification] :: SendGameRequest -> Maybe Bool

-- | If the message is a reply, ID of the original message.
[sendGameRequestReplyToMessageId] :: SendGameRequest -> Maybe MessageId

-- | Pass <a>True</a>, if the message should be sent even if the specified
--   replied-to message is not found
[sendGameRequestAllowSendingWithoutReply] :: SendGameRequest -> Maybe Bool

-- | A JSON-serialized object for an inline keyboard. If empty, one 'Play
--   game_title' button will be shown. If not empty, the first button must
--   launch the game.
[sendGameRequestReplyMarkup] :: SendGameRequest -> Maybe InlineKeyboardMarkup
data SetGameScoreRequest
SetGameScoreRequest :: UserId -> Integer -> Maybe Bool -> Maybe Bool -> Maybe ChatId -> Maybe MessageId -> Maybe MessageId -> SetGameScoreRequest

-- | User identifier.
[setGameScoreRequestUserId] :: SetGameScoreRequest -> UserId

-- | New score, must be non-negative.
[setGameScoreRequestScore] :: SetGameScoreRequest -> Integer

-- | Pass <a>True</a>, if the high score is allowed to decrease. This can
--   be useful when fixing mistakes or banning cheaters.
[setGameScoreRequestForce] :: SetGameScoreRequest -> Maybe Bool

-- | Pass <a>True</a>, if the game message should not be automatically
--   edited to include the current scoreboard.
[setGameScoreRequestDisableEditMessage] :: SetGameScoreRequest -> Maybe Bool

-- | Required if <tt>inline_message_id</tt> is not specified. Unique
--   identifier for the target chat
[setGameScoreRequestChatId] :: SetGameScoreRequest -> Maybe ChatId

-- | Required if <tt>inline_message_id</tt> is not specified. Identifier of
--   the sent message.
[setGameScoreRequestMessageId] :: SetGameScoreRequest -> Maybe MessageId

-- | Required if <tt>chat_id</tt> and <tt>message_id</tt> are not
--   specified. Identifier of the inline message.
[setGameScoreRequestInlineMessageId] :: SetGameScoreRequest -> Maybe MessageId
data SetGameScoreResult
SetGameScoreMessage :: Message -> SetGameScoreResult
SetGameScoreMessageBool :: Bool -> SetGameScoreResult
data GetGameHighScoresRequest
GetGameHighScoresRequest :: UserId -> Maybe ChatId -> Maybe MessageId -> Maybe MessageId -> GetGameHighScoresRequest

-- | Target user id.
[getGameHighScoresRequestUserId] :: GetGameHighScoresRequest -> UserId

-- | Required if <tt>inline_message_id</tt> is not specified. Unique
--   identifier for the target chat.
[getGameHighScoresRequestChatId] :: GetGameHighScoresRequest -> Maybe ChatId

-- | Required if <tt>inline_message_id</tt> is not specified. Identifier of
--   the sent message.
[getGameHighScoresRequestMessageId] :: GetGameHighScoresRequest -> Maybe MessageId

-- | Required if <tt>chat_id</tt> and <tt>message_id</tt> are not
--   specified. Identifier of the inline message.
[getGameHighScoresRequestInlineMessageId] :: GetGameHighScoresRequest -> Maybe MessageId
type SendGame = "sendGame" :> ReqBody '[JSON] SendGameRequest :> Post '[JSON] (Response Message)

-- | Use this method to send a game. On success, the sent <a>Message</a> is
--   returned.
sendGame :: SendGameRequest -> ClientM (Response Message)
type SetGameScore = "setGameScore" :> ReqBody '[JSON] SetGameScoreRequest :> Post '[JSON] (Response SetGameScoreResult)

-- | Use this method to set the score of the specified user in a game
--   message. On success, if the message is not an inline message, the
--   <a>Message</a> is returned, otherwise True is returned. Returns an
--   error, if the new score is not greater than the user's current score
--   in the chat and force is False.
setGameScore :: SetGameScoreRequest -> ClientM (Response SetGameScoreResult)
type GetGameHighScores = "getGameHighScores" :> ReqBody '[JSON] GetGameHighScoresRequest :> Post '[JSON] (Response [GameHighScore])
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Games.SendGameRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Games.SendGameRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Games.SetGameScoreRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Games.SetGameScoreRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.Games.SetGameScoreResult
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.Games.SetGameScoreResult
instance GHC.Show.Show Telegram.Bot.API.Games.SendGameRequest
instance GHC.Generics.Generic Telegram.Bot.API.Games.SendGameRequest
instance GHC.Show.Show Telegram.Bot.API.Games.SetGameScoreRequest
instance GHC.Generics.Generic Telegram.Bot.API.Games.SetGameScoreRequest
instance GHC.Show.Show Telegram.Bot.API.Games.SetGameScoreResult
instance GHC.Generics.Generic Telegram.Bot.API.Games.SetGameScoreResult
instance GHC.Show.Show Telegram.Bot.API.Games.GetGameHighScoresRequest
instance GHC.Generics.Generic Telegram.Bot.API.Games.GetGameHighScoresRequest

module Telegram.Bot.API.Chat
type KickChatMember = "kickChatMember" :> RequiredQueryParam "chat_id" ChatId :> RequiredQueryParam "user_id" UserId :> Get '[JSON] (Response Bool)

-- | Use this method to kick user from chat. On success, the sent Bool is
--   returned.
kickChatMember :: ChatId -> UserId -> ClientM (Response Bool)

module Telegram.Bot.API.UpdatingMessages
type EditMessageText = "editMessageText" :> ReqBody '[JSON] EditMessageTextRequest :> Post '[JSON] (Response (Either Bool Message))

-- | Use this method to edit text and game messages. On success, if the
--   edited message is not an inline message, the edited <a>Message</a> is
--   returned, otherwise <a>True</a> is returned.
editMessageText :: EditMessageTextRequest -> ClientM (Response (Either Bool Message))

-- | Request parameters for <a>editMessageText</a>.
data EditMessageTextRequest
EditMessageTextRequest :: Maybe SomeChatId -> Maybe MessageId -> Maybe MessageId -> Text -> Maybe ParseMode -> Maybe [MessageEntity] -> Maybe Bool -> Maybe SomeReplyMarkup -> EditMessageTextRequest

-- | Required if <a>editMessageTextInlineMessageId</a> is not specified.
--   Unique identifier for the target chat or username of the target
--   channel (in the format <tt>@channelusername</tt>).
[editMessageTextChatId] :: EditMessageTextRequest -> Maybe SomeChatId

-- | Required if <a>editMessageTextInlineMessageId</a> is not specified.
--   Identifier of the sent message.
[editMessageTextMessageId] :: EditMessageTextRequest -> Maybe MessageId

-- | Required if <a>editMessageTextChatId</a> and
--   <a>editMessageTextMessageId</a> are not specified. Identifier of the
--   sent message.
[editMessageTextInlineMessageId] :: EditMessageTextRequest -> Maybe MessageId

-- | Text of the message to be sent.
[editMessageTextText] :: EditMessageTextRequest -> Text

-- | Send <a>Markdown</a> or <a>HTML</a>, if you want Telegram apps to show
--   bold, italic, fixed-width text or inline URLs in your bot's message.
[editMessageTextParseMode] :: EditMessageTextRequest -> Maybe ParseMode

-- | A JSON-serialized list of special entities that appear in message
--   text, which can be specified instead of <i>parse_mode</i>.
[editMessageEntities] :: EditMessageTextRequest -> Maybe [MessageEntity]

-- | Disables link previews for links in this message.
[editMessageTextDisableWebPagePreview] :: EditMessageTextRequest -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[editMessageTextReplyMarkup] :: EditMessageTextRequest -> Maybe SomeReplyMarkup

-- | Request parameters for <a>editMessageCaption</a>.
data EditMessageCaptionRequest
EditMessageCaptionRequest :: Maybe SomeChatId -> Maybe MessageId -> Maybe MessageId -> Maybe Text -> Maybe ParseMode -> Maybe [MessageEntity] -> Maybe SomeReplyMarkup -> EditMessageCaptionRequest

-- | Required if <a>editMessageCaptionMessageId</a> is not specified.
--   Unique identifier for the target chat or username of the target
--   channel (in the format <tt>@channelusername</tt>).
[editMessageCaptionChatId] :: EditMessageCaptionRequest -> Maybe SomeChatId

-- | Required if <a>editMessageCaptionInlineMessageId</a> is not specified.
--   Identifier of the sent message.
[editMessageCaptionMessageId] :: EditMessageCaptionRequest -> Maybe MessageId

-- | Required if <a>editMessageCaptionChatId</a> and
--   <a>editMessageCaptionMessageId</a> are not specified. Identifier of
--   the sent message.
[editMessageCaptionInlineMessageId] :: EditMessageCaptionRequest -> Maybe MessageId

-- | New caption of the message, 0-1024 characters after entities parsing
[editMessageCaptionCaption] :: EditMessageCaptionRequest -> Maybe Text

-- | Mode for parsing entities in the message caption. See formatting
--   options for more details.
[editMessageCaptionParseMode] :: EditMessageCaptionRequest -> Maybe ParseMode

-- | A JSON-serialized list of special entities that appear in the caption,
--   which can be specified instead of parse_mode
[editMessageCaptionCaptionEntities] :: EditMessageCaptionRequest -> Maybe [MessageEntity]

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[editMessageCaptionReplyMarkup] :: EditMessageCaptionRequest -> Maybe SomeReplyMarkup
type EditMessageCaption = "editMessageCaption" :> ReqBody '[JSON] EditMessageCaptionRequest :> Post '[JSON] (Response (Either Bool Message))

-- | Use this method to edit captions of messages. On success, if the
--   edited message is not an inline message, the edited Message is
--   returned, otherwise True is returned.
editMessageCaption :: EditMessageCaptionRequest -> ClientM (Response (Either Bool Message))

-- | Request parameters for <a>editMessageMedia</a>.
data EditMessageMediaRequest
EditMessageMediaRequest :: Maybe SomeChatId -> Maybe MessageId -> Maybe MessageId -> InputMedia -> Maybe SomeReplyMarkup -> EditMessageMediaRequest

-- | Required if <a>editMessageMediaMessageId</a> is not specified. Unique
--   identifier for the target chat or username of the target channel (in
--   the format <tt>@channelusername</tt>).
[editMessageMediaChatId] :: EditMessageMediaRequest -> Maybe SomeChatId

-- | Required if <a>editMessageMediaInlineMessageId</a> is not specified.
--   Identifier of the sent message.
[editMessageMediaMessageId] :: EditMessageMediaRequest -> Maybe MessageId

-- | Required if <a>editMessageMediaChatId</a> and
--   <a>editMessageMediaMessageId</a> are not specified. Identifier of the
--   sent message.
[editMessageMediaInlineMessageId] :: EditMessageMediaRequest -> Maybe MessageId

-- | A JSON-serialized object for a new media content of the message
[editMessageMediaMedia] :: EditMessageMediaRequest -> InputMedia

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[editMessageMediaReplyMarkup] :: EditMessageMediaRequest -> Maybe SomeReplyMarkup
type EditMessageMedia = "editMessageMedia" :> ReqBody '[JSON] EditMessageMediaRequest :> Post '[JSON] (Response (Either Bool Message))

-- | Use this method to edit animation, audio, document, photo, or video
--   messages. If a message is part of a message album, then it can be
--   edited only to an audio for audio albums, only to a document for
--   document albums and to a photo or a video otherwise. When an inline
--   message is edited, a new file can't be uploaded; use a previously
--   uploaded file via its file_id or specify a URL. On success, if the
--   edited message is not an inline message, the edited Message is
--   returned, otherwise True is returned.
editMessageMedia :: EditMessageMediaRequest -> ClientM (Response (Either Bool Message))

-- | Request parameters for <a>editMessageReplyMarkup</a>.
data EditMessageReplyMarkupRequest
EditMessageReplyMarkupRequest :: Maybe SomeChatId -> Maybe MessageId -> Maybe MessageId -> Maybe SomeReplyMarkup -> EditMessageReplyMarkupRequest

-- | Required if <a>editMessageReplyMarkupMessageId</a> is not specified.
--   Unique identifier for the target chat or username of the target
--   channel (in the format <tt>@channelusername</tt>).
[editMessageReplyMarkupChatId] :: EditMessageReplyMarkupRequest -> Maybe SomeChatId

-- | Required if <a>editMessageReplyMarkupInlineMessageId</a> is not
--   specified. Identifier of the sent message.
[editMessageReplyMarkupMessageId] :: EditMessageReplyMarkupRequest -> Maybe MessageId

-- | Required if <a>editMessageReplyMarkupChatId</a> and
--   <a>editMessageReplyMarkupMessageId</a> are not specified. Identifier
--   of the sent message.
[editMessageReplyMarkupInlineMessageId] :: EditMessageReplyMarkupRequest -> Maybe MessageId

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[editMessageReplyMarkupReplyMarkup] :: EditMessageReplyMarkupRequest -> Maybe SomeReplyMarkup
type EditMessageReplyMarkup = "editMessageReplyMarkup" :> ReqBody '[JSON] EditMessageReplyMarkupRequest :> Post '[JSON] (Response (Either Bool Message))

-- | Use this method to edit only the reply markup of messages. On success,
--   if the edited message is not an inline message, the edited Message is
--   returned, otherwise True is returned.
editMessageReplyMarkup :: EditMessageReplyMarkupRequest -> ClientM (Response (Either Bool Message))

-- | Request parameters for <a>stopPoll</a>.
data StopPollRequest
StopPollRequest :: SomeChatId -> MessageId -> Maybe SomeReplyMarkup -> StopPollRequest

-- | Unique identifier for the target chat or username of the target
--   channel (in the format @channelusername)
[stopPollChatId] :: StopPollRequest -> SomeChatId

-- | Identifier of the original message with the poll
[stopPollMessageId] :: StopPollRequest -> MessageId

-- | A JSON-serialized object for a new message inline keyboard.
[stopPollReplyMarkup] :: StopPollRequest -> Maybe SomeReplyMarkup
type StopPoll = "stopPoll" :> ReqBody '[JSON] StopPollRequest :> Post '[JSON] (Response Poll)

-- | Use this method to stop a poll which was sent by the bot. On success,
--   the stopped Poll is returned.
stopPoll :: StopPollRequest -> ClientM (Response Poll)
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.UpdatingMessages.EditMessageTextRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.UpdatingMessages.EditMessageTextRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.UpdatingMessages.EditMessageCaptionRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.UpdatingMessages.EditMessageCaptionRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.UpdatingMessages.EditMessageReplyMarkupRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.UpdatingMessages.EditMessageReplyMarkupRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.UpdatingMessages.StopPollRequest
instance Data.Aeson.Types.FromJSON.FromJSON Telegram.Bot.API.UpdatingMessages.StopPollRequest
instance GHC.Generics.Generic Telegram.Bot.API.UpdatingMessages.EditMessageTextRequest
instance GHC.Generics.Generic Telegram.Bot.API.UpdatingMessages.EditMessageCaptionRequest
instance GHC.Generics.Generic Telegram.Bot.API.UpdatingMessages.EditMessageMediaRequest
instance GHC.Generics.Generic Telegram.Bot.API.UpdatingMessages.EditMessageReplyMarkupRequest
instance GHC.Generics.Generic Telegram.Bot.API.UpdatingMessages.StopPollRequest
instance Data.Aeson.Types.ToJSON.ToJSON Telegram.Bot.API.UpdatingMessages.EditMessageMediaRequest

module Telegram.Bot.API

module Telegram.Bot.Simple.Eff

-- | Bot handler context.
--   
--   The context may include an <tt>Update</tt> the bot is handling at the
--   moment.
newtype BotM a
BotM :: ReaderT BotContext ClientM a -> BotM a
[_runBotM] :: BotM a -> ReaderT BotContext ClientM a
data BotContext
BotContext :: User -> Maybe Update -> BotContext
[botContextUser] :: BotContext -> User
[botContextUpdate] :: BotContext -> Maybe Update
liftClientM :: ClientM a -> BotM a
runBotM :: BotContext -> BotM a -> ClientM a
newtype Eff action model
Eff :: Writer [BotM (Maybe action)] model -> Eff action model
[_runEff] :: Eff action model -> Writer [BotM (Maybe action)] model

-- | The idea behind following type class is to allow you defining the type
--   <tt>ret</tt> you want to return from <a>BotM</a> action. You can
--   create your own return-types via new instances. Here <tt>action</tt>
--   is a <tt>botAction</tt> type, that will be used further in
--   <tt>botHandler</tt> function. If you don't want to return action use
--   <a>Nothing</a> instead.
--   
--   See <a>Telegram.Bot.Simple.Instances</a> for more commonly useful
--   instances. - <tt>GetAction a a</tt> - for simple making finite
--   automata of BotM actions. (For example you can log every update and
--   then return new <tt>action</tt> to answer at message<i>send
--   sticker</i>etc) - <tt>GetAction () a</tt> - to use <tt>pure ()</tt>
--   instead of dealing with <tt>Nothing</tt>. - <tt>GetAction Text a</tt>
--   - to add some sugar over the <tt>replyText</tt> function.
--   <tt>OverloadedStrings</tt> breaks type inference, so we advise to use
--   <tt>replyText "message"</tt> instead of <tt>pure @_ @Text
--   "message"</tt>.
class GetAction return action
getNextAction :: GetAction return action => BotM return -> BotM (Maybe action)
runEff :: Eff action model -> (model, [BotM (Maybe action)])
eff :: GetAction a b => BotM a -> Eff b ()
withEffect :: GetAction a action => BotM a -> model -> Eff action model
(<#) :: GetAction a action => model -> BotM a -> Eff action model

-- | Set a specific <a>Update</a> in a <a>BotM</a> context.
setBotMUpdate :: Maybe Update -> BotM a -> BotM a

-- | Set a specific <a>Update</a> in every effect of <a>Eff</a> context.
setEffUpdate :: Maybe Update -> Eff action model -> Eff action model
instance Control.Monad.IO.Class.MonadIO Telegram.Bot.Simple.Eff.BotM
instance Control.Monad.Reader.Class.MonadReader Telegram.Bot.Simple.Eff.BotContext Telegram.Bot.Simple.Eff.BotM
instance GHC.Base.Monad Telegram.Bot.Simple.Eff.BotM
instance GHC.Base.Applicative Telegram.Bot.Simple.Eff.BotM
instance GHC.Base.Functor Telegram.Bot.Simple.Eff.BotM
instance GHC.Base.Monad (Telegram.Bot.Simple.Eff.Eff action)
instance GHC.Base.Applicative (Telegram.Bot.Simple.Eff.Eff action)
instance GHC.Base.Functor (Telegram.Bot.Simple.Eff.Eff action)
instance Data.Bifunctor.Bifunctor Telegram.Bot.Simple.Eff.Eff

module Telegram.Bot.Simple.BotApp.Internal

-- | A bot application.
data BotApp model action
BotApp :: model -> (Update -> model -> Maybe action) -> (action -> model -> Eff action model) -> [BotJob model action] -> BotApp model action

-- | Initial bot state.
[botInitialModel] :: BotApp model action -> model

-- | How to convert incoming <a>Update</a>s into <tt>action</tt>s. See
--   <a>Telegram.Bot.Simple.UpdateParser</a> for some helpers.
[botAction] :: BotApp model action -> Update -> model -> Maybe action

-- | How to handle <tt>action</tt>s.
[botHandler] :: BotApp model action -> action -> model -> Eff action model

-- | Background bot jobs.
[botJobs] :: BotApp model action -> [BotJob model action]

-- | A background bot job.
data BotJob model action
BotJob :: Text -> (model -> Eff action model) -> BotJob model action

-- | Cron schedule for the job.
[botJobSchedule] :: BotJob model action -> Text

-- | Job function.
[botJobTask] :: BotJob model action -> model -> Eff action model

-- | An environment actual bot runs in.
data BotEnv model action
BotEnv :: TVar model -> TQueue (Maybe Update, action) -> ClientEnv -> User -> BotEnv model action

-- | A transactional variable with bot's current state.
[botModelVar] :: BotEnv model action -> TVar model

-- | A queue of <tt>action</tt>s to process (with associated
--   <a>Update</a>s).
[botActionsQueue] :: BotEnv model action -> TQueue (Maybe Update, action)

-- | HTTP client environment (where and how exactly to make requests to
--   Telegram Bot API). This includes <a>Token</a>.
[botClientEnv] :: BotEnv model action -> ClientEnv

-- | Information about the bot in the form of <a>User</a>.
[botUser] :: BotEnv model action -> User

-- | Run bot job task once.
runJobTask :: BotEnv model action -> (model -> Eff action model) -> IO ()

-- | Schedule a cron-like bot job.
scheduleBotJob :: BotEnv model action -> BotJob model action -> IO [ThreadId]

-- | Schedule all bot jobs.
scheduleBotJobs :: BotEnv model action -> [BotJob model action] -> IO [ThreadId]

-- | Construct a default <tt><a>BotEnv</a> model action</tt> for a bot.
defaultBotEnv :: BotApp model action -> ClientEnv -> IO (BotEnv model action)

-- | Issue a new action for the bot to process.
issueAction :: BotEnv model action -> Maybe Update -> Maybe action -> IO ()

-- | Process one action.
processAction :: BotApp model action -> BotEnv model action -> Maybe Update -> action -> ClientM ()

-- | A job to wait for the next action and process it.
processActionJob :: BotApp model action -> BotEnv model action -> ClientM ()

-- | Process incoming actions indefinitely.
processActionsIndefinitely :: BotApp model action -> BotEnv model action -> IO ThreadId

-- | Start <a>Update</a> polling for a bot.
startBotPolling :: BotApp model action -> BotEnv model action -> ClientM ()

-- | Start <a>Update</a> polling with a given update handler.
startPolling :: (Update -> ClientM a) -> ClientM a
instance GHC.Base.Functor (Telegram.Bot.Simple.BotApp.Internal.BotJob model)

module Telegram.Bot.Simple.BotApp

-- | A bot application.
data BotApp model action
BotApp :: model -> (Update -> model -> Maybe action) -> (action -> model -> Eff action model) -> [BotJob model action] -> BotApp model action

-- | Initial bot state.
[botInitialModel] :: BotApp model action -> model

-- | How to convert incoming <a>Update</a>s into <tt>action</tt>s. See
--   <a>Telegram.Bot.Simple.UpdateParser</a> for some helpers.
[botAction] :: BotApp model action -> Update -> model -> Maybe action

-- | How to handle <tt>action</tt>s.
[botHandler] :: BotApp model action -> action -> model -> Eff action model

-- | Background bot jobs.
[botJobs] :: BotApp model action -> [BotJob model action]

-- | A background bot job.
data BotJob model action
BotJob :: Text -> (model -> Eff action model) -> BotJob model action

-- | Cron schedule for the job.
[botJobSchedule] :: BotJob model action -> Text

-- | Job function.
[botJobTask] :: BotJob model action -> model -> Eff action model

-- | Start bot with update polling in the main thread.
startBot :: BotApp model action -> ClientEnv -> IO (Either ClientError ())

-- | Like <a>startBot</a>, but ignores result.
startBot_ :: BotApp model action -> ClientEnv -> IO ()

-- | Start bot with asynchronous polling. The result is a function that
--   allows you to send actions directly to the bot.
startBotAsync :: BotApp model action -> ClientEnv -> IO (action -> IO ())

-- | Like <a>startBotAsync</a>, but ignores result.
startBotAsync_ :: BotApp model action -> ClientEnv -> IO ()

-- | Get a <a>Token</a> from environment variable.
--   
--   Common use:
--   
--   <pre>
--   <a>getEnvToken</a> <a>TELEGRAM_BOT_TOKEN</a>
--   </pre>
getEnvToken :: String -> IO Token

module Telegram.Bot.Simple.Debug

-- | This a default bot tracing modifier that relies on
--   
--   <ul>
--   <li><a>traceTelegramUpdatesJSON</a></li>
--   <li><a>traceBotActionsShow</a></li>
--   <li><a>traceBotModelShow</a></li>
--   </ul>
traceBotDefault :: (Show model, Show action) => BotApp model action -> BotApp model action

-- | Trace (debug print) every <a>Update</a> before parsing it.
traceTelegramUpdatesWith :: (Update -> String) -> BotApp model action -> BotApp model action

-- | Trace (debug print) every update as pretty JSON value.
traceTelegramUpdatesJSON :: BotApp model action -> BotApp model action

-- | Trace (debug print) every update using <a>Show</a> instance.
traceTelegramUpdatesShow :: BotApp model action -> BotApp model action

-- | A type of an action to trace.
data TracedAction action

-- | An action that's about to be handled.
TracedIncomingAction :: action -> TracedAction action

-- | An action that's just been issued by some handler.
TracedIssuedAction :: action -> TracedAction action

-- | Pretty print <tt>TraceActionType</tt>.
ppTracedAction :: Show action => TracedAction action -> String

-- | Trace (debug print) every incoming and issued action.
traceBotActionsWith :: (TracedAction action -> String) -> BotApp model action -> BotApp model action

-- | Trace (debug print) bot actions using <a>Show</a> instance.
traceBotActionsShow :: Show action => BotApp model action -> BotApp model action

-- | Trace (debug print) bot model.
traceBotModelWith :: (model -> String) -> BotApp model action -> BotApp model action

-- | Trace (debug print) bot model using <a>Show</a> instance.
traceBotModelShow :: Show model => BotApp model action -> BotApp model action

-- | Trace (debug print) bot model using <a>Show</a> instance.
traceBotModelJSON :: ToJSON model => BotApp model action -> BotApp model action

-- | Pretty print a value as JSON.
ppAsJSON :: ToJSON a => a -> String
instance GHC.Show.Show action => GHC.Show.Show (Telegram.Bot.Simple.Debug.TracedAction action)
instance GHC.Classes.Eq action => GHC.Classes.Eq (Telegram.Bot.Simple.Debug.TracedAction action)

module Telegram.Bot.Simple.Conversation

-- | Make bot to have a separate state for each conversation.
--   
--   Common use (to have a separate state for each chat):
--   
--   <pre>
--   <a>conversationBot</a> <a>updateChatId</a> bot
--   </pre>
conversationBot :: (Eq conversation, Hashable conversation) => (Update -> Maybe conversation) -> BotApp model action -> BotApp (HashMap (Maybe conversation) model) (Maybe conversation, action)

-- | Pass latest <a>Update</a> to all bot jobs.
--   
--   This enables jobs to easily send notifications.
useLatestUpdateInJobs :: BotApp model action -> BotApp (Maybe Update, model) (Maybe Update, action)

module Telegram.Bot.Simple.InlineKeyboard
urlButton :: Text -> Text -> InlineKeyboardButton
callbackButton :: Text -> Text -> InlineKeyboardButton
actionButton :: Show action => Text -> action -> InlineKeyboardButton

module Telegram.Bot.Simple.Reply

-- | Get current <a>ChatId</a> if possible.
currentChatId :: BotM (Maybe ChatId)
getEditMessageId :: BotM (Maybe EditMessageId)
updateEditMessageId :: Update -> Maybe EditMessageId

-- | Reply message parameters. This is just like <a>SendMessageRequest</a>
--   but without <a>SomeChatId</a> specified.
data ReplyMessage
ReplyMessage :: Text -> Maybe ParseMode -> Maybe [MessageEntity] -> Maybe Bool -> Maybe Bool -> Maybe MessageId -> Maybe Bool -> Maybe SomeReplyMarkup -> ReplyMessage

-- | Text of the message to be sent.
[replyMessageText] :: ReplyMessage -> Text

-- | Send <a>Markdown</a> or <a>HTML</a>, if you want Telegram apps to show
--   bold, italic, fixed-width text or inline URLs in your bot's message.
[replyMessageParseMode] :: ReplyMessage -> Maybe ParseMode

-- | A JSON-serialized list of special entities that appear in message
--   text, which can be specified instead of <i>parse_mode</i>.
[replyMessageEntities] :: ReplyMessage -> Maybe [MessageEntity]

-- | Disables link previews for links in this message.
[replyMessageDisableWebPagePreview] :: ReplyMessage -> Maybe Bool

-- | Sends the message silently. Users will receive a notification with no
--   sound.
[replyMessageDisableNotification] :: ReplyMessage -> Maybe Bool

-- | If the message is a reply, ID of the original message.
[replyMessageReplyToMessageId] :: ReplyMessage -> Maybe MessageId

-- | Pass <a>True</a>, if the message should be sent even if the specified
--   replied-to message is not found.
[replyMessageAllowSendingWithoutReply] :: ReplyMessage -> Maybe Bool

-- | Additional interface options. A JSON-serialized object for an inline
--   keyboard, custom reply keyboard, instructions to remove reply keyboard
--   or to force a reply from the user.
[replyMessageReplyMarkup] :: ReplyMessage -> Maybe SomeReplyMarkup

-- | Create a <a>ReplyMessage</a> with just some <a>Text</a> message.
toReplyMessage :: Text -> ReplyMessage
replyMessageToSendMessageRequest :: SomeChatId -> ReplyMessage -> SendMessageRequest

-- | Reply in a chat with a given <a>SomeChatId</a>.
replyTo :: SomeChatId -> ReplyMessage -> BotM ()

-- | Reply in the current chat (if possible).
reply :: ReplyMessage -> BotM ()

-- | Reply with a text.
replyText :: Text -> BotM ()
data EditMessage
EditMessage :: Text -> Maybe ParseMode -> Maybe Bool -> Maybe SomeReplyMarkup -> EditMessage
[editMessageText] :: EditMessage -> Text
[editMessageParseMode] :: EditMessage -> Maybe ParseMode
[editMessageDisableWebPagePreview] :: EditMessage -> Maybe Bool
[editMessageReplyMarkup] :: EditMessage -> Maybe SomeReplyMarkup
data EditMessageId
EditChatMessageId :: SomeChatId -> MessageId -> EditMessageId
EditInlineMessageId :: MessageId -> EditMessageId
toEditMessage :: Text -> EditMessage
editMessageToEditMessageTextRequest :: EditMessageId -> EditMessage -> EditMessageTextRequest
editMessageToReplyMessage :: EditMessage -> ReplyMessage
editMessage :: EditMessageId -> EditMessage -> BotM ()
editUpdateMessage :: EditMessage -> BotM ()
editUpdateMessageText :: Text -> BotM ()
replyOrEdit :: EditMessage -> BotM ()
instance GHC.Generics.Generic Telegram.Bot.Simple.Reply.ReplyMessage
instance Data.String.IsString Telegram.Bot.Simple.Reply.EditMessage
instance Data.String.IsString Telegram.Bot.Simple.Reply.ReplyMessage

module Telegram.Bot.Simple.Instances
instance Telegram.Bot.Simple.Eff.GetAction a a
instance Telegram.Bot.Simple.Eff.GetAction () a
instance Telegram.Bot.Simple.Eff.GetAction Data.Text.Internal.Text a

module Telegram.Bot.Simple

module Telegram.Bot.Simple.UpdateParser
newtype UpdateParser a
UpdateParser :: (Update -> Maybe a) -> UpdateParser a
[runUpdateParser] :: UpdateParser a -> Update -> Maybe a
mkParser :: (Update -> Maybe a) -> UpdateParser a
parseUpdate :: UpdateParser a -> Update -> Maybe a
text :: UpdateParser Text
plainText :: UpdateParser Text
command :: Text -> UpdateParser Text
callbackQueryDataRead :: Read a => UpdateParser a
updateMessageText :: Update -> Maybe Text
updateMessageSticker :: Update -> Maybe Sticker
instance GHC.Base.Functor Telegram.Bot.Simple.UpdateParser.UpdateParser
instance GHC.Base.Applicative Telegram.Bot.Simple.UpdateParser.UpdateParser
instance GHC.Base.Alternative Telegram.Bot.Simple.UpdateParser.UpdateParser
instance GHC.Base.Monad Telegram.Bot.Simple.UpdateParser.UpdateParser
instance Control.Monad.Fail.MonadFail Telegram.Bot.Simple.UpdateParser.UpdateParser