Safe Haskell | None |
---|---|
Language | Haskell2010 |
- getMe :: Token -> Manager -> IO (Either ServantError GetMeResponse)
- sendMessage :: Token -> SendMessageRequest -> Manager -> IO (Either ServantError MessageResponse)
- forwardMessage :: Token -> ForwardMessageRequest -> Manager -> IO (Either ServantError MessageResponse)
- uploadPhoto :: Token -> SendPhotoRequest FileUpload -> Manager -> IO (Either ServantError MessageResponse)
- sendPhoto :: Token -> SendPhotoRequest Text -> Manager -> IO (Either ServantError MessageResponse)
- sendAudio :: Token -> SendAudioRequest -> Manager -> IO (Either ServantError MessageResponse)
- sendDocument :: Token -> SendDocumentRequest -> Manager -> IO (Either ServantError MessageResponse)
- sendSticker :: Token -> SendStickerRequest -> Manager -> IO (Either ServantError MessageResponse)
- sendVideo :: Token -> SendVideoRequest -> Manager -> IO (Either ServantError MessageResponse)
- sendVoice :: Token -> SendVoiceRequest -> Manager -> IO (Either ServantError MessageResponse)
- sendLocation :: Token -> SendLocationRequest -> Manager -> IO (Either ServantError MessageResponse)
- sendVenue :: Token -> SendVenueRequest -> Manager -> IO (Either ServantError MessageResponse)
- sendContact :: Token -> SendContactRequest -> Manager -> IO (Either ServantError MessageResponse)
- sendChatAction :: Token -> SendChatActionRequest -> Manager -> IO (Either ServantError ChatActionResponse)
- getUpdates :: Token -> Maybe Int -> Maybe Int -> Maybe Int -> Manager -> IO (Either ServantError UpdatesResponse)
- getFile :: Token -> Text -> Manager -> IO (Either ServantError FileResponse)
- getUserProfilePhotos :: Token -> Int -> Maybe Int -> Maybe Int -> Manager -> IO (Either ServantError UserProfilePhotosResponse)
- setWebhook :: Token -> Maybe Text -> Manager -> IO (Either ServantError SetWebhookResponse)
- answerInlineQuery :: Token -> AnswerInlineQueryRequest -> Manager -> IO (Either ServantError InlineQueryResponse)
- answerCallbackQuery :: Token -> AnswerCallbackQueryRequest -> Manager -> IO (Either ServantError CallbackQueryResponse)
- kickChatMember :: Token -> Text -> Int -> Manager -> IO (Either ServantError KickChatMemberResponse)
- unbanChatMember :: Token -> Text -> Int -> Manager -> IO (Either ServantError UnbanChatMemberResponse)
- editMessageText :: Token -> EditMessageTextRequest -> Manager -> IO (Either ServantError MessageResponse)
- editMessageCaption :: Token -> EditMessageCaptionRequest -> Manager -> IO (Either ServantError MessageResponse)
- editMessageReplyMarkup :: Token -> EditMessageReplyMarkupRequest -> Manager -> IO (Either ServantError MessageResponse)
- type TelegramBotAPI = (TelegramToken :> ("getMe" :> Get `[JSON]` GetMeResponse)) :<|> ((TelegramToken :> ("sendMessage" :> (ReqBody `[JSON]` SendMessageRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("forwardMessage" :> (ReqBody `[JSON]` ForwardMessageRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendPhoto" :> (MultipartFormDataReqBody (SendPhotoRequest FileUpload) :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendPhoto" :> (ReqBody `[JSON]` (SendPhotoRequest Text) :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendAudio" :> (ReqBody `[JSON]` SendAudioRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendDocument" :> (ReqBody `[JSON]` SendDocumentRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendSticker" :> (ReqBody `[JSON]` SendStickerRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendVideo" :> (ReqBody `[JSON]` SendVideoRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendVoice" :> (ReqBody `[JSON]` SendVoiceRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendLocation" :> (ReqBody `[JSON]` SendLocationRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendVenue" :> (ReqBody `[JSON]` SendVenueRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendContact" :> (ReqBody `[JSON]` SendContactRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendChatAction" :> (ReqBody `[JSON]` SendChatActionRequest :> Post `[JSON]` ChatActionResponse))) :<|> ((TelegramToken :> ("getUpdates" :> (QueryParam "offset" Int :> (QueryParam "limit" Int :> (QueryParam "timeout" Int :> Get `[JSON]` UpdatesResponse))))) :<|> ((TelegramToken :> ("getFile" :> (QueryParam "file_id" Text :> Get `[JSON]` FileResponse))) :<|> ((TelegramToken :> ("getUserProfilePhotos" :> (QueryParam "user_id" Int :> (QueryParam "offset" Int :> (QueryParam "limit" Int :> Get `[JSON]` UserProfilePhotosResponse))))) :<|> ((TelegramToken :> ("setWebhook" :> (QueryParam "url" Text :> Get `[JSON]` SetWebhookResponse))) :<|> ((TelegramToken :> ("answerInlineQuery" :> (ReqBody `[JSON]` AnswerInlineQueryRequest :> Post `[JSON]` InlineQueryResponse))) :<|> ((TelegramToken :> ("answerCallbackQuery" :> (ReqBody `[JSON]` AnswerCallbackQueryRequest :> Post `[JSON]` CallbackQueryResponse))) :<|> ((TelegramToken :> ("kickChatMember" :> (QueryParam "chat_id" Text :> (QueryParam "user_id" Int :> Post `[JSON]` KickChatMemberResponse)))) :<|> ((TelegramToken :> ("unbanChatMember" :> (QueryParam "chat_id" Text :> (QueryParam "user_id" Int :> Post `[JSON]` UnbanChatMemberResponse)))) :<|> ((TelegramToken :> ("editMessageText" :> (ReqBody `[JSON]` EditMessageTextRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("editMessageCaption" :> (ReqBody `[JSON]` EditMessageCaptionRequest :> Post `[JSON]` MessageResponse))) :<|> (TelegramToken :> ("editMessageReplyMarkup" :> (ReqBody `[JSON]` EditMessageReplyMarkupRequest :> Post `[JSON]` MessageResponse))))))))))))))))))))))))))
- api :: Proxy TelegramBotAPI
- newtype Token = Token Text
Functions
getMe :: Token -> Manager -> IO (Either ServantError GetMeResponse) Source
A simple method for testing your bot's auth token. Requires no parameters.
Returns basic information about the bot in form of a User
object.
sendMessage :: Token -> SendMessageRequest -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to send text messages. On success, the sent Message
is returned.
forwardMessage :: Token -> ForwardMessageRequest -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to forward messages of any kind. On success, the sent Message
is returned.
uploadPhoto :: Token -> SendPhotoRequest FileUpload -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to upload and send photos. On success, the sent Message
is returned.
sendPhoto :: Token -> SendPhotoRequest Text -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to send photos that have already been uploaded. On success, the sent Message
is returned.
sendAudio :: Token -> SendAudioRequest -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to send audio files, if you want Telegram clients to display them in the music player. Your audio must be in the .mp3 format. On success, the sent Message
is returned. Bots can currently send audio files of up to 50 MB in size, this limit may be changed in the future.
For backward compatibility, when the fields title and performer are both empty and the mime-type of the file to be sent is not _audio/mpeg_, the file will be sent as a playable voice message. For this to work, the audio must be in an .ogg file encoded with OPUS. This behavior will be phased out in the future. For sending voice messages, use the sendVoice
method instead.
sendDocument :: Token -> SendDocumentRequest -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to send general files. On success, the sent Message
is returned. Bots can currently send files of any type of up to 50 MB in size, this limit may be changed in the future.
sendSticker :: Token -> SendStickerRequest -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to send .webp stickers. On success, the sent Message
is returned.
sendVideo :: Token -> SendVideoRequest -> Manager -> IO (Either ServantError MessageResponse) Source
sendVoice :: Token -> SendVoiceRequest -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to send audio files, if you want Telegram clients to display the file as a playable voice message. For this to work, your audio must be in an .ogg file encoded with OPUS (other formats may be sent as Audio
or Document
). On success, the sent Message
is returned. Bots can currently send voice messages of up to 50 MB in size, this limit may be changed in the future.
sendLocation :: Token -> SendLocationRequest -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to send point on the map. On success, the sent Message
is returned.
sendVenue :: Token -> SendVenueRequest -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to send information about a venue. On success, the sent Message is returned.
sendContact :: Token -> SendContactRequest -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to send information about a venue. On success, the sent Message is returned.
sendChatAction :: Token -> SendChatActionRequest -> Manager -> IO (Either ServantError ChatActionResponse) Source
Use this method when you need to tell the user that something is happening on the bot's side. The status is set for 5 seconds or less (when a message arrives from your bot, Telegram clients clear its typing status).
getUpdates :: Token -> Maybe Int -> Maybe Int -> Maybe Int -> Manager -> IO (Either ServantError UpdatesResponse) Source
Use this method to receive incoming updates using long polling. An Array of Update
objects is returned.
getFile :: Token -> Text -> Manager -> IO (Either ServantError FileResponse) Source
Use this method to get basic info about a file and prepare it for downloading. For the moment, bots can download files of up to 20MB in size. On success, a File
object is returned. The file can then be downloaded via the link https://api.telegram.org/file/bot<token>/<file_path>
, where file_path
is taken from the response. 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 again.
getUserProfilePhotos :: Token -> Int -> Maybe Int -> Maybe Int -> Manager -> IO (Either ServantError UserProfilePhotosResponse) Source
Use this method to get a list of profile pictures for a user. Returns a UserProfilePhotos
object.
:: Token | |
-> Maybe Text | HTTPS url to send updates to. Use an empty string to remove webhook integration |
-> Manager | |
-> IO (Either ServantError SetWebhookResponse) |
Use this method to specify a url and receive incoming updates via an outgoing webhook. Whenever there is an update for the bot, we will send an HTTPS POST request to the specified url, containing a JSON-serialized Update
. In case of an unsuccessful request, we will give up after a reasonable amount of attempts.
If you'd like to make sure that the Webhook request comes from Telegram, we recommend using a secret path in the URL, e.g. https://www.example.com/<token>
. Since nobody else knows your bot‘s token, you can be pretty sure it’s us.
answerInlineQuery :: Token -> AnswerInlineQueryRequest -> Manager -> IO (Either ServantError InlineQueryResponse) Source
Use this method to send answers to an inline query. No more than 50 results per query are allowed.
answerCallbackQuery :: Token -> AnswerCallbackQueryRequest -> Manager -> IO (Either ServantError CallbackQueryResponse) Source
Use this method to send answers to callback queries sent from inline keyboards. The answer will be displayed to the user as a notification at the top of the chat screen or as an alert.
kickChatMember :: Token -> Text -> Int -> Manager -> IO (Either ServantError KickChatMemberResponse) Source
Use this method to kick a user from a group or a supergroup. In the case of supergroups, the user will not be able to return to the group on their own using invite links, etc., unless unbanned first. The bot must be an administrator in the group for this to work.
unbanChatMember :: Token -> Text -> Int -> Manager -> IO (Either ServantError UnbanChatMemberResponse) Source
Use this method to unban a previously kicked user in a supergroup. The user will not return to the group automatically, but will be able to join via link, etc. The bot must be an administrator in the group for this to work.
editMessageText :: Token -> EditMessageTextRequest -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to edit text messages sent by the bot or via the bot (for inline bots). On success, if edited message is sent by the bot, the edited Message
is returned, otherwise True is returned.
editMessageCaption :: Token -> EditMessageCaptionRequest -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to edit captions of messages sent by the bot or via the bot (for inline bots). On success, if edited message is sent by the bot, the edited Message
is returned.
editMessageReplyMarkup :: Token -> EditMessageReplyMarkupRequest -> Manager -> IO (Either ServantError MessageResponse) Source
Use this method to edit only the reply markup of messages sent by the bot or via the bot (for inline bots). On success, if edited message is sent by the bot, the edited Message
is returned.
API
type TelegramBotAPI = (TelegramToken :> ("getMe" :> Get `[JSON]` GetMeResponse)) :<|> ((TelegramToken :> ("sendMessage" :> (ReqBody `[JSON]` SendMessageRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("forwardMessage" :> (ReqBody `[JSON]` ForwardMessageRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendPhoto" :> (MultipartFormDataReqBody (SendPhotoRequest FileUpload) :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendPhoto" :> (ReqBody `[JSON]` (SendPhotoRequest Text) :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendAudio" :> (ReqBody `[JSON]` SendAudioRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendDocument" :> (ReqBody `[JSON]` SendDocumentRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendSticker" :> (ReqBody `[JSON]` SendStickerRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendVideo" :> (ReqBody `[JSON]` SendVideoRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendVoice" :> (ReqBody `[JSON]` SendVoiceRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendLocation" :> (ReqBody `[JSON]` SendLocationRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendVenue" :> (ReqBody `[JSON]` SendVenueRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendContact" :> (ReqBody `[JSON]` SendContactRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("sendChatAction" :> (ReqBody `[JSON]` SendChatActionRequest :> Post `[JSON]` ChatActionResponse))) :<|> ((TelegramToken :> ("getUpdates" :> (QueryParam "offset" Int :> (QueryParam "limit" Int :> (QueryParam "timeout" Int :> Get `[JSON]` UpdatesResponse))))) :<|> ((TelegramToken :> ("getFile" :> (QueryParam "file_id" Text :> Get `[JSON]` FileResponse))) :<|> ((TelegramToken :> ("getUserProfilePhotos" :> (QueryParam "user_id" Int :> (QueryParam "offset" Int :> (QueryParam "limit" Int :> Get `[JSON]` UserProfilePhotosResponse))))) :<|> ((TelegramToken :> ("setWebhook" :> (QueryParam "url" Text :> Get `[JSON]` SetWebhookResponse))) :<|> ((TelegramToken :> ("answerInlineQuery" :> (ReqBody `[JSON]` AnswerInlineQueryRequest :> Post `[JSON]` InlineQueryResponse))) :<|> ((TelegramToken :> ("answerCallbackQuery" :> (ReqBody `[JSON]` AnswerCallbackQueryRequest :> Post `[JSON]` CallbackQueryResponse))) :<|> ((TelegramToken :> ("kickChatMember" :> (QueryParam "chat_id" Text :> (QueryParam "user_id" Int :> Post `[JSON]` KickChatMemberResponse)))) :<|> ((TelegramToken :> ("unbanChatMember" :> (QueryParam "chat_id" Text :> (QueryParam "user_id" Int :> Post `[JSON]` UnbanChatMemberResponse)))) :<|> ((TelegramToken :> ("editMessageText" :> (ReqBody `[JSON]` EditMessageTextRequest :> Post `[JSON]` MessageResponse))) :<|> ((TelegramToken :> ("editMessageCaption" :> (ReqBody `[JSON]` EditMessageCaptionRequest :> Post `[JSON]` MessageResponse))) :<|> (TelegramToken :> ("editMessageReplyMarkup" :> (ReqBody `[JSON]` EditMessageReplyMarkupRequest :> Post `[JSON]` MessageResponse)))))))))))))))))))))))))) Source
Telegram Bot API
api :: Proxy TelegramBotAPI Source
Proxy for Thelegram Bot API