CurryInfo: residuation-analysis-3.0.0 / ToolOptions.processOptions

 
processOptions :: String -> [String] -> IO (Options,[String])
processOptions banner argv = do
  let (funopts, args, opterrors) = getOpt Permute options argv
      opts = foldl (flip id) defaultOptions funopts
  unless (null opterrors)
         (putStr (unlines opterrors) >> printUsage >> exitWith 1)
  when (optHelp opts) (printUsage >> exitWith 0)
  return (opts, map stripCurrySuffix args)
 where
  printUsage = putStrLn (banner ++ "\n" ++ usageText)

 no demanded arguments

 deterministic operation

 
Process the actual command line argument and return the options
and the name of the main program.

 (_, _)

 referentially transparent operation

 no fixity defined

 {(_,_) |-> _}

 processOptions

 no precedence defined

 _

 String -> [String] -> Prelude.IO (Options, [String])

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term