| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.Options.Arguments
Description
Definitions and tools for arguments of command-line options.
Synopsis
- optionValues :: Map String [String]
- colorArg :: String
- colorValues :: [String]
- emacsModeArg :: String
- emacsModeValues :: [String]
- helpArg :: String
- helpValues :: [String]
- profileArg :: String
- profileValues :: [String]
- traceImportsArg :: String
- traceImportsValues :: [String]
- warningArg :: String
- warningValues :: [String]
Names of the arguments of options that have a finite enumeration.
optionValues :: Map String [String] Source #
Print the possible values of an argument of the given type.
--color
colorValues :: [String] Source #
Possible values for --color.
--emacs-mode
emacsModeArg :: String Source #
Argument to --emacs-mode.
emacsModeValues :: [String] Source #
Possible values for --emacs-mode.
--help
helpValues :: [String] Source #
Possible values for --help.
--profile
profileArg :: String Source #
Argument to --profile.
profileValues :: [String] Source #
Possible values for --profile.
--trace-imports
traceImportsArg :: String Source #
Argument to --trace-imports.
traceImportsValues :: [String] Source #
Possible values for --trace-imports.
--warning
warningArg :: String Source #
Argument to --warning.
warningValues :: [String] Source #
Possible values for --warning.