Safe Haskell | None |
---|---|
Language | Haskell2010 |
Proof.Assistant.Response
Synopsis
- data InterpreterResponse = InterpreterResponse {
- interpreterResponseTelegramChatId :: !ChatId
- interpreterResponseTelegramMessageId :: !MessageId
- interpreterResponseResponse :: !ByteString
- toSendMessageRequest :: Bool -> InterpreterResponse -> SendMessageRequest
- makeTelegramResponse :: InterpreterRequest -> ByteString -> InterpreterResponse
Documentation
data InterpreterResponse Source #
Response for Telegram.
Constructors
InterpreterResponse | |
Fields
|
toSendMessageRequest :: Bool -> InterpreterResponse -> SendMessageRequest Source #
Cast InterpreterResponse
to SendMessageRequest
.
If first argument is True
then it will wrap message in Monospace font and mark it with MarkdownV2
parse mode.
Otherwise, text message will be sent.
For all responses from Backends True
should be specified.
makeTelegramResponse :: InterpreterRequest -> ByteString -> InterpreterResponse Source #
Cast InterpreterRequest
and output data to InterpreterResponse
.