GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31
ModuleAgda-2.8.0.2Haskell2010
This module provides facilities for parsing the command-line options
in a standalone program. It is essentially a Haskell port of the GNU
getopt library.
It is a fork of System.Console.GetOpt from the base package of GHC, written by Sven Panne.
We modify it to remove the "allow prefixes of long options" behavior.
getOpt Process the command-line, and return the list of values that matched (and those that didn't). The arguments are:
The order requirements (see ArgOrder)
The option descriptions (see OptDescr)
The actual command line arguments (presumably got from getArgs).
getOpt returns a triple consisting of the option arguments, a list of non-options, and a list of error messages.
getOpt' This is almost the same as getOpt, but returns a quadruple consisting of the option arguments, a list of non-options, a list of unrecognized options, and a list of error messages.
usageInfo Return a string describing the usage of a command, derived from the header (first argument) and the options described by the second argument.
What to do with options following non-options.
RequireOrderno option processing after first non-option
Permutefreely intersperse options and non-options
ReturnInOrder (String -> a)wrap non-options into options
Describes whether an option takes an argument or not, and if so
how the argument is injected into a value of type a.