| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Yi.Mode.Abella
- abellaModeVim :: TokenBasedMode Token
- abellaModeEmacs :: TokenBasedMode Token
- abella :: CommandArguments -> YiM BufferRef
- abellaEval :: YiM ()
- abellaEvalFromProofPoint :: YiM ()
- abellaUndo :: YiM ()
- abellaGet :: YiM BufferRef
- abellaSend :: String -> YiM ()
Documentation
abella :: CommandArguments -> YiM BufferRef Source
Start Abella in a buffer
abellaEval :: 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