Cloogle

Advanced
|
How to use
|
Contribute
|
Terms & Privacy

Include language builtins
Include library core modules

Enabled libraries (all / none)

abc-interpreter i
argenv i
asyncio i
base-stdenv i
base64 i
bible-references i
clean-db i
clean-platform i
cloogle i
concurrency i
gast i
gentype i
geo i
graph-copy i
html i
itasks i
itasks-electron i
itasks-leaflet i
itasks-mqttclient i
itasks-resizeable-split i
itasks-serial i
lib-compiler i
libcloogle i
lsp i
mtask-server i
regex i
serial i
snowball i
spdx-licenses i
tcpip i
tcpip-eventloop i
text-fabric i
xdg-basedir i
yaml i

Cloogle is a search engine for Clean. It indexes the entire Nitrile registry.

The following search strings are recognised:

hd	The symbol name `hd`, or documentation containing `hd`
:: a [a] -> a	Functions with a type unifiable with `a [a] -> a`
hd :: [a] -> a	A combination of the above
:: A.a: [a] -> a	Type search, where `a` cannot be unified
\\	Information about the syntax construct `\\`
stack overflow	Information about the error message "stack overflow"
using Int; ==	Anything that uses `Int` and `==`
exact Text	Anything with the exact name `Text`
class Text	Classes with the exact name `Text`
type Int	Types with the exact name `Int`

You can also browse the index and read the documentation.

There are also programmatic interfaces to Cloogle.

Development takes place on GitLab. For bug reports, please open an issue in the issue tracker.

Copyright

License

Cloogle-web is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, version 3 of the License.

Cloogle-web is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details.

You should have received a copy of the GNU Affero General Public License along with cloogle-web. If not, see https://www.gnu.org/licenses/.

The software is licensed under additional terms under section 7 of the GNU Affero General Public License; see the LICENSE file for details.

For more details, and to download the source code, see GitLab.

Logo license

The logo was created by Erin van der Veen and is licensed under a Creative Commons Attribution 4.0 International License.

Privacy policy

Cloogle-web keeps a log linking queries to a date, user agent, and IP address, as required for our statistics.

The IP address is stored with the date and user agent in a non-invertible hash and cannot be traced to you, your device, or your physical location.

In addition, the Cloogle web server keeps a log in which IP addresses are stored in plain text format for up to 3 years.