| definition: |
printHelp :: ReplState -> IO ()
printHelp rst = putStrLn $ unlines $
[ "Invoke interactive environment:"
, ""
, " <repl> <options> [ -- <run-time arguments>]"
, ""
, "with options:"
, ""] ++
formatVarVals ": "
(ccMainOpts (compiler rst) ++
[ ("-h|--help|-?" , "show this message and quit")
, ("-V|--version" , "show version and quit")
, ("--compiler-name" , "show the compiler name and quit")
, ("--numeric-version", "show the compiler version number and quit")
, ("--base-version ", "show the version of the base libraries and quit")
, ("-q|--quiet" , "work silently")
, ("--using <s>" , "set string for 'using' message in banner")
, ("-Dprop=val" , "define rc property `prop' as `val'")
, (":<cmd> <args>" , "commands of the interactive environment")
]) ++
[ "" ]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_) |-> _}
|
| name: |
printHelp |
| 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 |