| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Proof.Assistant.Request
Synopsis
- data InterpreterRequest = InterpreterRequest {
- interpreterRequestTelegramChatId :: !ChatId
- interpreterRequestTelegramMessageId :: !MessageId
- interpreterRequestMessage :: !ByteString
- updateToRequest :: Update -> Maybe InterpreterRequest
Documentation
data InterpreterRequest Source #
Request from Telegram.
Constructors
| InterpreterRequest | |
Fields
| |
updateToRequest :: Update -> Maybe InterpreterRequest Source #
Cast Telegram Update to InterpreterRequest.