| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.EmacsCommand
Description
Code for instructing Emacs to do things
- data Lisp a
- response :: Lisp String -> String
- putResponse :: Lisp String -> IO ()
- display_info' :: Bool -> String -> String -> Lisp String
- display_warning :: String -> String -> Lisp String
- clearRunningInfo :: Lisp String
- clearWarning :: Lisp String
- displayRunningInfo :: String -> Lisp String
Documentation
Simple Emacs Lisp expressions.
response :: Lisp String -> String Source #
Formats a response command.
Replaces '\n' with spaces to ensure that each command is a
single line.
clearRunningInfo :: Lisp String Source #
Clear the running info buffer.
clearWarning :: Lisp String Source #
Clear the warning buffer