| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Setup.EmacsMode
Description
Setup up the emacs mode for Agda.
Synopsis
- help :: String
- locateFlag :: String
- printEmacsModeFile :: IO ()
- setupFlag :: String
- setupDotEmacs :: String -> IO ()
- compileFlag :: String
- compileElispFiles :: IO ()
- inform :: String -> IO ()
Documentation
Locate
locateFlag :: String Source #
printEmacsModeFile :: IO () Source #
Prints out the path to the Agda mode's main file (using UTF-8 and without any trailing newline).
Setup
setupDotEmacs :: String -> IO () Source #
Tries to set up the Agda mode in the given .emacs file.
Compile
compileFlag :: String Source #
compileElispFiles :: IO () Source #
Tries to compile the Agda mode's Emacs Lisp files.