a language implementation for PureScript
Alexandrite is a language implementation for PureScript, powered by an incremental, query-based build system. Instead of a sequence of compiler phases, Alexandrite models compilation and semantic information as incrementally computed queries. These queries are used extensively to implement code intelligence features in the language server.
The build system is designed with interactive editing in mind. To support this, it tracks dependencies between inputs and queries, caches query results, deduplicates in-progress work across threads, and supports cooperative cancellation when inputs change. Crucially, many query results are designed to be incrementally reusable. For example, the compiler uses stable identities in lieu of source ranges to enable minimal recomputation across trivial formatting changes.
The language server component implements core code intelligence features such as completion, jump to definition, hover information, find references, workspace symbol search, and diagnostics.
Alexandrite provides code intelligence for PureScript projects through its VS Code extension.
Completion
Automatic imports
Live diagnostics
Inferred types
Go to definition
Find references
Rename
Document symbols
Workspace symbols
Typed-hole suggestions
Document highlights
Semantic highlighting
On Linux and macOS:
curl --proto '=https' --tlsv1.2 -LsSf \
https://raw.githubusercontent.com/purefunctor/purescript-alexandrite/main/install.sh | shOn Windows PowerShell:
irm https://raw.githubusercontent.com/purefunctor/purescript-alexandrite/main/install.ps1 | iexThe installers verify the release's GitHub build-provenance attestation when
GitHub CLI is available. They display a warning and continue when it is not
installed. Releases through v0.0.13 predate attestations, so the installers warn and continue without
verification for those versions. Set ALEXANDRITE_VERSION to a release tag or
ALEXANDRITE_INSTALL_DIR to an installation directory to override the defaults.