| definition: |
options :: [OptDescr Flag]
options =
[ Option "h?" ["help"] (NoArg Help) "print help and exit"
, Option "i" ["ignore"] (ReqArg Ignore "CHECK") "ignores given style check"
, Option "a" ["add"] (ReqArg Add "CHECK") "applies given style check"
, Option "o" ["output"] (ReqArg checkOType "TYPE" )
"determines output type of messages\nwhere TYPE is TEXT (default) or JSON"
, Option "v" ["verbosity"] (ReqArg (\l -> Verbosity (read l)) "LEVEL" )
("verbosity level:\n0: quiet (warning only)\n" ++
"1: (default, show: module, hints, code)\n" ++
"2: (verbose, show infos and warnings)\n3: show all options and details")
]
where
checkOType s =
let us = map toUpper s
in if us `elem` ["JSON","TEXT"]
then OType us
else error $ "Illegal output type `" ++ s ++ "' (try `-h' for help)"
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- Options |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> {:}}
|
| name: |
options |
| precedence: |
no precedence defined |
| result-values: |
{:}
|
| signature: |
[System.Console.GetOpt.OptDescr Types.Flag] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |