Safe Haskell	None
Language	Haskell2010

Telegram.Bot.API.Types

Contents

Available types

Synopsis

type RequiredQueryParam = QueryParam' '[Required, Strict]
newtype Seconds = Seconds Int32
data User = User {
- userId :: UserId
- userIsBot :: Bool
- userFirstName :: Text
- userLastName :: Maybe Text
- userUsername :: Maybe Text
- userLanguageCode :: Maybe Text
}
newtype UserId = UserId Int32
data Chat = Chat {
- chatId :: ChatId
- chatType :: ChatType
- chatTitle :: Maybe Text
- chatUsername :: Maybe Text
- chatFirstName :: Maybe Text
- chatLastName :: Maybe Text
- chatAllMembersAreAdministrators :: Maybe Bool
- chatPhoto :: Maybe ChatPhoto
- chatDescription :: Maybe Text
- chatInviteLink :: Maybe Text
- chatPinnedMessage :: Maybe Message
- chatStickerSetName :: Maybe Text
- chatCanSetStickerSet :: Maybe Bool
}
newtype ChatId = ChatId Integer
data ChatType
- = ChatTypePrivate
- | ChatTypeGroup
- | ChatTypeSupergroup
- | ChatTypeChannel
data Message = Message {
- messageMessageId :: MessageId
- messageFrom :: Maybe User
- messageDate :: POSIXTime
- messageChat :: Chat
- messageForwardFrom :: Maybe User
- messageForwardFromChat :: Maybe Chat
- messageForwardFromMessageId :: Maybe MessageId
- messageForwardSignature :: Maybe Text
- messageForwardDate :: Maybe POSIXTime
- messageReplyToMessage :: Maybe Message
- messageEditDate :: Maybe POSIXTime
- messageMediaGroupId :: Maybe MediaGroupId
- messageAuthorSignature :: Maybe Text
- messageText :: Maybe Text
- messageEntities :: Maybe [MessageEntity]
- messageCaptionEntities :: Maybe [MessageEntity]
- messageAudio :: Maybe Audio
- messageDocument :: Maybe Document
- messagePhoto :: Maybe [PhotoSize]
- messageVideo :: Maybe Video
- messageVoice :: Maybe Voice
- messageVideoNote :: Maybe VideoNote
- messageCaption :: Maybe Text
- messageContact :: Maybe Contact
- messageLocation :: Maybe Location
- messageVenue :: Maybe Venue
- messageNewChatMembers :: Maybe [User]
- messageLeftChatMember :: Maybe User
- messageNewChatTitle :: Maybe Text
- messageNewChatPhoto :: Maybe [PhotoSize]
- messageDeleteChatPhoto :: Maybe Bool
- messageGroupChatCreated :: Maybe Bool
- messageSupergroupChatCreated :: Maybe Bool
- messageChannelChatCreated :: Maybe Bool
- messageMigrateToChatId :: Maybe ChatId
- messageMigrateFromChatId :: Maybe ChatId
- messagePinnedMessage :: Maybe Message
}
newtype MessageId = MessageId Int32
newtype MediaGroupId = MediaGroupId Text
data MessageEntity = MessageEntity {
- messageEntityType :: MessageEntityType
- messageEntityOffset :: Int32
- messageEntityLength :: Int32
- messageEntityUrl :: Maybe Text
- messageEntityUser :: Maybe User
}
data MessageEntityType
- = MessageEntityMention
- | MessageEntityHashtag
- | MessageEntityBotCommand
- | MessageEntityUrl
- | MessageEntityEmail
- | MessageEntityBold
- | MessageEntityItalic
- | MessageEntityUnderline
- | MessageEntityStrikethrough
- | MessageEntityCode
- | MessageEntityPre
- | MessageEntityTextLink
- | MessageEntityTextMention
- | MessageEntityCashtag
- | MessageEntityPhoneNumber
data PhotoSize = PhotoSize {
- photoSizeFileId :: FileId
- photoSizeWidth :: Int32
- photoSizeHeight :: Int32
- photoSizeFileSize :: Maybe Int32
}
newtype FileId = FileId Text
data Audio = Audio {
- audioFileId :: FileId
- audioDuration :: Seconds
- audioPerformer :: Maybe Text
- audioTitle :: Maybe Text
- audioMimeType :: Maybe Text
- audioFileSize :: Maybe Int32
}
data Document = Document {
- documentFileId :: FileId
- documentThumb :: Maybe PhotoSize
- documentFileName :: Maybe Text
- documentMimeType :: Maybe Text
- documentFileSize :: Maybe Int32
}
data Video = Video {
- videoFileId :: FileId
- videoWidth :: Int32
- videoHeight :: Int32
- videoDuration :: Seconds
- videoThumb :: Maybe PhotoSize
- videoMimeType :: Maybe Text
- videoFileSize :: Maybe Int32
}
data Voice = Voice {
- voiceFileId :: FileId
- voiceDuration :: Seconds
- voiceMimeType :: Maybe Text
- voiceFileSize :: Maybe Int32
}
data VideoNote = VideoNote {
- videoNoteFileId :: Text
- videoNoteLength :: Int32
- videoNoteDuration :: Seconds
- videoNoteThumb :: Maybe PhotoSize
- videoNoteFileSize :: Maybe Int32
}
data Contact = Contact {
- contactPhoneNumber :: Text
- contactFirstName :: Text
- contactLastName :: Maybe Text
- contactUserId :: Maybe UserId
}
data Location = Location {
- locationLongitude :: Float
- locationLatitude :: Float
}
data Venue = Venue {
- venueLocation :: Location
- venueTitle :: Text
- venueAddress :: Text
- venueFoursquareId :: Maybe Text
}
data UserProfilePhotos = UserProfilePhotos {
- userProfilePhotosTotalCount :: Int32
- userProfilePhotosPhotos :: [[PhotoSize]]
}
data File = File {
- fileFileId :: FileId
- fileFileSize :: Maybe Int32
- fileFilePath :: Maybe Text
}
data ReplyKeyboardMarkup = ReplyKeyboardMarkup {
- replyKeyboardMarkupKeyboard :: [[KeyboardButton]]
- replyKeyboardMarkupResizeKeyboard :: Maybe Bool
- replyKeyboardMarkupOneTimeKeyboard :: Maybe Bool
- replyKeyboardMarkupSelective :: Maybe Bool
}
data KeyboardButton = KeyboardButton {
- keyboardButtonText :: Text
- keyboardButtonRequestContact :: Maybe Bool
- keyboardButtonRequestLocation :: Maybe Bool
}
data ReplyKeyboardRemove = ReplyKeyboardRemove {
- replyKeyboardRemoveRemoveKeyboard :: Bool
- replyKeyboardRemoveSelective :: Maybe Bool
}
data InlineKeyboardMarkup = InlineKeyboardMarkup {
- inlineKeyboardMarkupInlineKeyboard :: [[InlineKeyboardButton]]
}
data InlineKeyboardButton = InlineKeyboardButton {
- inlineKeyboardButtonText :: Text
- inlineKeyboardButtonUrl :: Maybe Text
- inlineKeyboardButtonCallbackData :: Maybe Text
- inlineKeyboardButtonSwitchInlineQuery :: Maybe Text
- inlineKeyboardButtonSwitchInlineQueryCurrentChat :: Maybe Text
- inlineKeyboardButtonPay :: Maybe Bool
}
labeledInlineKeyboardButton :: Text -> InlineKeyboardButton
data CallbackQuery = CallbackQuery {
- callbackQueryId :: CallbackQueryId
- callbackQueryFrom :: User
- callbackQueryMessage :: Maybe Message
- callbackQueryInlineMessageId :: Maybe MessageId
- callbackQueryChatInstance :: Text
- callbackQueryData :: Maybe Text
- callbackQueryGameShortName :: Maybe Text
}
newtype CallbackQueryId = CallbackQueryId Text
data ForceReply = ForceReply {
- forceReplyForceReply :: Bool
- forceReplySelective :: Maybe Bool
}
data ChatPhoto = ChatPhoto {
- chatPhotoSmallFileId :: FileId
- chatPhotoBigFileId :: FileId
}
data ChatMember = ChatMember {
- chatMemberUser :: User
- chatMemberStatus :: Text
- chatMemberUntilDate :: Maybe POSIXTime
- chatMemberCanBeEdited :: Maybe Bool
- chatMemberCanChangeInfo :: Maybe Bool
- chatMemberCanPostMessages :: Maybe Bool
- chatMemberCanEditMessages :: Maybe Bool
- chatMemberCanDeleteMessages :: Maybe Bool
- chatMemberCanInviteUsers :: Maybe Bool
- chatMemberCanRestrictMembers :: Maybe Bool
- chatMemberCanPinMessages :: Maybe Bool
- chatMemberCanPromoteMembers :: Maybe Bool
- chatMemberCanSendMessages :: Maybe Bool
- chatMemberCanSendMediaMessages :: Maybe Bool
- chatMemberCanSendOtherMessages :: Maybe Bool
- chatMemberCanAddWebPagePreviews :: Maybe Bool
}
data ResponseParameters = ResponseParameters {
- responseParametersMigrateToChatId :: Maybe ChatId
- responseParametersRetryAfter :: Maybe Seconds
}

Documentation

type RequiredQueryParam = QueryParam' '[Required, Strict] Source #

newtype Seconds Source #

Constructors

Seconds Int32

Instances

Eq Seconds Source #
Instance details Defined in Telegram.Bot.API.Types Methods (==) :: Seconds -> Seconds -> Bool # (/=) :: Seconds -> Seconds -> Bool #
Num Seconds Source #
Instance details Defined in Telegram.Bot.API.Types Methods (+) :: Seconds -> Seconds -> Seconds # (-) :: Seconds -> Seconds -> Seconds # (*) :: Seconds -> Seconds -> Seconds # negate :: Seconds -> Seconds # abs :: Seconds -> Seconds # signum :: Seconds -> Seconds # fromInteger :: Integer -> Seconds #
Show Seconds Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> Seconds -> ShowS # show :: Seconds -> String # showList :: [Seconds] -> ShowS #
FromJSON Seconds Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser Seconds parseJSONList :: Value -> Parser [Seconds]
ToJSON Seconds Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: Seconds -> Value toEncoding :: Seconds -> Encoding toJSONList :: [Seconds] -> Value toEncodingList :: [Seconds] -> Encoding

Available types

User

data User Source #

This object represents a Telegram user or bot.

https://core.telegram.org/bots/api#user

Constructors

User
Fields userId :: UserId Unique identifier for this user or bot. userIsBot :: Bool `True`, if this user is a bot. userFirstName :: Text User's or bot's first name. userLastName :: Maybe Text User‘s or bot’s last name userUsername :: Maybe Text User‘s or bot’s username userLanguageCode :: Maybe Text IETF language tag of the user's language

Instances

Show User Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> User -> ShowS # show :: User -> String # showList :: [User] -> ShowS #
Generic User Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep User :: Type -> Type # Methods from :: User -> Rep User x # to :: Rep User x -> User #
FromJSON User Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser User parseJSONList :: Value -> Parser [User]
ToJSON User Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: User -> Value toEncoding :: User -> Encoding toJSONList :: [User] -> Value toEncodingList :: [User] -> Encoding
type Rep User Source #
Instance details Defined in Telegram.Bot.API.Types type Rep User = D1 (MetaData "User" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "User" PrefixI True) ((S1 (MetaSel (Just "userId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserId) :: (S1 (MetaSel (Just "userIsBot") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "userFirstName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) :: (S1 (MetaSel (Just "userLastName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: (S1 (MetaSel (Just "userUsername") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "userLanguageCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))))))

newtype UserId Source #

Unique identifier for this user or bot.

Constructors

UserId Int32

Instances

Eq UserId Source #
Instance details Defined in Telegram.Bot.API.Types Methods (==) :: UserId -> UserId -> Bool # (/=) :: UserId -> UserId -> Bool #
Show UserId Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> UserId -> ShowS # show :: UserId -> String # showList :: [UserId] -> ShowS #
FromJSON UserId Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser UserId parseJSONList :: Value -> Parser [UserId]
ToJSON UserId Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: UserId -> Value toEncoding :: UserId -> Encoding toJSONList :: [UserId] -> Value toEncodingList :: [UserId] -> Encoding
ToHttpApiData UserId Source #
Instance details Defined in Telegram.Bot.API.Types Methods toUrlPiece :: UserId -> Text toEncodedUrlPiece :: UserId -> Builder toHeader :: UserId -> ByteString toQueryParam :: UserId -> Text

Chat

data Chat Source #

This object represents a chat.

https://core.telegram.org/bots/api#chat

Constructors

Chat

Fields

chatId :: ChatId
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.
chatType :: ChatType
Type of chat.
chatTitle :: Maybe Text
Title, for supergroups, channels and group chats
chatUsername :: Maybe Text
Username, for private chats, supergroups and channels if available
chatFirstName :: Maybe Text
First name of the other party in a private chat
chatLastName :: Maybe Text
Last name of the other party in a private chat
chatAllMembersAreAdministrators :: Maybe Bool
True if a group has ‘All Members Are Admins’ enabled.
chatPhoto :: Maybe ChatPhoto
Chat photo. Returned only in getChat.
chatDescription :: Maybe Text
Description, for supergroups and channel chats. Returned only in getChat.
chatInviteLink :: Maybe Text
Chat invite link, for supergroups and channel chats. Returned only in getChat.
chatPinnedMessage :: Maybe Message
Pinned message, for supergroups. Returned only in getChat.
chatStickerSetName :: Maybe Text
For supergroups, name of group sticker set. Returned only in getChat.
chatCanSetStickerSet :: Maybe Bool
True, if the bot can change the group sticker set. Returned only in getChat.

Instances

Show Chat Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> Chat -> ShowS # show :: Chat -> String # showList :: [Chat] -> ShowS #
Generic Chat Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep Chat :: Type -> Type # Methods from :: Chat -> Rep Chat x # to :: Rep Chat x -> Chat #
FromJSON Chat Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser Chat parseJSONList :: Value -> Parser [Chat]
ToJSON Chat Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: Chat -> Value toEncoding :: Chat -> Encoding toJSONList :: [Chat] -> Value toEncodingList :: [Chat] -> Encoding
type Rep Chat Source #
Instance details Defined in Telegram.Bot.API.Types type Rep Chat = D1 (MetaData "Chat" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "Chat" PrefixI True) (((S1 (MetaSel (Just "chatId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ChatId) :: (S1 (MetaSel (Just "chatType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ChatType) :: S1 (MetaSel (Just "chatTitle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) :: (S1 (MetaSel (Just "chatUsername") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: (S1 (MetaSel (Just "chatFirstName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "chatLastName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))))) :: ((S1 (MetaSel (Just "chatAllMembersAreAdministrators") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :: (S1 (MetaSel (Just "chatPhoto") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ChatPhoto)) :: S1 (MetaSel (Just "chatDescription") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) :: ((S1 (MetaSel (Just "chatInviteLink") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "chatPinnedMessage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Message))) :: (S1 (MetaSel (Just "chatStickerSetName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "chatCanSetStickerSet") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)))))))

newtype ChatId Source #

Unique identifier for this chat.

Constructors

ChatId Integer

Instances

Eq ChatId Source #
Instance details Defined in Telegram.Bot.API.Types Methods (==) :: ChatId -> ChatId -> Bool # (/=) :: ChatId -> ChatId -> Bool #
Show ChatId Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> ChatId -> ShowS # show :: ChatId -> String # showList :: [ChatId] -> ShowS #
FromJSON ChatId Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser ChatId parseJSONList :: Value -> Parser [ChatId]
ToJSON ChatId Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: ChatId -> Value toEncoding :: ChatId -> Encoding toJSONList :: [ChatId] -> Value toEncodingList :: [ChatId] -> Encoding
Hashable ChatId Source #
Instance details Defined in Telegram.Bot.API.Types Methods hashWithSalt :: Int -> ChatId -> Int hash :: ChatId -> Int
ToHttpApiData ChatId Source #
Instance details Defined in Telegram.Bot.API.Types Methods toUrlPiece :: ChatId -> Text toEncodedUrlPiece :: ChatId -> Builder toHeader :: ChatId -> ByteString toQueryParam :: ChatId -> Text

data ChatType Source #

Type of chat.

Constructors

ChatTypePrivate
ChatTypeGroup
ChatTypeSupergroup
ChatTypeChannel

Instances

Show ChatType Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> ChatType -> ShowS # show :: ChatType -> String # showList :: [ChatType] -> ShowS #
Generic ChatType Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep ChatType :: Type -> Type # Methods from :: ChatType -> Rep ChatType x # to :: Rep ChatType x -> ChatType #
FromJSON ChatType Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser ChatType parseJSONList :: Value -> Parser [ChatType]
ToJSON ChatType Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: ChatType -> Value toEncoding :: ChatType -> Encoding toJSONList :: [ChatType] -> Value toEncodingList :: [ChatType] -> Encoding
type Rep ChatType Source #
Instance details Defined in Telegram.Bot.API.Types type Rep ChatType = D1 (MetaData "ChatType" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) ((C1 (MetaCons "ChatTypePrivate" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ChatTypeGroup" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ChatTypeSupergroup" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ChatTypeChannel" PrefixI False) (U1 :: Type -> Type)))

Message

data Message Source #

This object represents a message.

Constructors

Message

Fields

messageMessageId :: MessageId
Unique message identifier inside this chat
messageFrom :: Maybe User
Sender, empty for messages sent to channels
messageDate :: POSIXTime
Date the message was sent in Unix time
messageChat :: Chat
Conversation the message belongs to
messageForwardFrom :: Maybe User
For forwarded messages, sender of the original message
messageForwardFromChat :: Maybe Chat
For messages forwarded from channels, information about the original channel
messageForwardFromMessageId :: Maybe MessageId
For messages forwarded from channels, identifier of the original message in the channel
messageForwardSignature :: Maybe Text
For messages forwarded from channels, signature of the post author if present
messageForwardDate :: Maybe POSIXTime
For forwarded messages, date the original message was sent in Unix time
messageReplyToMessage :: Maybe Message
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.
messageEditDate :: Maybe POSIXTime
Date the message was last edited in Unix time
messageMediaGroupId :: Maybe MediaGroupId
The unique identifier of a media message group this message belongs to
messageAuthorSignature :: Maybe Text
Signature of the post author for messages in channels
messageText :: Maybe Text
For text messages, the actual UTF-8 text of the message, 0-4096 characters.
messageEntities :: Maybe [MessageEntity]
For text messages, special entities like usernames, URLs, bot commands, etc. that appear in the text
messageCaptionEntities :: Maybe [MessageEntity]
For messages with a caption, special entities like usernames, URLs, bot commands, etc. that appear in the caption
messageAudio :: Maybe Audio
Message is an audio file, information about the file
messageDocument :: Maybe Document
Message is a general file, information about the file
messagePhoto :: Maybe [PhotoSize]
Message is a photo, available sizes of the photo
messageVideo :: Maybe Video
Message is a video, information about the video
messageVoice :: Maybe Voice
Message is a voice message, information about the file
messageVideoNote :: Maybe VideoNote
Message is a video note, information about the video message
messageCaption :: Maybe Text
Caption for the audio, document, photo, video or voice, 0-200 characters
messageContact :: Maybe Contact
Message is a shared contact, information about the contact
messageLocation :: Maybe Location
Message is a shared location, information about the location
messageVenue :: Maybe Venue
Message is a venue, information about the venue
messageNewChatMembers :: Maybe [User]
New members that were added to the group or supergroup and information about them (the bot itself may be one of these members)
messageLeftChatMember :: Maybe User
A member was removed from the group, information about them (this member may be the bot itself)
messageNewChatTitle :: Maybe Text
A chat title was changed to this value
messageNewChatPhoto :: Maybe [PhotoSize]
A chat photo was change to this value
messageDeleteChatPhoto :: Maybe Bool
Service message: the chat photo was deleted
messageGroupChatCreated :: Maybe Bool
Service message: the group has been created
messageSupergroupChatCreated :: 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.
messageChannelChatCreated :: 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.
messageMigrateToChatId :: Maybe ChatId
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.
messageMigrateFromChatId :: 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.
messagePinnedMessage :: Maybe Message
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.

Instances

Show Message Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> Message -> ShowS # show :: Message -> String # showList :: [Message] -> ShowS #
Generic Message Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep Message :: Type -> Type # Methods from :: Message -> Rep Message x # to :: Rep Message x -> Message #
FromJSON Message Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser Message parseJSONList :: Value -> Parser [Message]
ToJSON Message Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: Message -> Value toEncoding :: Message -> Encoding toJSONList :: [Message] -> Value toEncodingList :: [Message] -> Encoding
type Rep Message Source #
Instance details Defined in Telegram.Bot.API.Types type Rep Message = D1 (MetaData "Message" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "Message" PrefixI True) (((((S1 (MetaSel (Just "messageMessageId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MessageId) :: S1 (MetaSel (Just "messageFrom") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe User))) :: (S1 (MetaSel (Just "messageDate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 POSIXTime) :: S1 (MetaSel (Just "messageChat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Chat))) :: ((S1 (MetaSel (Just "messageForwardFrom") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe User)) :: S1 (MetaSel (Just "messageForwardFromChat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Chat))) :: (S1 (MetaSel (Just "messageForwardFromMessageId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe MessageId)) :: (S1 (MetaSel (Just "messageForwardSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "messageForwardDate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe POSIXTime)))))) :: (((S1 (MetaSel (Just "messageReplyToMessage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Message)) :: S1 (MetaSel (Just "messageEditDate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe POSIXTime))) :: (S1 (MetaSel (Just "messageMediaGroupId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe MediaGroupId)) :: S1 (MetaSel (Just "messageAuthorSignature") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) :: ((S1 (MetaSel (Just "messageText") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "messageEntities") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [MessageEntity]))) :: (S1 (MetaSel (Just "messageCaptionEntities") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [MessageEntity])) :: (S1 (MetaSel (Just "messageAudio") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Audio)) :: S1 (MetaSel (Just "messageDocument") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Document))))))) :: ((((S1 (MetaSel (Just "messagePhoto") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [PhotoSize])) :: S1 (MetaSel (Just "messageVideo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Video))) :: (S1 (MetaSel (Just "messageVoice") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Voice)) :: S1 (MetaSel (Just "messageVideoNote") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe VideoNote)))) :: ((S1 (MetaSel (Just "messageCaption") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "messageContact") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Contact))) :: (S1 (MetaSel (Just "messageLocation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Location)) :: (S1 (MetaSel (Just "messageVenue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Venue)) :: S1 (MetaSel (Just "messageNewChatMembers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [User])))))) :: (((S1 (MetaSel (Just "messageLeftChatMember") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe User)) :: S1 (MetaSel (Just "messageNewChatTitle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) :: (S1 (MetaSel (Just "messageNewChatPhoto") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [PhotoSize])) :: (S1 (MetaSel (Just "messageDeleteChatPhoto") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :: S1 (MetaSel (Just "messageGroupChatCreated") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))))) :: ((S1 (MetaSel (Just "messageSupergroupChatCreated") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :: S1 (MetaSel (Just "messageChannelChatCreated") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))) :: (S1 (MetaSel (Just "messageMigrateToChatId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ChatId)) :: (S1 (MetaSel (Just "messageMigrateFromChatId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ChatId)) :: S1 (MetaSel (Just "messagePinnedMessage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Message)))))))))

newtype MessageId Source #

Unique message identifier inside this chat.

Constructors

MessageId Int32

Instances

Eq MessageId Source #
Instance details Defined in Telegram.Bot.API.Types Methods (==) :: MessageId -> MessageId -> Bool # (/=) :: MessageId -> MessageId -> Bool #
Show MessageId Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> MessageId -> ShowS # show :: MessageId -> String # showList :: [MessageId] -> ShowS #
FromJSON MessageId Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser MessageId parseJSONList :: Value -> Parser [MessageId]
ToJSON MessageId Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: MessageId -> Value toEncoding :: MessageId -> Encoding toJSONList :: [MessageId] -> Value toEncodingList :: [MessageId] -> Encoding
ToHttpApiData MessageId Source #
Instance details Defined in Telegram.Bot.API.Types Methods toUrlPiece :: MessageId -> Text toEncodedUrlPiece :: MessageId -> Builder toHeader :: MessageId -> ByteString toQueryParam :: MessageId -> Text

newtype MediaGroupId Source #

The unique identifier of a media message group a message belongs to.

Constructors

MediaGroupId Text

Instances

Eq MediaGroupId Source #
Instance details Defined in Telegram.Bot.API.Types Methods (==) :: MediaGroupId -> MediaGroupId -> Bool # (/=) :: MediaGroupId -> MediaGroupId -> Bool #
Show MediaGroupId Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> MediaGroupId -> ShowS # show :: MediaGroupId -> String # showList :: [MediaGroupId] -> ShowS #
FromJSON MediaGroupId Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser MediaGroupId parseJSONList :: Value -> Parser [MediaGroupId]
ToJSON MediaGroupId Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: MediaGroupId -> Value toEncoding :: MediaGroupId -> Encoding toJSONList :: [MediaGroupId] -> Value toEncodingList :: [MediaGroupId] -> Encoding

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

Constructors

MessageEntityMention
MessageEntityHashtag
MessageEntityBotCommand
MessageEntityUrl
MessageEntityEmail
MessageEntityBold
MessageEntityItalic
MessageEntityUnderline	See https://core.telegram.org/tdlib/docs/classtd_1_1td__api_1_1text_entity_type_underline.html
MessageEntityStrikethrough	See https://core.telegram.org/tdlib/docs/classtd_1_1td__api_1_1text_entity_type_strikethrough.html
MessageEntityCode
MessageEntityPre
MessageEntityTextLink
MessageEntityTextMention
MessageEntityCashtag	See https://core.telegram.org/tdlib/docs/classtd_1_1td__api_1_1text_entity_type_cashtag.html.
MessageEntityPhoneNumber	See https://core.telegram.org/tdlib/docs/classtd_1_1td__api_1_1text_entity_type_phone_number.html.

Instances

Eq MessageEntityType Source #
Instance details Defined in Telegram.Bot.API.Types Methods (==) :: MessageEntityType -> MessageEntityType -> Bool # (/=) :: MessageEntityType -> MessageEntityType -> Bool #
Show MessageEntityType Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> MessageEntityType -> ShowS # show :: MessageEntityType -> String # showList :: [MessageEntityType] -> ShowS #
Generic MessageEntityType Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep MessageEntityType :: Type -> Type # Methods from :: MessageEntityType -> Rep MessageEntityType x # to :: Rep MessageEntityType x -> MessageEntityType #
FromJSON MessageEntityType Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser MessageEntityType parseJSONList :: Value -> Parser [MessageEntityType]
ToJSON MessageEntityType Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: MessageEntityType -> Value toEncoding :: MessageEntityType -> Encoding toJSONList :: [MessageEntityType] -> Value toEncodingList :: [MessageEntityType] -> Encoding
type Rep MessageEntityType Source #
Instance details Defined in Telegram.Bot.API.Types type Rep MessageEntityType = D1 (MetaData "MessageEntityType" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (((C1 (MetaCons "MessageEntityMention" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "MessageEntityHashtag" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MessageEntityBotCommand" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "MessageEntityUrl" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MessageEntityEmail" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "MessageEntityBold" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MessageEntityItalic" PrefixI False) (U1 :: Type -> Type)))) :+: (((C1 (MetaCons "MessageEntityUnderline" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MessageEntityStrikethrough" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "MessageEntityCode" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MessageEntityPre" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "MessageEntityTextLink" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MessageEntityTextMention" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "MessageEntityCashtag" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MessageEntityPhoneNumber" PrefixI False) (U1 :: Type -> Type)))))

`PhotoSize`

data PhotoSize Source #

This object represents one size of a photo or a file / sticker thumbnail.

Constructors

PhotoSize
Fields photoSizeFileId :: FileId Unique identifier for this file photoSizeWidth :: Int32 Photo width photoSizeHeight :: Int32 Photo height photoSizeFileSize :: Maybe Int32 File size

Instances

Show PhotoSize Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> PhotoSize -> ShowS # show :: PhotoSize -> String # showList :: [PhotoSize] -> ShowS #
Generic PhotoSize Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep PhotoSize :: Type -> Type # Methods from :: PhotoSize -> Rep PhotoSize x # to :: Rep PhotoSize x -> PhotoSize #
FromJSON PhotoSize Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser PhotoSize parseJSONList :: Value -> Parser [PhotoSize]
ToJSON PhotoSize Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: PhotoSize -> Value toEncoding :: PhotoSize -> Encoding toJSONList :: [PhotoSize] -> Value toEncodingList :: [PhotoSize] -> Encoding
type Rep PhotoSize Source #
Instance details Defined in Telegram.Bot.API.Types type Rep PhotoSize = D1 (MetaData "PhotoSize" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "PhotoSize" PrefixI True) ((S1 (MetaSel (Just "photoSizeFileId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileId) :: S1 (MetaSel (Just "photoSizeWidth") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int32)) :: (S1 (MetaSel (Just "photoSizeHeight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int32) :*: S1 (MetaSel (Just "photoSizeFileSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int32)))))

newtype FileId Source #

Unique identifier for this file.

Constructors

FileId Text

Instances

Eq FileId Source #
Instance details Defined in Telegram.Bot.API.Types Methods (==) :: FileId -> FileId -> Bool # (/=) :: FileId -> FileId -> Bool #
Show FileId Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> FileId -> ShowS # show :: FileId -> String # showList :: [FileId] -> ShowS #
FromJSON FileId Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser FileId parseJSONList :: Value -> Parser [FileId]
ToJSON FileId Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: FileId -> Value toEncoding :: FileId -> Encoding toJSONList :: [FileId] -> Value toEncodingList :: [FileId] -> Encoding

`Audio`

data Audio Source #

This object represents an audio file to be treated as music by the Telegram clients.

Constructors

Audio

Fields

audioFileId :: FileId
Unique identifier for this file
audioDuration :: Seconds
Duration of the audio in seconds as defined by sender
audioPerformer :: Maybe Text
Performer of the audio as defined by sender or by audio tags
audioTitle :: Maybe Text
Title of the audio as defined by sender or by audio tags
audioMimeType :: Maybe Text
MIME type of the file as defined by sender
audioFileSize :: Maybe Int32
File size

Instances

Show Audio Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> Audio -> ShowS # show :: Audio -> String # showList :: [Audio] -> ShowS #
Generic Audio Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep Audio :: Type -> Type # Methods from :: Audio -> Rep Audio x # to :: Rep Audio x -> Audio #
FromJSON Audio Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser Audio parseJSONList :: Value -> Parser [Audio]
ToJSON Audio Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: Audio -> Value toEncoding :: Audio -> Encoding toJSONList :: [Audio] -> Value toEncodingList :: [Audio] -> Encoding
type Rep Audio Source #
Instance details Defined in Telegram.Bot.API.Types type Rep Audio = D1 (MetaData "Audio" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "Audio" PrefixI True) ((S1 (MetaSel (Just "audioFileId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileId) :: (S1 (MetaSel (Just "audioDuration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Seconds) :: S1 (MetaSel (Just "audioPerformer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) :: (S1 (MetaSel (Just "audioTitle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: (S1 (MetaSel (Just "audioMimeType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "audioFileSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int32))))))

`Document`

data Document Source #

This object represents a general file (as opposed to photos, voice messages and audio files).

Constructors

Document
Fields documentFileId :: FileId Unique file identifier documentThumb :: Maybe PhotoSize Document thumbnail as defined by sender documentFileName :: Maybe Text Original filename as defined by sender documentMimeType :: Maybe Text MIME type of the file as defined by sender documentFileSize :: Maybe Int32 File size

Instances

Show Document Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> Document -> ShowS # show :: Document -> String # showList :: [Document] -> ShowS #
Generic Document Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep Document :: Type -> Type # Methods from :: Document -> Rep Document x # to :: Rep Document x -> Document #
FromJSON Document Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser Document parseJSONList :: Value -> Parser [Document]
ToJSON Document Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: Document -> Value toEncoding :: Document -> Encoding toJSONList :: [Document] -> Value toEncodingList :: [Document] -> Encoding
type Rep Document Source #
Instance details Defined in Telegram.Bot.API.Types type Rep Document = D1 (MetaData "Document" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "Document" PrefixI True) ((S1 (MetaSel (Just "documentFileId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileId) :: S1 (MetaSel (Just "documentThumb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe PhotoSize))) :: (S1 (MetaSel (Just "documentFileName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: (S1 (MetaSel (Just "documentMimeType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "documentFileSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int32))))))

`Video`

data Video Source #

This object represents a video file.

Constructors

Video

Fields

videoFileId :: FileId
Unique identifier for this file
videoWidth :: Int32
Video width as defined by sender
videoHeight :: Int32
Video height as defined by sender
videoDuration :: Seconds
Duration of the video in seconds as defined by sender
videoThumb :: Maybe PhotoSize
Video thumbnail
videoMimeType :: Maybe Text
Mime type of a file as defined by sender
videoFileSize :: Maybe Int32
File size

Instances

Show Video Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> Video -> ShowS # show :: Video -> String # showList :: [Video] -> ShowS #
Generic Video Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep Video :: Type -> Type # Methods from :: Video -> Rep Video x # to :: Rep Video x -> Video #
FromJSON Video Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser Video parseJSONList :: Value -> Parser [Video]
ToJSON Video Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: Video -> Value toEncoding :: Video -> Encoding toJSONList :: [Video] -> Value toEncodingList :: [Video] -> Encoding
type Rep Video Source #
Instance details Defined in Telegram.Bot.API.Types type Rep Video = D1 (MetaData "Video" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "Video" PrefixI True) ((S1 (MetaSel (Just "videoFileId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileId) :: (S1 (MetaSel (Just "videoWidth") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int32) :: S1 (MetaSel (Just "videoHeight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int32))) :: ((S1 (MetaSel (Just "videoDuration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Seconds) :: S1 (MetaSel (Just "videoThumb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe PhotoSize))) :: (S1 (MetaSel (Just "videoMimeType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "videoFileSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int32))))))

`Voice`

data Voice Source #

This object represents a voice note.

Constructors

Voice
Fields voiceFileId :: FileId Unique identifier for this file voiceDuration :: Seconds Duration of the audio in seconds as defined by sender voiceMimeType :: Maybe Text MIME type of the file as defined by sender voiceFileSize :: Maybe Int32 File size

Instances

Show Voice Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> Voice -> ShowS # show :: Voice -> String # showList :: [Voice] -> ShowS #
Generic Voice Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep Voice :: Type -> Type # Methods from :: Voice -> Rep Voice x # to :: Rep Voice x -> Voice #
FromJSON Voice Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser Voice parseJSONList :: Value -> Parser [Voice]
ToJSON Voice Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: Voice -> Value toEncoding :: Voice -> Encoding toJSONList :: [Voice] -> Value toEncodingList :: [Voice] -> Encoding
type Rep Voice Source #
Instance details Defined in Telegram.Bot.API.Types type Rep Voice = D1 (MetaData "Voice" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "Voice" PrefixI True) ((S1 (MetaSel (Just "voiceFileId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileId) :: S1 (MetaSel (Just "voiceDuration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Seconds)) :: (S1 (MetaSel (Just "voiceMimeType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "voiceFileSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int32)))))

`VideoNote`

data VideoNote Source #

This object represents a video message (available in Telegram apps as of v.4.0).

Constructors

VideoNote
Fields videoNoteFileId :: Text Unique identifier for this file videoNoteLength :: Int32 Video width and height as defined by sender videoNoteDuration :: Seconds Duration of the video in seconds as defined by sender videoNoteThumb :: Maybe PhotoSize Video thumbnail videoNoteFileSize :: Maybe Int32 File size

Instances

Show VideoNote Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> VideoNote -> ShowS # show :: VideoNote -> String # showList :: [VideoNote] -> ShowS #
Generic VideoNote Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep VideoNote :: Type -> Type # Methods from :: VideoNote -> Rep VideoNote x # to :: Rep VideoNote x -> VideoNote #
FromJSON VideoNote Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser VideoNote parseJSONList :: Value -> Parser [VideoNote]
ToJSON VideoNote Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: VideoNote -> Value toEncoding :: VideoNote -> Encoding toJSONList :: [VideoNote] -> Value toEncodingList :: [VideoNote] -> Encoding
type Rep VideoNote Source #
Instance details Defined in Telegram.Bot.API.Types type Rep VideoNote = D1 (MetaData "VideoNote" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "VideoNote" PrefixI True) ((S1 (MetaSel (Just "videoNoteFileId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "videoNoteLength") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int32)) :: (S1 (MetaSel (Just "videoNoteDuration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Seconds) :: (S1 (MetaSel (Just "videoNoteThumb") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe PhotoSize)) :: S1 (MetaSel (Just "videoNoteFileSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int32))))))

`Contact`

data Contact Source #

This object represents a phone contact.

Constructors

Contact
Fields contactPhoneNumber :: Text Contact's phone number contactFirstName :: Text Contact's first name contactLastName :: Maybe Text Contact's last name contactUserId :: Maybe UserId Contact's user identifier in Telegram

Instances

Show Contact Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> Contact -> ShowS # show :: Contact -> String # showList :: [Contact] -> ShowS #
Generic Contact Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep Contact :: Type -> Type # Methods from :: Contact -> Rep Contact x # to :: Rep Contact x -> Contact #
FromJSON Contact Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser Contact parseJSONList :: Value -> Parser [Contact]
ToJSON Contact Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: Contact -> Value toEncoding :: Contact -> Encoding toJSONList :: [Contact] -> Value toEncodingList :: [Contact] -> Encoding
type Rep Contact Source #
Instance details Defined in Telegram.Bot.API.Types type Rep Contact = D1 (MetaData "Contact" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "Contact" PrefixI True) ((S1 (MetaSel (Just "contactPhoneNumber") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "contactFirstName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "contactLastName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "contactUserId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe UserId)))))

Location

data Location Source #

This object represents a point on the map.

Constructors

Location
Fields locationLongitude :: Float Longitude as defined by sender locationLatitude :: Float Latitude as defined by sender

Instances

Show Location Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #
Generic Location Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep Location :: Type -> Type # Methods from :: Location -> Rep Location x # to :: Rep Location x -> Location #
FromJSON Location Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser Location parseJSONList :: Value -> Parser [Location]
ToJSON Location Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: Location -> Value toEncoding :: Location -> Encoding toJSONList :: [Location] -> Value toEncodingList :: [Location] -> Encoding
type Rep Location Source #
Instance details Defined in Telegram.Bot.API.Types type Rep Location = D1 (MetaData "Location" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "Location" PrefixI True) (S1 (MetaSel (Just "locationLongitude") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Float) :*: S1 (MetaSel (Just "locationLatitude") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Float)))

`Venue`

data Venue Source #

This object represents a venue.

Constructors

Venue
Fields venueLocation :: Location Venue location venueTitle :: Text Name of the venue venueAddress :: Text Address of the venue venueFoursquareId :: Maybe Text Foursquare identifier of the venue

Instances

Show Venue Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> Venue -> ShowS # show :: Venue -> String # showList :: [Venue] -> ShowS #
Generic Venue Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep Venue :: Type -> Type # Methods from :: Venue -> Rep Venue x # to :: Rep Venue x -> Venue #
FromJSON Venue Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser Venue parseJSONList :: Value -> Parser [Venue]
ToJSON Venue Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: Venue -> Value toEncoding :: Venue -> Encoding toJSONList :: [Venue] -> Value toEncodingList :: [Venue] -> Encoding
type Rep Venue Source #
Instance details Defined in Telegram.Bot.API.Types type Rep Venue = D1 (MetaData "Venue" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "Venue" PrefixI True) ((S1 (MetaSel (Just "venueLocation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Location) :: S1 (MetaSel (Just "venueTitle") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "venueAddress") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "venueFoursquareId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))))

`UserProfilePhotos`

data UserProfilePhotos Source #

This object represent a user's profile pictures.

Constructors

UserProfilePhotos
Fields userProfilePhotosTotalCount :: Int32 Total number of profile pictures the target user has userProfilePhotosPhotos :: [[PhotoSize]] Requested profile pictures (in up to 4 sizes each)

Instances

Show UserProfilePhotos Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> UserProfilePhotos -> ShowS # show :: UserProfilePhotos -> String # showList :: [UserProfilePhotos] -> ShowS #
Generic UserProfilePhotos Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep UserProfilePhotos :: Type -> Type # Methods from :: UserProfilePhotos -> Rep UserProfilePhotos x # to :: Rep UserProfilePhotos x -> UserProfilePhotos #
FromJSON UserProfilePhotos Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser UserProfilePhotos parseJSONList :: Value -> Parser [UserProfilePhotos]
ToJSON UserProfilePhotos Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: UserProfilePhotos -> Value toEncoding :: UserProfilePhotos -> Encoding toJSONList :: [UserProfilePhotos] -> Value toEncodingList :: [UserProfilePhotos] -> Encoding
type Rep UserProfilePhotos Source #
Instance details Defined in Telegram.Bot.API.Types type Rep UserProfilePhotos = D1 (MetaData "UserProfilePhotos" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "UserProfilePhotos" PrefixI True) (S1 (MetaSel (Just "userProfilePhotosTotalCount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int32) :*: S1 (MetaSel (Just "userProfilePhotosPhotos") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[PhotoSize]])))

`File`

data File Source #

This object represents a file ready to be downloaded. The file can be downloaded via the link https://api.telegram.org/file/bot<token>/<file_path>. 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.

Constructors

File
Fields fileFileId :: FileId Unique identifier for this file fileFileSize :: Maybe Int32 File size, if known fileFilePath :: Maybe Text File path. Use https://api.telegram.org/file/bot<token>/<file_path> to get the file.

Instances

Show File Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> File -> ShowS # show :: File -> String # showList :: [File] -> ShowS #
Generic File Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep File :: Type -> Type # Methods from :: File -> Rep File x # to :: Rep File x -> File #
FromJSON File Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser File parseJSONList :: Value -> Parser [File]
ToJSON File Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: File -> Value toEncoding :: File -> Encoding toJSONList :: [File] -> Value toEncodingList :: [File] -> Encoding
type Rep File Source #
Instance details Defined in Telegram.Bot.API.Types type Rep File = D1 (MetaData "File" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "File" PrefixI True) (S1 (MetaSel (Just "fileFileId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileId) :: (S1 (MetaSel (Just "fileFileSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int32)) :: S1 (MetaSel (Just "fileFilePath") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))))

`ReplyKeyboardMarkup`

data ReplyKeyboardMarkup Source #

This object represents a custom keyboard with reply options (see Introduction to bots for details and examples).

Constructors

ReplyKeyboardMarkup

Fields

replyKeyboardMarkupKeyboard :: [[KeyboardButton]]
Array of button rows, each represented by an Array of KeyboardButton objects
replyKeyboardMarkupResizeKeyboard :: Maybe Bool
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.
replyKeyboardMarkupOneTimeKeyboard :: 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.
replyKeyboardMarkupSelective :: Maybe Bool
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.

Instances

Show ReplyKeyboardMarkup Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> ReplyKeyboardMarkup -> ShowS # show :: ReplyKeyboardMarkup -> String # showList :: [ReplyKeyboardMarkup] -> ShowS #
Generic ReplyKeyboardMarkup Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep ReplyKeyboardMarkup :: Type -> Type # Methods from :: ReplyKeyboardMarkup -> Rep ReplyKeyboardMarkup x # to :: Rep ReplyKeyboardMarkup x -> ReplyKeyboardMarkup #
FromJSON ReplyKeyboardMarkup Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser ReplyKeyboardMarkup parseJSONList :: Value -> Parser [ReplyKeyboardMarkup]
ToJSON ReplyKeyboardMarkup Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: ReplyKeyboardMarkup -> Value toEncoding :: ReplyKeyboardMarkup -> Encoding toJSONList :: [ReplyKeyboardMarkup] -> Value toEncodingList :: [ReplyKeyboardMarkup] -> Encoding
type Rep ReplyKeyboardMarkup Source #
Instance details Defined in Telegram.Bot.API.Types type Rep ReplyKeyboardMarkup = D1 (MetaData "ReplyKeyboardMarkup" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "ReplyKeyboardMarkup" PrefixI True) ((S1 (MetaSel (Just "replyKeyboardMarkupKeyboard") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[KeyboardButton]]) :: S1 (MetaSel (Just "replyKeyboardMarkupResizeKeyboard") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))) :: (S1 (MetaSel (Just "replyKeyboardMarkupOneTimeKeyboard") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 (MetaSel (Just "replyKeyboardMarkupSelective") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)))))

`KeyboardButton`

data KeyboardButton Source #

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.

Constructors

KeyboardButton

Fields

keyboardButtonText :: Text
Text of the button. If none of the optional fields are used, it will be sent as a message when the button is pressed
keyboardButtonRequestContact :: Maybe Bool
If True, the user's phone number will be sent as a contact when the button is pressed. Available in private chats only
keyboardButtonRequestLocation :: Maybe Bool
If True, the user's current location will be sent when the button is pressed. Available in private chats only

Instances

Show KeyboardButton Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> KeyboardButton -> ShowS # show :: KeyboardButton -> String # showList :: [KeyboardButton] -> ShowS #
IsString KeyboardButton Source #
Instance details Defined in Telegram.Bot.API.Types Methods fromString :: String -> KeyboardButton #
Generic KeyboardButton Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep KeyboardButton :: Type -> Type # Methods from :: KeyboardButton -> Rep KeyboardButton x # to :: Rep KeyboardButton x -> KeyboardButton #
FromJSON KeyboardButton Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser KeyboardButton parseJSONList :: Value -> Parser [KeyboardButton]
ToJSON KeyboardButton Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: KeyboardButton -> Value toEncoding :: KeyboardButton -> Encoding toJSONList :: [KeyboardButton] -> Value toEncodingList :: [KeyboardButton] -> Encoding
type Rep KeyboardButton Source #
Instance details Defined in Telegram.Bot.API.Types type Rep KeyboardButton = D1 (MetaData "KeyboardButton" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "KeyboardButton" PrefixI True) (S1 (MetaSel (Just "keyboardButtonText") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "keyboardButtonRequestContact") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :: S1 (MetaSel (Just "keyboardButtonRequestLocation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)))))

`ReplyKeyboardRemove`

data ReplyKeyboardRemove Source #

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 ReplyKeyboardMarkup).

Constructors

ReplyKeyboardRemove

Fields

replyKeyboardRemoveRemoveKeyboard :: Bool
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)
replyKeyboardRemoveSelective :: Maybe 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.

Instances

Show ReplyKeyboardRemove Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> ReplyKeyboardRemove -> ShowS # show :: ReplyKeyboardRemove -> String # showList :: [ReplyKeyboardRemove] -> ShowS #
Generic ReplyKeyboardRemove Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep ReplyKeyboardRemove :: Type -> Type # Methods from :: ReplyKeyboardRemove -> Rep ReplyKeyboardRemove x # to :: Rep ReplyKeyboardRemove x -> ReplyKeyboardRemove #
FromJSON ReplyKeyboardRemove Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser ReplyKeyboardRemove parseJSONList :: Value -> Parser [ReplyKeyboardRemove]
ToJSON ReplyKeyboardRemove Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: ReplyKeyboardRemove -> Value toEncoding :: ReplyKeyboardRemove -> Encoding toJSONList :: [ReplyKeyboardRemove] -> Value toEncodingList :: [ReplyKeyboardRemove] -> Encoding
type Rep ReplyKeyboardRemove Source #
Instance details Defined in Telegram.Bot.API.Types type Rep ReplyKeyboardRemove = D1 (MetaData "ReplyKeyboardRemove" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "ReplyKeyboardRemove" PrefixI True) (S1 (MetaSel (Just "replyKeyboardRemoveRemoveKeyboard") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :*: S1 (MetaSel (Just "replyKeyboardRemoveSelective") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))))

`InlineKeyboardMarkup`

data InlineKeyboardMarkup Source #

This object represents an inline keyboard that appears right next to the message it belongs to.

Constructors

InlineKeyboardMarkup
Fields inlineKeyboardMarkupInlineKeyboard :: [[InlineKeyboardButton]] Array of button rows, each represented by an Array of InlineKeyboardButton objects

Instances

Show InlineKeyboardMarkup Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> InlineKeyboardMarkup -> ShowS # show :: InlineKeyboardMarkup -> String # showList :: [InlineKeyboardMarkup] -> ShowS #
Generic InlineKeyboardMarkup Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep InlineKeyboardMarkup :: Type -> Type # Methods from :: InlineKeyboardMarkup -> Rep InlineKeyboardMarkup x # to :: Rep InlineKeyboardMarkup x -> InlineKeyboardMarkup #
FromJSON InlineKeyboardMarkup Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser InlineKeyboardMarkup parseJSONList :: Value -> Parser [InlineKeyboardMarkup]
ToJSON InlineKeyboardMarkup Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: InlineKeyboardMarkup -> Value toEncoding :: InlineKeyboardMarkup -> Encoding toJSONList :: [InlineKeyboardMarkup] -> Value toEncodingList :: [InlineKeyboardMarkup] -> Encoding
type Rep InlineKeyboardMarkup Source #
Instance details Defined in Telegram.Bot.API.Types type Rep InlineKeyboardMarkup = D1 (MetaData "InlineKeyboardMarkup" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "InlineKeyboardMarkup" PrefixI True) (S1 (MetaSel (Just "inlineKeyboardMarkupInlineKeyboard") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[InlineKeyboardButton]])))

`InlineKeyboardButton`

data InlineKeyboardButton Source #

This object represents one button of an inline keyboard. You must use exactly one of the optional fields.

Constructors

InlineKeyboardButton

Fields

inlineKeyboardButtonText :: Text
Label text on the button
inlineKeyboardButtonUrl :: Maybe Text
HTTP url to be opened when button is pressed
inlineKeyboardButtonCallbackData :: Maybe Text
Data to be sent in a callback query to the bot when button is pressed, 1-64 bytes
inlineKeyboardButtonSwitchInlineQuery :: 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.
inlineKeyboardButtonSwitchInlineQueryCurrentChat :: 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.
inlineKeyboardButtonPay :: Maybe Bool
Specify True, to send a Pay button.

Instances

Show InlineKeyboardButton Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> InlineKeyboardButton -> ShowS # show :: InlineKeyboardButton -> String # showList :: [InlineKeyboardButton] -> ShowS #
Generic InlineKeyboardButton Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep InlineKeyboardButton :: Type -> Type # Methods from :: InlineKeyboardButton -> Rep InlineKeyboardButton x # to :: Rep InlineKeyboardButton x -> InlineKeyboardButton #
FromJSON InlineKeyboardButton Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser InlineKeyboardButton parseJSONList :: Value -> Parser [InlineKeyboardButton]
ToJSON InlineKeyboardButton Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: InlineKeyboardButton -> Value toEncoding :: InlineKeyboardButton -> Encoding toJSONList :: [InlineKeyboardButton] -> Value toEncodingList :: [InlineKeyboardButton] -> Encoding
type Rep InlineKeyboardButton Source #
Instance details Defined in Telegram.Bot.API.Types type Rep InlineKeyboardButton = D1 (MetaData "InlineKeyboardButton" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "InlineKeyboardButton" PrefixI True) ((S1 (MetaSel (Just "inlineKeyboardButtonText") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "inlineKeyboardButtonUrl") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "inlineKeyboardButtonCallbackData") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) :: (S1 (MetaSel (Just "inlineKeyboardButtonSwitchInlineQuery") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: (S1 (MetaSel (Just "inlineKeyboardButtonSwitchInlineQueryCurrentChat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "inlineKeyboardButtonPay") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))))))

labeledInlineKeyboardButton :: Text -> InlineKeyboardButton Source #

`CallbackQuery`

data CallbackQuery Source #

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 inline_message_id will be present. Exactly one of the fields data or game_short_name will be present.

Constructors

CallbackQuery

Fields

callbackQueryId :: CallbackQueryId
Unique identifier for this query
callbackQueryFrom :: User
Sender
callbackQueryMessage :: Maybe Message
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
callbackQueryInlineMessageId :: Maybe MessageId
Identifier of the message sent via the bot in inline mode, that originated the query.
callbackQueryChatInstance :: Text
Global identifier, uniquely corresponding to the chat to which the message with the callback button was sent. Useful for high scores in games.
callbackQueryData :: Maybe Text
Data associated with the callback button. Be aware that a bad client can send arbitrary data in this field.
callbackQueryGameShortName :: Maybe Text
Short name of a Game to be returned, serves as the unique identifier for the game

Instances

Show CallbackQuery Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> CallbackQuery -> ShowS # show :: CallbackQuery -> String # showList :: [CallbackQuery] -> ShowS #
Generic CallbackQuery Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep CallbackQuery :: Type -> Type # Methods from :: CallbackQuery -> Rep CallbackQuery x # to :: Rep CallbackQuery x -> CallbackQuery #
FromJSON CallbackQuery Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser CallbackQuery parseJSONList :: Value -> Parser [CallbackQuery]
ToJSON CallbackQuery Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: CallbackQuery -> Value toEncoding :: CallbackQuery -> Encoding toJSONList :: [CallbackQuery] -> Value toEncodingList :: [CallbackQuery] -> Encoding
type Rep CallbackQuery Source #
Instance details Defined in Telegram.Bot.API.Types type Rep CallbackQuery = D1 (MetaData "CallbackQuery" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "CallbackQuery" PrefixI True) ((S1 (MetaSel (Just "callbackQueryId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CallbackQueryId) :: (S1 (MetaSel (Just "callbackQueryFrom") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 User) :: S1 (MetaSel (Just "callbackQueryMessage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Message)))) :: ((S1 (MetaSel (Just "callbackQueryInlineMessageId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe MessageId)) :: S1 (MetaSel (Just "callbackQueryChatInstance") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "callbackQueryData") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "callbackQueryGameShortName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))))))

newtype CallbackQueryId Source #

Constructors

CallbackQueryId Text

Instances

Eq CallbackQueryId Source #
Instance details Defined in Telegram.Bot.API.Types Methods (==) :: CallbackQueryId -> CallbackQueryId -> Bool # (/=) :: CallbackQueryId -> CallbackQueryId -> Bool #
Show CallbackQueryId Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> CallbackQueryId -> ShowS # show :: CallbackQueryId -> String # showList :: [CallbackQueryId] -> ShowS #
Generic CallbackQueryId Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep CallbackQueryId :: Type -> Type # Methods from :: CallbackQueryId -> Rep CallbackQueryId x # to :: Rep CallbackQueryId x -> CallbackQueryId #
FromJSON CallbackQueryId Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser CallbackQueryId parseJSONList :: Value -> Parser [CallbackQueryId]
ToJSON CallbackQueryId Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: CallbackQueryId -> Value toEncoding :: CallbackQueryId -> Encoding toJSONList :: [CallbackQueryId] -> Value toEncodingList :: [CallbackQueryId] -> Encoding
type Rep CallbackQueryId Source #
Instance details Defined in Telegram.Bot.API.Types type Rep CallbackQueryId = D1 (MetaData "CallbackQueryId" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" True) (C1 (MetaCons "CallbackQueryId" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

`ForceReply`

data ForceReply Source #

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.

Constructors

ForceReply

Fields

forceReplyForceReply :: Bool
Shows reply interface to the user, as if they manually selected the bot‘s message and tapped ’Reply'
forceReplySelective :: Maybe Bool
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.

Instances

Show ForceReply Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> ForceReply -> ShowS # show :: ForceReply -> String # showList :: [ForceReply] -> ShowS #
Generic ForceReply Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep ForceReply :: Type -> Type # Methods from :: ForceReply -> Rep ForceReply x # to :: Rep ForceReply x -> ForceReply #
FromJSON ForceReply Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser ForceReply parseJSONList :: Value -> Parser [ForceReply]
ToJSON ForceReply Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: ForceReply -> Value toEncoding :: ForceReply -> Encoding toJSONList :: [ForceReply] -> Value toEncodingList :: [ForceReply] -> Encoding
type Rep ForceReply Source #
Instance details Defined in Telegram.Bot.API.Types type Rep ForceReply = D1 (MetaData "ForceReply" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "ForceReply" PrefixI True) (S1 (MetaSel (Just "forceReplyForceReply") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :*: S1 (MetaSel (Just "forceReplySelective") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))))

Chat photo

data ChatPhoto Source #

Chat photo. Returned only in getChat.

Constructors

ChatPhoto
Fields chatPhotoSmallFileId :: FileId Unique file identifier of small (160x160) chat photo. This file_id can be used only for photo download. chatPhotoBigFileId :: FileId Unique file identifier of big (640x640) chat photo. This file_id can be used only for photo download.

Instances

Show ChatPhoto Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> ChatPhoto -> ShowS # show :: ChatPhoto -> String # showList :: [ChatPhoto] -> ShowS #
Generic ChatPhoto Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep ChatPhoto :: Type -> Type # Methods from :: ChatPhoto -> Rep ChatPhoto x # to :: Rep ChatPhoto x -> ChatPhoto #
FromJSON ChatPhoto Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser ChatPhoto parseJSONList :: Value -> Parser [ChatPhoto]
ToJSON ChatPhoto Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: ChatPhoto -> Value toEncoding :: ChatPhoto -> Encoding toJSONList :: [ChatPhoto] -> Value toEncodingList :: [ChatPhoto] -> Encoding
type Rep ChatPhoto Source #
Instance details Defined in Telegram.Bot.API.Types type Rep ChatPhoto = D1 (MetaData "ChatPhoto" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "ChatPhoto" PrefixI True) (S1 (MetaSel (Just "chatPhotoSmallFileId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileId) :*: S1 (MetaSel (Just "chatPhotoBigFileId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileId)))

`ChatMember`

data ChatMember Source #

This object contains information about one member of a chat.

Constructors

ChatMember

Fields

chatMemberUser :: User
Information about the user
chatMemberStatus :: Text
The member's status in the chat. Can be “creator”, “administrator”, “member”, “restricted”, “left” or “kicked”
chatMemberUntilDate :: Maybe POSIXTime
Restictred and kicked only. Date when restrictions will be lifted for this user, unix time
chatMemberCanBeEdited :: Maybe Bool
Administrators only. True, if the bot is allowed to edit administrator privileges of that user
chatMemberCanChangeInfo :: Maybe Bool
Administrators only. True, if the administrator can change the chat title, photo and other settings
chatMemberCanPostMessages :: Maybe Bool
Administrators only. True, if the administrator can post in the channel, channels only
chatMemberCanEditMessages :: Maybe Bool
Administrators only. True, if the administrator can edit messages of other users and can pin messages, channels only
chatMemberCanDeleteMessages :: Maybe Bool
Administrators only. True, if the administrator can delete messages of other users
chatMemberCanInviteUsers :: Maybe Bool
Administrators only. True, if the administrator can invite new users to the chat
chatMemberCanRestrictMembers :: Maybe Bool
Administrators only. True, if the administrator can restrict, ban or unban chat members
chatMemberCanPinMessages :: Maybe Bool
Administrators only. True, if the administrator can pin messages, supergroups only
chatMemberCanPromoteMembers :: 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)
chatMemberCanSendMessages :: Maybe Bool
Restricted only. True, if the user can send text messages, contacts, locations and venues
chatMemberCanSendMediaMessages :: Maybe Bool
Restricted only. True, if the user can send audios, documents, photos, videos, video notes and voice notes, implies can_send_messages
chatMemberCanSendOtherMessages :: Maybe Bool
Restricted only. True, if the user can send animations, games, stickers and use inline bots, implies can_send_media_messages
chatMemberCanAddWebPagePreviews :: Maybe Bool
Restricted only. True, if user may add web page previews to his messages, implies can_send_media_messages

Instances

Show ChatMember Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> ChatMember -> ShowS # show :: ChatMember -> String # showList :: [ChatMember] -> ShowS #
Generic ChatMember Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep ChatMember :: Type -> Type # Methods from :: ChatMember -> Rep ChatMember x # to :: Rep ChatMember x -> ChatMember #
FromJSON ChatMember Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser ChatMember parseJSONList :: Value -> Parser [ChatMember]
ToJSON ChatMember Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: ChatMember -> Value toEncoding :: ChatMember -> Encoding toJSONList :: [ChatMember] -> Value toEncodingList :: [ChatMember] -> Encoding
type Rep ChatMember Source #
Instance details Defined in Telegram.Bot.API.Types type Rep ChatMember = D1 (MetaData "ChatMember" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "ChatMember" PrefixI True) ((((S1 (MetaSel (Just "chatMemberUser") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 User) :: S1 (MetaSel (Just "chatMemberStatus") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "chatMemberUntilDate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe POSIXTime)) :: S1 (MetaSel (Just "chatMemberCanBeEdited") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)))) :: ((S1 (MetaSel (Just "chatMemberCanChangeInfo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :: S1 (MetaSel (Just "chatMemberCanPostMessages") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))) :: (S1 (MetaSel (Just "chatMemberCanEditMessages") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :: S1 (MetaSel (Just "chatMemberCanDeleteMessages") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))))) :: (((S1 (MetaSel (Just "chatMemberCanInviteUsers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :: S1 (MetaSel (Just "chatMemberCanRestrictMembers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))) :: (S1 (MetaSel (Just "chatMemberCanPinMessages") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :: S1 (MetaSel (Just "chatMemberCanPromoteMembers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)))) :: ((S1 (MetaSel (Just "chatMemberCanSendMessages") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :: S1 (MetaSel (Just "chatMemberCanSendMediaMessages") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool))) :: (S1 (MetaSel (Just "chatMemberCanSendOtherMessages") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 (MetaSel (Just "chatMemberCanAddWebPagePreviews") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Bool)))))))

`ResponseParameters`

data ResponseParameters Source #

Contains information about why a request was unsuccessful.

Constructors

ResponseParameters

Fields

responseParametersMigrateToChatId :: Maybe ChatId
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.
responseParametersRetryAfter :: Maybe Seconds
In case of exceeding flood control, the number of seconds left to wait before the request can be repeated

Instances

Show ResponseParameters Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> ResponseParameters -> ShowS # show :: ResponseParameters -> String # showList :: [ResponseParameters] -> ShowS #
Generic ResponseParameters Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep ResponseParameters :: Type -> Type # Methods from :: ResponseParameters -> Rep ResponseParameters x # to :: Rep ResponseParameters x -> ResponseParameters #
FromJSON ResponseParameters Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser ResponseParameters parseJSONList :: Value -> Parser [ResponseParameters]
ToJSON ResponseParameters Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: ResponseParameters -> Value toEncoding :: ResponseParameters -> Encoding toJSONList :: [ResponseParameters] -> Value toEncodingList :: [ResponseParameters] -> Encoding
type Rep ResponseParameters Source #
Instance details Defined in Telegram.Bot.API.Types type Rep ResponseParameters = D1 (MetaData "ResponseParameters" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "ResponseParameters" PrefixI True) (S1 (MetaSel (Just "responseParametersMigrateToChatId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ChatId)) :*: S1 (MetaSel (Just "responseParametersRetryAfter") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Seconds))))

Show MessageEntity Source #
Instance details Defined in Telegram.Bot.API.Types Methods showsPrec :: Int -> MessageEntity -> ShowS # show :: MessageEntity -> String # showList :: [MessageEntity] -> ShowS #
Generic MessageEntity Source #
Instance details Defined in Telegram.Bot.API.Types Associated Types type Rep MessageEntity :: Type -> Type # Methods from :: MessageEntity -> Rep MessageEntity x # to :: Rep MessageEntity x -> MessageEntity #
FromJSON MessageEntity Source #
Instance details Defined in Telegram.Bot.API.Types Methods parseJSON :: Value -> Parser MessageEntity parseJSONList :: Value -> Parser [MessageEntity]
ToJSON MessageEntity Source #
Instance details Defined in Telegram.Bot.API.Types Methods toJSON :: MessageEntity -> Value toEncoding :: MessageEntity -> Encoding toJSONList :: [MessageEntity] -> Value toEncodingList :: [MessageEntity] -> Encoding
type Rep MessageEntity Source #
Instance details Defined in Telegram.Bot.API.Types type Rep MessageEntity = D1 (MetaData "MessageEntity" "Telegram.Bot.API.Types" "telegram-bot-simple-0.3.0-inplace" False) (C1 (MetaCons "MessageEntity" PrefixI True) ((S1 (MetaSel (Just "messageEntityType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MessageEntityType) :: S1 (MetaSel (Just "messageEntityOffset") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int32)) :: (S1 (MetaSel (Just "messageEntityLength") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int32) :: (S1 (MetaSel (Just "messageEntityUrl") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "messageEntityUser") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe User))))))

Documentation

Available types

User

Chat

Message

MessageEntity

Location

Chat photo