Agda-2.8.0: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.Setup.EmacsMode

Contents

- Locate
- Setup
- Compile
- Utilities

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

help :: String Source #

Help topic for `--emacs-mode`.

# 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

setupFlag :: String Source #

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.

# Utilities

inform :: String -> IO () Source #