Proof.Assistant.Request

Documentation

data InterpreterRequest

Request from Telegram.

Constructors

InterpreterRequest

Fields

• interpreterRequestTelegramChatId :: !ChatId

  Telegram ChatId (for reply and isolation).

• interpreterRequestTelegramMessageId :: !MessageId

  Telegram MessageId (for reply).

• interpreterRequestMessage :: !ByteString

  Message content.

updateToRequest :: Update -> Maybe InterpreterRequest

Cast Telegram Update to InterpreterRequest.