|
|
|
|
Synopsis |
|
|
|
Documentation |
|
data CommandLineOptions | Source |
|
|
|
|
Options which can be set in a pragma.
| Constructors | PragmaOptions | | optShowImplicit :: Bool | | optVerbose :: Verbosity | | optProofIrrelevance :: Bool | | optAllowUnsolved :: Bool | | optDisablePositivity :: Bool | | optTerminationCheck :: Bool | | optTerminationDepth :: Int | | optCompletenessCheck :: Bool | | optUnreachableCheck :: Bool | | optUniverseCheck :: Bool | | optSizedTypes :: Bool | | optInjectiveTypeConstructors :: Bool | | optGuardingTypeConstructors :: Bool | | optUniversePolymorphism :: Bool | | optIrrelevantProjections :: Bool | | optWithoutK :: Bool | |
|
|
|
|
|
The options from an OPTIONS pragma.
In the future it might be nice to switch to a more structured
representation. Note that, currently, there is not a one-to-one
correspondence between list elements and options.
|
|
|
The default output directory for HTML.
f :: Flag opts is an action on the option record that results from
parsing an option. f opts produces either an error message or an
updated options record
|
|
|
|
|
Checks that the given options are consistent.
|
|
|
Parse the standard options.
|
|
|
|
|
|
Parse options for a plugin.
|
|
|
|
|
|
|
Used for printing usage info.
|
|
|
This should probably go somewhere else.
|
|
|
Map a function over the long options. Also removes the short options.
Will be used to add the plugin name to the plugin options.
|
|
|
The usage info message. The argument is the program name (probably
agda).
|
|
|
|
Produced by Haddock version 2.6.1 |