Search frontend for the documentation generated by the PureScript compiler.
npm install purescript-docs-search
An app that adds search capabilities to generated documentation for purescript code.
It supports nearly-all functionality of Pursuit, including querying by type.
When using spago, you don't need to install this app manually: run spago docs or spago search.
Otherwise, use npx: npx purescript-docs-search.
There are two usage scenarios:
Use purescript-docs-search build-index command to patch HTML files located in generated-docs/html. You then will be able to search for declarations or types:
The user interface of the app is optimised for keyboard-only use.
S hotkey can be used to focus on the search field, Escape can be used to leave it. Pressing Escape twice will close the search results listing.
Running purescript-docs-search within a project directory will open an interactive command-line session.
Note that unlike in Pursuit, most relevant results will appear last.
A quick demo:
You may notice that the CLI offers slightly better results than the web interface. This is a performance tradeoff.
``
npm install
npm run build # or build-dev to skip JS compression stage
Use spago docs --no-search && ./dist/purescript-docs-search build-index` to generate the docs and patch them using the local version of the app.