Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Fredrik Wieczerkowski
curry-tools
Commits
d6d0e64d
Commit
d6d0e64d
authored
Nov 22, 2017
by
Michael Hanus
Browse files
CPM updated
parent
921494d3
Changes
2
Hide whitespace changes
Inline
Side-by-side
cpm/docs/manual.tex
View file @
d6d0e64d
...
...
@@ -741,8 +741,9 @@ The option \code{--csv} shows the information in CSV format.
Searches the names, synopses, and exported module names of all
packages of the central package index for occurrences of the given
search term.
If the option
\code
{
--module
}
is set, then the search is restricted
to occurrences of an exported module. Thus, the package
If the option
\code
{
--module
}
is set, then the given name
is searched in the list of exported modules.
Thus, the package
exporting the module
\code
{
JSON.Data
}
can be found by the command
%
\begin{lstlisting}
...
...
cpm/src/CPM/Repository.curry
View file @
d6d0e64d
...
...
@@ -74,7 +74,7 @@ searchPackages (Repository ps) searchmod searchexec searchterm =
where
allResults = let s = lowerS searchterm
in if searchmod
then filter (\p -> s `elem` exportedModules p) ps
then filter (\p -> s
earchterm
`elem` exportedModules p) ps
else if searchexec
then filter (\p -> s `isInfixOf`
(lowerS $ execOfPackage p)) ps
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment