yi-misc-modes-0.19.1: Yi editor miscellaneous modes

License | GPL-2
Maintainer | yi-devel@googlegroups.com
Stability | experimental
Portability | portable
Safe Haskell | None
Language | Haskell2010

Extensions

- OverloadedStrings
- DeriveDataTypeable
- GeneralizedNewtypeDeriving

Yi.Mode.Abella

Description

`Mode`s and utility function for working with the Abella interactive theorem prover.

Synopsis

- abellaModeEmacs :: TokenBasedMode Token
- abella :: CommandArguments -> YiM BufferRef
- abellaEval :: YiM ()
- abellaEvalFromProofPoint :: YiM ()
- abellaUndo :: YiM ()
- abellaGet :: YiM BufferRef
- abellaSend :: YiString -> YiM ()

# Documentation

abellaModeEmacs :: TokenBasedMode Token Source #

abella :: CommandArguments -> YiM BufferRef Source #

Start Abella in a buffer

abellaEval :: YiM () Source #

abellaEvalFromProofPoint :: YiM () Source #

abellaUndo :: YiM () Source #

abellaGet :: YiM BufferRef Source #

Return Abella's buffer; create it if necessary. Show it in another window.

abellaSend :: YiString -> YiM () Source #

Send a command to Abella