defaultBotEnv | Telegram.Bot.Simple.BotApp.Internal |
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 |
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 |