|
|
|
|
Synopsis |
|
|
|
Documentation |
|
data CommandLineOptions | Source |
|
Constructors | | Instances | |
|
|
|
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 from an options pragma.
|
|
|
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
agdaLight).
|
|
|
|
Produced by Haddock version 2.4.2 |