|
Agda.TypeChecking.Monad.Options |
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
Does the operation apply to the persistent options or only to the
pragma options? In the former case the pragma options are also
updated.
| Constructors | PersistentOptions | | PragmaOptions | |
|
|
|
|
Sets the command line options.
Ensures that the optInputFile field contains an absolute path.
An empty list of include directories is interpreted as [.].
|
|
|
|
|
|
|
|
|
Disable display forms.
|
|
|
Disable display forms.
|
|
|
Check if display forms are enabled.
|
|
|
Don't reify interaction points
|
|
|
|
|
Gets the include directories.
|
|
|
Makes the include directories absolute.
Relative directories are made absolute with respect to the given
path.
|
|
|
|
|
Should only be run if hasInputFile.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Precondition: The level must be non-negative.
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.0 |