| Option: | Searches for |
|---|---|
| :function <f> | functions or data constructors containing <f> in their name |
| :module <m> | modules containing <m> in their name |
| :class <c> | classes containing <c> in their name |
| :type <t> | types containing <t> in their name |
| :inmodule <m> | entities of modules containing <m> in their name |
| :inpackage <p> | entities of packages containing <p> in their name |
| :author <n> | modules with an author name containing <n> |
| :signature <s> | functions or types with constructors containing <s> in their signature, e.g., ":signature [a] -> [b]" or ":signature a -> String" |
| :deterministic | deterministic operations |
| :nondeterministic | non-deterministic operations |
| :flexible | flexible operations |
| :rigid | rigid operations |
Search terms are not case sensitive. The keywords AND, OR, and NOT can be used as binary infix operators to combine options.Options can be enclosed in curly braces to allow nested expressions.
The option keywords can be abbreviated where the abbreviation should be unique. If an abbreviation is not unique, the first possibility according to this table is taken.
Example:
the following queries show all non-deterministic operations defined in the standard prelude:
:inmodule Prelude AND :nondeteterministic
:inm Prelude AND :nondet
:i Prelude AND :n
If the entire query is prefixed by :fuzzy, a fuzzy text search is used to find more results without exact matches.