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.

Installing

Run npm install purescript-docs-search.

Usage

There are two usage scenarios:

Patching static documentation

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.

Using the CLI

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.