| definition: |
printOptions :: ReplState -> IO ()
printOptions rst = putStrLn $ unlines $ filter notNull
[ "Options for ':set' command:" ] ++
formatVarVals " - "
([ ("v<n>", "verbosity level\n" ++
"0: quiet (errors and warnings only)\n" ++
"1: show status messages (default)\n" ++
"2: show commands\n" ++
"3: show intermediate infos\n" ++
"4: show all details")
, ("path <paths>" , "set additional search paths for imported modules")
, ("prompt <prompt>", "set the user prompt")
, ("safe" , "safe execution mode without I/O actions")
, ("parser <opts>" , "additional options passed to parser (front end)")
, ("timeout <n>" ,
"timeout (in seconds) for main evaluation (0 = unlimited)")
, ("args <args>" , "run-time arguments passed to main program") ] ++
sort
([ ("+/-time" , "show compilation and execution time")
, ("+/-echo" , "turn on/off echoing of commands")
, ("+/-show" , "use 'Prelude.show' to show evaluation results")
, ("+/-bindings", "show bindings of free variables in initial goal")
] ++ map showCompilerOptionDescr (ccOpts (compiler rst)))) ++
[ showCurrentOptions rst ]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
------------------------------------------------------------------------------ -- Show help on options and current settings. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_) |-> _}
|
| name: |
printOptions |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
REPL.State.ReplState -> Prelude.IO () |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |