CurryInfo: base-3.4.0 / System.Console.GetOpt.getOpt

 
getOpt :: ArgOrder a                   -- non-option handling
       -> [OptDescr a]                 -- option descriptors
       -> [String]                     -- the command-line arguments
       -> ([a],[String],[String])      -- (options,non-options,error messages)
getOpt ordering optDescr args = (os,xs,es ++ map errUnrec us)
   where (os,xs,us,es) = getOpt' ordering optDescr args

 no demanded arguments

 deterministic operation

 (_, _, _)

 referentially transparent operation

 no fixity defined

 {(_,_,_) |-> {(,,)}}

 getOpt

 no precedence defined

 {(,,)}

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

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term