Command -package:cabal-install package:Agda
A generalised command type.
Auxiliary state of an interactive computation.
Backend-specific command-line flags. Should at minimum contain a flag
to enable the backend.
Returns the command line options which are currently in effect.
Returns the command line options which are currently in effect.
The command queue.
This queue should only be manipulated by
initialiseCommandQueue and maybeAbort.
Commands that should be processed, in the order in which they should
be processed. Each command is associated with a number, and the
numbers are strictly increasing. Abort commands are not put on this
queue.
Opposite of
liftIO for
CommandM.
This function should only be applied to computations that are
guaranteed not to raise any errors (except for
IOExceptions).
Sets the command line options (both persistent and pragma options are
updated).
Relative include directories are made absolute with respect to the
current working directory. If the include directories have changed
then the state is reset (partly, see
setIncludeDirs).
An empty list of relative include directories (
Left
[]) is interpreted as
["."].
Initial auxiliary interaction state
Code for instructing Emacs to do things