yi-0.6.2.3: The Haskell-Scriptable Editor Source code Contents Index

Yi.Mode.Abella

Synopsis

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

Documentation

abellaModeVim :: TokenBasedMode Token Source

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 :: String -> YiM () Source

Send a command to Abella

Produced by Haddock version 2.6.1