|
Agda.TypeChecking.Monad.Options |
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
Sets the pragma options.
|
|
|
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.
An empty list of relative include directories (Left []) is
interpreted as [.].
|
|
|
Returns the pragma options which are currently in effect.
|
|
|
Returns the command line options which are currently in effect.
|
|
|
|
|
Disable display forms.
|
|
|
Disable display forms.
|
|
|
Check if display forms are enabled.
|
|
|
Don't eta contract implicit
|
|
|
Do eta contract implicit
|
|
|
|
|
Don't reify interaction points
|
|
|
|
|
Gets the include directories.
Precondition: optIncludeDirs must be Right something.
|
|
|
Which directory should form the base of relative include paths?
| Constructors | ProjectRoot AbsolutePath | The root directory of the "project" containing the given
file. The file needs to be syntactically correct, with a module
name matching the file name.
| CurrentDir | The current working directory.
|
|
|
|
|
:: MonadTCM tcm | | => [FilePath] | New include directories.
| -> RelativeTo | How should relative paths be interpreted?
| -> tcm () | | Makes the given directories absolute and stores them as include
directories.
If the include directories have changed, then the state is reset.
An empty list is interpreted as [.].
|
|
|
|
|
|
Should only be run if hasInputFile.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Precondition: The level must be non-negative.
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.1 |