| definition: |
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
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| failfree: |
(_, _, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_) |-> {(,,)}}
|
| name: |
getOpt |
| precedence: |
no precedence defined |
| result-values: |
{(,,)}
|
| signature: |
ArgOrder a -> [OptDescr a] -> [String] -> ([a], [String], [String]) |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |