git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Better psci help
commitc95d99c2b3ad0caf57a72a826c94b000c9a0abb9 authorHarry Garrood <harry@garrood.me> dateThu 19 Mar 2015, 20:11 (12 years ago) parenta276b99
2 files changed+33−14
compare with golang
unifiedsplit
psci/Directive.hs+4−4 psci/PSCi.hs+29−10
psci/Directive.hs+4−4
@@ -102,12 +102,12 @@ help :: [(Directive, String, String)]
102102help =
103103 [ (Help, "", "Show this help menu")
104104 , (Quit, "", "Quit PSCi")
105− , (Reset, "", "Reset")
106− , (Browse, "<module>", "Browse <module>")
105+ , (Reset, "", "Discard all imported modules and declared bindings")
106+ , (Browse, "<module>", "See all functions in <module>")
107107 , (Load, "<file>", "Load <file> for importing")
108108 , (Type, "<expr>", "Show the type of <expr>")
109109 , (Kind, "<type>", "Show the kind of <type>")
110− , (Show, "import", "Show imported modules")
111− , (Show, "loaded", "Show loaded modules")
110+ , (Show, "import", "Show all imported modules")
111+ , (Show, "loaded", "Show all loaded modules")
112112 ]
113113
psci/PSCi.hs+29−10
@@ -124,17 +124,36 @@ expandTilde p = return p
124124--
125125helpMessage :: String
126126helpMessage = "The following commands are available:\n\n " ++
127− intercalate "\n " (map line D.help)
127+ intercalate "\n " (map line D.help) ++
128+ "\n\n" ++ extraHelp
128129 where
129− line :: (Directive, String, String) -> String
130− line (dir, arg, desc) = intercalate " "
131− [ cmd
132− , replicate (11 - length cmd) ' '
133− , arg
134− , replicate (11 - length arg) ' '
135− , desc
136− ]
137− where cmd = ":" ++ D.stringFor dir
130+ line :: (Directive, String, String) -> String
131+ line (dir, arg, desc) =
132+ let cmd = ':' : D.stringFor dir
133+ in intercalate " "
134+ [ cmd
135+ , replicate (11 - length cmd) ' '
136+ , arg
137+ , replicate (11 - length arg) ' '
138+ , desc
139+ ]
140+
141+ extraHelp = unlines
142+ [ "Once a file has been loaded, values and types in the module(s) that it"
143+ , "contains are available fully qualified:"
144+ , ""
145+ , " > :type Data.Function.on"
146+ , " forall a b c. (b -> b -> c) -> (a -> b) -> a -> a -> c"
147+ , ""
148+ , "Alternatively, you can import a loaded module in order to bring types and"
149+ , "values into the current scope - then, you can use them unqualified."
150+ , ""
151+ , "Modules can be imported normally, as in PureScript code, eg:"
152+ , ""
153+ , " > import Control.Monad"
154+ , " > import Prelude.Unsafe (unsafeIndex)"
155+ , " > import qualified Data.List as L"
156+ ]
138157
139158-- |
140159-- The welcome prologue.