Skip to content

Search frontend for the documentation generated by the PureScript compiler

Notifications You must be signed in to change notification settings

purescript/purescript-docs-search

Repository files navigation

purescript-docs-search

Build status

This project has been merged into the spago codebase!

An app that adds search capabilities to generated documentation for PureScript code.

It supports nearly-all functionality of Pursuit, including querying by type.

Installing

When using spago, you don't need to install this app manually: run spago docs or spago search.

Otherwise, use NPM (npm install purescript-docs-search) or npx: npx 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:

Preview

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:

asciicast

You may notice that the CLI offers slightly better results than the web interface. This is a performance tradeoff.

Development

npm install
npm run build # or build-dev to skip JS compression stage

Use spago docs --no-search && ./dist/purescript-docs-search.cjs build-index to generate the docs and patch them using the local version of the app.

About

Search frontend for the documentation generated by the PureScript compiler

Resources

Stars

Watchers

Forks

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •