proof-assistant-bot-0.2.0: Telegram bot for proof assistants
Safe HaskellNone
LanguageHaskell2010

Proof.Assistant.Request

Synopsis

Documentation

data InterpreterRequest Source #

Request from Telegram.

Constructors

InterpreterRequest 

Fields

updateToRequest :: Update -> Maybe InterpreterRequest Source #

Cast Telegram Update to InterpreterRequest.