Safe Haskell | None |
---|---|
Language | Haskell2010 |
- Available types
- User
- Chat
- Message
- MessageEntity
PhotoSize
Animation
Audio
Document
Video
VideoNote
Voice
Contact
Dice
PollOption
PollAnswer
Poll
- Location
Venue
ProximityAlertTriggered
MessageAutoDeleteTimerChanged
VideoChatScheduled
VideoChatStarted
VideoChatEnded
VideoChatParticipantsInvited
UserProfilePhotos
WebAppData
File
ReplyKeyboardMarkup
KeyboardButton
MenuButton
PollType
ReplyKeyboardRemove
InlineKeyboardMarkup
InlineKeyboardButton
LoginUrl
CallbackQuery
ForceReply
- Chat photo
ChatInviteLink
ChatAdministratorRights
ChatMember
ChatMemberUpdated
ChatJoinRequest
ChatPermissions
ChatLocation
ResponseParameters
- Stickers
- Payments
- Telegram Passport
- Games
Synopsis
- type RequiredQueryParam = QueryParam' '[Required, Strict]
- newtype Seconds = Seconds Int
- data User = User {}
- newtype UserId = UserId Integer
- data Chat = Chat {
- chatId :: ChatId
- chatType :: ChatType
- chatTitle :: Maybe Text
- chatUsername :: Maybe Text
- chatFirstName :: Maybe Text
- chatLastName :: Maybe Text
- chatPhoto :: Maybe ChatPhoto
- chatBio :: Maybe Text
- chatHasPrivateForwards :: Maybe Bool
- chatDescription :: Maybe Text
- chatInviteLink :: Maybe Text
- chatPinnedMessage :: Maybe Message
- chatPermissions :: Maybe ChatPermissions
- chatSlowModeDelay :: Maybe Int
- chatMessageAutoDeleteTime :: Maybe POSIXTime
- chatHasProtectedContent :: Maybe Bool
- chatStickerSetName :: Maybe Text
- chatCanSetStickerSet :: Maybe Bool
- chatLinkedChatId :: Maybe ChatId
- chatLocation :: Maybe ChatLocation
- newtype ChatId = ChatId Integer
- data ChatType
- data Message = Message {
- messageMessageId :: MessageId
- messageFrom :: Maybe User
- messageSenderChat :: Maybe Chat
- messageDate :: POSIXTime
- messageChat :: Chat
- messageForwardFrom :: Maybe User
- messageForwardFromChat :: Maybe Chat
- messageForwardFromMessageId :: Maybe MessageId
- messageForwardSignature :: Maybe Text
- messageForwardSenderName :: Maybe Text
- messageForwardDate :: Maybe POSIXTime
- messageIsAutomaticForward :: Maybe Bool
- messageReplyToMessage :: Maybe Message
- messageViaBot :: Maybe User
- messageEditDate :: Maybe POSIXTime
- messageHasProtectedContent :: Maybe Bool
- messageMediaGroupId :: Maybe MediaGroupId
- messageAuthorSignature :: Maybe Text
- messageText :: Maybe Text
- messageEntities :: Maybe [MessageEntity]
- messageAnimation :: Maybe Animation
- messageAudio :: Maybe Audio
- messageDocument :: Maybe Document
- messagePhoto :: Maybe [PhotoSize]
- messageSticker :: Maybe Sticker
- messageVideo :: Maybe Video
- messageVideoNote :: Maybe VideoNote
- messageVoice :: Maybe Voice
- messageCaption :: Maybe Text
- messageCaptionEntities :: Maybe [MessageEntity]
- messageContact :: Maybe Contact
- messageDice :: Maybe Dice
- messageGame :: Maybe Game
- messagePoll :: Maybe Poll
- messageVenue :: Maybe Venue
- messageLocation :: Maybe Location
- messageNewChatMembers :: Maybe [User]
- messageLeftChatMember :: Maybe User
- messageNewChatTitle :: Maybe Text
- messageNewChatPhoto :: Maybe [PhotoSize]
- messageDeleteChatPhoto :: Maybe Bool
- messageGroupChatCreated :: Maybe Bool
- messageSupergroupChatCreated :: Maybe Bool
- messageChannelChatCreated :: Maybe Bool
- messageAutoDeleteTimerChanged :: Maybe MessageAutoDeleteTimerChanged
- messageMigrateToChatId :: Maybe ChatId
- messageMigrateFromChatId :: Maybe ChatId
- messagePinnedMessage :: Maybe Message
- messageInvoice :: Maybe Invoice
- messageSuccessfulPayment :: Maybe SuccessfulPayment
- messageConnectedWebsite :: Maybe Text
- messagePassportData :: Maybe PassportData
- messageProximityAlertTriggered :: Maybe ProximityAlertTriggered
- messageVideoChatScheduled :: Maybe VideoChatScheduled
- messageVideoChatStarted :: Maybe VideoChatStarted
- messageVideoChatEnded :: Maybe VideoChatEnded
- messageVideoChatParticipantsInvited :: Maybe VideoChatParticipantsInvited
- messageWebAppData :: Maybe WebAppData
- messageReplyMarkup :: Maybe InlineKeyboardMarkup
- newtype MessageId = MessageId Integer
- newtype MediaGroupId = MediaGroupId Text
- data MessageEntity = MessageEntity {}
- data MessageEntityType
- = MessageEntityMention
- | MessageEntityHashtag
- | MessageEntityBotCommand
- | MessageEntityUrl
- | MessageEntityEmail
- | MessageEntityBold
- | MessageEntityItalic
- | MessageEntityUnderline
- | MessageEntityStrikethrough
- | MessageEntityCode
- | MessageEntityPre
- | MessageEntityTextLink
- | MessageEntityTextMention
- | MessageEntityCashtag
- | MessageEntityPhoneNumber
- | MessageEntitySpoiler
- data PhotoSize = PhotoSize {}
- newtype FileId = FileId Text
- data Animation = Animation {}
- data Audio = Audio {}
- data Document = Document {}
- data Video = Video {}
- data VideoNote = VideoNote {}
- data Voice = Voice {}
- data Contact = Contact {}
- data Dice = Dice {}
- data PollOption = PollOption {}
- data PollAnswer = PollAnswer {}
- newtype PollId = PollId Text
- data Poll = Poll {
- pollId :: PollId
- pollQuestion :: Text
- pollOptions :: [PollOption]
- pollTotalVoterCount :: Int
- pollIsClosed :: Bool
- pollIsAnonymous :: Bool
- pollType :: PollType
- pollAllowsMultipleAnswers :: Bool
- pollCorrectOptionId :: Maybe Int
- pollExplanation :: Maybe Text
- pollExplanationEntities :: Maybe [MessageEntity]
- pollOpenPeriod :: Maybe Seconds
- pollCloseData :: Maybe POSIXTime
- data Location = Location {}
- data Venue = Venue {}
- data ProximityAlertTriggered = ProximityAlertTriggered {}
- data MessageAutoDeleteTimerChanged = MessageAutoDeleteTimerChanged {}
- data VideoChatScheduled = VideoChatScheduled {}
- data VideoChatStarted = VideoChatStarted
- data VideoChatEnded = VideoChatEnded {}
- data VideoChatParticipantsInvited = VideoChatParticipantsInvited {}
- data UserProfilePhotos = UserProfilePhotos {}
- data WebAppData = WebAppData {}
- data File = File {}
- type ContentType = Text
- data InputFile
- data ReplyKeyboardMarkup = ReplyKeyboardMarkup {}
- newtype WebAppInfo = WebAppInfo {}
- data KeyboardButton = KeyboardButton {}
- data MenuButton
- data PollType
- getPollType :: PollType -> Text
- data ReplyKeyboardRemove = ReplyKeyboardRemove {}
- data InlineKeyboardMarkup = InlineKeyboardMarkup {}
- data InlineKeyboardButton = InlineKeyboardButton {
- inlineKeyboardButtonText :: Text
- inlineKeyboardButtonUrl :: Maybe Text
- inlineKeyboardButtonCallbackData :: Maybe Text
- inlineKeyboardButtonWebApp :: Maybe WebAppInfo
- inlineKeyboardButtonSwitchInlineQuery :: Maybe Text
- inlineKeyboardButtonSwitchInlineQueryCurrentChat :: Maybe Text
- inlineKeyboardButtonCallbackGame :: Maybe CallbackGame
- inlineKeyboardButtonPay :: Maybe Bool
- labeledInlineKeyboardButton :: Text -> InlineKeyboardButton
- data LoginUrl = LoginUrl {}
- data CallbackQuery = CallbackQuery {}
- newtype CallbackQueryId = CallbackQueryId Text
- data ForceReply = ForceReply {}
- data ChatPhoto = ChatPhoto {}
- data ChatInviteLink = ChatInviteLink {
- chatInviteLinkInviteLink :: Text
- chatInviteLinkCreator :: User
- chatInviteLinkCreatesJoinRequest :: Bool
- chatInviteLinkIsPrimary :: Bool
- chatInviteLinkIsRevoked :: Bool
- chatInviteLinkName :: Maybe Text
- chatInviteLinkExpireDate :: Maybe POSIXTime
- chatInviteLinkMemberLimit :: Maybe Int
- chatInviteLinkPendingJoinRequestCount :: Maybe Int
- data ChatAdministratorRights = ChatAdministratorRights {
- chatAdministratorRightsIsAnonymous :: Bool
- chatAdministratorRightsCanManageChat :: Bool
- chatAdministratorRightsCanDeleteMessages :: Bool
- chatAdministratorRightsCanManageVideoChats :: Bool
- chatAdministratorRightsCanRestrictMembers :: Bool
- chatAdministratorRightsCanPromoteMembers :: Bool
- chatAdministratorRightsCanChangeInfo :: Bool
- chatAdministratorRightsCanInviteUsers :: Bool
- chatAdministratorRightsCanPostMessages :: Maybe Bool
- chatAdministratorRightsCanEditMessages :: Maybe Bool
- chatAdministratorRightsCanPinMessages :: Maybe Bool
- data ChatMember = ChatMember {
- chatMemberUser :: User
- chatMemberStatus :: Text
- chatMemberUntilDate :: Maybe POSIXTime
- chatMemberIsAnonymous :: Maybe Bool
- chatMemberCustomTitle :: Maybe Text
- chatMemberCanBeEdited :: Maybe Bool
- chatMemberCanManageChat :: Maybe Bool
- chatMemberCanDeleteMessages :: Maybe Bool
- chatMemberCanManageVideoChats :: Maybe Bool
- chatMemberCanRestrictMembers :: Maybe Bool
- chatMemberCanPromoteMembers :: Maybe Bool
- chatMemberCanChangeInfo :: Maybe Bool
- chatMemberCanPostMessages :: Maybe Bool
- chatMemberCanEditMessages :: Maybe Bool
- chatMemberCanInviteUsers :: Maybe Bool
- chatMemberCanPinMessages :: Maybe Bool
- chatMemberIsMember :: Maybe Bool
- chatMemberCanSendMessages :: Maybe Bool
- chatMemberCanSendMediaMessages :: Maybe Bool
- chatMemberCanSendPolls :: Maybe Bool
- chatMemberCanSendOtherMessages :: Maybe Bool
- chatMemberCanAddWebPagePreviews :: Maybe Bool
- data ChatMemberUpdated = ChatMemberUpdated {}
- data ChatJoinRequest = ChatJoinRequest {}
- data ChatPermissions = ChatPermissions {
- chatPermissionsCanSendMessages :: Maybe Bool
- chatPermissionsCanSendMediaMessages :: Maybe Bool
- chatPermissionsCanSendPolls :: Maybe Bool
- chatPermissionsCanSendOtherMessages :: Maybe Bool
- chatPermissionsCanAddWebPagePreviews :: Maybe Bool
- chatPermissionsCanChangeInfo :: Maybe Bool
- chatPermissionsCanInviteUsers :: Maybe Bool
- chatPermissionsCanPinMessages :: Maybe Bool
- data ChatLocation = ChatLocation {}
- data ResponseParameters = ResponseParameters {}
- data Sticker = Sticker {}
- data StickerSet = StickerSet {}
- data MaskPosition = MaskPosition {}
- data LabeledPrice = LabelPrice {}
- data Invoice = Invoice {}
- data ShippingAddress = ShippingAddress {}
- data OrderInfo = OrderInfo {}
- data ShippingOption = ShippingOption {}
- newtype ShippingOptionId = ShippingOptionId Text
- data SuccessfulPayment = SuccessfulPayment {
- successfulPaymentCurrency :: Text
- successfulPaymentTotalAmount :: Int
- successfulPaymentInvoicePayload :: Text
- successfulPaymentShippingOptionId :: Maybe ShippingOptionId
- successfulPaymentOrderInfo :: Maybe OrderInfo
- successfulPaymentTelegramPaymentChargeId :: Text
- successfulPaymentProviderPaymentChargeId :: Text
- data ShippingQuery = ShippingQuery {}
- data PreCheckoutQuery = PreCheckoutQuery {}
- data PassportData = PassportData {}
- data PassportFile = PassportFile {}
- data EncryptedPassportElement = EncryptedPassportElement {
- encryptedPassportElementType :: PassportElementType
- encryptedPassportElementData :: Maybe Text
- encryptedPassportElementPhoneNumber :: Maybe Text
- encryptedPassportElementEmail :: Maybe Text
- encryptedPassportElementFiles :: Maybe [PassportFile]
- encryptedPassportElementFrontSide :: Maybe PassportFile
- encryptedPassportElementReverseSide :: Maybe PassportFile
- encryptedPassportElementSelfie :: Maybe PassportFile
- encryptedPassportElementTranslation :: Maybe [PassportFile]
- encryptedPassportElementHash :: Text
- data PassportElementType
- = PassportElementTypePersonalDetails
- | PassportElementTypePassport
- | PassportElementTypeDriverLicense
- | PassportElementTypeIdentityCard
- | PassportElementTypeInternalPassport
- | PassportElementTypeAddress
- | PassportElementTypeUtilityBill
- | PassportElementTypeBankStatement
- | PassportElementTypeRentalAgreement
- | PassportElementTypePassportRegistration
- | PassportElementTypeTemporaryRegistration
- | PassportElementTypePhoneNumber
- | PassportElementTypeEmail
- data EncryptedCredentials = EncryptedCredentials {}
- data PassportErrorSource
- data PassportElementError = PassportElementError {
- passportElementErroSource :: PassportErrorSource
- passportElementErrorType :: PassportElementType
- passportElementErrorName :: Text
- passportElementErrorHash :: Maybe Text
- passportElementErrorMessage :: Text
- passportElementErrorFileHash :: Maybe Text
- passportElementErrorFileHashes :: Maybe [Text]
- passportElementErrorElementHash :: Maybe Text
- data Game = Game {}
- newtype CallbackGame = CallbackGame Object
- data GameHighScore = GameHighScore {}
- data CopyMessageId = CopyMessageId {}
- data SomeChatId
- data BotCommand = BotCommand {}
- data BotCommandScope
- addType :: Text -> [Pair] -> [Pair]
- data InputMediaGeneric = InputMediaGeneric {}
- data InputMediaGenericThumb = InputMediaGenericThumb {}
- data InputMedia
- = InputMediaPhoto InputMediaGeneric
- | InputMediaVideo { }
- | InputMediaAnimation { }
- | InputMediaAudio { }
- | InputMediaDocument { }
- makeFile :: Text -> InputFile -> MultipartData Tmp -> MultipartData Tmp
Documentation
type RequiredQueryParam = QueryParam' '[Required, Strict] Source #
Instances
Eq Seconds Source # | |
Num Seconds Source # | |
Show Seconds Source # | |
FromJSON Seconds Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser Seconds parseJSONList :: Value -> Parser [Seconds] | |
ToJSON Seconds Source # | |
Defined in Telegram.Bot.API.Types toEncoding :: Seconds -> Encoding toJSONList :: [Seconds] -> Value toEncodingList :: [Seconds] -> Encoding |
Available types
User
This object represents a Telegram user or bot.
User | |
|
Instances
Unique identifier for this user or bot.
Instances
Eq UserId Source # | |
Show UserId Source # | |
FromJSON UserId Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser UserId parseJSONList :: Value -> Parser [UserId] | |
ToJSON UserId Source # | |
Defined in Telegram.Bot.API.Types toEncoding :: UserId -> Encoding toJSONList :: [UserId] -> Value toEncodingList :: [UserId] -> Encoding | |
ToHttpApiData UserId Source # | |
Defined in Telegram.Bot.API.Types toUrlPiece :: UserId -> Text toEncodedUrlPiece :: UserId -> Builder toHeader :: UserId -> ByteString toQueryParam :: UserId -> Text |
Chat
This object represents a chat.
Chat | |
|
Instances
Unique identifier for this chat.
Instances
Eq ChatId Source # | |
Show ChatId Source # | |
FromJSON ChatId Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser ChatId parseJSONList :: Value -> Parser [ChatId] | |
ToJSON ChatId Source # | |
Defined in Telegram.Bot.API.Types toEncoding :: ChatId -> Encoding toJSONList :: [ChatId] -> Value toEncodingList :: [ChatId] -> Encoding | |
Hashable ChatId Source # | |
Defined in Telegram.Bot.API.Types | |
ToHttpApiData ChatId Source # | |
Defined in Telegram.Bot.API.Types toUrlPiece :: ChatId -> Text toEncodedUrlPiece :: ChatId -> Builder toHeader :: ChatId -> ByteString toQueryParam :: ChatId -> Text |
Type of chat.
Instances
Show ChatType Source # | |
Generic ChatType Source # | |
FromJSON ChatType Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser ChatType parseJSONList :: Value -> Parser [ChatType] | |
ToJSON ChatType Source # | |
Defined in Telegram.Bot.API.Types toEncoding :: ChatType -> Encoding toJSONList :: [ChatType] -> Value toEncodingList :: [ChatType] -> Encoding | |
type Rep ChatType Source # | |
Defined in Telegram.Bot.API.Types type Rep ChatType = D1 ('MetaData "ChatType" "Telegram.Bot.API.Types" "telegram-bot-simple-0.5.2-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
This object represents a message.
Message | |
|
Instances
Unique message identifier inside this chat.
Instances
Eq MessageId Source # | |
Show MessageId Source # | |
FromJSON MessageId Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser MessageId parseJSONList :: Value -> Parser [MessageId] | |
ToJSON MessageId Source # | |
Defined in Telegram.Bot.API.Types toEncoding :: MessageId -> Encoding toJSONList :: [MessageId] -> Value toEncodingList :: [MessageId] -> Encoding | |
Hashable MessageId Source # | |
Defined in Telegram.Bot.API.Types | |
ToHttpApiData MessageId Source # | |
Defined in Telegram.Bot.API.Types 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.
Instances
Eq MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types (==) :: MediaGroupId -> MediaGroupId -> Bool # (/=) :: MediaGroupId -> MediaGroupId -> Bool # | |
Show MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types showsPrec :: Int -> MediaGroupId -> ShowS # show :: MediaGroupId -> String # showList :: [MediaGroupId] -> ShowS # | |
FromJSON MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser MediaGroupId parseJSONList :: Value -> Parser [MediaGroupId] | |
ToJSON MediaGroupId Source # | |
Defined in Telegram.Bot.API.Types toJSON :: MediaGroupId -> Value toEncoding :: MediaGroupId -> Encoding toJSONList :: [MediaGroupId] -> Value toEncodingList :: [MediaGroupId] -> Encoding |
MessageEntity
data MessageEntity Source #
This object represents one special entity in a text message. For example, hashtags, usernames, URLs, etc.
MessageEntity | |
|
Instances
data MessageEntityType Source #
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
Instances
PhotoSize
This object represents one size of a photo or a file / sticker thumbnail.
PhotoSize | |
|
Instances
Unique identifier for this file.
Instances
Eq FileId Source # | |
Show FileId Source # | |
FromJSON FileId Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser FileId parseJSONList :: Value -> Parser [FileId] | |
ToJSON FileId Source # | |
Defined in Telegram.Bot.API.Types toEncoding :: FileId -> Encoding toJSONList :: [FileId] -> Value toEncodingList :: [FileId] -> Encoding | |
ToHttpApiData FileId Source # | |
Defined in Telegram.Bot.API.Types toUrlPiece :: FileId -> Text toEncodedUrlPiece :: FileId -> Builder toHeader :: FileId -> ByteString toQueryParam :: FileId -> Text |
Animation
This object represents an animation file (GIF or H.264/MPEG-4 AVC video without sound).
Animation | |
|
Instances
Audio
This object represents an audio file to be treated as music by the Telegram clients.
Audio | |
|
Instances
Document
This object represents a general file (as opposed to photos, voice messages and audio files).
Document | |
|
Instances
Video
This object represents a video file.
Video | |
|
Instances
VideoNote
This object represents a video message (available in Telegram apps as of v.4.0).
VideoNote | |
|
Instances
Voice
This object represents a voice note.
Voice | |
|
Instances
Contact
This object represents a phone contact.
Contact | |
|
Instances
Dice
This object represents an animated emoji that displays a random value.
Instances
Show Dice Source # | |
Generic Dice Source # | |
FromJSON Dice Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser Dice parseJSONList :: Value -> Parser [Dice] | |
ToJSON Dice Source # | |
Defined in Telegram.Bot.API.Types | |
type Rep Dice Source # | |
Defined in Telegram.Bot.API.Types type Rep Dice = D1 ('MetaData "Dice" "Telegram.Bot.API.Types" "telegram-bot-simple-0.5.2-inplace" 'False) (C1 ('MetaCons "Dice" 'PrefixI 'True) (S1 ('MetaSel ('Just "diceEmoji") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "diceValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) |
PollOption
data PollOption Source #
This object contains information about one answer option in a poll.
PollOption | |
|
Instances
PollAnswer
data PollAnswer Source #
This object represents an answer of a user in a non-anonymous poll.
PollAnswer | |
|
Instances
Show PollAnswer Source # | |
Defined in Telegram.Bot.API.Types showsPrec :: Int -> PollAnswer -> ShowS # show :: PollAnswer -> String # showList :: [PollAnswer] -> ShowS # | |
Generic PollAnswer Source # | |
Defined in Telegram.Bot.API.Types type Rep PollAnswer :: Type -> Type # from :: PollAnswer -> Rep PollAnswer x # to :: Rep PollAnswer x -> PollAnswer # | |
type Rep PollAnswer Source # | |
Defined in Telegram.Bot.API.Types type Rep PollAnswer = D1 ('MetaData "PollAnswer" "Telegram.Bot.API.Types" "telegram-bot-simple-0.5.2-inplace" 'False) (C1 ('MetaCons "PollAnswer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pollAnswerPollId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PollId) :*: (S1 ('MetaSel ('Just "pollAnswerUser") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 User) :*: S1 ('MetaSel ('Just "pollAnswerOptionIds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int])))) |
Unique poll identifier.
Instances
Eq PollId Source # | |
Show PollId Source # | |
FromJSON PollId Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser PollId parseJSONList :: Value -> Parser [PollId] | |
ToJSON PollId Source # | |
Defined in Telegram.Bot.API.Types toEncoding :: PollId -> Encoding toJSONList :: [PollId] -> Value toEncodingList :: [PollId] -> Encoding |
Poll
Poll | |
|
Instances
Location
This object represents a point on the map.
Location | |
|
Instances
Venue
This object represents a venue.
Venue | |
|
Instances
ProximityAlertTriggered
data ProximityAlertTriggered Source #
This object represents the content of a service message, sent whenever a user in the chat triggers a proximity alert set by another user.
ProximityAlertTriggered | |
|
Instances
MessageAutoDeleteTimerChanged
data MessageAutoDeleteTimerChanged Source #
This object represents a service message about a change in auto-delete timer settings.
MessageAutoDeleteTimerChanged | |
|
Instances
VideoChatScheduled
data VideoChatScheduled Source #
This object represents a service message about a video chat scheduled in the chat.
VideoChatScheduled | |
|
Instances
VideoChatStarted
data VideoChatStarted Source #
This object represents a service message about a video chat started in the chat. Currently holds no information.
Instances
Show VideoChatStarted Source # | |
Defined in Telegram.Bot.API.Types showsPrec :: Int -> VideoChatStarted -> ShowS # show :: VideoChatStarted -> String # showList :: [VideoChatStarted] -> ShowS # | |
Generic VideoChatStarted Source # | |
Defined in Telegram.Bot.API.Types type Rep VideoChatStarted :: Type -> Type # from :: VideoChatStarted -> Rep VideoChatStarted x # to :: Rep VideoChatStarted x -> VideoChatStarted # | |
FromJSON VideoChatStarted Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser VideoChatStarted parseJSONList :: Value -> Parser [VideoChatStarted] | |
ToJSON VideoChatStarted Source # | |
Defined in Telegram.Bot.API.Types toJSON :: VideoChatStarted -> Value toEncoding :: VideoChatStarted -> Encoding toJSONList :: [VideoChatStarted] -> Value toEncodingList :: [VideoChatStarted] -> Encoding | |
type Rep VideoChatStarted Source # | |
VideoChatEnded
data VideoChatEnded Source #
This object represents a service message about a video chat ended in the chat.
VideoChatEnded | |
|
Instances
VideoChatParticipantsInvited
data VideoChatParticipantsInvited Source #
VideoChatParticipantsInvited | |
|
Instances
UserProfilePhotos
data UserProfilePhotos Source #
This object represent a user's profile pictures.
UserProfilePhotos | |
|
Instances
WebAppData
data WebAppData Source #
WebAppData | |
|
Instances
File
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.
File | |
|
Instances
Show File Source # | |
Generic File Source # | |
FromJSON File Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser File parseJSONList :: Value -> Parser [File] | |
ToJSON File Source # | |
Defined in Telegram.Bot.API.Types | |
type Rep File Source # | |
Defined in Telegram.Bot.API.Types type Rep File = D1 ('MetaData "File" "Telegram.Bot.API.Types" "telegram-bot-simple-0.5.2-inplace" 'False) (C1 ('MetaCons "File" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fileFileId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FileId) :*: S1 ('MetaSel ('Just "fileFileUniqueId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FileId)) :*: (S1 ('MetaSel ('Just "fileFileSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "fileFilePath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))) |
type ContentType = Text Source #
Instances
ToJSON InputFile Source # | |
Defined in Telegram.Bot.API.Types toEncoding :: InputFile -> Encoding toJSONList :: [InputFile] -> Value toEncodingList :: [InputFile] -> Encoding |
ReplyKeyboardMarkup
data ReplyKeyboardMarkup Source #
This object represents a custom keyboard with reply options (see Introduction to bots for details and examples).
ReplyKeyboardMarkup | |
|
Instances
KeyboardButton
newtype WebAppInfo Source #
Instances
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.
KeyboardButton | |
|
Instances
MenuButton
data MenuButton Source #
This object describes the bot's menu button in a private chat.
If a menu button other than MenuButtonDefault
is set for a private chat, then it is applied in the chat. Otherwise the default menu button is applied. By default, the menu button opens the list of bot commands.
MenuButtonCommands | Represents a menu button, which opens the bot's list of commands. |
MenuButtonWebApp | Represents a menu button, which launches a Web App. |
MenuButtonDefault | Describes that no specific value for the menu button was set. |
Instances
PollType
Instances
Show PollType Source # | |
Generic PollType Source # | |
FromJSON PollType Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser PollType parseJSONList :: Value -> Parser [PollType] | |
ToJSON PollType Source # | |
Defined in Telegram.Bot.API.Types toEncoding :: PollType -> Encoding toJSONList :: [PollType] -> Value toEncodingList :: [PollType] -> Encoding | |
type Rep PollType Source # | |
getPollType :: PollType -> Text Source #
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
).
ReplyKeyboardRemove | |
|
Instances
InlineKeyboardMarkup
data InlineKeyboardMarkup Source #
This object represents an inline keyboard that appears right next to the message it belongs to.
- *Note**: This will only work in Telegram versions released after 9 April, 2016. Older clients will display unsupported message.
InlineKeyboardMarkup | |
|
Instances
InlineKeyboardButton
data InlineKeyboardButton Source #
This object represents one button of an inline keyboard. You must use exactly one of the optional fields.
InlineKeyboardButton | |
|
Instances
LoginUrl
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:
https://core.telegram.org/file/811140015/1734/8VZFkwWXalM.97872/6127fa62d8a0bf2b3c
Telegram apps support these buttons as of version 5.7.
LoginUrl | |
|
Instances
Show LoginUrl Source # | |
Generic LoginUrl Source # | |
type Rep LoginUrl Source # | |
Defined in Telegram.Bot.API.Types type Rep LoginUrl = D1 ('MetaData "LoginUrl" "Telegram.Bot.API.Types" "telegram-bot-simple-0.5.2-inplace" 'False) (C1 ('MetaCons "LoginUrl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "loginUrlUrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "loginUrlForwardText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))) :*: (S1 ('MetaSel ('Just "loginUrlBotUsername") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "loginUrlRequestWriteAccess") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))) |
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.
CallbackQuery | |
|
Instances
newtype CallbackQueryId Source #
Instances
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.
ForceReply | |
|
Instances
Chat photo
Chat photo. Returned only in getChat.
ChatPhoto | |
|
Instances
ChatInviteLink
data ChatInviteLink Source #
Represents an invite link for a chat.
ChatInviteLink | |
|
Instances
ChatAdministratorRights
data ChatAdministratorRights Source #
Represents the rights of an administrator in a chat.
ChatAdministratorRights | |
|
Instances
ChatMember
data ChatMember Source #
This object contains information about one member of a chat.
ChatMember | |
|
Instances
ChatMemberUpdated
data ChatMemberUpdated Source #
This object represents changes in the status of a chat member.
ChatMemberUpdated | |
|
Instances
ChatJoinRequest
data ChatJoinRequest Source #
Represents a join request sent to a chat.
ChatJoinRequest | |
|
Instances
ChatPermissions
data ChatPermissions Source #
Describes actions that a non-administrator user is allowed to take in a chat.
ChatPermissions | |
|
Instances
ChatLocation
data ChatLocation Source #
Represents a location to which a chat is connected.
ChatLocation | |
|
Instances
ResponseParameters
data ResponseParameters Source #
Contains information about why a request was unsuccessful.
ResponseParameters | |
|
Instances
Stickers
Sticker
This object represents a sticker.
Sticker | |
|
Instances
StickerSet
data StickerSet Source #
This object represents a sticker set.
StickerSet | |
|
Instances
MaskPosition
data MaskPosition Source #
This object describes the position on faces where a mask should be placed by default.
MaskPosition | |
|
Instances
Payments
LabeledPrice
data LabeledPrice Source #
This object represents a portion of the price for goods or services.
LabelPrice | |
|
Instances
Invoice
This object contains basic information about an invoice.
Invoice | |
|
Instances
ShippingAddress
data ShippingAddress Source #
This object represents a shipping address.
ShippingAddress | |
|
Instances
OrderInfo
This object represents information about an order.
OrderInfo | |
|
Instances
ShippingOption
data ShippingOption Source #
This object represents one shipping option.
ShippingOption | |
|
Instances
newtype ShippingOptionId Source #
Instances
SuccessfulPayment
data SuccessfulPayment Source #
This object contains basic information about a successful payment.
SuccessfulPayment | |
|
Instances
ShippingQuery
data ShippingQuery Source #
This object contains information about an incoming shipping query.
ShippingQuery | |
|
Instances
PreCheckoutQuery
data PreCheckoutQuery Source #
This object contains information about an incoming pre-checkout query.
PreCheckoutQuery | |
|
Instances
Telegram Passport
PassportData
data PassportData Source #
Contains information about Telegram Passport data shared with the bot by the user.
PassportData | |
|
Instances
PassportFile
data PassportFile Source #
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.
PassportFile | |
|
Instances
EncryptedPassportElement
data EncryptedPassportElement Source #
Contains information about documents or other Telegram Passport elements shared with the bot by the user.
EncryptedPassportElement | |
|
Instances
data PassportElementType Source #
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”.
Instances
EncryptedCredentials
data EncryptedCredentials Source #
Contains data required for decrypting and authenticating EncryptedPassportElement. See the Telegram Passport Documentation for a complete description of the data decryption and authentication processes.
EncryptedCredentials | |
|
Instances
PassportElementError
data PassportErrorSource Source #
Instances
data PassportElementError Source #
PassportElementError | |
|
Instances
Games
Game
This object represents a game. Use BotFather to create and edit games, their short names will act as unique identifiers.
Game | |
|
Instances
CallbackGame
newtype CallbackGame Source #
A placeholder, currently holds no information. Use BotFather to set up your game.
CallbackGame Object |
Instances
GameHighScore
data GameHighScore Source #
This object represents one row of the high scores table for a game.
GameHighScore | |
|
Instances
Show GameHighScore Source # | |
Defined in Telegram.Bot.API.Types showsPrec :: Int -> GameHighScore -> ShowS # show :: GameHighScore -> String # showList :: [GameHighScore] -> ShowS # | |
Generic GameHighScore Source # | |
Defined in Telegram.Bot.API.Types type Rep GameHighScore :: Type -> Type # from :: GameHighScore -> Rep GameHighScore x # to :: Rep GameHighScore x -> GameHighScore # | |
type Rep GameHighScore Source # | |
Defined in Telegram.Bot.API.Types type Rep GameHighScore = D1 ('MetaData "GameHighScore" "Telegram.Bot.API.Types" "telegram-bot-simple-0.5.2-inplace" 'False) (C1 ('MetaCons "GameHighScore" 'PrefixI 'True) (S1 ('MetaSel ('Just "gameHighScorePosition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "gameHighScoreUser") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 User) :*: S1 ('MetaSel ('Just "gameHighScoreScore") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))) |
CopyMessageId
data CopyMessageId Source #
This object represents result of copyMessage request.
CopyMessageId | |
|
Instances
data SomeChatId Source #
Unique identifier for the target chat
or username of the target channel (in the format @channelusername
).
SomeChatId ChatId | Unique chat ID. |
SomeChatUsername Text | Username of the target channel. |
Instances
data BotCommand Source #
This object represents a bot command.
BotCommand | |
|
Instances
data BotCommandScope Source #
BotCommandScopeDefault | Represents the default scope of bot commands. Default commands are used if no commands with a narrower scope are specified for the user. |
BotCommandScopeAllPrivateChats | Represents the scope of bot commands, covering all private chats. |
BotCommandScopeAllGroupChats | Represents the scope of bot commands, covering all group and supergroup chats. |
BotCommandScopeAllChatAdministrators | Represents the scope of bot commands, covering all group and supergroup chat administrators. |
BotCommandScopeChat SomeChatId | Represents the scope of bot commands, covering a specific chat. |
BotCommandScopeChatAdministrators SomeChatId | Represents the scope of bot commands, covering all administrators of a specific group or supergroup chat. |
BotCommandScopeChatMember SomeChatId UserId | Represents the scope of bot commands, covering a specific member of a group or supergroup chat. |
Instances
FromJSON BotCommandScope Source # | |
Defined in Telegram.Bot.API.Types parseJSON :: Value -> Parser BotCommandScope parseJSONList :: Value -> Parser [BotCommandScope] | |
ToJSON BotCommandScope Source # | |
Defined in Telegram.Bot.API.Types toJSON :: BotCommandScope -> Value toEncoding :: BotCommandScope -> Encoding toJSONList :: [BotCommandScope] -> Value toEncodingList :: [BotCommandScope] -> Encoding |
data InputMediaGeneric Source #
Generic fields for all InputMedia structures
InputMediaGeneric | |
|
Instances
data InputMediaGenericThumb Source #
InputMediaGenericThumb | |
|
Instances
ToJSON InputMediaGenericThumb Source # | |
Defined in Telegram.Bot.API.Types toJSON :: InputMediaGenericThumb -> Value toEncoding :: InputMediaGenericThumb -> Encoding toJSONList :: [InputMediaGenericThumb] -> Value toEncodingList :: [InputMediaGenericThumb] -> Encoding | |
ToMultipart Tmp InputMediaGenericThumb Source # | |
Defined in Telegram.Bot.API.Types toMultipart :: InputMediaGenericThumb -> MultipartData Tmp |
data InputMedia Source #
InputMediaPhoto InputMediaGeneric | Represents a photo to be sent. |
InputMediaVideo | Represents a video to be sent. |
| |
InputMediaAnimation | Represents an animation file (GIF or H.264/MPEG-4 AVC video without sound) to be sent. |
| |
InputMediaAudio | Represents an audio file to be treated as music to be sent. |
| |
InputMediaDocument | Represents a general file to be sent. |
|
Instances
ToJSON InputMedia Source # | |
Defined in Telegram.Bot.API.Types toJSON :: InputMedia -> Value toEncoding :: InputMedia -> Encoding toJSONList :: [InputMedia] -> Value toEncodingList :: [InputMedia] -> Encoding | |
ToMultipart Tmp InputMedia Source # | |
Defined in Telegram.Bot.API.Types toMultipart :: InputMedia -> MultipartData Tmp |