|
definition:
|
printHelpOnCommands :: IO ()
printHelpOnCommands = putStrLn $ unlines $
[ "Basic commands (commands can be abbreviated to a prefix if unique):\n" ] ++
formatVarVals " - "
[ ("<expr>" , "evaluate expression <expr>")
, ("let <p> = <expr>", "add let binding for main expression")
, (":load <prog>", "load program '<prog>.[l]curry' as main module")
, (":reload" , "recompile currently loaded modules")
, (":add <m1> .. <mn>",
"add modules <m1>,...,<mn> to currently loaded modules")
, (":eval <expr>", "evaluate expression <expr>")
, (":save <expr>", "save executable with main expression <expr>")
, (":save" , "save executable with main expression 'main'")
, (":type <expr>", "show type of expression <expr>")
, (":quit" , "leave the system") ] ++
[ "\nFurther commands:\n" ] ++
formatVarVals " - "
[ (":!<command>" , "execute <command> in shell")
, (":browse" , "browse program and its imported modules")
, (":cd <dir>" , "change current directory to <dir>")
, (":compile <m>" , "compile module <m> (but do not load it)")
, (":edit" , "load source of currently loaded module into editor")
, (":edit <m>" , "load source of module <m> into editor")
, (":fork <expr>" , "fork new process evaluating <expr>")
, (":help" , "show this message")
, (":interface" , "show interface of currently loaded module")
, (":interface <m>", "show interface of module <m>")
, (":modules" ,
"show currently loaded modules with source information")
, (":programs" , "show names of Curry modules available in load path")
, (":set <option>" , "set an option")
, (":set" , "see help on options and current options")
, (":show" , "show currently loaded source program")
, (":show <m>" , "show source of module <m>")
, (":source <f>" , "show source of (visible!) function <f>")
, (":source <m>.<f> ", "show source of function <f> in module <m>")
, (":usedimports" , "show all used imported functions/constructors") ]
|