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 interpreterResponseTelegramChatId :: !ChatId Telegram ChatId (for reply). interpreterResponseTelegramMessageId :: !MessageId Telegram MessageId (for reply). interpreterResponseResponse :: !ByteString output data.

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.