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 #
Formats a response command.
Replaces '\n'
with spaces to ensure that each command is a
single line.
putResponse :: Lisp String -> IO () #
Writes a response command to standard output.
clearRunningInfo :: Lisp String #
Clear the running info buffer.
clearWarning :: Lisp String #
Clear the warning buffer
displayRunningInfo :: String -> Lisp String #
Display running information about what the type-checker is up to.