getOpt package:Agda

getOpt :: ArgOrder a -> [OptDescr a] -> [String] -> ([a], [String], [String])

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.

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.

getOptSimple :: [String] -> [OptDescr (Flag opts)] -> (String -> Flag opts) -> Flag opts

Agda Agda.Interaction.Options

Simple interface for Agda.Utils.GetOpt Could be moved to Agda.Utils.Options (does not exist yet)

getOpt' :: ArgOrder a -> [OptDescr a] -> [String] -> ([a], [String], [String], [String])

Agda Agda.Utils.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.