Agda-2.3.2.2: src/pkg/Interface/Options.hs
module Interface.Options where
-- FIXME: Proper Exports
-- Standard Library Imports
import System.Console.GetOpt
--------------------------------------------------------------------------------
data Opt
= OptDBCustom FilePath
| OptDBGlobal
| OptDBUser
| OptHelp
| OptVersion
deriving (Eq)
allOpts :: [OptDescr Opt]
allOpts =
[ Option [] ["global"] (NoArg OptDBGlobal)
"Operate on the global package database."
, Option ['f'] ["package-conf"] (ReqArg OptDBCustom "FILE")
"Operate on a specific package database."
, Option [] ["user"] (NoArg OptDBUser)
"Operate on the current user's package database."
, Option ['V'] ["version"] (NoArg OptVersion)
"Output version information and exit."
, Option ['?'] ["help"] (NoArg OptHelp)
"Display this help and exit."
]