defaultBotEnv | Telegram.Bot.Simple.BotApp.Internal |
defaultInputLocationMessageContent | Telegram.Bot.API.InlineMode.InputMessageContent |
defaultInputTextMessageContent | Telegram.Bot.API.InlineMode.InputMessageContent |
defaultRunBot | Telegram.Bot.API.MakingRequests, Telegram.Bot.API |
defaultTelegramClientEnv | Telegram.Bot.API.MakingRequests, Telegram.Bot.API |
DeleteMessage | Telegram.Bot.API.Methods, Telegram.Bot.API |
deleteMessage | Telegram.Bot.API.Methods, Telegram.Bot.API |
deriveJSON' | Telegram.Bot.API.Internal.Utils |
Document | |
1 (Type/Class) | Telegram.Bot.API.Types, Telegram.Bot.API |
2 (Data Constructor) | Telegram.Bot.API.Types, Telegram.Bot.API |
DocumentFile | |
1 (Type/Class) | Telegram.Bot.API.Methods, Telegram.Bot.API |
2 (Data Constructor) | Telegram.Bot.API.Methods, Telegram.Bot.API |
DocumentFileId | Telegram.Bot.API.Methods, Telegram.Bot.API |
documentFileId | Telegram.Bot.API.Types, Telegram.Bot.API |
documentFileName | Telegram.Bot.API.Types, Telegram.Bot.API |
documentFileSize | Telegram.Bot.API.Types, Telegram.Bot.API |
documentMimeType | Telegram.Bot.API.Types, Telegram.Bot.API |
documentThumb | Telegram.Bot.API.Types, Telegram.Bot.API |
DocumentUrl | Telegram.Bot.API.Methods, Telegram.Bot.API |