ModuleAgda-2.8.0.2Haskell2010

Agda.Interaction.EmacsCommand

Code for instructing Emacs to do things

datadata Lisp a

Simple Emacs Lisp expressions.

Instances2Eq, Pretty

Eq a => Eq (Lisp a)Defined in Agda-2.8.0.2 · Agda.Interaction.EmacsCommand
Pretty a => Pretty (Lisp a)Defined in Agda-2.8.0.2 · Agda.Interaction.EmacsCommand

valueresponse :: Lisp String -> String

Formats a response command.

Replaces 'n' with spaces to ensure that each command is a single line.

valueputResponse :: Lisp String -> IO ()

Writes a response command to standard output.

valuedisplay_info' :: Bool -> String -> String -> Lisp String

valueclearRunningInfo :: Lisp String

Clear the running info buffer.

valueclearWarning :: Lisp String

Clear the warning buffer

valuedisplayRunningInfo :: String -> Lisp String

Display running information about what the type-checker is up to.