Agda
Safe HaskellNone
LanguageHaskell2010

Agda.Interaction.Emacs.Lisp

Description

Abstract elisp syntax.

Synopsis

Documentation

data Lisp a Source #

Simple Emacs Lisp expressions.

Constructors

A a

Atom.

Cons (Lisp a) (Lisp a) 
L [Lisp a]

List.

Q (Lisp a) 

Instances

Instances details
Pretty a => Pretty (Lisp a) Source # 
Instance details

Defined in Agda.Interaction.Emacs.Lisp

Methods

pretty :: Lisp a -> Doc Source #

prettyPrec :: Int -> Lisp a -> Doc Source #

prettyList :: [Lisp a] -> Doc Source #

Eq a => Eq (Lisp a) Source # 
Instance details

Defined in Agda.Interaction.Emacs.Lisp

Methods

(==) :: Lisp a -> Lisp a -> Bool #

(/=) :: Lisp a -> Lisp a -> Bool #

response :: Lisp String -> String Source #

Formats a response command.

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

putResponse :: Lisp String -> IO () Source #

Writes a response command to standard output.